Sciweavers

730 search results - page 60 / 146
» Combinatorics of Monotone Computations
Sort
View
DBPL
2007
Springer
102views Database» more  DBPL 2007»
14 years 1 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»
14 years 2 days 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
DAC
1999
ACM
14 years 1 days 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
13 years 7 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
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
13 years 12 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