6719 search results - page 266 / 1344 » A Generalization of Automatic Sequences |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We present a new image morphing approach in which the output sequence is regenerated from small pieces of the two source (input) images. The approach does not require manual corre...
CICLING
2010
Springer
14 years 5 months ago
2010
Springer
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. While the quality of a summary is de...
ATS
2009
IEEE
14 years 5 months ago
2009
IEEE
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...
FATES
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...