575 search results - page 87 / 115 » Model Checking Restricted Sets of Timed Paths |
ISAAC
2009
Springer
15 years 6 months ago
2009
Springer
The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...
101
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Materialized views (MV) can significantly improve the query performance of relational databases. In this paper, we consider MVs to optimize complex scenarios where many heterogen...
NN
2007
Springer
14 years 11 months ago
2007
Springer
On the basis of detailed analysis of reaction times and neurophysiological data from tasks involving choice, it has been proposed that the brain implements an optimal statistical ...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a background model that differentiates between background motion and foreground objects. Unlike most models that represent the variability of pixel intensity at a partic...
POPL
1999
ACM
15 years 4 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...