736 search results - page 76 / 148 » High-order functions and their ordering relations |
185
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
172
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
166
click to vote
ALGORITHMICA
1998
15 years 5 months ago
1998
Abstract. This paper presents moment analyses and characterizations of limit distributions for the construction cost of hash tables under the linear probing strategy. Two models ar...
163
click to vote
SIAMDM
2002
15 years 5 months ago
2002
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...
268
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
Determining relationships such as functional or inclusion dependencies within and across databases is important for many applications in information integration. When such informa...