759 search results - page 89 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
We combine Bayesian online change point detection with Gaussian processes to create a nonparametric time series model which can handle change points. The model can be used to loca...
IEEEMM
2006
14 years 9 months ago
2006
A ubiquitous computing environment will become a solid social infrastructure for recording human experiences in the real world and facilitating human activities. The captured acti...
IEE
2007
14 years 9 months ago
2007
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
RAS
2000
14 years 9 months ago
2000
In the past decade, a large number of robots has been built that explicitly implement biological navigation behaviours. We review these biomimetic approaches using a framework tha...
135
click to vote
PR
2011
14 years 18 days ago
2011
One of the main shortcomings of Markov chain Monte Carlo samplers is their inability to mix between modes of the target distribution. In this paper we show that advance knowledge ...