2297 search results - page 340 / 460 » An Algorithm for Computing the Integral Closure |
157
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
145
click to vote
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we describe an algorithm and implementation of locality optimizations for architectures with instruction sets such as Intel’s SSE and Motorola’s AltiVec that su...
149
click to vote
PACT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
119
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Recently, there has been an increasing number of depth cameras available at commodity prices. These cameras can usually capture both color and depth images in real-time, ...
149
Voted
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...