Sciweavers

3991 search results - page 350 / 799
» Bounding homogeneous models
Sort
View
ECCC
2007
62views more  ECCC 2007»
15 years 7 months ago
Space Hierarchy Results for Randomized and Other Semantic Models
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
Jeff Kinne, Dieter van Melkebeek
191
Voted
TOG
2008
114views more  TOG 2008»
15 years 7 months ago
Single image tree modeling
In this paper, we introduce a simple sketching method to generate a realistic 3D tree model from a single image. The user draws at least two strokes in the tree image: the first c...
Ping Tan, Tian Fang, Jianxiong Xiao, Peng Zhao, Lo...
189
Voted
TWC
2008
145views more  TWC 2008»
15 years 7 months ago
Robust Optimization Models for Energy-Limited Wireless Sensor Networks under Distance Uncertainty
The distance between nodes in a wireless sensor network (WSN) is an important factor in the performance that can be extracted from the network for many tasks. However, the distanc...
Wei Ye, Fernando Ordóñez
232
Voted
INFOCOM
2010
IEEE
15 years 6 months ago
Throughput Analysis of Multiple Access Relay Channel under Collision Model
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
Seyed A. Hejazi, Ben Liang
298
Voted
FSTTCS
2010
Springer
15 years 5 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To