426 search results - page 39 / 86 » SAT-Based Techniques in System Synthesis |
SI3D
2012
ACM
12 years 4 months ago
2012
ACM
We present an interactive virtual percussion instrument system, Tabletop Ensemble, that can be used by a group of collaborative users simultaneously to emulate playing music in re...
FM
1999
Springer
14 years 21 days ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
LOPSTR
1997
Springer
14 years 17 days ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
FPGA
2008
ACM
13 years 10 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
In the EMIME project, we are developing a mobile device that performs personalized speech-to-speech translation such that a user’s spoken input in one language is used to produc...