28 search results - page 5 / 6 » Conservative visibility preprocessing using extended project... |
APAL
2010
13 years 5 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
BMCBI
2006
13 years 5 months ago
2006
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
ESEM
2008
ACM
13 years 7 months ago
2008
ACM
This paper proposes a novel method to generate synthetic project cases and add them to a fit dataset for the purpose of improving the performance of analogy-based software effort ...
SIGGRAPH
1996
ACM
13 years 10 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
We present a novel variational approach to top-down image segmentation, which accounts for significant projective transformations between a single prior image and the image to be s...