1847 search results - page 292 / 370 » Hybrid Functional Interpretations |
71
Voted
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
75
Voted
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
FCT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...