Sciweavers

3394 search results - page 540 / 679
» Design patterns for semaphores
Sort
View
HIPEAC
2005
Springer
15 years 9 months ago
Induction Variable Analysis with Delayed Abstractions
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
Sebastian Pop, Albert Cohen, Georges-André ...
132
Voted
ICAPR
2005
Springer
15 years 9 months ago
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy,...
140
Voted
ICIAP
2005
ACM
15 years 9 months ago
Score Selection Techniques for Fingerprint Multi-modal Biometric Authentication
Abstract. Fingerprints are one of the most used biometrics for automatic personal authentication. Unfortunately, it is often difficult to design fingerprint matchers exhibiting th...
Giorgio Giacinto, Fabio Roli, Roberto Tronci
115
Voted
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
15 years 9 months ago
Finding Meter in Music Using An Autocorrelation Phase Matrix and Shannon Entropy
This paper introduces a novel way to detect metrical structure in music. We introduce a way to compute autocorrelation such that the distribution of energy in phase space is prese...
Douglas Eck, Norman Casagrande
117
Voted
MKM
2005
Springer
15 years 9 months ago
Determining Empirical Characteristics of Mathematical Expression Use
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
Clare M. So, Stephen M. Watt