Sciweavers

3571 search results - page 251 / 715
» On the Power of Imperfect Information
Sort
View
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 10 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
ACMIDC
2009
15 years 10 months ago
Designing for physical-digital correspondence in tangible learning environments
In tangible learning environments the potential to exploit different physical-digital links increases representational power but also broadens the complexity of design. This paper...
Sara Price, Taciana Pontual Falcão
ICC
2007
IEEE
129views Communications» more  ICC 2007»
15 years 10 months ago
An Experimental Downlink Multiuser MIMO System with Distributed and Coherently-Coordinated Transmit Antennas
In this paper we present a multiuser MIMO experimental system and the corresponding indoor measurement results that demonstrate power of distributed and coherentlycoordinated downl...
Dragan Samardzija, Howard Huang, Reinaldo A. Valen...
CASES
2001
ACM
15 years 10 months ago
Computation offloading to save energy on handheld devices: a partition scheme
We consider handheld computing devices which are connected to a server (or a powerful desktop machine) via a wireless LAN. On such devices, it is often possible to save the energy...
Zhiyuan Li, Cheng Wang, Rong Xu
DAC
1991
ACM
15 years 10 months ago
REX - A VLSI Parasitic Extraction Tool for Electromigration and Signal Analysis
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
Jerry P. Hwang