45 search results - page 5 / 9 » The Inez Mathematical Programming Modulo Theories Framework |
136
click to vote
PLPV
2011
ACM
14 years 12 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
PAMI
2002
14 years 9 months ago
2002
The notion of fuzzy connectedness captures the idea of "hanging-togetherness" of image elements in an object by assigning a strength of connectedness to every possible pa...
JSC
2010
14 years 8 months ago
2010
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
70
Voted
ACTAC
2002
14 years 9 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...