Sciweavers

1516 search results - page 2 / 304
» Generalizing Indexical-Functional Reference
Sort
View
LACL
2011
Springer
12 years 11 months ago
Using Logic in the Generation of Referring Expressions
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
Carlos Areces, Santiago Figueira, Daniel Gor&iacut...
KI
2010
Springer
13 years 6 months ago
Local Adaptive Extraction of References
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
Peter Klügl, Andreas Hotho, Frank Puppe
FOSSACS
2009
Springer
14 years 3 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
CDC
2008
IEEE
13 years 10 months ago
A general symmetry-preserving observer for aided attitude heading reference systems
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...
Philippe Martin, Erwan Salaün
JCC
2002
67views more  JCC 2002»
13 years 8 months ago
Quasi-degenerate perturbation theory with general multiconfiguration self-consistent field reference functions
: The quasi-degenerate perturbation theory (QDPT) with complete active space (CAS) self-consistent field (SCF) reference functions is extended to the general multiconfiguration (MC...
Haruyuki Nakano, Ryuma Uchiyama, Kimihiko Hirao