1755 search results - page 80 / 351 » An efficient simulation algorithm based on abstract interpre... |
158
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
118
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a novel algorithm for motion planning of a deformable robot in a static environment. Given the initial and final configuration of the robot, our algorithm ...
145
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
139
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract: Kernel classifiers based on Support Vector Machines (SVM) have achieved state-ofthe-art results in several visual classification tasks, however, recent publications and d...
124
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Since optimum diversity behavior can be achieved, equalization based on lattice basis reduction is of special interest for transmission over MIMO channels. Although the per-symbol...