2203 search results - page 158 / 441 » Temporal Abstract Interpretation |
158
Voted
IPC
2007
IEEE
15 years 10 months ago
2007
IEEE
The nature of the concepts regarding images in many domains are imprecise, and the interpretation of finding similar images is also ambiguous and subjective on the level of human ...
116
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
154
Voted
REX
1991
15 years 7 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
137
Voted
HAIS
2010
Springer
15 years 5 months ago
2010
Springer
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
143
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...