956 search results - page 85 / 192 » Dimensions in program synthesis |
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
ISMIR
2003
Springer
14 years 3 months ago
2003
Springer
We introduce a neural network, known as SONNETMAP, capable of automatic segmentation, learning and retrieval of melodies. SONNET-MAP is a synthesis of the SONNET (Self-Organizing ...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
CHI
1993
ACM
14 years 2 months ago
1993
ACM
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
PAMI
2007
13 years 9 months ago
2007
—In this paper, we introduce a family of filter kernels—the Gray-Code Kernels (GCK) and demonstrate their use in image analysis. Filtering an image with a sequence of Gray-Code...