2296 search results - page 349 / 460 » The Expressive Power of Synchronizations |
124
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
The way we experience and evaluate interactive products develops over time. An exploratory study aimed at understanding how users form evaluative judgments during the first experi...
133
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...
162
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
176
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
139
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...