Sciweavers

2377 search results - page 263 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2000
Springer
15 years 10 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
HIS
2008
15 years 8 months ago
Diagnosing Patients Combining Principal Components Analysis and Case Based Reasoning
This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is th...
Carles Pous, Dani Caballero, Beatriz López
FLAIRS
2006
15 years 8 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
NC
1998
118views Neural Networks» more  NC 1998»
15 years 7 months ago
BRAINN: A Connectionist Approach to Symbolic Reasoning
Hybrid connectionist symbolic systems have been the subject of much recent research in AI. By focusing on the implementation of high-level human cognitive processes (e.g., rule-ba...
Rafal Bogacz, Christophe G. Giraud-Carrier
JVCA
2007
83views more  JVCA 2007»
15 years 6 months ago
Use of inertial sensors to support video tracking
One of the biggest obstacle to building effective augmented reality (AR) systems is the lack of accurate sensors that report the location of the user in an environment during arbi...
Michael Aron, Gilles Simon, Marie-Odile Berger