908 search results - page 101 / 182 » Temporal Analysis of Time Bounded Digital Systems |
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
ISTCS
1993
Springer
15 years 2 months ago
1993
Springer
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
GW
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
BMVC
2002
15 years 10 days ago
2002
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
154
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...