2293 search results - page 291 / 459 » Temporal Logic in Information Systems |
177
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes a system for object segmentation and feature extraction for surveillance video. Segmentation is performed by a dynamic vision system that fuses information fr...
201
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Earthquake phenomena constitute a rich source of information over the years. Typically, the frequency of earthquakes worldwide is one every second. Collecting and querying seismic ...
178
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photographs from a large collection of geo-referenced photos. The summary algorithm is based on spatial patter...
200
click to vote
JCNS
2000
15 years 6 months ago
2000
The classical view of cortical information processing is that of a bottom-up process in a feedforward hierarchy. However, psychophysical, anatomical, and physiological evidence sug...
199
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...