Sciweavers

7253 search results - page 301 / 1451
» Agile Performance Testing
Sort
View
ISCAS
2005
IEEE
129views Hardware» more  ISCAS 2005»
16 years 8 days ago
Optimized decoding scheme for erroneous MPEG-4 FGS bitstream
—In this paper, a structure of a packet error resilient Fine Granularity Scalable MPEG-4 decoder is proposed. The performance of the proposed decoder is tested and tests are repe...
Janne Vehkaperä, Johannes Peltola
TABLEAUX
2005
Springer
16 years 5 days ago
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
Thomas Raths, Jens Otten, Christoph Kreitz
ITC
2003
IEEE
92views Hardware» more  ITC 2003»
15 years 12 months ago
Infrastructure IP for Back-End Yield Improvement
The objective of this paper is to present an infrastructure IP (I-IP) designed to characterize yield loss in the process back-end. The I-IP structure is described in using a botto...
L. Forli, Jean Michel Portal, Didier Née, B...
AGP
1998
IEEE
15 years 11 months ago
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
Agostino Dovier, Carla Piazza, Gianfranco Rossi
ISMIS
1999
Springer
15 years 11 months ago
Learning English Grapheme Segmentation Using the Iterated Version Space Algorithm
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
Jianna Jian Zhang, Howard J. Hamilton, Nick Cercon...