Sciweavers

16843 search results - page 459 / 3369
» On Generalized Authorization Problems
Sort
View
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 6 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
WWW
2009
ACM
16 years 7 months ago
Cascading style sheets: a novel approach towards productive styling with today's standards
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
Matthias Keller, Martin Nussbaumer
WWW
2009
ACM
16 years 7 months ago
Network analysis of collaboration structure in Wikipedia
In this paper we give models and algorithms to describe and analyze the collaboration among authors of Wikipedia from a network analytical perspective. The edit network encodes wh...
Denise van Raaij, Jürgen Lerner, Patrick Keni...
SIGCSE
2010
ACM
164views Education» more  SIGCSE 2010»
16 years 1 months ago
Scalable game design and the development of a checklist for getting computational thinking into public schools
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...
Alexander Repenning, David C. Webb, Andri Ioannido...
CIKM
2009
Springer
16 years 1 months ago
Enhancing expertise retrieval using community-aware strategies
Expertise retrieval has received increased interests in recent years, whose task is to suggest people with relevant expertise. Motivated by the observation that communities could ...
Hongbo Deng, Irwin King, Michael R. Lyu