1465 search results - page 18 / 293 » Making the Correct Mistakes |
IJON
2007
14 years 9 months ago
2007
A biophysical cortico-colicular model of saccade initiation based on competitive integration of planned and reactive cortical saccade decision signals in the intermediate layer of...
FSTTCS
2003
Springer
15 years 2 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
120
click to vote
POPL
1989
ACM
15 years 1 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
94
Voted
AAAI
2010
14 years 11 months ago
2010
Correcting recognition errors is often necessary in a speech interface. These errors not only reduce users' overall entry rate, but can also lead to frustration. While making...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a ...