5414 search results - page 81 / 1083 » Data representation synthesis |
GW
2007
Springer
15 years 6 months ago
2007
Springer
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...
102
click to vote
FSTTCS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
118
click to vote
WWW
2001
ACM
16 years 15 days ago
2001
ACM
The Visual SQL-X system is presented to generate arbitrarily complex XML documents from a graphical query on a relational database. The query describes the structure of the result...
105
click to vote
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
103
click to vote
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...