1687 search results - page 68 / 338 » Light Functional Interpretation |
143
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Functional genomics is a typical scientific discovery domain characterized by a very large number of attributes (genes) relative to the number of examples (observations). The dang...
130
click to vote
AML
2010
15 years 2 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
129
click to vote
CSDA
2007
15 years 1 months ago
2007
The problem of building a regression tree is considered when the response variable is a probability density function. Splitting criteria which are well adapted to measure the diss...
115
click to vote
SIGMOD
2002
ACM
15 years 1 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
103
click to vote
PPDP
2010
Springer
15 years 11 days ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...