8469 search results - page 1500 / 1694 » An Agent-Environment Interaction Model |
128
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
112
click to vote
PROFES
2005
Springer
15 years 10 months ago
2005
Springer
Software development organizations wanting to introduce usability practices into their defined software process have to undertake laborious efforts for that purpose, since, for the...
146
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
120
Voted
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
126
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...