Sciweavers

2173 search results - page 256 / 435
» The History of the History of Software
Sort
View
SCP
2011
197views Communications» more  SCP 2011»
15 years 1 months ago
A state/event-based model-checking approach for the analysis of abstract system properties
system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
SYNTHESE
2011
93views more  SYNTHESE 2011»
15 years 1 months ago
Part-whole science
A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the ...
Rasmus Grønfeldt Winther
ICASSP
2011
IEEE
14 years 10 months ago
A comparative analysis of dynamic network decoding
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
David Rybach, Ralf Schlüter, Hermann Ney
ICASSP
2011
IEEE
14 years 10 months ago
A single-port non-parametric model of turn-taking in multi-party conversation
The taking of turns to speak is an intrinsic property of conversation. It is expected that models of taking turns, providing a prior distribution over conversational form, can red...
Kornel Laskowski, Jens Edlund, Mattias Heldner
CIDR
2011
266views Algorithms» more  CIDR 2011»
14 years 10 months ago
Consistency in a Stream Warehouse
A stream warehouse is a Data Stream Management System (DSMS) that stores a very long history, e.g. years or decades; or equivalently a data warehouse that is continuously loaded. ...
Lukasz Golab, Theodore Johnson