2741 search results - page 205 / 549 » Engineering Mathematical Knowledge |
113
Voted
CCE
2011
14 years 10 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...
121
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
168
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
237
click to vote
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
115
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Shape From Shading is known to be an ill-posed problem. We show in this paper that if we model the problem in a different way than it is usually done, more precisely by taking int...