827 search results - page 25 / 166 » Patterns for Timed Property Specifications |
119
Voted
COMSIS
2007
15 years 1 months ago
2007
Real-time human tracking is very important in surveillance and robot applications. We note that the performance of any human tracking system depends on its accuracy and its ability...
97
Voted
BCSHCI
2008
15 years 3 months ago
2008
This paper explores the impulsion and vibration properties of different tactile patterns (icons). These properties describe the unique movements of the pins with different values ...
107
Voted
ESA
2008
Springer
15 years 3 months ago
2008
Springer
We are given a trajectory T and an area A. T might intersect A several times, and our aim is to detect whether T visits A with some regularity, e.g. what is the longest time span t...
161
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
195
click to vote
GIS
2007
ACM
16 years 3 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...