Sciweavers

4447 search results - page 668 / 890
» Model Checking Games
Sort
View
ANSS
2001
IEEE
15 years 10 months ago
Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
John R. Clymer, David J. Chen
WSC
2008
15 years 9 months ago
Incorporating information networks into military simulations
Information superiority is considered a critical capability for future joint forces. As advances in technology continue to boost our ability to communicate in new and different wa...
Darryl K. Ahner, Jonathon K. Alt, Francisco Baez, ...
FUIN
2006
97views more  FUIN 2006»
15 years 6 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
CGF
2007
139views more  CGF 2007»
15 years 6 months ago
Online Motion Capture Marker Labeling for Multiple Interacting Articulated Targets
In this paper, we propose an online motion capture marker labeling approach for multiple interacting articulated targets. Given hundreds of unlabeled motion capture markers from m...
Qian Yu, Qing Li, Zhigang Deng
ANOR
2005
128views more  ANOR 2005»
15 years 6 months ago
Expectation-Stock Dynamics in Multi-Agent Fisheries
In this paper we consider a game-theoretic dynamic model describing the exploitation of a renewable resource. Our model is based on a Cournot oligopoly game where n profit-maximizi...
Gian Italo Bischi, Michael Kopel, Ferenc Szidarovs...