6575 search results - page 984 / 1315 » Specializing visualization algorithms |
131
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
113
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
125
click to vote
IH
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
130
click to vote
IWVF
2001
Springer
15 years 7 months ago
2001
Springer
The usefulness of the 3D Medial Axis (MA) is dependent on both the availability of accurate and stable methods for computing individual MA points and on schemes for deriving the l...
116
Voted
MM
2000
ACM
15 years 7 months ago
2000
ACM
Our goal is to integrate traditional artistic media that demand hand dexterity (such as drawing) with intelligent systems techniques that may both constrain and nourish this dexte...