2436 search results - page 419 / 488 » Comonadic Notions of Computation |
151
Voted
3DOR
2009
15 years 4 months ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
115
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
138
Voted
AI
2007
Springer
15 years 3 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
158
Voted
IJNSEC
2008
15 years 3 months ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
129
click to vote
JAPLL
2008
15 years 3 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...