3729 search results - page 241 / 746 » On Formal Modeling of Agent Computations |
196
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
219
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
154
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
192
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
174
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...