8828 search results - page 1505 / 1766 » Formal methods in practice |
172
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
-- Publishing person specific data while protecting privacy is an important problem. Existing algorithms that enforce the privacy principle called l-diversity are heuristic based d...
149
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
223
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
223
Voted
DCC
1999
IEEE
15 years 11 months ago
1999
IEEE
We address the problem of distributed source coding, i.e. compression of correlated sources that are not co-located and/or cannot communicatewith each other to minimize their join...
177
Voted
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...