Sciweavers

8377 search results - page 286 / 1676
» Scenarios - Introduction
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
INFOCOM
2012
IEEE
13 years 9 months ago
Data gathering in networks of bacteria colonies: Collective sensing and relaying using molecular communication
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...
Arash Einolghozati, Mohsen Sardari, Ahmad Beirami,...
CVPR
1997
IEEE
16 years 8 months ago
Multi-Image Focus of Attention for Rapid Site Model Construction
A multi-image focus of attention mechanism has been developed that can quickly distinguish raised objects like buildings from structured background clutter typical to many aerial ...
Robert T. Collins
CVPR
2006
IEEE
16 years 8 months ago
Using Bilinear Models for View-invariant Action and Identity Recognition
Human identification from gait is a challenging task in realistic surveillance scenarios in which people walking along arbitrary directions are shot by a single camera. In this pa...
Fabio Cuzzolin
CVPR
2006
IEEE
16 years 8 months ago
Efficient Maximally Stable Extremal Region (MSER) Tracking
This paper introduces a tracking method for the well known local MSER (Maximally Stable Extremal Region) detector. The component tree is used as an efficient data structure, which...
Michael Donoser, Horst Bischof