231 search results - page 40 / 47 » A Parallel State Assignment Algorithm for Finite State Machi... |
112
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
118
Voted
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
145
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
148
click to vote
ACL
1990
15 years 3 months ago
1990
We define a set of deterministic bottom-up left to right parsers which analyze a subset of Tree Adjoining Languages. The LR parsing strategy for Context Free Grammars is extended ...
129
click to vote
FSTTCS
2010
Springer
15 years 7 days ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...