Sciweavers

719 search results - page 57 / 144
» What HMMs Can Do
Sort
View
CAV
2010
Springer
153views Hardware» more  CAV 2010»
13 years 11 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
AGI
2008
13 years 9 months ago
Artificial general intelligence: an organism and level based position statement
Abstract. Do simple animals, even single-celled animals, display general intelligence? If we take this to mean that they can cope with their environment, even when it is dynamic, t...
Leslie S. Smith
ESANN
2008
13 years 9 months ago
Pruning and Regularisation in Reservoir Computing: a First Insight
Reservoir Computing is a new paradigm for using Recurrent Neural Networks which shows promising results. However, as the recurrent part is created randomly, it typically needs to b...
Xavier Dutoit, Benjamin Schrauwen, Jan M. Van Camp...
NIPS
2008
13 years 9 months ago
A rational model of preference learning and choice prediction by children
Young children demonstrate the ability to make inferences about the preferences of other agents based on their choices. However, there exists no overarching account of what childr...
Christopher G. Lucas, Thomas L. Griffiths, Fei Xu,...
CHI
2005
ACM
14 years 8 months ago
Beyond "from" and "received": exploring the dynamics of email triage
Email triage is the process of going through unhandled email and deciding what to do with it. Email triage can quickly become a serious problem for users as the amount of unhandle...
Carman Neustaedter, A. J. Bernheim Brush, Marc A. ...