4447 search results - page 662 / 890 » Model Checking Games |
157
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
184
click to vote
EAAI
2008
15 years 6 months ago
2008
In a supply chain organized as a network of autonomous enterprises, the main objective of each partner is to optimize his production and supply policy with respect to his own econ...
165
click to vote
AIR
2006
15 years 6 months ago
2006
Simulation motion of Virtual Reality (VR) objects and humans has experienced1 important developments in the last decade. However, realistic virtual human animation gen-2 eration re...
189
click to vote
JCSS
2008
15 years 6 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
169
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In table soccer, humans can not always thoroughly observe fast actions like rod spins and kicks. However, this is necessary in order to detect rule violations for example for tourn...