6719 search results - page 213 / 1344 » A Generalization of Automatic Sequences |
99
Voted
DAC
2002
ACM
16 years 1 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...
106
Voted
AIPS
2009
15 years 1 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...
113
click to vote
INTERSPEECH
2010
14 years 7 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...
113
click to vote
ICCV
2005
IEEE
16 years 2 months 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...
129
Voted
ESAS
2007
Springer
15 years 7 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...