2116 search results - page 181 / 424 » On Probabilistic Alternating Simulations |
139
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
WLAN location estimation based on 802.11 signal strength is becoming increasingly prevalent in today's pervasive computing applications. As alternative to the wellestablished...
144
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
161
click to vote
APN
2009
Springer
15 years 11 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
138
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
144
click to vote
AVSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...