Sciweavers

4622 search results - page 151 / 925
» Foundations of Information Theory
Sort
View
ICML
1999
IEEE
16 years 7 months ago
Machine-Learning Applications of Algorithmic Randomness
Most machine learning algorithms share the following drawback: they only output bare predictions but not the con dence in those predictions. In the 1960s algorithmic information t...
Volodya Vovk, Alexander Gammerman, Craig Saunders
KES
2007
Springer
15 years 6 months ago
A Content Dependent Visualization System for Symbolic Representation of Piano Stream
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
Alexander Adli, Zensho Nakao, Yasunori Nagata
CSL
2010
Springer
15 years 7 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
CHI
2009
ACM
16 years 7 months ago
Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumpti
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
Dario D. Salvucci, Niels Taatgen, Jelmer P. Borst
DESRIST
2010
Springer
229views Education» more  DESRIST 2010»
15 years 10 months ago
Comparing Two Software Design Process Theories
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
Paul Ralph