Sciweavers

CORR
2002
Springer
139views Education» more  CORR 2002»
14 years 8 days ago
Symbolic Methodology in Numeric Data Mining: Relational Techniques for Financial Applications
Currently statistical and artificial neural network methods dominate in financial data mining. Alternative relational (symbolic) data mining methods have shown their effectiveness...
Boris Kovalerchuk, Evgenii Vityaev, H. Yusupov
DAGSTUHL
2006
14 years 1 months ago
Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...
Anthony G. Cohn, David C. Hogg, Brandon Bennett, V...
HYBRID
1994
Springer
14 years 4 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli