1189 search results - page 86 / 238 » The Quotient of an Abstract Interpretation |
121
Voted
SEMWEB
2001
Springer
15 years 5 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...
ECAI
2000
Springer
15 years 5 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...
131
Voted
AMCP
1998
Springer
15 years 4 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...
135
click to vote
PODC
1990
ACM
15 years 4 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...
99
Voted
ECCB
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...