4098 search results - page 313 / 820 » Sound mobility models |
202
click to vote
CVPR
2003
IEEE
15 years 12 months ago
2003
IEEE
Problem of segmenting individual humans in crowded situations from stationary video camera sequences is exacerbated by object inter-occlusion. We pose this problem as a “model-b...
173
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
181
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...
165
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
184
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...