4103 search results - page 621 / 821 » Some results on the Collatz problem |
139
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
162
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we introduce a novel Riemannian framework for shape analysis of parameterized surfaces. We derive a distance function between any two surfaces that is invariant to r...
165
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Readers face many obstacles on today’s Web, including distracting content competing for the user’s attention and other factors interfering with comfortable reading. On todayâ€...
179
click to vote
ISPD
2010
ACM
16 years 1 months ago
2010
ACM
Obstacle-avoiding rectilinear Steiner minimal tree (OARSMT) construction is becoming one of the most sought after problems in modern design flow. In this paper we present FOARS, ...
158
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our...