988 search results - page 86 / 198 » Positive Results and Techniques for Obfuscation |
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
CGI
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper proposes a new method for designing dynamic wrinkles that appear and disappear according to the underlying deformation of tissues. The user positions and orients wrinkl...
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
ICMI
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a simple and fast technique for geometrical feature detection of several human face organs such as eyes and mouth. Human face gravity-center template is firstly...
FOCS
1991
IEEE
15 years 1 months ago
1991
IEEE
The Lov´asz Local Lemma is a tool that enables one to show that certain events hold with positive, though very small probability. It often yields existence proofs of results with...