Sciweavers

1172 search results - page 221 / 235
» Constructions of generalized Sidon sets
Sort
View
ENTCS
2002
113views more  ENTCS 2002»
14 years 11 months ago
A monadic approach to polycategories
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...
Jürgen Koslowski
TKDE
1998
122views more  TKDE 1998»
14 years 11 months ago
The Design and Implementation of Seeded Trees: An Efficient Method for Spatial Joins
—Existing methods for spatial joins require pre-existing spatial indices or other precomputation, but such approaches are inefficient and limited in generality. Operand data sets...
Ming-Ling Lo, Chinya V. Ravishankar
SCP
2010
155views more  SCP 2010»
14 years 10 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
BMCBI
2004
83views more  BMCBI 2004»
14 years 11 months ago
VKCDB: Voltage-gated potassium channel database
Background: The family of voltage-gated potassium channels comprises a functionally diverse group of membrane proteins. They help maintain and regulate the potassium ion-based com...
Bin Li, Warren J. Gallin
ICALP
1998
Springer
15 years 4 months ago
Static and Dynamic Low-Congested Interval Routing Schemes
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...
Serafino Cicerone, Gabriele Di Stefano, Michele Fl...