6274 search results - page 283 / 1255 » Proofs, Programs, Processes |
204
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
157
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
143
click to vote
ECOOP
2005
Springer
16 years 3 days ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
165
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
204
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...