Sciweavers

4708 search results - page 37 / 942
» Generating the Structure of Argument
Sort
View
PEPM
1993
ACM
15 years 8 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
ICPR
2002
IEEE
16 years 5 months ago
A Note on Principal Point Estimability
We provide elementary geometric arguments to show that the principal point of cameras with small to moderate field of view cannot be reliably estimated from natural, noisy images ...
Alberto Ruiz, Ginés García-Mateos, P...
GREC
2003
Springer
15 years 9 months ago
Recognition of On-line Handwritten Mathematical Expressions Using a Minimum Spanning Tree Construction and Symbol Dominance
We present a structural analysis method for the recognition of on-line handwritten mathematical expressions based on a minimum spanning tree construction and symbol dominance. The ...
Ernesto Tapia, Raúl Rojas
ACL
1998
15 years 5 months ago
Semantic-Head Based Resolution of Scopal Ambiguities
We introduce an algorithm for scope resolution in underspecified semantic representations. Scope preferences are suggested on the basis of semantic argument structure. The major n...
Björn Gambäck, Johan Bos
LREC
2008
137views Education» more  LREC 2008»
15 years 5 months ago
A Framework for Multilingual Ontology Mapping
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...
Cássia Trojahn dos Santos, Paulo Quaresma, ...