1350 search results - page 57 / 270 » Reasoning about Staged Computation |
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
As part of ITS technology, to achieve quick map updates, we propose a method for automatically detecting changes in streetscapes from images captured by car-mounted omnidirectiona...
101
click to vote
FOCS
2004
IEEE
15 years 1 months ago
2004
IEEE
Stochastic optimization problems attempt to model uncertainty in the data by assuming that (part of) the input is specified in terms of a probability distribution. We consider the...
102
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
LCPC
1999
Springer
15 years 2 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...