Sciweavers

2163 search results - page 107 / 433
» cases 2004
Sort
View
WLP
2004
Springer
15 years 3 months ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
FOSSACS
2004
Springer
15 years 3 months ago
On Recognizable Timed Languages
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
Oded Maler, Amir Pnueli
ICA
2004
Springer
15 years 3 months ago
Wavelet De-noising for Blind Source Separation in Noisy Mixtures
Blind source separation, which supposes that the sources are independent, is a well known domain in signal processing. However, in a noisy environment the estimation of the criteri...
Bertrand Rivet, Vincent Vigneron, Anisoara Parasch...
ER
2004
Springer
103views Database» more  ER 2004»
15 years 3 months ago
Modeling Default Induction with Conceptual Structures
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
Julien Velcin, Jean-Gabriel Ganascia
EUROPAR
2004
Springer
15 years 3 months ago
Evaluating OpenMP Performance Analysis Tools with the APART Test Suite
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
Michael Gerndt, Bernd Mohr, Jesper Larsson Trä...