Sciweavers

2089 search results - page 30 / 418
» Finding Environment Guarantees
Sort
View
OOPSLA
2010
Springer
15 years 10 days ago
Managing ambiguity in programming by finding unambiguous examples
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
Kenneth C. Arnold, Henry Lieberman
89
Voted
ISM
2006
IEEE
74views Multimedia» more  ISM 2006»
15 years 8 months ago
An Integrated Environment for Audio Recording, Editing, and Retrieval
FindSounds Palette integrates audio recording, editing, and retrieval with advances in audio visualization and content-based queries of local and remote sound collections.
Stephen V. Rice, Stephen M. Bailey
HICSS
2007
IEEE
136views Biometrics» more  HICSS 2007»
15 years 8 months ago
Exploring the Adoption, Utility, and Social Influences of Social Bookmarking in a Corporate Environment
This paper describes an ongoing technology investigation to assess the value and utility of social bookmarking on a corporate intranet. We hypothesize that social bookmarking woul...
Laurie E. Damianos, Donna L. Cuomo, John Griffith,...
UAI
2001
15 years 3 months ago
Maximum Likelihood Bounded Tree-Width Markov Networks
We study the problem of projecting a distribution onto (or finding a maximum likelihood distribution among) Markov networks of bounded tree-width. By casting it as the combinatori...
Nathan Srebro
EDBT
2004
ACM
122views Database» more  EDBT 2004»
16 years 2 months ago
Sketch-Based Multi-query Processing over Data Streams
Abstract. Recent years have witnessed an increasing interest in designing algorithms for querying and analyzing streaming data (i.e., data that is seen only once in a fixed order) ...
Alin Dobra, Minos N. Garofalakis, Johannes Gehrke,...