Sciweavers

4745 search results - page 81 / 949
» Discretization: An Enabling Technique
Sort
View
TVLSI
2002
130views more  TVLSI 2002»
15 years 5 months ago
HW/SW codesign techniques for dynamically reconfigurable architectures
Abstract--Hardward/software (HW/SW) codesign and reconfigurable computing are commonly used methodologies for digitalsystems design. However, no previous work has been carried out ...
Juanjo Noguera, Rosa M. Badia
ERCIMDL
2009
Springer
94views Education» more  ERCIMDL 2009»
16 years 21 days ago
A Visualization Technique for Quality Control of Massive Digitization Programs
Massive digitization programs need massive visualization techniques for quality control. We describe the functional prototype of a 3D interactive environment enabling a rapid inspe...
Rodrigo Andrade de Almeida, Pedro Alessio, Alexand...
APCHI
2008
IEEE
16 years 19 days ago
Double-Crossing: A New Interaction Technique for Hand Gesture Interfaces
We propose double-crossing, a technique for interacting with large displays using hand gestures. This technique extends crossing, which was developed for a pen-based interface, and...
Takashi Nakamura, Shin Takahashi, Jiro Tanaka
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
13 years 8 months ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
KES
2005
Springer
15 years 11 months ago
Optimal Remediation Design in Groundwater Systems by Intelligent Techniques
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
Hone-Jay Chu, Chin-Tsai Hsiao, Liang-Cheng Chang