Sciweavers

219 search results - page 23 / 44
» dagstuhl 2006
Sort
View
DAGSTUHL
2006
13 years 10 months ago
New Algebraic Tools for Constraint Satisfaction
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
Henning Schnoor, Ilka Schnoor
DAGSTUHL
2006
13 years 10 months ago
Negotiation Fever: Loss Aversion in Multi-Issue Negotiations
Negotiating parties oftentimes do not reach mutually beneficial agreements. A considerable body of research on negotiation analysis compiled a set of so called common biases in ne...
Henner Gimpel
DAGSTUHL
2006
13 years 10 months ago
System model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
María Victoria Cengarle
DAGSTUHL
2006
13 years 10 months ago
Binary Lambda Calculus and Combinatory Logic
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
John Tromp
DAGSTUHL
2006
13 years 10 months ago
Recent Results in Universal and Non-Universal Induction
We present and relate recent results in prediction based on countable classes of either probability (semi-)distributions or base predictors. Learning by Bayes, MDL, and stochastic ...
Jan Poland