816 search results - page 156 / 164 » SAT-Based Image Computation with Application in Reachability... |
240
click to vote
SIGIR
1992
ACM
15 years 9 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...
217
click to vote
ACSC
2010
IEEE
15 years 23 days 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...
156
click to vote
MMS
2008
15 years 5 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 ...
164
click to vote
VRST
2009
ACM
16 years 6 days 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...
168
click to vote
NDSS
2008
IEEE
16 years 3 days 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...