4048 search results - page 164 / 810 » Design Science, Engineering Science and Requirements Enginee... |
147
Voted
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
A course on pervasive computing should be structured around key functions throughout a systems development process to cover common underlying concerns throughout science and engin...
129
click to vote
IVCNZ
1998
15 years 4 months ago
1998
: Large polygon meshes are a common entity in scienti c and engineering science. Polygon meshes can be used for simpli ed geometric operations such as collision detection and surfa...
126
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This article presents a robust EDA for global optimization with real parameters. The approach is based on the linear combination of individuals of two populations. One is the curr...
157
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
120
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...