1279 search results - page 55 / 256 » Fast Implementations of Automata Computations |
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Intensity-based methods work well for multi-modal image registration owing to their effectiveness and simplicity, but the computation for geometric transforms is a heavy load. To ...
ASAP
2006
IEEE
14 years 1 months ago
2006
IEEE
Current microprocessor instruction set architectures are word oriented, with some subword support. Many important applications, however, can realize substantial performance benefi...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
Over the last decades Internet traffic has grown dramatically. Besides the number of transfers, data sizes have risen as well. Traditional transfer protocols do not adapt to this...
TPHOL
2000
IEEE
14 years 1 days ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...