3406 search results - page 261 / 682 » Computational models of classical conditioning |
148
click to vote
ESEC
1991
Springer
15 years 10 months ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
179
click to vote
COMPUTING
2007
15 years 6 months ago
2007
An anamorphic image appears distorted from all but a few viewpoints. They have been studied by artists and architects since the early fifteenth century. Computer graphics opens t...
239
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
136
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Classic methods for Bayesian inference effectively constrain search to lie within regions of significant probability of the temporal prior. This is efficient with an accurate dyna...
191
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Load sharing in the data centre is an essential strategy for meeting service levels in high volume and high availability services. We investigate the accuracy with which simple, cl...