330 search results - page 31 / 66 » Algorithms for Propositional Model Counting |
PADS
2009
ACM
15 years 4 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
190
click to vote
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Matching elements of two data schemas or two data instances plays a key role in data warehousing, e-business, or even biochemical applications. In this paper we present a matching...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a novel shot segmentation algorithm on the H.264/AVC video, which operates in the compressed domain. First, the algorithm exploits the intra prediction mode hi...
CONSTRAINTS
2007
14 years 9 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
100
click to vote
JCP
2008
14 years 9 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...