755 search results - page 54 / 151 » Sequential Diagnosis by Abstraction |
MST
2008
13 years 7 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
PC
2002
13 years 7 months ago
2002
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
MLQ
2007
13 years 7 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
LOCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. High-level and longer-term activity recognition has great potentials in areas such as medical diagnosis and human behavior modeling. So far however, activity recognition ...
MASSDATA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we present a general approach to shape characterization and deformation analysis of 2D/3D deformable visual objects. In particular, we define a reference ...