Sciweavers

1953 search results - page 293 / 391
» Normative system games
Sort
View
WFLP
2009
Springer
297views Algorithms» more  WFLP 2009»
15 years 10 months ago
Programming with Multiple Paradigms in Lua
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
Roberto Ierusalimschy
118
Voted
CIE
2009
Springer
15 years 10 months ago
Stability under Strategy Switching
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...
CONCUR
2009
Springer
15 years 10 months ago
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
Matthias Schmalz, Daniele Varacca, Hagen Völz...
ROBOCUP
2009
Springer
214views Robotics» more  ROBOCUP 2009»
15 years 10 months ago
Real-Time Ball Tracking in a Semi-automated Foosball Table
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
Rob Janssen, Jeroen de Best, René van de Mo...
UIST
2009
ACM
15 years 10 months ago
Optically sensing tongue gestures for computer input
Many patients with paralyzing injuries or medical conditions retain the use of their cranial nerves, which control the eyes, jaw, and tongue. While researchers have explored eye-t...
T. Scott Saponas, Daniel Kelly, Babak A. Parviz, D...