1371 search results - page 74 / 275 » A Model for Large Scale Self-Stabilization |
EMNLP
2009
13 years 6 months ago
2009
We present a fully automatic method for content selection evaluation in summarization that does not require the creation of human model summaries. Our work capitalizes on the assu...
ICASSP
2011
IEEE
13 years 20 days ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
CPHYSICS
2011
13 years 14 days ago
2011
In the presented article we present an algorithm for the computation of ground state spin configurations for the 2d random bond Ising model on planar triangular lattice graphs. T...
SPIN
2012
Springer
11 years 11 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...