Sciweavers

4355 search results - page 60 / 871
» From Interpretation to Compilation
Sort
View
APN
2005
Springer
15 years 3 months ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
Robert Clarisó, Enric Rodríguez-Carb...
AUSAI
2004
Springer
15 years 3 months ago
Improving the Presentation of Argument Interpretations Based on User Trials
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
Ingrid Zukerman, Michael Niemann, Sarah George
ICVS
2003
Springer
15 years 3 months ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
Bernd Neumann, Thomas Weiss
ACL
1997
14 years 11 months ago
A DOP Model for Semantic Interpretation
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
Remko Bonnema, Rens Bod, Remko Scha
AIIA
2007
Springer
15 years 4 months ago
A Top Down Interpreter for LPAD and CP-Logic
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
Fabrizio Riguzzi