1059 search results - page 134 / 212 » Unification-Based Semantic Interpretation |
138
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
123
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a framework for building an ontology to provide semantic interpretations in image contents. The novelty of this framework comes from building a MPEG-7 ontology ...
152
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...
126
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
OCL is a rich-syntax language for expressing integrity rules and many business rules can be expressed using OCL. On the other hand, UML/OCL is a mainstream modeling technology and ...
117
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...