5634 search results - page 295 / 1127 » About Abstract Classes |
136
click to vote
JOLLI
2008
15 years 5 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
160
click to vote
JSW
2007
15 years 4 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
112
click to vote
LISP
2007
15 years 4 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
120
click to vote
COMPLEXITY
2004
15 years 4 months ago
2004
nical Abstract Optimization is to find the "best" solution to a problem where the quality of a solution can be measured by a given criterion. Estimation of Distribution A...
134
click to vote
JUCS
2002
15 years 4 months ago
2002
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...