Sciweavers

3082 search results - page 32 / 617
» New Bounds for the Controller Problem
Sort
View
132
Voted
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 1 months ago
Polynomial-time solution of change detection problems
Change detection problems are ubiquitous, but there are no existing tractable techniques for -exact solution of discrete-time, discrete-observation problems. A polynomialtime algor...
Joshua D. Isom, Robert E. LaBarre, Richard D. Braa...
144
Voted
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 4 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
139
Voted
TDSC
2008
116views more  TDSC 2008»
15 years 3 months ago
Practical Inference Control for Data Cubes
The fundamental problem for inference control in data cubes is how to efficiently calculate the lower and upper bounds for each cell value given the aggregations of cell values ove...
Haibing Lu, Yingjiu Li
112
Voted
ICRA
2008
IEEE
135views Robotics» more  ICRA 2008»
15 years 10 months ago
Decentralized connectivity maintenance in mobile networks with bounded inputs
Abstract— A distributed control law that guarantees connectivity maintenance in a network of multiple mobile agents is presented. The control law respects the limited sensing cap...
Dimos V. Dimarogonas, Karl Henrik Johansson
96
Voted
PLDI
1990
ACM
15 years 7 months ago
Representing Control in the Presence of First-Class Continuations
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...
Robert Hieb, R. Kent Dybvig, Carl Bruggeman