2467 search results - page 138 / 494 » Finite State Machines |
172
click to vote
PTS
2008
15 years 8 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
150
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for transforming the infinite interactive state space of interactive POMDPs (I-POMDPs) into a finite one, thereby enabling the computation of exact solutions. ...
184
click to vote
IWRIDL
2006
ACM
16 years 15 days ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
169
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Compared to their ancestors in the early 1970s, present day computer games are of incredible complexity and show magnificent graphical performance. However, in programming intelli...
147
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...