3729 search results - page 87 / 746 » On Formal Modeling of Agent Computations |
PUC
2008
14 years 11 months ago
2008
We described in earlier publications the principles of a system where internet content would be pre-cached, based on contextual information obtained from a user's electronic ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
108
click to vote
DAC
1997
ACM
15 years 3 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...