10061 search results - page 1572 / 2013 » Statistical Models of Conditioning |
155
click to vote
LICS
2007
IEEE
16 years 16 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
162
click to vote
ROMAN
2007
IEEE
16 years 16 days ago
2007
IEEE
—This paper proposes a novel method of learning a users preferred reward modalities for human-robot interaction through solving a cooperative training task. A learning algorithm ...
163
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
155
click to vote
CAIP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper, we present a novel algorithm to detect homogeneous color regions in images. We show its performance by applying it to skin detection. In contrast to previo...
133
click to vote
EUROGP
2007
Springer
16 years 13 days ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...