Sciweavers

876 search results - page 157 / 176
» On a theory of learning with similarity functions
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 1 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
IPMI
2007
Springer
14 years 1 months ago
Segmentation of Sub-cortical Structures by the Graph-Shifts Algorithm
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
Jason J. Corso, Zhuowen Tu, Alan L. Yuille, Arthur...
BIBE
2006
IEEE
160views Bioinformatics» more  BIBE 2006»
14 years 1 months ago
Methods for Random Modularization of Biological Networks
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
Zachary M. Saul, Vladimir Filkov
HICSS
2006
IEEE
160views Biometrics» more  HICSS 2006»
14 years 1 months ago
A Case Study of a Longstanding Online Community of Practice Involving Critical Care and Advanced Practice Nurses
The aims of this study are: (1) to examine to what extent critical care and advanced practice nurses’ participation in an online listserv constituted a community of practice, an...
Noriko Hara, Khe Foon Hew
COLT
2004
Springer
14 years 1 months ago
Statistical Properties of Kernel Principal Component Analysis
The main goal of this paper is to prove inequalities on the reconstruction error for Kernel Principal Component Analysis. With respect to previous work on this topic, our contribu...
Laurent Zwald, Olivier Bousquet, Gilles Blanchard