MICAI
2000
Springer
14 years 3 months ago
2000
Springer
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
The Principal Components Analysis (PCA) is one of the most successfull techniques that have been used to recognize faces in images. This technique consists of extracting the eigenv...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
This work presents a real time system for detection and tracking of facial features in video sequences. Such system may be used in visual communication applications, such as teleco...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...
MICAI
2000
Springer
14 years 3 months ago
2000
Springer
The main purpose of this work is to explore the application of Memory Based Reasoning (MBR) to adaptive behavior in agents. We discuss the design of an interface agent for e-mail m...