Sciweavers

1095 search results - page 85 / 219
» Algebraic Guide Generation
Sort
View
EJC
2010
13 years 7 months ago
Exact solution of two classes of prudent polygons
Prudent walks are self-avoiding walks on a lattice which never step into the direction of an already occupied vertex. We study the closed version of these walks, called prudent po...
Uwe Schwerdtfeger
EACL
2009
ACL Anthology
14 years 9 months ago
Adaptive Natural Language Interaction
The subject of this demonstration is natural language interaction, focusing on adaptivity and profiling of the dialogue management and the generated output (text and speech). Thes...
Stasinos Konstantopoulos, Athanasios Tegos, Dimitr...
ECEASST
2006
92views more  ECEASST 2006»
13 years 9 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
ICCS
2004
Springer
14 years 2 months ago
Evaluating the Performance of Skeleton-Based High Level Parallel Programs
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hi...
LICS
1999
IEEE
14 years 1 months ago
Abstract Syntax and Variable Binding
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi