Sciweavers

363 search results - page 46 / 73
» The SAT Phase Transition
Sort
View
PFE
2001
Springer
14 years 3 months ago
Introducing Product Lines in Small Embedded Systems
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...
Christoph Stoermer, Markus Roeddiger
ICRA
1999
IEEE
89views Robotics» more  ICRA 1999»
14 years 3 months ago
An Integrated Interface Tool for the Architecture for Agile Assembly
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
Jay Gowdy, Zack J. Butler
FSEN
2009
Springer
14 years 2 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
GRAPHICSINTERFACE
2001
14 years 7 days ago
Truly Selective Refinement of Progressive Meshes
This paper presents a novel selective refinement scheme of progressive meshes. In previous schemes, topology information in the neighborhood of a collapsed edge is stored in the a...
Junho Kim, Seungyong Lee
GECCO
2008
Springer
130views Optimization» more  GECCO 2008»
13 years 12 months ago
Fitnessless coevolution
We introduce fitnessless coevolution (FC), a novel method of comparative one-population coevolution. FC plays games between individuals to settle tournaments in the selection pha...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...