Sciweavers

6719 search results - page 256 / 1344
» A Generalization of Automatic Sequences
Sort
View
TCS
2002
13 years 10 months ago
Automatic verification of real-time systems with discrete probability distributions
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...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
TPDS
2002
136views more  TPDS 2002»
13 years 10 months ago
Automatic Partitioning of Parallel Loops with Parallelepiped-Shaped Tiles
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...
Fabrice Rastello, Yves Robert
COLING
2008
13 years 9 months ago
A Probabilistic Model for Measuring Grammaticality and Similarity of Automatically Generated Paraphrases of Predicate Phrases
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
Atsushi Fujita, Satoshi Sato
MICCAI
2010
Springer
13 years 9 months ago
Automatic Detection of Anatomical Features on 3D Ear Impressions for Canonical Representation
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 ...
Sajjad Baloch, Rupen Melkisetoglu, Simon Flör...
JCS
2011
72views more  JCS 2011»
13 years 5 months ago
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
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...
Boris Köpf, David A. Basin