Now showing items 11-20 of 29
A Multimodal System for Gesture Recognition in Interactive Music Performance
(Massachusetts Institute of Technology Press (MIT Press): Arts & Humanities Titles etc, 2009-11-30)
Why Risk Models should be Parameterised
Risk models using fault and event trees can be extended with explicit factors, which are states of the system, its users or its environment that influence event probabilities. The factors act as parameters in the risk ...
Classification of the asymptotic Proof Complexity of Polynomial Calculus
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well as for Polynomial Calculus, (PC) has four ...
(International Machine Learning Society, 2009-06-14)
Humans and animals learn much better when the examples are not randomly presented but organized in a meaningful order which illustrates gradually more concepts, and gradually more complex ones. Here, we formalize such ...