7991 search results - page 657 / 1599 » Using More Reasoning to Improve |
199
click to vote
ICFEM
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
194
click to vote
AGP
2003
IEEE
16 years 22 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
238
click to vote
KI
1998
Springer
15 years 11 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
200
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The colonies of certain species of ants, for example Pogonomyrmex barbatus, exhibit changes in behaviour as the colonies grow older, despite nearly all of the individual ...
206
click to vote
ICIA
2007
15 years 9 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...