4352 search results - page 247 / 871 » A Representation Theorem and Applications |
192
click to vote
ALGORITHMICA
1998
15 years 7 months ago
1998
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
204
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
Lucas chains are a special type of addition chains satisfying an extra condition: for the representation ak = aj + ai of each element ak in the chain, the difference aj - ai must a...
195
click to vote
FLAIRS
2009
15 years 5 months ago
2009
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...
279
click to vote
SCP
2011
15 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
227
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...