Sciweavers

4103 search results - page 558 / 821
» Some results on the Collatz problem
Sort
View
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 19 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
VLDB
2007
ACM
115views Database» more  VLDB 2007»
16 years 19 days ago
The Boundary Between Privacy and Utility in Data Publishing
We consider the privacy problem in data publishing: given a database instance containing sensitive information “anonymize” it to obtain a view such that, on one hand attackers...
Vibhor Rastogi, Sungho Hong, Dan Suciu
IDEAS
2006
IEEE
104views Database» more  IDEAS 2006»
16 years 17 days ago
Exploiting Indifference for Customization of Partial Order Skylines
Unlike numerical preferences, preferences on attribute values do not show an inherent total order, but skyline computation has to rely on partial orderings explicitly stated by th...
Wolf-Tilo Balke, Ulrich Güntzer, Wolf Sibersk...
ACCV
2006
Springer
16 years 16 days ago
Attractor-Guided Particle Filtering for Lip Contour Tracking
Abstract. We present a lip contour tracking algorithm using attractorguided particle filtering. Usually it is difficult to robustly track the lip contour because the lip contour i...
Yong-Dian Jian, Wen-Yan Chang, Chu-Song Chen
GLVLSI
2005
IEEE
85views VLSI» more  GLVLSI 2005»
16 years 4 days ago
VLSI CAD tool protection by birthmarking design solutions
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...
Lin Yuan, Gang Qu, Ankur Srivastava