Sciweavers

1090 search results - page 90 / 218
» The Equivalence between Biology and Computation
Sort
View
JOBIM
2000
15 years 4 months ago
Can We Have Confidence in a Tree Representation?
Abstract. A tree representation distance method, applied to any dissimilarity array, always gives a valued tree, even if the tree model is not appropriate. In the first part, we pr...
Alain Guénoche, Henri Garreta
108
Voted
ISMB
1997
15 years 2 months ago
ANOLEA: A WWW Server to Assess Protein Structures
ANOLEA (Atomic Non-Local Environment Assessment) is a www server that performs energy calculations at the atomic level in protein structures. The calculations involve the non-loca...
Francisco Melo, Damien Devos, Eric Depiereux, Erne...
103
Voted
CW
2002
IEEE
15 years 5 months ago
Topological Morphing Using Reeb Graphs
Metamorphosis between 3D objects is often the transformation between a pair of shapes that have the same topology. This paper presents a new model using Reeb graphs and their cont...
Pizzanu Kanonchayos, Tomoyuki Nishita, Yoshihisa S...
107
Voted
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 4 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
127
Voted
CVPR
2009
IEEE
14 years 10 months ago
Learning IMED via shift-invariant transformation
The IMage Euclidean Distance (IMED) is a class of image metrics, in which the spatial relationship between pixels is taken into consideration. It was shown that calculating the IM...
Bing Sun, Jufu Feng, Liwei Wang