13841 search results - page 68 / 2769 » Algorithms and Constraint Programming |
108
Voted
KBSE
1997
IEEE
15 years 4 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...
122
click to vote
CP
2010
Springer
14 years 11 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...
95
Voted
ISCAS
2005
IEEE
15 years 6 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...
85
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
