4447 search results - page 500 / 890 » Model Checking Games |
201
click to vote
DLOG
2009
15 years 5 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
210
click to vote
JUCS
2010
15 years 2 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
181
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
226
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
We propose a robust scene recognition system for baseball broadcast videos. This system is based on the data-driven approach which has been successful in continuous speech recogni...
207
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...