9110 search results - page 341 / 1822 » Formally-Based Design Evaluation |
174
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe an aircraft design problem in high dimensional space, with D typically being 10 to 30. In some respects this is a classic optimization problem, where the goal is to fi...
163
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
182
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new approach to generating the motion of humanoid robots intuitively by means of Interactive Evolutionary Computation (IEC). In our system, novice users are able to d...
176
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we describe a method for improving genetic-algorithm-based optimization using informed genetic operators. The idea is to make the genetic operators such as mutation ...
184
click to vote
DESRIST
2010
Springer
15 years 9 months ago
2010
Springer
This paper reports on the design of a collaborative system to support citizens' advisory services. Recent research on the adoption of collaborative technologies indicates that...