Sciweavers

5401 search results - page 91 / 1081
» Using Versions in GIS
Sort
View
141
Voted
GIS
2009
ACM
15 years 7 months ago
Classification of raster maps for automatic feature extraction
Raster maps are widely available and contain useful geographic features such as labels and road lines. To extract the geographic features, most research work relies on a manual st...
Yao-Yi Chiang, Craig A. Knoblock
ISSTA
2006
ACM
15 years 9 months ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
93
Voted
ACL
1997
15 years 5 months ago
Representing Paraphrases Using Synchronous TAGs
This paper looks at representing paraphrases using the formalism of Synchronous TAGs; it looks particularly at comparisons with machine translation and the modifications it is nec...
Marc Dras
IPPS
2008
IEEE
15 years 10 months ago
Energy-efficient high-performance storage system
This project is developing extended versions of RAIDs with low-power, and exploring novel energyefficient disk array architectures using coding techniques for data intensive compu...
Jun Wang
133
Voted
GECCO
2004
Springer
122views Optimization» more  GECCO 2004»
15 years 9 months ago
An Improved Diversity Mechanism for Solving Constrained Optimization Problems Using a Multimembered Evolution Strategy
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
Efrén Mezura-Montes, Carlos A. Coello Coell...