2944 search results - page 201 / 589 » Robust Semantic Construction |
180
click to vote
BIRTHDAY
2005
Springer
16 years 13 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 ...
204
click to vote
ICCS
2005
Springer
16 years 12 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...
171
click to vote
IJCNLP
2004
Springer
16 years 8 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, ...
161
click to vote
PADL
2004
Springer
16 years 7 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...
182
click to vote
AMAST
2006
Springer
15 years 10 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...