Sciweavers

773 search results - page 61 / 155
» Program Slicing by Calculation
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 3 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
118
Voted
ACL
1998
15 years 3 months ago
Optimal Multi-Paragraph Text Segmentation by Dynamic Programming
There exist several methods of calculating a similarity curve, or a sequence of similarity values, representing the lexical cohesion of successive text constituents, e.g., paragra...
Oskari Heinonen
JCC
2008
195views more  JCC 2008»
15 years 2 months ago
pyVib, a computer program for the analysis of infrared and Raman optical activity
: A new program called pyVib has been developed as a tool for the analysis of Gaussian (Gaussian 03, Gaussian Inc., Pittsburgh, PA) outputs of vibrational absorption (IR), Raman as...
Mohamed Zerara
JCC
2011
154views more  JCC 2011»
14 years 5 months ago
Can we trust docking results? Evaluation of seven commonly used programs on PDBbind database
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
Dariusz Plewczynski, Michal Lazniewski, Rafal Augu...
138
Voted
KDD
2006
ACM
213views Data Mining» more  KDD 2006»
16 years 2 months ago
Learning sparse metrics via linear programming
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
Glenn Fung, Rómer Rosales