1633 search results - page 196 / 327 » On the Verification of Temporal Properties |
157
Voted
NCI
2004
15 years 2 months ago
2004
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...
100
Voted
CVPR
2010
IEEE
15 years 29 days ago
2010
IEEE
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...
76
Voted
FUIN
2008
15 years 25 days ago
2008
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...
80
Voted
CANDC
2006
ACM
15 years 24 days ago
2006
ACM
Vertebrate segmentation has been proved to be under a strict temporal control governed by a biological clock, known as the segmentation clock. The present experimental evidence su...
104
Voted
JANCL
2007
15 years 20 days ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...