11168 search results - page 343 / 2234 » Abstract State Processes |
191
click to vote
ESA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we consider Nash Equilibria for the selfish routing model proposed in [12], where a set of n users with tasks of different size try to access m parallel l...
154
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
174
click to vote
PCM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose an adaptive method that can estimate 3D position of a soccer ball by using two viewpoint videos. The 3D position of a ball is essential to realize a 3D free vi...
181
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...
207
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...