5904 search results - page 402 / 1181 » Requirements for a Composition Language |
197
click to vote
ENTCS
2007
15 years 7 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
184
click to vote
ENTCS
2007
15 years 7 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
149
click to vote
JSW
2006
15 years 7 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
183
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
191
click to vote
ADT
2005
15 years 6 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...