Sciweavers

2370 search results - page 393 / 474
» A Structured Set of Higher-Order Problems
Sort
View
ANNPR
2008
Springer
14 years 2 days ago
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
Jean-François Connolly, Eric Granger, Rober...
AIIA
2007
Springer
13 years 12 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
ETS
2007
IEEE
128views Hardware» more  ETS 2007»
13 years 12 months ago
Selecting Power-Optimal SBST Routines for On-Line Processor Testing
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
Andreas Merentitis, Nektarios Kranitis, Antonis M....
DCC
2008
IEEE
13 years 12 months ago
Rate Bounds on SSIM Index of Quantized Image DCT Coefficients
In this paper, we derive bounds on the Structural SIMilarity (SSIM) Index as a function of quantization rate for fixed-rate uniform quantization of image discrete cosine transform...
Sumohana S. Channappayya, Alan C. Bovik, Robert W....
ECRTS
2008
IEEE
13 years 12 months ago
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
George Lima, Eduardo Camponogara, Ana Carolina Sok...