2203 search results - page 86 / 441 » Temporal Abstract Interpretation |
136
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
137
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
120
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
139
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Video caption detection,and evtraction is an important step for information retrieval in video databases. In this paper, we extract test information in video by fully utilizing th...
124
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: