Sciweavers

5401 search results - page 196 / 1081
» Using Versions in GIS
Sort
View
CACM
2006
90views more  CACM 2006»
15 years 4 months ago
Creating an adaptive network of hubs using Schelling's model
Thomas Schelling's model suggests an explanation for the existence of segregated neighborhoods in America. This paper presents a study on utilizing Schelling's model to c...
Atul Singh, Mads Haahr
JSAT
2008
85views more  JSAT 2008»
15 years 4 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
JPDC
2006
117views more  JPDC 2006»
15 years 4 months ago
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions arising in quantum chemistry computati...
Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Ba...
TC
2008
15 years 4 months ago
A New Finite-Field Multiplier Using Redundant Representation
A novel serial-in parallel-out finite field multiplier using redundant representation is proposed. It is shown that the proposed architecture has either a significantly lower compl...
Ashkan Hosseinzadeh Namin, Huapeng Wu, Majid Ahmad...
JAR
2007
72views more  JAR 2007»
15 years 4 months ago
Inferring Phylogenetic Trees Using Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, Ja...