Sciweavers

844 search results - page 32 / 169
» aim 2004
Sort
View
AISC
2004
Springer
14 years 1 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
ATAL
2004
Springer
14 years 1 months ago
Influences and Embodied Conversational Agents
We aim at creating an Embodied Conversational Agent (ECA) that would exhibit not only a consistent behavior with her personality and contextual environment factors but also that w...
Vincent Maya, Myriam Lamolle, Catherine Pelachaud
CBMS
2004
IEEE
14 years 1 months ago
Software for Automatic Detection and Monitoring of Fluorescent Lesions in Mice
Detection and monitoring of fluorescent lesions in mice is usually performed manually with the help of an image manipulation commercial software. The task is often daunting due to...
Samuel Foucher, Marc Lalonde, Langis Gagnon, A.-M....
CGI
2004
IEEE
14 years 1 months ago
Participant Activity Detection by Hands and Face Movement Tracking in the Meeting Room
For the purpose of Multimodal Meeting Manager Project (M4), an approach based on face and a hand tracking is proposed. The technique essentially includes skin color detection, seg...
Igor Potucek, Stanislav Sumec
DEXAW
2004
IEEE
88views Database» more  DEXAW 2004»
14 years 1 months ago
A Proposed Architecture to Index Courses on Website and Analyse the Student Follow up
The aim of this article is to help a teacher to evaluate his courses by following the students during the learning phase. We asume that the teacher doesn't use an educational...
Michel Sala, Pierre Pompidor, Danièle H&eac...