2089 search results - page 107 / 418 » Finding Environment Guarantees |
134
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
110
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
108
Voted
AUSAI
2001
Springer
15 years 8 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
119
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...
100
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We consider the problem of a searcher that looks for a lost flashlight in a dusty environment. The search agent finds the flashlight as soon as it crosses the ray emanating from t...