Sciweavers

6740 search results - page 561 / 1348
» Using Classification as a Programming Language
Sort
View
CHI
2007
ACM
16 years 5 months ago
Modeling the impact of shared visual information on collaborative reference
A number of recent studies have demonstrated that groups benefit considerably from access to shared visual information. This is due, in part, to the communicative efficiencies pro...
Darren Gergle, Carolyn Penstein Rosé, Rober...
LREC
2010
246views Education» more  LREC 2010»
15 years 6 months ago
GermanPolarityClues: A Lexical Resource for German Sentiment Analysis
In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity clas...
Ulli Waltinger
POPL
2009
ACM
16 years 5 months ago
Proving that non-blocking algorithms don't block
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
Alexey Gotsman, Byron Cook, Matthew J. Parkinson, ...
ICLP
2009
Springer
16 years 5 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
ICFP
2001
ACM
16 years 4 months ago
Developing a Stage Lighting System from Scratch
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
Michael Sperber