9687 search results - page 1663 / 1938 » On Natural Mobility Models |
141
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
168
click to vote
LADS
2007
Springer
16 years 26 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
178
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
182
click to vote
MIRAGE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract We present a gesture recognition system for recognizing hand movements in near realtime. The system uses a infra-red time-of-flight range camera with up to 30 Hz framerat...
177
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...