7213 search results - page 994 / 1443 » Automated model grouping |
159
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
187
click to vote
CADE
2004
Springer
16 years 7 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
168
Voted
CSL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
199
click to vote
EWCBR
2004
Springer
16 years 6 days ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
175
click to vote
FLOPS
2004
Springer
16 years 6 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...