3055 search results - page 290 / 611 » Randomized Search Trees |
117
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
130
Voted
DCC
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper we introduce StarZip, a multi-corpora lossless text compression utility which incorporates StarNT, our newly proposed transform algorithm. StarNT is a dictionary-base...
101
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper presents a novel Ternary More, Less and Equality (MLE) Circuit implemented with Recharged SemiFloating Gate Transistors. The circuit is a ternary application, and te...
107
click to vote
APN
2003
Springer
15 years 8 months ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
129
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...