1389 search results - page 167 / 278 » Parallel Algorithms for Treewidth Two |
135
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
166
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...
148
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents two visualization techniques suitable for huge oceanography time-varying volume datasets on high-performance graphics workstations. We first propose an off-lin...
132
click to vote
ICDCSW
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an integrated dual approach to reduce power consumption in infrastructure-mode 802.11 wireless LANs. A novel distributed power control algorithm adaptively adjusts the ...
131
click to vote
VR
2000
IEEE
15 years 9 months ago
2000
IEEE
We present an interactive stereoscopic rendering algorithm of voxel-based terrain. It provides unambiguous depth information of a terrain scene by generating perspective images fo...