Sciweavers

457 search results - page 38 / 92
» Construction of a Highly Dependable Operating System
Sort
View
IJCAI
1997
13 years 9 months ago
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
Ulrich Junker
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
13 years 6 months ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande
PPAM
2007
Springer
14 years 2 months ago
Parallel Tiled QR Factorization for Multicore Architectures
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
Alfredo Buttari, Julien Langou, Jakub Kurzak, Jack...
IWPC
2010
IEEE
13 years 7 months ago
Understanding and Auditing the Licensing of Open Source Software Distributions
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
Daniel M. Germán, Massimiliano Di Penta, Ju...
ICASSP
2010
IEEE
13 years 8 months ago
Wideband noise suppression supported by artificial bandwidth extension techniques
This contribution presents a wideband (50 Hz – 7 kHz) speech enhancement system that is operating in the frequency domain. As a novel feature, techniques known from artificial ...
Thomas Esch, Florian Heese, Bernd Geiser, Peter Va...