956 search results - page 72 / 192 » Dimensions in program synthesis |
162
click to vote
IROS
2009
IEEE
16 years 26 days ago
2009
IEEE
— This paper presents our expressive facial speech synthesis system Eface, for a social or service robot. Eface aims at enabling a robot to deliver information clearly with empat...
172
click to vote
CODES
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
202
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
157
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
153
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...