6020 search results - page 761 / 1204 » A New Approach to Model Counting |
173
click to vote
PVLDB
2010
15 years 5 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
178
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
This paper investigates the use of fuzzy logic mechanisms coming from the database community, namely graded inclusions, to model the information retrieval process. In this framewor...
184
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a general framework for fusing bottom-up segmentation with top-down object behavior classification over an image sequence. This approach is beneficial fo...
189
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper describes a new passive approach to capture time-varying scene geometry in large acquisition volumes from multi-view video. It can be applied to reconstruct complete mo...
190
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
The gain-based technology mapping paradigm has been successfully employed for finding minimum delay and minimum area mappings. However, existing gain-based technology mappers fail...