3994 search results - page 458 / 799 » A Linear Logical Framework |
198
click to vote
EACL
2006
ACL Anthology
15 years 9 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
166
click to vote
IADIS
2003
15 years 9 months ago
2003
Web services are a logical evolution of software components and middleware. Based on a comparison of Web services with middleware and components we come up with the statement that...
203
click to vote
IJCAI
2003
15 years 9 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
232
click to vote
WOODPECKER
2001
15 years 9 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
183
click to vote
COLING
1994
15 years 8 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...