6719 search results - page 256 / 1344 » A Generalization of Automatic Sequences |
100
click to vote
TCS
2002
15 years 9 days ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
105
Voted
TPDS
2002
15 years 9 days ago
2002
In this paper, an efficient algorithm to implement loop partitioning is introduced and evaluated. We start from results of Agarwal et al. [1] whose aim is to minimize the number of...
129
Voted
COLING
2008
14 years 11 months ago
2008
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
96
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We propose a shape descriptor for 3D ear impressions, derived from a comprehensive set of anatomical features. Motivated by hearing aid (HA) manufacturing, the selection ...
104
Voted
JCS
2011
14 years 7 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...