Sciweavers

2226 search results - page 211 / 446
» Computable Analysis via Representations
Sort
View
ERSHOV
2009
Springer
15 years 10 months ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
RECOMB
2002
Springer
16 years 7 months ago
A dimensionality reduction approach to modeling protein flexibility
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
Miguel L. Teodoro, George N. Phillips, Lydia E. Ka...
IJCV
2002
157views more  IJCV 2002»
15 years 6 months ago
Hamilton-Jacobi Skeletons
In an effort to articulate models for the intuitive representation and manipulation of 2D and 3D forms, Blum (1967, 1973) invented the notion of a skeleton. His insight was to con...
Kaleem Siddiqi, Sylvain Bouix, Allen Tannenbaum, S...
172
Voted
VIS
2009
IEEE
200views Visualization» more  VIS 2009»
16 years 8 months ago
Interactive Coordinated Multiple-View Visualization of Biomechanical Motion Data
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
Daniel F. Keefe, Marcus Ewert, William Ribarsky,...
DAS
2010
Springer
15 years 10 months ago
A kernel-based approach to document retrieval
In this paper we tackle the problem of document image retrieval by combining a similarity measure between documents and the probability that a given document belongs to a certain ...
Albert Gordo, Jaume Gibert, Ernest Valveny, Mar&cc...