Sciweavers

172 search results - page 16 / 35
» Reducing Behavioural to Structural Properties of Programs wi...
Sort
View
BMCBI
2007
160views more  BMCBI 2007»
13 years 7 months ago
Convergent algorithms for protein structural alignment
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...
Leandro Martínez, Roberto Andreani, Jos&eac...
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
13 years 11 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
ICPR
2004
IEEE
14 years 8 months ago
A Hierarchical Projection Pursuit Clustering Algorithm
We define a cluster to be characterized by regions of high density separated by regions that are sparse. By observing the downward closure property of density, the search for inte...
Alexei D. Miasnikov, Jayson E. Rome, Robert M. Har...
ECCV
1994
Springer
14 years 9 months ago
Utilizing symmetry in the reconstruction of three-dimensional shape from noisy images
In previous applications, bilateral symmetry of objects was used either as a descriptive feature in domains such as recognition and grasping, or as a way to reduce the complexity o...
Hagit Zabrodsky, Daphna Weinshall
LFP
1992
140views more  LFP 1992»
13 years 8 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein