2089 search results - page 30 / 418 » Finding Environment Guarantees |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
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...
ISM
2006
IEEE
14 years 2 months ago
2006
IEEE
FindSounds Palette integrates audio recording, editing, and retrieval with advances in audio visualization and content-based queries of local and remote sound collections.
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
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...
UAI
2001
13 years 10 months ago
2001
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...
EDBT
2004
ACM
14 years 9 months ago
2004
ACM
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) ...