Search results
- |volume=67 |issue=4 |pages=874–884 |doi=10.1002/asi.23445 |url=http://www.irit.fr/publis/SIG/2015_JASIST_C.pdf |access-date=25 August 2016 |citeseerx=10...99 KB (9,093 words) - 16:00, 20 February 2025
text-sharing platform driven by biblioleaks and crowdsourcing |url=http://www.irit.fr/publis/SIG/2015_JASIST_C.pdf |url-status=live |journal=Journal of the Association...29 KB (2,383 words) - 13:26, 22 February 2025- Alliot of the Toulouse Computer Science Research Institute ([http://www.irit.fr/ IRIT]) presented a new method,<ref>[http://content.iospress...37 KB (3,378 words) - 11:28, 11 February 2025
- [[topology|topological]] [[semantics]] for the modal logic S4. * [http://www.irit.fr/Lotrec/ LoTREC] The most generic prover for modal logics from IRIT/Toulouse...60 KB (8,452 words) - 08:44, 4 February 2025
based on multiplexed genetic and metabolomic approaches |url=https://www.irit.fr/publis/IRIS/2019_Phytochemistry_CTADCETRCM.pdf |journal=[[Phytochemistry...76 KB (7,167 words) - 15:20, 22 January 2025
last=Inizan |title=Technology and Terminology of Knapped Stone |url=http://www.irit.fr/arkeotek/index.php?option=com_content&task=view&id=56&Itemid=9 |publisher=...23 KB (3,092 words) - 01:16, 20 December 2024
leaving, and failing.<ref>R Mokadem, A Hameurlain and AM Tjoa. [https://www.irit.fr/~Riad.Mokadem/wp-content/uploads/sites/67/2020/12/Resource-discovery-s...36 KB (4,185 words) - 07:05, 11 November 2024
Patella, 2004) * ''[https://web.archive.org/web/20050427132346/http://www.irit.fr/~Gael.Jaffre/RECHERCHE/thesis.html Costume: A New Feature for Automatic...29 KB (3,070 words) - 14:51, 15 September 2024
|title=AGAPE - An Auction LanGuage for GenerAl Auction PlayErs |url=https://www.irit.fr/agape/ |website=AGAPE |date=8 March 2019 |access-date=5 March 2020...13 KB (1,196 words) - 05:48, 2 July 2024
prover for propositional and first-order logic using tableaux * [http://www.irit.fr/Lotrec/ LoTREC]: a generic tableaux-based prover for modal logics from...76 KB (12,509 words) - 05:29, 20 February 2025- |title=AGAPE - An Auction LanGuage for GenerAl Auction PlayErs |url=https://www.irit.fr/agape/ |website=AGAPE |date=8 March 2019 |access-date=5 March 2020 |language=fr-FR...32 KB (3,028 words) - 09:59, 29 January 2025
- logic''. Amsterdam: Elsevier- North Holland, 2007, pp. 3-125.[https://www.irit.fr/~Didier.Dubois/Papers0804/chapter_history_logic07.pdf] Didier Dubois, Henri...181 KB (25,296 words) - 16:53, 12 February 2025
- html * Practical Generalized Hough transform implementation http://www.irit.fr/~Julien.Pinquier/Docs/Hough_transform.html * FPGA implementation of generalized...16 KB (2,327 words) - 05:08, 13 November 2024
4|pages=35–66|doi=10.1023/A:1016740830286|s2cid=10271476|url=ftp://ftp.irit.fr/IRIT/ADRIA/AMAI-Dub.Pra.revised.pdf}}</ref> are alternatives to probability...42 KB (6,891 words) - 14:32, 18 November 2024- Science]] | year = 2009 | volume= 5753 | pages = 535–541 | url=ftp://ftp.irit.fr/IRIT/SMAC/DOCUMENTS/PUBLIS/lpnmr-09_noel-kakas.pdf | title = Gorgias-C:...7 KB (755 words) - 23:59, 3 November 2024
- Execution Time Prediction by Static Program Analysis (PDF)] * [ftp://ftp.irit.fr/IRIT/TRACES/6278_ERTS06.pdf OTAWA, a Framework for Experimenting WCET Computations...13 KB (1,790 words) - 07:05, 21 January 2024
insisoc.org INSISOC research group]</ref><ref name="smac">[http://www.irit.fr/-Equipe-SMAC- SMAC research group]</ref> and industry such as [[Telefonica]]...34 KB (3,091 words) - 22:27, 11 December 2024
(Sweden)] * [http://navig.irit.fr Navig (France)] {{Webarchive|url=https://web.archive.org/web/20090705084940/http://navig.irit.fr/ |date=2009-07-05 }} *...33 KB (4,591 words) - 13:06, 28 January 2024- [http://kmi.open.ac.uk/events/ecir2010/] * [[Toulouse]], 2009 [http://ecir09.irit.fr/] * [[Glasgow]], 2008 [http://ecir2008.dcs.gla.ac.uk/] * [[Rome]], 2007...4 KB (431 words) - 21:23, 10 March 2024
<ref>Baudrit, C., D. Dubois, [[Hélène Fargier|H. Fargier]] (2003). [ftp://ftp.irit.fr/pub/IRIT/ADRIA/PapersFargier/LFA03.pdf Représentation de la connaissance...34 KB (5,745 words) - 21:27, 9 January 2024
- LARVOR |date=30 January 1999 |newsgroup=fr.rec.arts.sf |id=yrcg18s3lhu.fsf@irit.fr |text=Ont-ils des catégories au-dessus, que je voie dans laquelle je rentre
- 1002/asi.23445 (accessed 19 December 2016. Postprint available at: ftp://ftp.irit.fr/IRIT/SIG/2015_JASIST_C.pdf)</ref> The most notorious of these sites is