Sciweavers

4488 search results - page 378 / 898
» Properties of NP-Complete Sets
Sort
View
SCAM
2006
IEEE
16 years 1 months ago
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
David Binkley, Mark Harman, Jens Krinke
3DIM
2005
IEEE
16 years 1 months ago
Efficient Photometric Stereo Technique for Three-Dimensional Surfaces with Unknown BRDF
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
Li Shen, Takashi Machida, Haruo Takemura
CSFW
2005
IEEE
16 years 1 months ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
GLVLSI
2005
IEEE
85views VLSI» more  GLVLSI 2005»
16 years 1 months 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
ICCV
2005
IEEE
16 years 1 months ago
Convex Grouping Combining Boundary and Region Information
Convexity is an important geometric property of many natural and man-made structures. Prior research has shown that it is imperative to many perceptual-organization and imageunder...
Joachim S. Stahl, Song Wang