Sciweavers

49 search results - page 2 / 10
» An Informal Sketch of a Formal Architecture for Construction...
Sort
View
COLING
1990
13 years 6 months ago
The General Architecture of Generation in ACORD
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
Dieter Kohl, Agnès Plainfossé, Clair...
TSD
2004
Springer
13 years 10 months ago
Building a Dependency-Based Grammar for Parsing Informal Mathematical Discourse
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
Magdalena Wolska, Ivana Kruijff-Korbayová
DBPL
1993
Springer
104views Database» more  DBPL 1993»
13 years 9 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
CVPR
2006
IEEE
14 years 7 months ago
Context and Hierarchy in a Probabilistic Image Model
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
Ya Jin, Stuart Geman
ICEIS
2003
IEEE
13 years 10 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...