Sciweavers

2674 search results - page 118 / 535
» Implementation issues for an interactive evolutionary comput...
Sort
View
FIW
2007
157views Communications» more  FIW 2007»
15 years 5 months ago
Managing Feature Interaction by Documenting and Enforcing Dependencies in Software Product Lines
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
Roberto Silveira Silva Filho, David F. Redmiles
SUTC
2008
IEEE
15 years 10 months ago
Controlled Disclosure of Context Information across Ubiquitous Computing Domains
One of the challenges in ubiquitous computing is that of mobility, which typically requires interaction between intelligent environments in different domains of administration. We...
Cristian Hesselman, Henk Eertink, Martin Wibbels, ...
146
Voted
ICFEM
2005
Springer
15 years 9 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
174
Voted
ISDA
2008
IEEE
15 years 10 months ago
Multimodal Medical Image Registration Using Particle Swarm Optimization
In image guided surgery, the registration of preand intra-operative image data is an important issue. In registrations, we seek an estimate of the transformation that registers th...
Yen-Wei Chen, Chen-Lun Lin, Aya Mimori
KBS
1998
122views more  KBS 1998»
15 years 3 months ago
Concept formation in design
: This paper presents a computationally tractable view on where simple design concepts come from by proposing a paradigm for the formation of design concepts based on the emergence...
John S. Gero