244 search results - page 44 / 49 » Modeling Instrumental Conditioning - The Behavioral Regulati... |
100
click to vote
PADL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
116
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
90
Voted
SIGECOM
2008
ACM
15 years 15 days ago
2008
ACM
One attractive feature of market scoring rules [Hanson '03] is that they are myopically strategyproof: It is optimal for a trader to report her true belief about the likeliho...
101
click to vote
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
3D Bayesian regularization applied to diffusion tensor MRI is presented here. The approach uses Markov Random Field ideas and is based upon the definition of a 3D neighborhood syst...
95
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...