×

Found 12 Documents (Results 1–12)

A unified framework for non-standard reasoning services in description logics. (English) Zbl 1211.68421

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 479-484 (2010).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

Computing utility from weighted description logic preference formulas. (English) Zbl 1274.68587

Baldoni, Matteo (ed.) et al., Declarative agent languages and technologies VII. 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-11354-3/pbk). Lecture Notes in Computer Science 5948. Lecture Notes in Artificial Intelligence, 158-173 (2010).
MSC:  68T42 68T27 91B14
PDFBibTeX XMLCite
Full Text: DOI

I-Search: A system for intelligent information search on the web. (English) Zbl 1049.68622

Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 149-157 (2002).
MSC:  68T05 68P20
PDFBibTeX XMLCite
Full Text: Link

Automatic support for verification of secure transactions in distributed environment using symbolic model checking. (English) Zbl 0995.68521

Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 447-454 (2001).
MSC:  68U99
PDFBibTeX XMLCite

End-to-end congestion control and bandwidth estimation in high speed ATM networks. (English) Zbl 1021.68007

Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 57-62 (2001).
MSC:  68M10
PDFBibTeX XMLCite

A description logic for image retrieval. (English) Zbl 0962.68169

Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 13-24 (2000).
MSC:  68U10 68P20
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software