1730 search results - page 263 / 346 » Algebra and Computation |
116
Voted
IEEECGIV
2006
IEEE
15 years 9 months ago
2006
IEEE
df.abstract.pdf Type Attachment Accessed Fri 10 Apr 2009 02:51:56 PM COT //www.eg.org/EG/DL/Conf/EG2006/short/005-008.pdf.abstract.pdf Date Added Fri 10 Apr 2009 02:51:5...
131
Voted
SPAA
2006
ACM
15 years 9 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
120
Voted
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
Autotuning technology has emerged recently as a systematic process for evaluating alternative implementations of a computation, in order to select the best-performing solution for...
129
click to vote
FORTE
2004
15 years 5 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
209
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
The context of this work is lateral vehicle control using a camera as a sensor. A natural tool for controlling a vehicle is recursive filtering. The well-known Kalman fil...