29082 search results - page 288 / 5817 » The Time-Triggered Model of Computation |
155
click to vote
WSC
2004
15 years 8 months ago
2004
The authors present the requirement definition and methodological approach for developing a new generation of Computer Generated Forces (CGF) based on Intelligent Agents. The anal...
172
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
174
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provi...
184
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...
145
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...