Sciweavers

1126 search results - page 103 / 226
» Modularity and the Rule of Adaptation
Sort
View
FOAL
2009
ACM
15 years 7 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
85
Voted
ICPR
2010
IEEE
15 years 5 months ago
Lattice-Based Anomaly Rectification for Sport Video Annotation
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...
Aftab Khan, David Windridge, Teofilo De Campos
66
Voted
IJLT
2007
72views more  IJLT 2007»
15 years 16 days ago
Quality of Experience-LAOS: create once, use many, use anywhere
: This paper proposes QoE-LAOS, a Quality of Experience-oriented adaptive authoring model that enables performance-aware adaptation. It extends the existing LAOS authoring model in...
Cristina Hava Muntean, Gabriel-Miro Muntean, Jenni...
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 10 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
91
Voted
ICML
2008
IEEE
16 years 1 months ago
Empirical Bernstein stopping
Sampling is a popular way of scaling up machine learning algorithms to large datasets. The question often is how many samples are needed. Adaptive stopping algorithms monitor the ...
Csaba Szepesvári, Jean-Yves Audibert, Volod...