5128 search results - page 222 / 1026 » When Abstraction Fails |
211
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
184
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The goal of developing algorithms for programming robots by demonstration is to create an easy way of programming robots that can be accomplished by everyone. When a de...
170
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we investigate the importance of the high frequencies in the problem of convolutive blind source separation (BSS) of speech signals. In particular, we focu...
184
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Belief propagation (BP) is the calculation method which enables us to obtain the marginal probabilities with a tractable computational cost. BP is known to provide true m...
183
click to vote
AIED
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...