10916 search results - page 377 / 2184 » On Constructive Connectives and Systems |
210
click to vote
FGCS
2000
15 years 7 months ago
2000
: A general framework for solving combinatorial optimization problems heuristically by the Ant System approach is developed. The framework is based on the concept of a construction...
192
click to vote
JFP
2000
15 years 7 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
188
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
200
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper, we formulate the requirements for privacy protecting biometric authentication systems. The secrecy capacity Cs is investigated for the discrete and the con...
202
click to vote
ICTAC
2004
Springer
16 years 1 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...