Sciweavers

112 search results - page 15 / 23
» A Knowledge Representation Model for the Intelligent Retriev...
Sort
View
AAAI
2007
13 years 10 months ago
Real Arguments Are Approximate Arguments
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
Anthony Hunter
ATAL
2010
Springer
13 years 8 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
ICCBR
2003
Springer
14 years 26 days ago
Using Evolution Programs to Learn Local Similarity Measures
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
Armin Stahl, Thomas Gabel
AIME
2005
Springer
14 years 1 months ago
Ontology of Time and Situoids in Medical Conceptual Modeling
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
Heinrich Herre, Barbara Heller
APN
2008
Springer
13 years 9 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...