1285 search results - page 207 / 257 » Description Logic Reasoner: System Description |
108
click to vote
IAT
2008
IEEE
15 years 1 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
112
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Spam is highly pervasive in P2P file-sharing systems and is difficult to detect automatically before actually downloading a file due to the insufficient and biased description of ...
100
click to vote
COMCOM
2000
15 years 1 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
137
click to vote
MATES
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Taxonomies in the area of Multi-Agent Systems (MAS) classify problems according to the underlying principles and assumptions of the agents’ abilities, rationality and i...
148
click to vote
LICS
2010
IEEE
14 years 12 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...