998 search results - page 55 / 200 » From Feasible Proofs to Feasible Computations |
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Material classification of object surfaces from captured image data is an essential problem in computer vision. The present paper proposes a method for stably classifying the mate...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
CVIU
2011
13 years 3 months ago
2011
The medial axis transform is valuable for shape representation as it is complete and captures part structure. However, its exact computation for arbitrary 3D models is not feasibl...
ISD
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...