1101 search results - page 166 / 221 » Forcing in proof theory |
84
Voted
AAAI
2008
15 years 2 months ago
2008
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a novel non-flat synchronization model where the synchronization capacity of each agent is different regarding its social rank and strategy dominance. In the p...
133
Voted
COMPGEOM
2005
ACM
15 years 2 months ago
2005
ACM
Star splaying is a general-dimensional algorithm that takes as input a triangulation or an approximation of a convex hull, and produces the Delaunay triangulation, weighted Delaun...
105
Voted
GEOINFO
2004
15 years 1 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
92
Voted
WSC
2001
15 years 1 months ago
2001
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...