Sciweavers

2490 search results - page 40 / 498
» Complexity of Contextual Reasoning
Sort
View
STOC
2009
ACM
167views Algorithms» more  STOC 2009»
16 years 14 days 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
87
Voted
LICS
2009
IEEE
15 years 6 months 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
99
Voted
HCI
2007
15 years 1 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
15 years 11 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
15 years 6 months 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...