5350 search results - page 189 / 1070 » Space and time in eco-ontologies |
168
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
166
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a new image representation that encompasses both the general layout of groups of quantized local invariant descriptors as well as their relative frequency. A graph of...
196
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
247
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...
138
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...