4413 search results - page 768 / 883 » New Directions for CACM |
147
click to vote
TROB
2010
15 years 4 months ago
2010
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
176
click to vote
TSE
2010
15 years 4 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
139
click to vote
VLSI
2010
Springer
15 years 4 months ago
2010
Springer
—Multi-Vdd techniques enable application of lower supply voltage levels on cells with timing slacks. New voltage assignment, placement and voltage island partitioning methods are...
153
click to vote
ASPDAC
2010
ACM
15 years 3 months ago
2010
ACM
Digital Microfluidic Biochip (DMFB) has drawn lots of attention today. It offers a promising platform for various kinds of biochemical experiments. DMFB that uses crossreferencing ...
144
click to vote
BMVC
2010
15 years 3 months ago
2010
In this paper, we propose a novel manifold alignment method by learning the underlying common manifold with supervision of corresponding data pairs from different observation sets...