Sciweavers

147 search results - page 17 / 30
» The Uncapacitated Swapping Problem
Sort
View
GISCIENCE
2004
Springer
105views GIS» more  GISCIENCE 2004»
14 years 3 months ago
Effect of Category Aggregation on Map Comparison
This paper investigates the influence of category aggregation on measurement of land-use and land-cover change. To date, research concerning data aggregation has examined primarily...
Robert Gilmore Pontius Jr., Nicholas R. Malizia
JAR
2010
95views more  JAR 2010»
13 years 4 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
JCSS
2010
102views more  JCSS 2010»
13 years 8 months ago
Matching and alpha-equivalence check for nominal terms
Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...
Christophe Calvès, Maribel Fernández
HPCC
2007
Springer
14 years 4 months ago
On Pancyclicity Properties of OTIS Networks
The OTIS-Network (also referred to as two-level swapped network) is composed of n clones of an n-node original network constituting its clusters. It has received much attention due...
Mohammad R. Hoseinyfarahabady, Hamid Sarbazi-Azad
ISCA
2003
IEEE
114views Hardware» more  ISCA 2003»
14 years 3 months ago
Building Quantum Wires: The Long and the Short of It
As quantum computing moves closer to reality the need for basic architectural studies becomes more pressing. Quantum wires, which transport quantum data, will be a fundamental com...
Mark Oskin, Frederic T. Chong, Isaac L. Chuang, Jo...