48 search results - page 1 / 10 » A characterization of the set of fixed points of the Quickso... |
CORR
2000
Springer
13 years 6 months ago
2000
Springer
The limiting distribution
JAL
2002
13 years 6 months ago
2002
The number of comparisons Xn used by Quicksort to sort an array of n distinct numbers has mean
IANDC
2006
13 years 6 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
ICLP
2001
Springer
13 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
ISCAS
2003
IEEE
13 years 12 months ago
2003
IEEE
Generally, analog RF front-end circuits are designed to be functional under the most stringent, fixed, operating conditions, where all the performance parameters are set by crude ...