4341 search results - page 483 / 869 » Quantitative Model checking |
230
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
209
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
194
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The ability to associate objects across multiple views allows co-operative use of an ensemble cameras for scene understanding. In this paper, we present a principled solution to o...
186
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
276
click to vote
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
Three pointer-based parallel join algorithms are presented and analyzed for environments in which secondary storage is made transparent to the programmer through memory mapping. B...