1879 search results - page 33 / 376 » Extending Reflective Architectures |
179
click to vote
FUZZIEEE
2007
IEEE
16 years 11 days ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
145
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Despite the many significant advances made in robot motion research, few works have focused on the tight integration of high-level deliberative planning with reactive control ...
132
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
Much of the data that we encounter has a spatial (geographic locational) aspect yet this has not been readily exploited by traditional RDBMS. Over the past five years there has be...
156
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
145
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...