688 search results - page 12 / 138 » Types for trees |
122
Voted
TPHOL
1999
IEEE
15 years 7 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. ...
127
Voted
COLING
1990
15 years 4 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...
124
click to vote
IJFCS
2010
15 years 1 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 (Ļ...
114
click to vote
ICMI
2007
Springer
15 years 9 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...
121
Voted
COCOON
2009
Springer
15 years 10 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...