244 search results - page 30 / 49 » General Refinement, Part Two: Flexible Refinement |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
168
click to vote
GIS
2005
ACM
15 years 10 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
103
Voted
CVPR
2003
IEEE
15 years 11 months ago
2003
IEEE
Shape-From-Silhouette (SFS), also known as Visual Hull (VH) construction, is a popular 3D reconstruction method which estimates the shape of an object from multiple silhouette ima...
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Shape correspondence is the foundation for accurate statistical shape analysis; this is usually accomplished by identifying a set of sparsely sampled and well-corresponde...
105
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...