1434 search results - page 268 / 287 » Stochastic computation |
167
click to vote
SOFSEM
2007
Springer
16 years 1 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
204
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a hybrid particle and texture based approach for the visualization of time-dependent vector fields. The underlying spacetime framework builds a dense vector field rep...
165
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
165
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
182
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...