Sciweavers

485 search results - page 48 / 97
» Modular Visitor Components
Sort
View
EUROGP
2006
Springer
110views Optimization» more  EUROGP 2006»
13 years 11 months ago
Blindbuilder: A New Encoding to Evolve Lego-Like Structures
This paper introduces a new representation for assemblies of small Lego -like elements: structures are indirectly encoded as construction plans. This representation shows some inte...
Alexandre Devert, Nicolas Bredeche, Marc Schoenaue...
ENTCS
2010
173views more  ENTCS 2010»
13 years 8 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
LMCS
2006
119views more  LMCS 2006»
13 years 7 months ago
The monadic second-order logic of graphs XVI : Canonical graph decompositions
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...
Bruno Courcelle
PRL
2008
97views more  PRL 2008»
13 years 7 months ago
Repairing self-confident active-transductive learners using systematic exploration
We consider an active learning game within a transductive learning model. A major problem with many active learning algorithms is that an unreliable current hypothesis can mislead...
Ron Begleiter, Ran El-Yaniv, Dmitry Pechyony
SIGDIAL
2010
13 years 5 months ago
Cooperative User Models in Statistical Dialog Simulators
Statistical user simulation is a promising methodology to train and evaluate the performance of (spoken) dialog systems. We work with a modular architecture for data-driven simula...
Meritxell González, Silvia Quarteroni, Gius...