Sciweavers

6770 search results - page 375 / 1354
» How GPUs Work
Sort
View
GECCO
2009
Springer
153views Optimization» more  GECCO 2009»
15 years 9 months ago
An evaporation mechanism for dynamic and noisy multimodal optimization
Dealing with imprecise information is a common characteristic in real-world problems. Specifically, when the source of the information are physical sensors, a level of noise in t...
Jose Luis Fernandez-Marquez, Josep Lluís Ar...
SEMWEB
2009
Springer
15 years 9 months ago
Semantic Provenance for Science Data Products: Application to Image Data Processing
—A challenge in providing scientific data services to a broad user base is to also provide the metadata services and tools the user base needs to correctly interpret and trust t...
Stephan Zednik, Peter Fox, Deborah L. McGuinness, ...
CHARME
2001
Springer
98views Hardware» more  CHARME 2001»
15 years 9 months ago
Hardware Synthesis Using SAFL and Application to Processor Design
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
Alan Mycroft, Richard Sharp
DBPL
2001
Springer
167views Database» more  DBPL 2001»
15 years 9 months ago
A Temporal Query Language for OLAP: Implementation and a Case Study
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
Alejandro A. Vaisman, Alberto O. Mendelzon
ICLP
2001
Springer
15 years 9 months ago
Higher-Precision Groundness Analysis
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
Michael Codish, Samir Genaim, Harald Sønder...