10718 search results - page 828 / 2144 » On the Circuit Implementation Problem |
219
click to vote
BMVC
2010
15 years 5 months ago
2010
Sparse Bundle Adjustment (SBA) is a method for simultaneously optimizing a set of camera poses and visible points. It exploits the sparse primary structure of the problem, where c...
278
click to vote
DLS
2010
15 years 5 months ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
201
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
214
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The REMOS (REverberation MOdeling for Speech recognition) concept for reverberation-robust distant-talking speech recognition, introduced in [1] for melspectral features, is exten...
199
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...