3573 search results - page 579 / 715 » Reasoning about Codata |
102
Voted
IUI
2006
ACM
15 years 6 months 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...
148
Voted
ATAL
2005
Springer
15 years 6 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...
114
Voted
LOPSTR
2005
Springer
15 years 6 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...
110
click to vote
MIDDLEWARE
2005
Springer
15 years 6 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...
108
Voted
PPSWR
2005
Springer
15 years 6 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...