10715 search results - page 1913 / 2143 » From Tests to Proofs |
131
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Query abandonment by search engine users is generally considered to be a negative signal. In this paper, we explore the concept of good abandonment. We define a good abandonment ...
186
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
— Diffusion Tensor Imaging (DTI) provides insight into the white matter of the human brain, which is affected by Schizophrenia. By comparing a patient group to a control group, t...
150
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents an alternative formulation for the Bayesian feature-based simultaneous localisation and mapping (SLAM) problem, using a random finite set approach. For a fe...
146
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
155
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...