2920 search results - page 342 / 584 » Finite information logic |
189
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
168
click to vote
AIPS
2010
15 years 9 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...
162
Voted
AIIDE
2008
15 years 9 months ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
203
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
179
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...