2935 search results - page 391 / 587 » An Integrated Approach to High Integrity Software Verificati... |
153
click to vote
ICS
1989
Tsinghua U.
15 years 10 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
169
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we propose a novel patch-based face hallucination framework, which employs a dual model to hallucinate different components associated with one facial image. Our mod...
156
click to vote
OTM
2007
Springer
16 years 16 days ago
2007
Springer
Creating executable semantic mappings is an important task for ontology-based information integration. Although it is argued that mapping tools may require interaction from humans ...
209
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
159
click to vote
EVOW
2003
Springer
15 years 11 months ago
2003
Springer
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...