3591 search results - page 75 / 719 » Typing linear constraints |
TLCA
2007
Springer
15 years 4 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
MA
2010
Springer
14 years 8 months ago
2010
Springer
We consider the problem of estimating the regression function in functional linear regression models by proposing a new type of projection estimators which combine
ASIAN
1999
Springer
15 years 2 months ago
1999
Springer
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
SIAMJO
2002
14 years 9 months ago
2002
We study best approximation problems with nonlinear constraints in Hilbert spaces. The strong "conical hull intersection property" (CHIP) and the "basic constraint q...