Sciweavers

2335 search results - page 293 / 467
» Functional Differentiation of Computer Programs
Sort
View
HICSS
1995
IEEE
105views Biometrics» more  HICSS 1995»
15 years 6 months ago
A parallel algorithm for calculating the potential energy in DNA
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
John S. Conery, Warner L. Peticolas, Thomas Rush I...
ICALP
2011
Springer
14 years 6 months ago
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
Silvia Crafa, Francesco Ranzato
150
Voted
ISMIR
2004
Springer
90views Music» more  ISMIR 2004»
15 years 7 months ago
Automatic extraction of music descriptors from acoustic signals
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
François Pachet, Aymeric Zils
DCC
2000
IEEE
15 years 7 months ago
QccPack: An Open-Source Software Library for Quantization, Compression, and Coding
We describe the QccPack software package, an open-source collection of library routines and utility programs for quantization, compression, and coding of data. QccPack is being wr...
James E. Fowler
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 6 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris