6020 search results - page 607 / 1204 » A New Approach to Model Counting |
198
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
236
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
219
click to vote
AAAI
2012
13 years 9 months ago
2012
We introduce a new task-independent framework to model top-down overt visual attention based on graphical models for probabilistic inference and reasoning. We describe a Dynamic B...
191
click to vote
EDBT
2002
ACM
16 years 7 months ago
2002
ACM
Abstract. A major obstacle in data mining applications is the gap between the statistic-based pattern extraction and the value-based decision making. We present a profit mining app...
179
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...