88 search results - page 12 / 18 » Partial Functional Manipulation Based Wirelength Minimizatio... |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
CG
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents an energy-based approach that models the distinct wrinkle shapes to represent the different material properties of non-rigid objects at an interactive speed. O...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper, we introduce a novel approach for simultaneous restoration and segmentation of blurred, noisy images by approaching a variant of the Mumford-Shah functional from a ...