1116 search results - page 136 / 224 » Applying Predicate Abstraction to Abstract State Machines |
133
click to vote
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
LOCA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...
SPIN
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...