1914 search results - page 230 / 383 » Abstract lambda-Calculus Machines |
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
CEAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present Filtron, a prototype anti-spam filter that integrates the main empirical conclusions of our comprehensive analysis on using machine learning to construct eff...
COLT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract— We prove that given a nearly log-concave distribution, in any partition of the space to two well separated sets, the measure of the points that do not belong to these s...
COLT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...