Sciweavers

5608 search results - page 495 / 1122
» Structure description tools
Sort
View
ICPR
2008
IEEE
16 years 8 months ago
Combine hierarchical appearance statistics for accurate palmprint recognition
Palmprint recognition is an active member of biometrics in recent years. State-of-the-art algorithms of palmprint recognition describe appearances of palmprints efficiently throug...
Tieniu Tan, Yufei Han, Zhenan Sun
LICS
2009
IEEE
16 years 1 months ago
Pointer Programs and Undirected Reachability
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
Martin Hofmann, Ulrich Schöpp
DEBS
2009
ACM
16 years 1 months ago
Distributed agent environments in the Ambient Event Calculus
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Stefano Bromuri, Kostas Stathis
MOMPES
2008
IEEE
16 years 1 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
ISBI
2007
IEEE
16 years 1 months ago
An Iterative Method for Registration of High-Resolution Cardiac Histoanatomical and Mri Images
Cardiac computational models of electrical conduction, mechanical activation, hemodynamics and metabolism require detailed information about the structural arrangement of function...
Tahier Mansoori, Gernot Plank, Rebecca Burton, J&u...