9405 search results - page 1651 / 1881 » Computing a Model of Set Theory |
215
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
The problem of finding a satisfying assignment for a 2-SAT formula that minimizes the number of variables that are set to 1 (min ones 2–sat) is NP-complete. It generalizes the w...
154
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
High-end mobile phones are quickly becoming versatile sensing platforms, capable of continuously capturing the dynamic context of their owners through various sensors. A change in...
148
click to vote
TCS
2010
15 years 3 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
146
click to vote
BMVC
2010
15 years 2 months ago
2010
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...
151
Voted
DIS
2010
Springer
15 years 2 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...