Sciweavers

1992 search results - page 201 / 399
» On the (limited) power of non-equivocation
Sort
View
JMIV
2010
87views more  JMIV 2010»
15 years 5 months ago
Infinite Photography: New Mathematical Model for High-Resolution Images
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
Tapio Helin, Matti Lassas, Samuli Siltanen
LPAR
2010
Springer
15 years 5 months ago
Partitioning SAT Instances for Distributed Solving
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
BMVC
2010
15 years 4 months ago
Generalized Descriptor Compression for Storage and Matching
Smarter phones have made handheld computer vision a reality, but limited bandwidth, storage space and processing power prevent mobile phones from leveraging the full body of exist...
Matthew Johnson
GLOBECOM
2010
IEEE
15 years 4 months ago
Cooperative Relay Scheduling under Partial State Information in Energy Harvesting Sensor Networks
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...
Huijiang Li, Neeraj Jaggi, Biplab Sikdar
INFOCOM
2010
IEEE
15 years 4 months ago
Characterization of Non-Manipulable and Pareto Optimal Resource Allocation Strategies for Interference Coupled Wireless Systems
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...
Holger Boche, Siddharth Naik, Tansu Alpcan