Sciweavers

6141 search results - page 259 / 1229
» Models and representation of their ownership
Sort
View
IFIP13
2004
15 years 8 months ago
Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
Ana-Maria Marhan, Fabio Paternò, Carmen San...
NIPS
2001
15 years 8 months ago
Transform-invariant Image Decomposition with Similarity Templates
Recent work has shown impressive transform-invariant modeling and clustering for sets of images of objects with similar appearance. We seek to expand these capabilities to sets of...
Chris Stauffer, Erik G. Miller, Kinh Tieu
BIRTHDAY
2009
Springer
15 years 7 months ago
Validating and Animating Higher-Order Recursive Functions in B
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
Michael Leuschel, Dominique Cansell, Michael J. Bu...
ICANN
2010
Springer
15 years 7 months ago
A Learned Saliency Predictor for Dynamic Natural Scenes
Abstract. We investigate the extent to which eye movements in natural dynamic scenes can be predicted with a simple model of bottom-up saliency, which learns on different visual re...
Eleonora Vig, Michael Dorr, Thomas Martinetz, Erha...
CVPR
2010
IEEE
15 years 6 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...