1243 search results - page 108 / 249 » On the locality of bounded growth |
147
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We present an algorithm for the conversion of very weak alternating Büchi automata into nondeterministic Büchi automata (NBA), and we introduce a local optimization criterion fo...
151
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Statistical shape analysis has become of increasing interest to the neuroimaging community due to its potential to locate morphological changes. In this paper, we present the a nov...
153
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The enormity and rapid growth of the web-graph forces quantities such as its pagerank to be computed under missing information consisting of outlinks of pages that have not yet be...
181
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
178
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose an online learning algorithm to tackle the problem of learning under limited computational resources in a teacher-student scenario, over multiple visual cues. ...