Sciweavers

83 search results - page 13 / 17
» Optimal static range reporting in one dimension
Sort
View
SAT
2009
Springer
109views Hardware» more  SAT 2009»
15 years 4 months ago
A Compact Representation for Syntactic Dependencies in QBFs
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
Florian Lonsing, Armin Biere
IJVR
2006
166views more  IJVR 2006»
14 years 9 months ago
Multi-screen Tiled Displayed, Parallel Rendering System for a Large Terrain Dataset
Real time terrain rendering plays a very important role in many fields, such of GIS, virtual reality, and military simulations. With the rapid development of PC-level hardware, rec...
Ping Yin, Xiaohong Jiang, Jiaoying Shi, Ran Zhou
ICDE
2006
IEEE
225views Database» more  ICDE 2006»
15 years 3 months ago
Continuous Reverse Nearest Neighbor Monitoring
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...
Tian Xia, Donghui Zhang
NIPS
1997
14 years 11 months ago
EM Algorithms for PCA and SPCA
I present an expectation-maximization (EM) algorithm for principal component analysis (PCA). The algorithm allows a few eigenvectors and eigenvalues to be extracted from large col...
Sam T. Roweis
INFOCOM
2000
IEEE
15 years 2 months ago
Energy Conserving Routing in Wireless Ad-hoc Networks
— An ad-hoc network of wireless static nodes is considered as it arises in a rapidly deployed, sensor based, monitoring system. Information is generated in certain nodes and need...
Jae-Hwan Chang, Leandros Tassiulas