4447 search results - page 780 / 890 » Model Checking Games |
159
click to vote
JUCS
2007
15 years 6 months ago
2007
: Generating composite human motion such as locomotion and gestures is important for interactive applications, such as interactive storytelling and computer games. In interactive s...
194
click to vote
VC
2008
15 years 6 months ago
2008
This paper presents a novel and fast image-space collision detection algorithm with the A-buffer, where the GPU computes the potentially colliding sets (PCSs), and the CPU performs...
174
click to vote
IJCIA
2002
15 years 6 months ago
2002
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
197
click to vote
JACM
2002
15 years 6 months ago
2002
In completely symmetric systems that have homogeneous nodes (hosts, computers, or processors) with identical arrival processes, an optimal static load balancing scheme does not in...
142
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...