Sciweavers

AIA
2006
14 years 27 days ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
AIA
2006
14 years 27 days ago
Tree Model of Symbolic Music for Tonality Guessing
Most of the western tonal music is based on the concept of tonality or key. It is often desirable to know the tonality of a song stored in a symbolic format (digital scores), both...
David Rizo, José Manuel Iñesta Quere...
AIA
2006
14 years 27 days ago
Computational Model of Speech Understanding
This paper proposes a speech comprehension computational model based on neurocognitiveresearches. The computational representation uses techniques as wavelets transform and connec...
Daniel Nehme Müller, Philippe Olivier Alexand...
AIA
2006
14 years 27 days ago
A Static Images Based-System for Traffic Signs Detection
The localization and interpretation of traffic signs by means of a wise-artificial system is one of the several applications of the recognizing-image techniques. In this work we p...
Valentin Moreno, Agapito Ledezma, Araceli Sanch&ia...
AIA
2006
14 years 27 days ago
Some Semantics for a Logical Language for the Game of Dominoes
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
Fernando R. Velázquez-Quesada, Francisco He...
AIA
2006
14 years 27 days ago
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Roberto Micalizio, Pietro Torasso, Gianluca Torta
AIA
2006
14 years 27 days ago
Neuro-Fuzzy Modeling of Superheating System of a Steam Power Plant
Ali Reza Mehrabian, A. Yousefi-Koma, Morteza Moham...
AIA
2006
14 years 27 days ago
A Recurrent Neural Filter for Adaptive Noise Cancellation
This paper presents a dynamic neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by use of th...
Paris A. Mastorocostas, Dimitris N. Varsamis, Cons...
AIA
2006
14 years 27 days ago
FPGA-Targeted Neural Architecture for Embedded Alertness Detection
Several recent works have used neural networks to discriminate vigilance states in humans from electroencephalographic (EEG) signals. Our study aims at being more exhaustive. It t...
Bernard Girau, Khaled Ben Khalifa