816 search results - page 156 / 164 » SAT-Based Image Computation with Application in Reachability... |
161
Voted
SIGIR
1992
ACM
15 years 3 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
146
Voted
ACSC
2010
IEEE
14 years 6 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
87
Voted
MMS
2008
14 years 11 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
110
click to vote
VRST
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents a markerless tracking technique targeted to the Windows Mobile Pocket PC platform. The primary aim of this work is to allow the development of standalone augme...
106
Voted
NDSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...