3573 search results - page 579 / 715 » Reasoning about Codata |
163
click to vote
IUI
2006
ACM
16 years 9 days ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
212
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
160
click to vote
LOPSTR
2005
Springer
15 years 12 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
167
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...
178
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...