996 search results - page 135 / 200 » Synthesis of Mechanical Structures Using a Genetic Algorithm |
ENTCS
2007
13 years 7 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
VLDB
2003
ACM
14 years 8 months ago
2003
ACM
Due to their expressive power, Regular Expressions (REs) are quickly becoming an integral part of language specifications for several important application scenarios. Many of thes...
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
In material science and engineering, the grain structure inside a super-alloy sample determines its mechanical and physical properties. In this paper, we develop a new Multichannel...
PC
2010
13 years 6 months ago
2010
The graphics processing unit (GPU) is used to solve large linear systems derived from partial differential equations. The differential equations studied are strongly convection-...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....