3591 search results - page 264 / 719 » Typing linear constraints |
203
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
Identifying space-variant motion blurs is a very challenging task in blind blur identification research. This paper describes a novel method towards blind identification without d...
175
click to vote
RECOMB
2004
Springer
16 years 7 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...
187
click to vote
CDC
2008
IEEE
16 years 1 months 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...
142
click to vote
CDC
2008
IEEE
16 years 1 months 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...
205
click to vote
ICONS
2008
IEEE
16 years 1 months 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 ...