6020 search results - page 816 / 1204 » A New Approach to Model Counting |
165
click to vote
CIAC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We consider problems of (new) station placement along (existing) railway tracks, so as to increase the number of users. We prove that, in spite of the NP-hardness for the...
164
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Microprocessors are today getting more and more inefficient for a growing range of applications. Its principles -The Von Neumann paradigm[3]- based on the sequential execution of ...
160
click to vote
FAST
2010
15 years 9 months ago
2010
Latent sector errors (LSEs) refer to the situation where particular sectors on a drive become inaccessible. LSEs are a critical factor in data reliability, since a single LSE can ...
206
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We address the problem of segmenting 3D scan data into objects or object classes. Our segmentation framework is based on a subclass of Markov Random Fields (MRFs) which support ef...
179
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We propose a new algorithm for two-phase, piecewise-smooth segmentation with shape prior. The image is segmented by a binary template that is deformed by a regular geometric transf...