10707 search results - page 1978 / 2142 » Designing executable abstractions |
213
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
214
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a new imaging method called hemispherical confocal imaging to clearly visualize a particular depth in a 3-D scene. The key optical component is a turtleback re...
226
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
Interactions within Multi-agent systems can be structured in different ways depending on the application scenario and its environmental restrictions. In previous work we have devel...
194
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
205
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...