Sciweavers

2069 search results - page 44 / 414
» Synthesizing
Sort
View
ICDT
2010
ACM
125views Database» more  ICDT 2010»
15 years 8 months ago
Synthesizing View Definitions from Data
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...
Anish Das Sarma, Aditya Parameswaran, Hector Garci...
CHI
1993
ACM
15 years 8 months ago
Synthesizing auditory icons
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
William W. Gaver
ICCHP
1994
Springer
15 years 8 months ago
Synthesizing Non-Speech Sound to Support Blind and Visually Impaired Computer Users
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...
Alireza Darvishi, Valentin Guggiana, Eugen Muntean...
148
Voted
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 8 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
125
Voted
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 8 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp