6020 search results - page 57 / 1204 » A New Approach to Model Counting |
106
Voted
VC
2008
15 years 3 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 ...
148
Voted
IJNSEC
2008
15 years 3 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...
221
Voted
GIS
2008
ACM
16 years 4 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...
91
Voted
IEAAIE
1999
Springer
15 years 7 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...
99
Voted
SAC
2009
ACM
15 years 10 months 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...