472 search results - page 14 / 95 » Symbolic range propagation |
107
Voted
SAC
2002
ACM
15 years 9 days ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
117
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Digital audio watermarking has received increasing interest in the last years due to the wide range of applications it can be used for. This contribution presents a novel blind wa...
99
Voted
PVLDB
2008
15 years 3 days ago
2008
The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold...
119
Voted
MASCOTS
2004
15 years 2 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...