Sciweavers

4099 search results - page 650 / 820
» A Framework for Interactive Proof
Sort
View
VIP
2003
15 years 5 months ago
Face and Body Gesture Recognition for a Vision-Based Multimodal Analyzer
For the computer to interact intelligently with human users, computers should be able to recognize emotions, by analyzing the human’s affective state, physiology and behavior. I...
Hatice Gunes, Massimo Piccardi, Tony Jan
ALC
1997
15 years 5 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...
COLING
1994
15 years 5 months ago
Multi-Modal Definite Clause Grammar
This paper describes the first reported grammatical framework for a nmltimodal interface. Although multimodal interfaces offer the promise of a flexible and user fl'iendly me...
Hideo Shimazu, Seigo Arita, Yosuke Takashima
COLING
1992
15 years 5 months ago
On Representing the Temporal Structure of a Natural Language Text
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
Kurt Eberle
CIBB
2009
15 years 5 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet