836 search results - page 120 / 168 » The Generalized Shape Distributions for Shape Matching and A... |
214
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
108
click to vote
TMI
1998
15 years 1 months ago
1998
Abstract—Segmenting lesions is a vital step in many computerized mass-detection schemes for digital (or digitized) mammograms. We have developed two novel lesion segmentation tec...
3DOR
2010
14 years 8 months ago
2010
With the increasing amount of 3D data and the ability of capture devices to produce low-cost multimedia data, the capability to select relevant information has become an interesti...
108
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
134
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Most microarray experiments are carried out with the purpose of identifying genes whose expression varies in relation with specific conditions or in response to enviro...