2694 search results - page 201 / 539 » Frege's New Science |
141
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...
175
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
160
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
154
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
People who review products on the web invest considerable time and energy in what they write. So why would someone write a review that restates earlier reviews? Our work looks to ...
137
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
We explore the role of sound as a medium for social reminiscing: 10 families were involved in recording ‘sonic souvenirs’ of their holidays. They shared and discussed their co...