1661 search results - page 143 / 333 » Advanced carving techniques |
SAT
2007
Springer
14 years 4 months ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
CGO
2006
IEEE
14 years 4 months ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
As the scale of electronic devices shrinks, “electronic textiles” (e-textiles) will make possible a wide variety of novel applications which are currently unfeasible. Due to t...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent advances in mobile and wireless technologies make possible the bear of new services and the extension of traditional ones in new scenarios. Adaptation strategies play a cru...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents an approach for creating realistic shadows of objects composited into a novel background. Existing techniques either do not deal with the shadows or require th...