3954 search results - page 405 / 791 » Image-based Model Completion |
158
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper addresses the problem of complete and detailed 3D model reconstruction of objects filmed by multiple cameras under varying illumination. Firstly, initial normal maps ar...
195
click to vote
HPDC
2011
IEEE
14 years 8 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
155
click to vote
COREGRID
2007
Springer
15 years 11 months ago
2007
Springer
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithms have b...
192
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
145
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...