Sciweavers

2203 search results - page 120 / 441
» Temporal Abstract Interpretation
Sort
View
100
Voted
KI
2007
Springer
15 years 9 months ago
Division of Work During Behaviour Recognition - The SCENIC Approach
Behaviour recognition in a video scene consists of several distinct sub-tasks: objects or object parts must be recognised, classified and tracked, qualitative spatial and temporal...
Kasim Terzic, Lothar Hotz, Bernd Neumann
AMAST
2006
Springer
15 years 7 months ago
Fork Algebras as a Sufficiently Rich Universal Institution
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
Carlos López Pombo, Marcelo F. Frias
138
Voted
MEMOCODE
2008
IEEE
15 years 10 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
BMVC
2001
15 years 6 months ago
Learning Pixel-Wise Signal Energy for Understanding Semantics
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
Jeffrey Ng, Shaogang Gong
117
Voted
AAAI
2010
15 years 5 months ago
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
The current methods used to mine and analyze temporal social network data make two assumptions: all edges have the same strength, and all parameters are time-homogeneous. We show ...
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes