3765 search results - page 669 / 753 » Qualitative Action Systems |
APN
2010
Springer
14 years 2 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
ECOOP
2010
Springer
14 years 2 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
For in-car navigation, information and entertainment systems, text input is increasingly important. We investigate handwriting as a text input modality and assess where to best po...
HUC
2009
Springer
14 years 2 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
IDEAL
2009
Springer
14 years 2 months ago
2009
Springer
Opponent modeling is a skill in multi-agent systems (MAS) which attempts to create a model of the behavior of the opponent. This model can be used to predict the future actions of ...