Sciweavers

2490 search results - page 40 / 498
» Complexity of Contextual Reasoning
Sort
View
STOC
2009
ACM
167views Algorithms» more  STOC 2009»
16 years 6 months ago
On the complexity of communication complexity
We consider the following question: given a two-argument boolean function f, represented as an N ? N binary matrix, how hard is to determine the (deterministic) communication comp...
Eyal Kushilevitz, Enav Weinreb
LICS
2009
IEEE
16 years 18 days ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal
HCI
2007
15 years 7 months ago
Artistic Data Visualization: Beyond Visual Analytics
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
Fernanda B. Viégas, Martin Wattenberg
PERCOM
2008
ACM
16 years 5 months ago
Data-centric middleware for context-aware pervasive computing
The complexity of developing and deploying context-aware pervasive-computing applications calls for distributed software infrastructures that assist applications to collect, aggre...
Guanling Chen, Ming Li, David Kotz
ICASSP
2007
IEEE
16 years 8 days ago
Signed Binary Digit Representation to Simplify 3D-EZW
Zerotree based coders have shown a good ability to be successfully adapted to 3D image coding. This paper focuses on the adaptation of EZW for the compression of hyperspectral ima...
Emmanuel Christophe, Pierre Duhamel, Corinne Mailh...