757 search results - page 128 / 152 » Monte Carlo Model Checking |
151
click to vote
IROS
2007
IEEE
16 years 5 days ago
2007
IEEE
— We present a robot localization system using biologically-inspired vision. Our system models two extensively studied human visual capabilities: (1) extracting the “gist” of...
143
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper focuses on statistical interconnect timing analysis in a parameterized block-based statistical static timing analysis tool. In particular, a new framework for performin...
127
click to vote
GLOBECOM
2006
IEEE
15 years 12 months ago
2006
IEEE
— We consider the problem of distributing a content of finite size to a group of users connected through an overlay network that is built by a peer-to-peer application. The goal...
238
click to vote
GLOBECOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
174
click to vote
NCA
2006
IEEE
15 years 12 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...