744 search results - page 35 / 149 » Observations on the Decidability of Transitions |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We propose a new template-based approach for viewinvariant recognition of body poses, based on geometric constraints derived from the motion of body point triplets. In addition to...
ICML
2005
IEEE
14 years 10 months ago
2005
IEEE
For Hidden Markov Models (HMMs) with fully connected transition models, the three fundamental problems of evaluating the likelihood of an observation sequence, estimating an optim...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
TSP
2008
13 years 9 months ago
2008
We consider sequential regression of individual sequences under the square error loss. Using a competitive algorithm framework, we construct a sequential algorithm that can achieve...