Sciweavers

730 search results - page 60 / 146
» Combinatorics of Monotone Computations
Sort
View
DBPL
2007
Springer
102views Database» more  DBPL 2007»
15 years 10 months ago
A Theory of Stream Queries
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
15 years 8 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
96
Voted
DAC
1999
ACM
15 years 8 months ago
Crosstalk Minimization Using Wire Perturbations
We study the variation of the crosstalk in a net and its neighbors when one of its trunks is perturbed, showing that the trunk’s perturbation range can be efficiently divided i...
Prashant Saxena, C. L. Liu
CAD
2006
Springer
15 years 4 months ago
An example on approximation by fat arcs and fat biarcs
Fat arcs form bounding boxes for planar curves. An example on approximation by fat arcs, provided by Qun and Rokne, is corrected. The third derivative of the given curve segment u...
Jun-Hai Yong, Xiao Chen, Jean-Claude Paul
126
Voted
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
15 years 8 months ago
Aligning Alignments
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Weiqing Zhang