2861 search results - page 189 / 573 » Constraint Programming |
141
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
115
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
121
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
118
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
115
Voted
DSS
2007
15 years 2 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...