51 search results - page 3 / 11 » Constraint-Based Linear-Relations Analysis |
102
Voted
CAV
2008
Springer
15 years 7 days ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
104
click to vote
SAS
1994
Springer
15 years 2 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
92
Voted
SMI
2010
IEEE
14 years 8 months ago
2010
IEEE
—This paper develops a framework for locally deforming either a parametric surface or hierarchical subdivision surface to match a set of positional and energy minimizing constrai...
91
Voted
CINQ
2004
Springer
15 years 3 months ago
2004
Springer
This chapter investigates subgroup discovery as a task of constraint-based mining of local patterns, aimed at describing groups of individuals with unusual distributional character...
JLP
1998
14 years 10 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...