443 search results - page 4 / 89 » A Simple Solution to Type Specialization |
CARDIS
2000
Springer
13 years 11 months ago
2000
Springer
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
IMSCCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The properties of a LPAPI-matrix derived from an extended Direct-SIMPLE scheme are demonstrated. It is shown that such LPAPI-matrix for a 3D strong P V coupling problem is difficu...
AML
2006
13 years 7 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...