4074 search results - page 562 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
163
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
152
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...
185
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a novel method of building a language model for open-vocabulary Korean word recognition. Due to the complex morphology of Korean, it is inappropriate to ...
159
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
172
click to vote
PATMOS
2007
Springer
16 years 22 days ago
2007
Springer
In this work we consider coefficient reordering for low power realization of FIR filters on fixed-point multiply-accumulate (MAC) based architectures, such as DSP processors. Com...