Sciweavers

2951 search results - page 130 / 591
» Trustable Task Processing Systems
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
EACL
2006
ACL Anthology
15 years 7 months ago
Bayesian Network, a Model for NLP?
The NLP systems often have low performances because they rely on unreliable and heterogeneous knowledge. We show on the task of non-anaphoric it identification how to overcome the...
Davy Weissenbacher
ICASSP
2010
IEEE
15 years 4 months ago
Clap your hands! Calibrating spectral subtraction for dereverberation
Reverberation effects as observed by room microphones severely degrade the performance of automatic speech recognition systems. We investigate the use of dereverberation by spectr...
Uwe Zah, Korbinian Riedhammer, Tobias Bocklet, Elm...
EMNLP
2011
14 years 6 months ago
Identifying Relations for Open Information Extraction
Open Information Extraction (IE) is the task of extracting assertions from massive corpora without requiring a pre-specified vocabulary. This paper shows that the output of state...
Anthony Fader, Stephen Soderland, Oren Etzioni
ICSE
2000
IEEE-ACM
15 years 10 months ago
Little-JIL/Juliette: a process definition language and interpreter
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
Aaron G. Cass, Barbara Staudt Lerner, Stanley M. S...