3379 search results - page 448 / 676 » Combinators for Interaction Nets |
143
click to vote
HASKELL
2005
ACM
16 years 6 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
190
click to vote
CPAIOR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
155
click to vote
DIGRA
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
204
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
183
click to vote
GD
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes the GEOMI system, a visual analysis tool for the visualisation and analysis of large and complex networks. GEOMI provides a collection of network analysis meth...