Sciweavers

7335 search results - page 468 / 1467
» Scene Based Reasoning
Sort
View
LPAR
2000
Springer
15 years 10 months ago
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
Wolfgang Grieskamp, Markus Lepper
DLOG
2007
15 years 9 months ago
Paraconsistent Resolution for Four-valued Description Logics
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
Yue Ma, Pascal Hitzler, Zuoquan Lin
173
Voted
DCAI
2008
15 years 8 months ago
A Survey of Distributed and Data Intensive CBR Systems
Case-Based Reasoning is a methodology that uses information that has been considered as valid in previous situations to solve new problems. That use of the information allows CBR s...
Aitor Mata
CLIMA
2004
15 years 8 months ago
An Abductive Framework for Information Exchange in Multi-agent Systems
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo...
HIS
2004
15 years 8 months ago
A Novel Fuzzy Approach to Speech Recognition
This paper presents a novel approach to speech recognition using fuzzy modeling. The task begins with conversion of speech spectrogram into a linguistic description based on arbit...
Ramin Halavati, Saeed Bagheri Shouraki, Mahsa Eshr...