7557 search results - page 515 / 1512 » Constraints as a design pattern |
194
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
169
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
199
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
154
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
We address the problem of applying reactive navigation methods to non-holonomic robots. Rather than embedding the motion constraints when designing a navigation method, we propose...
232
click to vote
PG
1998
IEEE
15 years 11 months ago
1998
IEEE
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...