2268 search results - page 175 / 454 » The Essence of Form Abstraction |
ISI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present protocols for distributed computation of relational intersections and equi-joins such that each site gains no information about the tuples at the other site th...
112
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
109
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
135
click to vote
MWCN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract A key concern in multi-hop wireless networks is energy-efficiency due to batterypower constrained mobile nodes. The network interface is a significant consumer of energy...
PCM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...