4480 search results - page 720 / 896 » Prototyping Completion with Constraints Using Computational ... |
158
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
192
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
154
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
177
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
169
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In a number of application areas, distributed database systems can be used to provide persistent storage of data while providing efficient access for both local and remote data. W...