1116 search results - page 198 / 224 » Applying Predicate Abstraction to Abstract State Machines |
101
click to vote
ACCV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper introduces an efficient way of representing textures using connected regions which are formed by coherent multi-scale over-segmentations. We show that the rece...
ESWS
2006
Springer
15 years 2 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
109
click to vote
HYBRID
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
DAIS
2010
15 years 16 days ago
2010
Abstract. More and more home devices are equipped with advanced computational capabilities to improve the user satisfaction (e.g., programmable heating system, Internet TV). Althou...