2586 search results - page 214 / 518 » Automatic Abstraction for Congruences |
188
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Optical coherence tomography (OCT) is a non-invasive, depth resolved imaging modality that has become a prominent ophthalmic diagnostic technique. We present an automatic...
133
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
173
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Active Shape Models are a popular method for segmenting three-dimensional medical images. To obtain the required landmark correspondences, various automatic approaches ha...
180
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
297
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...