1689 search results - page 143 / 338 » Refining abstract interpretations |
143
Voted
PCI
2005
Springer
15 years 10 months ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
168
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
125
click to vote
ECAI
2000
Springer
15 years 9 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...
173
click to vote
AMCP
1998
Springer
15 years 9 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...
179
click to vote
PODC
1990
ACM
15 years 9 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...