1884 search results - page 86 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ICCCN
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper presents a compressed-domain fall incident detection scheme for intelligent homecare applications. First, a compressed-domain object segmentation scheme is performed...
PERCOM
2011
ACM
14 years 1 months ago
2011
ACM
Abstract—Online social networks such as Facebook, MySpace, and Orkut store large amounts of sensitive user data. While a user can legitimately assume that a social network provid...
103
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
KDD
2007
ACM
15 years 10 months ago
2007
ACM
In recent years, the proliferation of VOIP data has created a number of applications in which it is desirable to perform quick online classification and recognition of massive voi...
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...