Sciweavers

2602 search results - page 298 / 521
» Semantic Analysis of 'to'
Sort
View
MM
2003
ACM
115views Multimedia» more  MM 2003»
15 years 12 months ago
Extracting information about emotions in films
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
Andrew Salway, Mike Graham
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
CONCUR
2006
Springer
15 years 10 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
AAAI
2008
15 years 9 months ago
Video Activity Recognition in the Real World
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...
Anthony Hoogs, A. G. Amitha Perera
ER
2008
Springer
96views Database» more  ER 2008»
15 years 8 months ago
A Quality Circle Tool for Software Models
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
Hendrik Voigt, Thomas Ruhroth