3954 search results - page 373 / 791 » Image-based Model Completion |
153
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
149
click to vote
CTCS
1987
Springer
15 years 8 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
130
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...
144
click to vote
WSC
2007
15 years 7 months ago
2007
Compounding processes, also known as perpetuities, play an important role in many applications; in particular, in time series analysis and mathematical finance. Apart from some s...
128
click to vote
WSC
2007
15 years 7 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...