Sciweavers

4120 search results - page 488 / 824
» Exploring ocean data
Sort
View
150
Voted
ASAP
2008
IEEE
105views Hardware» more  ASAP 2008»
15 years 6 months ago
Fast custom instruction identification by convex subgraph enumeration
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. &Ou...
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 6 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
DIMEA
2008
137views Multimedia» more  DIMEA 2008»
15 years 6 months ago
Biometric tendency recognition and classification system: an artistic approach
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
Carlos Castellanos, Philippe Pasquier, Luther Thie...
APVIS
2010
15 years 6 months ago
Adaptive proxy geometry for direct volume manipulation
This paper introduces a new design to allow interactive, direct manipulation of volume data on volumetrically rendered images. We present an adaptive volume proxy mesh which serve...
Megumi Nakao, Kei Wai Cecilia Hung, Satoshi Yano, ...
DAGSTUHL
2010
15 years 6 months ago
Saliency Guided Summarization of Molecular Dynamics Simulations
We present a novel method to measure saliency in molecular dynamics simulation data. This saliency measure is based on a multiscale center-surround mechanism, which is fast and ef...
Robert Patro, Cheuk Yiu Ip, Amitabh Varshney