Sciweavers

6199 search results - page 116 / 1240
» Monitoring the
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 8 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
IEAAIE
1998
Springer
15 years 8 months ago
Applying Computer Vision Techniques to Traffic Monitoring Tasks
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
Jorge Badenas, Filiberto Pla
IPPS
2000
IEEE
15 years 8 months ago
Scalable Monitoring Technique for Detecting Races in Parallel Programs
Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended nondeterministic executions of the programs. Previous on-the- y t...
Yong-Kee Jun, Charles E. McDowell
ASSETS
2008
ACM
15 years 6 months ago
Low-cost accelerometry-based posture monitoring system for stroke survivors
This paper reports a low-cost autonomous wearable accelerometry-based posture monitoring system for stroke survivors. The hardware part of the system consists of monitoring device...
Sonia M. Arteaga, Jessica Chevalier, Andrew Coile,...
ATAL
2008
Springer
15 years 6 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio