Sciweavers

485 search results - page 48 / 97
» Modular Visitor Components
Sort
View
EUROGP
2006
Springer
110views Optimization» more  EUROGP 2006»
15 years 3 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...
62
Voted
ENTCS
2010
173views more  ENTCS 2010»
14 years 11 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»
14 years 11 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»
14 years 11 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
14 years 9 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...