Sciweavers

2346 search results - page 356 / 470
» Hierarchical State Machines
Sort
View
ACL
2011
14 years 10 months ago
Gappy Phrasal Alignment By Agreement
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
Mohit Bansal, Chris Quirk, Robert C. Moore
AGI
2011
14 years 10 months ago
Systematically Grounding Language through Vision in a Deep, Recurrent Neural Network
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
Derek Monner, James A. Reggia
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
AAMAS
2012
Springer
14 years 2 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
SOFSEM
2012
Springer
14 years 1 months ago
RESTGroups for Resilient Web Services
Service resilience, defined as the continued availability of a service despite failures and other negative changes in its environment, is vital in many systems. It is typically ac...
Tadeusz Kobus, Pawel T. Wojciechowski