Sciweavers

14783 search results - page 2574 / 2957
» Quantum Information Processing
Sort
View
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 4 months ago
Calculating modules in contextual logic program refinement
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
Robert Colvin, Ian J. Hayes, Paul A. Strooper
127
Voted
CSDA
2006
108views more  CSDA 2006»
15 years 4 months ago
Repeated median and hybrid filters
Standard median filters preserve abrupt shifts (edges) and remove impulsive noise (outliers) from a constant signal but they deteriorate in trend periods. Finite impulse response ...
Roland Fried, Thorsten Bernholt, Ursula Gather
CSL
2006
Springer
15 years 4 months ago
Unsupervised grammar induction using history based approach
Grammar induction, also known as grammar inference, is one of the most important research areas in the domain of natural language processing. Availability of large corpora has enc...
Heshaam Feili, Gholamreza Ghassem-Sani
EC
2006
136views ECommerce» more  EC 2006»
15 years 4 months ago
Error Thresholds in Genetic Algorithms
The error threshold of replication is an important notion of the quasispecies evolution model; it is a critical mutation rate (error rate) beyond which structures obtained by an e...
Gabriela Ochoa
ENTCS
2006
113views more  ENTCS 2006»
15 years 4 months ago
Concurrent Java Test Generation as a Search Problem
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
Yaniv Eytani
« Prev « First page 2574 / 2957 Last » Next »