13841 search results - page 68 / 2769 » Algorithms and Constraint Programming |
122
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
141
Voted
CP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
120
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
