3342 search results - page 214 / 669 » Automating Abstract Interpretation |
106
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose here a new approach for video sequence interpretation based on declarative models of activities. The aim of the video sequence interpretation is to recognize i...
142
click to vote
AMCP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper describes InvenTcl which is an interpretive version of Open Inventor, a 3D graphics toolkit. To create InvenTcl, the Open Inventor toolkit is \wrapped" in...
159
click to vote
PODC
1990
ACM
15 years 6 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
150
click to vote
JBI
2007
15 years 2 months ago
2007
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
117
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...