875 search results - page 72 / 175 » Reasoning about Knowledge and Continuity |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
104
click to vote
ICCBR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
RAS
2008
14 years 9 months ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...