12084 search results - page 2020 / 2417 » Effect Systems with Subtyping |
197
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
202
click to vote
FGCN
2008
IEEE
15 years 8 months ago
2008
IEEE
Ubiquitous computing environment requirement needs information sharing of sensors based on sensor network technology, situation-aware and determination functions and other related...
181
click to vote
AP2PC
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the operational characteristics of “CompTorrent”, a general purpose distributed computing platform that provides a low entry cost to creating new distribut...
203
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
162
click to vote
AAAI
2010
15 years 8 months ago
2010
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...