Sciweavers

1998 search results - page 286 / 400
» Complexity of the Cover Polynomial
Sort
View
112
Voted
GRAPHITE
2006
ACM
15 years 6 months ago
Interactive landscape visualization using GPU ray casting
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...
Stephan Mantler, Stefan Jeschke
93
Voted
ISCAS
2005
IEEE
173views Hardware» more  ISCAS 2005»
15 years 6 months ago
Decentralized energy-conserving and coverage-preserving protocols for wireless sensor networks
Abstract— The wireless sensor network is an emerging technology that may greatly facilitate human life by providing ubiquitous sensing, computing, and communication capability. H...
Chi-Fu Huang, Li-Chu Lo, Yu-Chee Tseng, Wen-Tsuen ...
VLSID
2005
IEEE
127views VLSI» more  VLSID 2005»
15 years 6 months ago
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pa...
WMTE
2005
IEEE
15 years 6 months ago
SmartTiles: Mobility and Wireless Programmability in Children's Construction and Crafts
This paper presents a working prototype of a mobile, programmable set of construction kit elements for children. SmartTiles are small, lightweight, independently programmable tile...
Nwanua Elumeze, Michael Eisenberg
PODC
2005
ACM
15 years 6 months ago
Facility location: distributed approximation
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
Thomas Moscibroda, Roger Wattenhofer