4761 search results - page 160 / 953 » Components, Frameworks, Patterns |
146
click to vote
APVIS
2006
15 years 6 months ago
2006
Software systems have become increasingly complex over the years. Complexity metrics measures software complexity using real numbers. It is, however, hard to gain insight into dif...
135
click to vote
IJCV
2006
15 years 5 months ago
2006
: Linear subspace analysis (LSA) has become rather ubiquitous in a wide range of problems arising in pattern recognition and computer vision. The essence of these approaches is tha...
135
click to vote
RAS
2006
15 years 5 months ago
2006
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...
162
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper proposes a new interactive hybrid non-rigid registration framework that combines any intensity-based algorithm with a feature-based component, using an iterative dual e...
131
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...