688 search results - page 12 / 138 » Types for trees |
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
COLING
1990
13 years 8 months ago
1990
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
IJFCS
2010
13 years 5 months ago
2010
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is de ned by a tree bimorphism (Ļ...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports on automatic prediction of dialog acts and address types in three-party conversations. Dialogue acts and address types are predicted simultaneously on our frame...
COCOON
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atomsā conļ¬guration but omit bond multiplicities. As this info...