Sciweavers

479 search results - page 31 / 96
» Transformational Placement and Synthesis
Sort
View
CAV
2010
Springer
286views Hardware» more  CAV 2010»
13 years 8 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko
AUTOMATICA
2008
76views more  AUTOMATICA 2008»
13 years 8 months ago
Structured semidefinite programs for the control of symmetric systems
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
Randy Cogill, Sanjay Lall, Pablo A. Parrilo
ICASSP
2011
IEEE
12 years 11 months ago
Improved pos tagging for text-to-speech synthesis
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
Ming Sun, Jerome R. Bellegarda
ISPD
1997
ACM
106views Hardware» more  ISPD 1997»
14 years 12 hour ago
VLSI/PCB placement with obstacles based on sequence-pair
In a typical VLSI/PCB design, some modules are pre-placed in advance, and the other modules are requested to be placed without overlap with these pre-placed modules. The presence ...
Hiroshi Murata, Kunihiro Fujiyoshi, Mineo Kaneko
TMM
2002
123views more  TMM 2002»
13 years 7 months ago
Object tracking using the Gabor wavelet transform and the golden section algorithm
This paper presents an object tracking method for object-based video processing which uses a two-dimensional (2-D) Gabor wavelet transform (GWT) and a 2-D golden section algorithm....
Chao He, Yuan F. Zheng, Stanley C. Ahalt