8768 search results - page 264 / 1754 » Generalizing the notion of support |
213
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
Studies in computer supported collaborative learning frequently under-expose the interaction between students and technology. To gain more insight in the way student groups interac...
180
click to vote
IESA
2007
15 years 9 months ago
2007
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...
192
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We report on a new experimental analysis of high-order entropy-compressed suffix arrays, which retains the theoretical performance of previous work and represents an improvement in...
247
click to vote
PLPV
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
197
click to vote
ICALP
2010
Springer
16 years 6 days ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...