1776 search results - page 172 / 356 » Uncertain Linear Constraints |
145
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
166
click to vote
CDC
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
117
click to vote
CDC
2008
IEEE
16 years 15 days ago
2008
IEEE
— This paper introduces a hybrid control scheme for steering a non-holonomic agent with limited sensing capabilities and input constraints through a stationary but unknown worksp...
177
click to vote
ICONS
2008
IEEE
16 years 14 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
171
Voted
REFSQ
2007
Springer
16 years 4 days ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...