6020 search results - page 1117 / 1204 » A New Approach to Model Counting |
139
click to vote
CONSTRAINTS
2011
14 years 11 months ago
2011
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...
171
click to vote
HUC
2011
Springer
14 years 4 months ago
2011
Springer
Sensor-enabled smartphones are opening a new frontier in the development of mobile sensing applications. The recognition of human activities and context from sensor-data using cla...
181
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
177
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
In real-world applications of visual recognition, many factors—such as pose, illumination, or image quality—can cause a significant mismatch between the source domain on whic...
149
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Query-oriented summarization aims at extracting an informative summary from a document collection for a given query. It is very useful to help users grasp the main information rel...