53 search results - page 4 / 11 » A Computational Approach to the Automation of Creative Namin... |
PAMI
2007
14 years 9 months ago
2007
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a supervised pixel-based classifier approach for segmenting different anatomical regions in abdominal Computed Tomography (CT) studies is presented. The approach co...
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
VLSID
2005
IEEE
15 years 3 months ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...