Sciweavers

3071 search results - page 256 / 615
» Explanatory Design Theory
Sort
View
TSP
2008
114views more  TSP 2008»
15 years 6 months ago
Zero-Forcing Precoding and Generalized Inverses
Abstract--We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in linear algebra. Special attention is giv...
Ami Wiesel, Yonina C. Eldar, Shlomo Shamai
EXPERT
2000
182views more  EXPERT 2000»
15 years 6 months ago
Humanoid Robots: A New Kind of Tool
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
Bryan Adams, Cynthia Breazeal, Rodney A. Brooks, B...
ML
2007
ACM
15 years 6 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
ICASSP
2010
IEEE
15 years 5 months ago
Adaptive beam tracking for interference alignment for multiuser time-varying MIMO interference channels
The problem of interference alignment in time-varying MIMO interference channels is considered. To reduce complexity, an adaptive algorithm for beam vector design is proposed base...
Heejung Yu, Youngchul Sung, Haksoo Kim, Yong Hoon ...
ICFEM
2009
Springer
15 years 4 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...