Sciweavers

5799 search results - page 674 / 1160
» Patterns Generate Architectures
Sort
View
LATA
2010
Springer
16 years 1 months ago
Choosing Word Occurrences for the Smallest Grammar Problem
The smallest grammar problem - namely, finding a smallest context-free grammar that generates exactly one sequence - is of practical and theoretical importance in fields such as ...
Rafael Carrascosa, François Coste, Matthias...
CEC
2009
IEEE
16 years 1 months ago
Symmetric networks foster to evolve desirable turn-taking rules in dispersion games
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...
Akira Namatame, Hiroshi Sato
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
16 years 1 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
IROS
2009
IEEE
127views Robotics» more  IROS 2009»
16 years 1 months ago
Intercontinental, multimodal, wide-range tele-cooperation using a humanoid robot
— This paper is the continuation of our previous work in intercontinental, collaborative teleoperation with a humanoid robot. Our new achievement consists in an extension of the ...
Paul Evrard, Nicolas Mansard, Olivier Stasse, Abde...
OSS
2009
Springer
16 years 1 months ago
Heartbeat: Measuring Active User Base and Potential User Interest in FLOSS Projects
This paper presents a novel method and algorithm to measure the size of an open source project’s user base and the level of potential user interest that it generates. Previously ...
Andrea Wiggins, James Howison, Kevin Crowston