8190 search results - page 1593 / 1638 » From Timed to Hybrid Systems |
127
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Distributed allocation and multiagent coordination problems can be solved through combinatorial auctions. However, most of the existing winner determination algorithms for combina...
118
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
116
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
We present a novel matching and similarity evaluation method for planar geometric shapes represented by sets of polygonal curves. Given two shapes, the matching algorithm randomly...
152
click to vote
LOCA
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
112
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...