Sciweavers

3628 search results - page 328 / 726
» Approaching the Physical Limits of Computing
Sort
View
183
Voted
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
16 years 5 days ago
Translation control of a fleet circular formation of AUVs under finite communication range
— This work proposes a control algorithm to stabilize a circular formation of AUVs tracking a time-varying center. We also consider the problem of uniform distribution of all the...
Lara B. Arranz, Alexandre Seuret, Carlos Canudas d...
ISSS
1998
IEEE
103views Hardware» more  ISSS 1998»
15 years 11 months ago
False Path Analysis Based on a Hierarchical Control Representation
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
Apostolos A. Kountouris, Christophe Wolinski
IADIS
2004
15 years 8 months ago
WETA: Bringing together Mobility and the Web
Currently, most of the web is inaccessible to mobile users. Few pages are designed with anything other than the Desktop PC in mind. The growing number of mobile devices with diffe...
René Hexel, Eko Widjono
DM
1999
90views more  DM 1999»
15 years 7 months ago
The density of ones in Pascal's rhombus
Pascal's rhombus is a variation of Pascal's triangle in which values are computed as the sum of four terms, rather than two. It is shown that the limiting ratio of the n...
John L. Goldwasser, William Klostermeyer, Michael ...
177
Voted
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 4 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù