8828 search results - page 1735 / 1766 » Formal methods in practice |
161
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
141
click to vote
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
— Emerging uncertain database applications often involve the cleansing (conditioning) of uncertain databases using additional information as new evidence for reducing the uncerta...
152
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
108
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
106
click to vote
ALMOB
2008
15 years 3 months ago
2008
Background: Sequence-based phylogeny reconstruction is a fundamental task in Bioinformatics. Practically all methods for phylogeny reconstruction are based on multiple alignments....