Sciweavers

5230 search results - page 146 / 1046
» Dynamic Optimality -- Almost
Sort
View
114
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
139
Voted
DLT
2009
15 years 1 months ago
Tight Bounds on the Descriptional Complexity of Regular Expressions
Abstract. We improve on some recent results on lower bounds for conversion problems for regular expressions. In particular we consider the conversion of planar deterministic finite...
Hermann Gruber, Markus Holzer
145
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
Mutual Information of MIMO Transmission over Correlated Channels with Finite Symbol Alphabets and Link Adaptation
In this paper, results on the mutual information of MIMO transmission over spatially correlated channels in slow fading environments are presented. Different receiver techniques su...
Eckhard Ohlmer, Udo Wachsmann, Gerhard Fettweis
134
Voted
RSA
2011
131views more  RSA 2011»
14 years 10 months ago
On covering by translates of a set
Abstract. In this paper we study the minimal number τ(S, G) of translates of an arbitrary subset S of a group G needed to cover the group, and related notions of the efficiency of...
Béla Bollobás, Svante Janson, Oliver...
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
15 years 8 months ago
Design of Asymptotically Stable Walking for a 5-Link Planar Biped Walker via Optimization
— Closed-loop, asymptotically stable walking motions are designed for a 5-link, planar bipedal robot model with one degree of underactuation. Parameter optimization is applied to...
E. R. Westervelt, J. W. Grizzle