11436 search results - page 34 / 2288 » Modeling Real Reasoning |
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
SIBGRAPI
2003
IEEE
14 years 4 months ago
2003
IEEE
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
ICCBR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
SPLC
2007
14 years 3 days ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...