Sciweavers

2001 search results - page 160 / 401
» Semantic Activity Recognition
Sort
View
FGR
2008
IEEE
150views Biometrics» more  FGR 2008»
16 years 1 months ago
Emotional contagion for unseen bodily expressions: Evidence from facial EMG
Emotional contagion refers to the tendency to automatically mimic and synchronize our facial expressions with those of another person. Recent EMG studies have shown that emotional...
Marco Tamietto, Béatrice de Gelder
ACL
2009
15 years 4 months ago
Paraphrase Identification as Probabilistic Quasi-Synchronous Recognition
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
Dipanjan Das, Noah A. Smith
DSVIS
2005
Springer
16 years 6 days ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
VLDB
2001
ACM
102views Database» more  VLDB 2001»
15 years 11 months ago
Form-Based Proxy Caching for Database-Backed Web Sites
We explore a new proxy-caching framework that exploits the query semantics of HTML forms. We identify a common class of form-based queries, and study two representative caching sc...
Qiong Luo, Jeffrey F. Naughton
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba