Sciweavers

1261 search results - page 119 / 253
» A Hierarchy of Temporal Properties
Sort
View
BMVC
2001
14 years 17 days ago
Zernike Velocity Moments for Description and Recognition of Moving Shapes
New Zernike velocity moments have been developed to describe an object, not only by its shape , but also by its motion throughout an image sequence. These are an extended form of ...
Jamie D. Shutler, Mark S. Nixon
FORMATS
2008
Springer
13 years 11 months ago
MTL with Bounded Variability: Decidability and Complexity
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
Carlo A. Furia, Matteo Rossi
NCI
2004
198views Neural Networks» more  NCI 2004»
13 years 11 months ago
A "spiking" bidirectional associative memory for modeling intermodal priming
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
David Meunier, Hélène Paugam-Moisy
CVPR
2010
IEEE
13 years 10 months ago
Anomaly detection in crowded scenes
A novel framework for anomaly detection in crowded scenes is presented. Three properties are identified as important for the design of a localized video representation suitable f...
Vijay Mahadevan, Weixin Li, Viral Bhalodia, Nuno V...
FUIN
2008
93views more  FUIN 2008»
13 years 10 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...