9405 search results - page 1019 / 1881 » Computing a Model of Set Theory |
211
click to vote
ICCSA
2007
Springer
15 years 11 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
186
click to vote
FORTE
2004
15 years 9 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
224
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
MapReduce programming model has simplified the implementation of many data parallel applications. The simplicity of the programming model and the quality of services provided by m...
201
click to vote
GPEM
2008
15 years 7 months ago
2008
Efficiency enhancement techniques--such as parallelization and hybridization--are among the most important ingredients of practical applications of genetic and evolutionary algori...
219
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
In this paper we are interested in finding images of people on the web, and more specifically within large databases of captioned news images. It has recently been shown that visua...