780 search results - page 150 / 156 » Stability of fast algorithms for structured linear systems |
MFCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
115
click to vote
CG
2008
Springer
14 years 10 months ago
2008
Springer
As multi-core processor systems become more and more widespread, the demand for efficient parallel algorithms also propagates into the field of computer graphics. This is especial...
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
Ensuring the uniqueness of trademark images and protecting their identities are the most important objectives for the trademark registration process. To prevent trademark infringe...
CARS
2004
14 years 11 months ago
2004
Robots can improve the accuracy of image-guided needle placement over traditional free-hand techniques. While many research groups have demonstrated this, widespread clinical adopt...