Sciweavers

2539 search results - page 78 / 508
» Debugging Method Names
Sort
View
TODAES
2008
115views more  TODAES 2008»
15 years 1 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
ADBIS
1999
Springer
80views Database» more  ADBIS 1999»
15 years 6 months ago
S*-Tree: An Improved S+-Tree for Coloured Images
In this paper we propose and analyze a new spatial access method, namely the S∗ -tree, for the efficient secondary memory encoding and manipulation of images containing multiple ...
Enrico Nardelli, Guido Proietti
ACL
2007
15 years 3 months ago
Multilingual Transliteration Using Feature based Phonetic Method
In this paper we investigate named entity transliteration based on a phonetic scoring method. The phonetic method is computed using phonetic features and carefully designed pseudo...
Su-Youn Yoon, Kyoung-Young Kim, Richard Sproat
PR
2007
118views more  PR 2007»
15 years 1 months ago
A cooperative constructive method for neural networks for pattern recognition
In this paper, we propose a new constructive method, based on cooperative coevolution, for designing automatically the structure of a neural network for classification. Our appro...
Nicolás García-Pedrajas, Domingo Ort...
SAC
2005
ACM
15 years 7 months ago
Selective method combination in mixin-based composition
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
Tetsuo Kamina, Tetsuo Tamai