Sciweavers

1187 search results - page 32 / 238
» Graph-Based Procedural Abstraction
Sort
View
84
Voted
BMCBI
2007
137views more  BMCBI 2007»
14 years 9 months ago
Bayesian refinement of protein functional site matching
Background: Matching functional sites is a key problem for the understanding of protein function and evolution. The commonly used graph theoretic approach, and other related appro...
Kanti V. Mardia, Vysaul B. Nyirongo, Peter J. Gree...
CVPR
2010
IEEE
15 years 6 months ago
Authority-Shift Clustering: Hierarchical Clustering by Authority Seeking on Graphs
In this paper, a novel hierarchical clustering method using link analysis techniques is introduced. The algorithm is formulated as an authority seeking procedure on graphs, which c...
Minsu Cho (Seoul National University), Kyoung Mu L...
APAL
2008
75views more  APAL 2008»
14 years 9 months ago
Call-by-name reduction and cut-elimination in classical logic
Abstract. We present a version of Herbelin's
Kentaro Kikuchi
LPAR
2004
Springer
15 years 3 months ago
Abstraction-Carrying Code
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
Elvira Albert, Germán Puebla, Manuel V. Her...
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 1 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...