1738 search results - page 29 / 348 » Local Consistency and SAT-Solvers |
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
Home-based Lazy Release Consistency (HLRC) shows poor performance on lock based applications because of two reasons: (1) a whole page is fetched on a page fault while actual modif...
CSDA
2007
13 years 7 months ago
2007
This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
Geometric verification with RANSAC has become a crucial step for many local feature based matching applications. Therefore, the details of its implementation are directly relevant...
EUROSYS
2011
ACM
12 years 11 months ago
2011
ACM
Traditional agreement-based Byzantine fault-tolerant (BFT) systems process all requests on all replicas to ensure consistency. In addition to the overhead for BFT protocol and sta...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Accurate localization in wireless sensor networks is the foundation for many applications, such as geographic routing and position-aware data processing. An important research d...