Sciweavers

210 search results - page 17 / 42
» Positionalism of Relations and Its Consequences for Fact-Ori...
Sort
View
LPNMR
1997
Springer
15 years 10 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian
ICIP
2009
IEEE
16 years 7 months ago
Fluorescence Microscopy Imaging Denoising With Log-euclidean Priors And Photobleaching Compensation
Fluorescent protein microscopy imaging is nowadays one of the most important tools in biomedical research. However, the resulting images present a low signal to noise ratio and a ...
IEEEARES
2006
IEEE
16 years 20 days ago
Towards an Integrated Conceptual Model of Security and Dependability
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
Erland Jonsson
EWSA
2004
Springer
16 years 1 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ICASSP
2010
IEEE
15 years 6 months ago
Joint estimate of shape and time-synchronization of a glottal source model by phase flatness
A new method is proposed to jointly estimate the shape parameter of a glottal model and its time position in a voiced segment. We show that, the idea of phase flatness (or phase ...
Gilles Degottex, Axel Röbel, Xavier Rodet