Sciweavers

8437 search results - page 1327 / 1688
» Preferences over Sets
Sort
View
TVLSI
2002
130views more  TVLSI 2002»
15 years 6 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
VLDB
2002
ACM
126views Database» more  VLDB 2002»
15 years 6 months ago
Exact Indexing of Dynamic Time Warping
The problem of indexing time series has attracted much interest. Most algorithms used to index time series utilize the Euclidean distance or some variation thereof. However, it has...
Eamonn J. Keogh
VR
2002
IEEE
174views Virtual Reality» more  VR 2002»
15 years 6 months ago
Immersive and Interactive Exploration of Billion-Atom Systems
We have developed a visualization system, named Atomsviewer, to render a billion atoms from the results of a molecular dynamics simulation. This system uses a hierarchical view fr...
Ashish Sharma, Xinlian Liu, Paul Miller, Aiichiro ...
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 6 months ago
Promoting Component Reuse by Separating Transmission Policy from Implementation
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...
Scott M. Walker, Alan Dearle, Graham N. C. Kirby, ...
ENVSOFT
2008
141views more  ENVSOFT 2008»
15 years 6 months ago
Geomorphometric landscape analysis using a semi-automated GIS-approach
This paper presents LANDFORM, a customized GIS application for semi-automated classification of landform elements, based on topographic attributes like curvature or elevation perc...
Bernhard Klingseisen, Graciela Metternicht, Gernot...
« Prev « First page 1327 / 1688 Last » Next »