2944 search results - page 201 / 589 » Robust Semantic Construction |
189
click to vote
BIRTHDAY
2005
Springer
16 years 20 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
208
click to vote
ICCS
2005
Springer
16 years 19 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
175
click to vote
IJCNLP
2004
Springer
16 years 15 days ago
2004
Springer
In this paper we describe the motivation for and construction of a new Japanese lexical resource: the Hinoki treebank. The treebank is built from dictionary definition sentences, ...
172
click to vote
PADL
2004
Springer
16 years 14 days ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
192
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...