933 search results - page 117 / 187 » A Fully Automatic hp-Adaptivity |
103
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
94
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
63
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces a new way to measure rhythmic similarity between two musical pieces using periodicity spectra. In order to detect similarity for pieces of different tempi, t...