Sciweavers

652 search results - page 16 / 131
» Linear Explicit Substitutions
Sort
View
JAPLL
2010
141views more  JAPLL 2010»
13 years 6 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
APPROX
2008
Springer
99views Algorithms» more  APPROX 2008»
13 years 9 months ago
A 2-Source Almost-Extractor for Linear Entropy
We give an explicit construction of a function that is almost a 2-source extractor for linear entropy, it is a condenser where the output has almost full entropy. Given 2 sources w...
Anup Rao
ICCV
2001
IEEE
14 years 9 months ago
Blind Removal of Image Non-Linearities
This paper presents a technique for blindly removing image non-linearities in the absence of any calibration information or explicit knowledge of the imagingdevice. The basic appr...
Hany Farid, Alin C. Popescu
VTS
1995
IEEE
94views Hardware» more  VTS 1995»
13 years 11 months ago
Synthesis of locally exhaustive test pattern generators
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
Günter Kemnitz
PC
1998
132views Management» more  PC 1998»
13 years 7 months ago
Parallel Linear Congruential Generators with Prime Moduli
Linear congruential generators (LCGs) remain the most popular method of pseudorandom number generation on digital computers. Ease of implementation has favored implementing LCGs wi...
Michael Mascagni