1054 search results - page 195 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
132
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
127
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
112
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...
168
Voted
SPIESR
2001
15 years 5 months ago
2001
Humans tend to use high-level semantic concepts when querying and browsing multimedia databases; there is thus, a need for systems that extract these concepts and make available a...
169
Voted
DEDS
2000
15 years 3 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...