6020 search results - page 57 / 1204 » A New Approach to Model Counting |
139
click to vote
VC
2008
15 years 6 months ago
2008
We present a skeletal linked model of the human hand that has natural motion. We show how this can be achieved by introducing a new biology-based joint axis that simulates natural ...
190
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
261
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
120
click to vote
IEAAIE
1999
Springer
15 years 10 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
126
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...