7988 search results - page 1343 / 1598 » A Useful Undecidable Theory |
147
Voted
CSCW
2012
ACM
14 years 9 days ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...
166
click to vote
ESOP
2012
Springer
14 years 9 days ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
140
Voted
TON
2012
13 years 7 months ago
2012
—Cognitive Radio (CR) technology has great potential to alleviate spectrum scarcity in wireless communications. It allows secondary users (SUs) to opportunistically access spectr...
165
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
184
Voted
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...