Sciweavers

2373 search results - page 198 / 475
» Modelling Facial Behaviours
Sort
View
IANDC
1998
72views more  IANDC 1998»
15 years 5 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
NAACL
2010
15 years 4 months ago
Unsupervised Modeling of Twitter Conversations
We propose the first unsupervised approach to the problem of modeling dialogue acts in an open domain. Trained on a corpus of noisy Twitter conversations, our method discovers dia...
Alan Ritter, Colin Cherry, Bill Dolan
FOAL
2007
ACM
15 years 10 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
ESANN
2007
15 years 7 months ago
A neural model of cross-modal association in insects
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...
Jan Wessnitzer, Barbara Webb
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
16 years 17 days ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar