2346 search results - page 391 / 470 » Hierarchical State Machines |
207
click to vote
ILP
2007
Springer
16 years 15 days ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
162
click to vote
ISAAC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
160
click to vote
MCAM
2007
Springer
16 years 14 days ago
2007
Springer
Automatic story unit segmentation is an essential technique for content based video retrieval and summarization. A good video story unit has complete content and natural boundary i...
173
click to vote
PRIMA
2007
Springer
16 years 14 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
188
click to vote
RTA
2007
Springer
16 years 14 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...