Sciweavers

1823 search results - page 130 / 365
» Generating Multiple New Designs From a Sketch
Sort
View
POPL
2010
ACM
14 years 5 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
ICIP
2010
IEEE
13 years 6 months ago
Decoding positional and color information from a coded pattern
: The paper presents decoding positional and color information using visual coded patterns for efficient geometric calibration and color consistency across multiple cameras. The pa...
Nelson L. Chang, Suk Hwan Lim, Feng Tang
ASPDAC
1995
ACM
103views Hardware» more  ASPDAC 1995»
13 years 11 months ago
A scheduling algorithm for multiport memory minimization in datapath synthesis
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
Hae-Dong Lee, Sun-Young Hwang
AEI
2000
63views more  AEI 2000»
13 years 8 months ago
Application of a support system to the design of wastewater treatment plants
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
Ignasi Rodríguez-Roda, Manel Poch, Ren&eacu...
HAPTICS
2009
IEEE
14 years 2 months ago
Good vibrations: Asymmetric vibrations for directional haptic cues
In this paper we present a new concept for haptic guidance in multiple dimensions, in the form of asymmetric vibrations. We show that by adding asymmetry, vibrations from a single...
Hanns Tappeiner, Roberta L. Klatzky, Bertram Unger...