Sciweavers

466 search results - page 67 / 94
» Temporal Knowledge Acquisition and Modeling
Sort
View
145
Voted
LFCS
2009
Springer
15 years 7 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
97
Voted
DAGSTUHL
2006
15 years 1 months ago
On Scene Interpretation with Description Logics
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
Bernd Neumann, Ralf Möller
TMI
2002
96views more  TMI 2002»
15 years 3 days ago
Imaging of spatiotemporal coincident states by DC optical tomography
The utility of optical tomography as a practical imaging modality has, thus far, been limited by its intrinsically low spatial resolution and quantitative accuracy. Recently, we ha...
Harry L. Graber, Yaling Pei, Randall L. Barbour
118
Voted
PRDC
2005
IEEE
15 years 6 months ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott
110
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Analysis-synthesis based speech enhancement with improved spectrum envelope estimation by tracking speech dynamics
This paper presents a Kalman tracking approach to re-estimate clean spectral amplitude from noisy speech spectrum for re-synthesis based speech enhancement. The motivation of usin...
Ruofei Chen, Cheung-Fat Chan