3909 search results - page 481 / 782 » Extreme Model Checking |
148
click to vote
VIS
2009
IEEE
16 years 6 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
141
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we present a probabilistic framework for automatic detection and tracking of objects. We address the data association problem by formulating the visual tracking as ...
168
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
153
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
139
click to vote
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
: We initiate the study of local, sublinear time algorithms for finding vertices with extreme topological properties -- such as high degree or clustering coefficient -- in large so...