292 search results - page 32 / 59 » A linearization of the Lambda-calculus and consequences |
132
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
136
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...
109
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper presents an integrated direct/indirect adaptive robust control (DIARC) scheme for a class of nonlinear systems preceded by unknown non-symmetric, non-equal slope dea...
MOR
2002
15 years 1 months ago
2002
ngly better objective function value until an optimal solution is reached. From an abstract point of view, an augmentation problem is solved in each iteration. That is, given a fea...
114
click to vote
IJCV
2007
15 years 27 days ago
2007
The physical (microtomy), optical (microscopy), and radiologic (tomography) sectioning of biological objects and their digitization lead to stacks of images. Due to the sectioning ...