1002 search results - page 104 / 201 » Reasoning about Object Structures Using Ownership |
120
Voted
DIMVA
2006
15 years 3 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
110
click to vote
ICCBR
2001
Springer
15 years 6 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
103
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
143
click to vote
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
117
click to vote
ERCIMDL
2007
Springer
15 years 8 months ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...