6719 search results - page 213 / 1344 » A Generalization of Automatic Sequences |
DAC
2002
ACM
14 years 11 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
AIPS
2009
13 years 11 months ago
2009
Finite-state and memoryless controllers are simple action selection mechanisms widely used in domains such as videogames and mobile robotics. Memoryless controllers stand for func...
INTERSPEECH
2010
13 years 5 months ago
2010
In this paper, we propose a joint optimal method for automatic speech recognition (ASR) and ideal binary mask (IBM) estimation in transformed into the cepstral domain through a ne...
ICCV
2005
IEEE
15 years 7 days ago
2005
IEEE
For a large object, scanning from the air is one of the most efficient methods of obtaining 3D data. But in the case of large cultural heritage objects, there are some difficultie...
ESAS
2007
Springer
14 years 4 months ago
2007
Springer
The problem of secure routing in mobile ad hoc networks is long-standing and has been extensively studied by researchers. Recently, techniques of aggregating signatures have been a...