Sciweavers

3570 search results - page 297 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
ICCSA
2004
Springer
16 years 1 days ago
GTVIS: Fast and Efficient Rendering System for Real-Time Terrain Visualization
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...
Russel A. Apu, Marina L. Gavrilova
193
Voted
DAC
2004
ACM
16 years 7 months ago
Refining the SAT decision ordering for bounded model checking
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio So...
HICSS
2008
IEEE
108views Biometrics» more  HICSS 2008»
16 years 1 months ago
Should Online Auctions Employ Dynamic Buyout Pricing Models?
Online auctions are inherently dynamic. Online auction designs that internalize temporal changes in the economic environment are generally expected to perform better than static d...
Roumen Vragov, Di Shang, Karl Reiner Lang
PVG
2003
IEEE
165views Visualization» more  PVG 2003»
15 years 12 months ago
A PC Cluster System for Simultaneous Interactive Volumetric Modeling and Visualization
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
Shigeru Muraki, Eric B. Lum, Kwan-Liu Ma, Masato O...
ACCV
2006
Springer
16 years 20 days ago
A Multiscale Co-linearity Statistic Based Approach to Robust Background Modeling
Background subtraction is an essential task in several static camera based computer vision systems. Background modeling is often challenged by spatio-temporal changes occurring due...
Prithwijit Guha, Dibyendu Palai, K. S. Venkatesh, ...