Sciweavers

3328 search results - page 156 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ACG
2009
Springer
15 years 10 months ago
Conflict Resolution of Chinese Chess Endgame Knowledge Base
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 6 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
MFCS
2001
Springer
15 years 11 months ago
Computable Versions of Baire's Category Theorem
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
Vasco Brattka
APPROX
2008
Springer
99views Algorithms» more  APPROX 2008»
15 years 8 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