4447 search results - page 322 / 890 » Model Checking Games |
174
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
A concept of regional technological cooperation is developed based on a cooperative game theoretic model, in which a plan of payoff distributions induces an agreement that is accep...
156
click to vote
FLAIRS
2010
15 years 8 months ago
2010
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
200
click to vote
FEDCSIS
2011
14 years 5 months ago
2011
—The paper describes the process of designing a task-oriented continuous speech recognition system for Polish, based on CMU Sphinx4, to be used in the voice interface of a comput...
178
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
193
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...