1581 search results - page 115 / 317 » Mechanizing Inductive Reasoning |
141
click to vote
FLAIRS
2003
15 years 7 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
162
click to vote
SARA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
126
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the preliminary design and experimental results of a standard AA size vibration-induced micro energy transducer which is integrated with a power-management cir...
194
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper studies the feasibility and interpretation of learning the causal structure from observational data with the principles behind the Kolmogorov Minimal Sufficient Statist...
165
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...