Sciweavers

4415 search results - page 182 / 883
» How to Pair with a Human
Sort
View
ICDE
2008
IEEE
132views Database» more  ICDE 2008»
16 years 7 months ago
Merging Hierarchies Using Object Placement
The main challenge in integrating two hierarchies is determining the correspondence between the nodes and edges of each hierarchy. Traditionally, the correspondence is determined ...
Kai Zhao, Robert Ikeda, Hector Garcia-Molina
RECOMB
2009
Springer
16 years 7 months ago
Evaluating Between-Pathway Models with Expression Data
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
Benjamin J. Hescott, Mark D. M. Leiserson, Lenore ...
DCC
2004
IEEE
16 years 6 months ago
Periodicity and Correlation Properties of d-FCSR Sequences
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...
Mark Goresky, Andrew Klapper
FOSSACS
2004
Springer
15 years 12 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 11 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring