2119 search results - page 271 / 424 » Structure-Preserving Model Reduction |
124
Voted
PATMOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The load-store queue (LQ-SQ) of modern superscalar processors is responsible for keeping the order of memory operations. As the performance gap between processing speed a...
127
Voted
PKC
2005
Springer
15 years 8 months ago
2005
Springer
We answer the open question of the possibility of building a digital signature scheme with proven security based on the one-wayness of a trapdoor permutation and with signatures as...
112
Voted
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
124
Voted
FSE
2004
Springer
15 years 8 months ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
131
Voted
IWCM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...