2935 search results - page 215 / 587 » An Integrated Approach to High Integrity Software Verificati... |
173
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes CyberCivics, a novel approach to computer science outreach that integrates hands-on computing experiences with the study of contemporary social and political ...
175
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
180
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
169
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
The task of object identification occurs when integrating information from multiple websites. The same data objects can exist in inconsistent text formats across sites, making it ...
261
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...