2467 search results - page 338 / 494 » Finite State Machines |
111
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
135
Voted
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
Estimating mode (walking/running/standing) and phases of human locomotion is important for video understanding. We present a new ”tracking as recognition” approach. A hierarch...
108
Voted
ISRR
2001
Springer
15 years 5 months ago
2001
Springer
Field Robots are machines that work in unstructured environments, including under water, in mines, in forests and on farms, and in the air. These applications involve both advance...
110
Voted
AC
2000
Springer
15 years 5 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
97
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...