Sciweavers

1189 search results - page 38 / 238
» The Quotient of an Abstract Interpretation
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 26 days ago
Semantic Abstraction and Quantum Computation
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
Alessandra Di Pierro, Herbert Wiklicky
RULEML
2009
Springer
15 years 7 months ago
Generation of Rules from Ontologies for High-Level Scene Interpretation
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
Wilfried Bohlken, Bernd Neumann
92
Voted
ESANN
2008
15 years 2 months ago
Interpretable ensembles of local models for safety-related applications
Abstract. This paper discusses a machine learning approach for binary classification problems which satisfies the specific requirements of safety-related applications. The approach...
Sebastian Nusser, Clemens Otte, Werner Hauptmann
ACL
1997
15 years 2 months ago
On Interpreting F-Structures as UDRSs
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
Josef van Genabith, Richard S. Crouch
102
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 27 days ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel