1581 search results - page 148 / 317 » Mechanizing Inductive Reasoning |
154
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
209
click to vote
ICALT
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents a Case-Based Reasoning approach for the personalized access and the students’ coauthoring tasks in on-line repositories of Learning Objects (LOs). The person...
167
click to vote
AINA
2007
IEEE
16 years 23 days ago
2007
IEEE
A new system named Home-Explorer is proposed to search and localize physical artifacts in smart indoor environment. Our view is object-centered and sensors are attached to several...
152
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
162
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...