7555 search results - page 61 / 1511 » The Type System of DBPL |
95
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
127
click to vote
JIPS
2006
15 years 3 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
KES
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
162
Voted
TREC
2007
15 years 4 months ago
2007
A Question Answering (QA) system aims to return exact answers to natural language questions. While today information retrieval techniques are quite successful at locating within l...
118
Voted
SEBD
2007
15 years 5 months ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...