1150 search results - page 145 / 230 » Tackling Large State Spaces in Performance Modelling |
122
click to vote
ICRA
2010
IEEE
15 years 2 days ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
106
Voted
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
In the past few years, there has been a trend of providing increased computing power through greater number of cores on a chip, rather than through higher clock speeds. In order t...
110
click to vote
3DPVT
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present an algorithm for adaptive resolution integration of 3D data collected from multiple distributed sensors. The input to the algorithm is a set of 3D surface...
106
click to vote
ACCV
1995
Springer
15 years 5 months ago
1995
Springer
—Many recognition procedures rely on the consistency of a subset of data features with a hypothesis as the sufficient evidence to the presence of the corresponding object. We ana...
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...