426 search results - page 64 / 86 » SAT-Based Techniques in System Synthesis |
ICASSP
2007
IEEE
14 years 2 months ago
2007
IEEE
The goal of computational auditory scene analysis (CASA) is to create computer systems that can take as input a mixture of sounds and form packages of acoustic evidence such that ...
CF
2004
ACM
14 years 7 days ago
2004
ACM
In this paper we present a novel methodology for partial (re-)configuration that can be used for most bitstream configured hardware (HW). In particular low priced and not for part...
IVC
2007
13 years 8 months ago
2007
The problem of clustering is often addressed with techniques based on a Voronoi partition of the data space. Vector quantization is based on a similar principle, but it is a diffe...
TVCG
2011
13 years 3 months ago
2011
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...