3690 search results - page 284 / 738 » Computation with classical sequents |
152
click to vote
SAC
2010
ACM
16 years 6 days ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
146
click to vote
SAC
2010
ACM
16 years 6 days ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
134
click to vote
FLOPS
2010
Springer
16 years 6 days ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
151
click to vote
SAC
2009
ACM
16 years 5 days ago
2009
ACM
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...
117
click to vote
SAC
2009
ACM
16 years 5 days ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...