2083 search results - page 335 / 417 » Perception and Experience in Problem Solving |
139
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
158
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
Traditional techniques for tracking non-rigid objects such as optical flow, correlation, active contours or color, can not deal with situations where image changes are not due to ...
148
click to vote
PACS
2000
Springer
15 years 8 months ago
2000
Springer
Power dissipation is a major concern not only for portable systems, but also for high-performance systems. In the past, energy consumption and processor heating was reduced mainly...
120
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
149
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
For various 3D shape analysis tasks, the LaplaceBeltrami(LB) embedding has become increasingly popular as it enables the efficient comparison of shapes based on intrinsic geometry...