Sciweavers

10304 search results - page 1757 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
LICS
2006
IEEE
16 years 21 days ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
LICS
2006
IEEE
16 years 21 days ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
ACMDIS
2006
ACM
16 years 20 days ago
An empirical framework for designing social products
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
Bilge Mutlu
ITICSE
2006
ACM
16 years 19 days ago
Don't be a phish: steps in user education
Phishing, e-mails sent out by hackers to lure unsuspecting victims into giving up confidential information, has been the cause of countless security breaches and has experienced i...
Stefan A. Robila, James W. Ragucci
IUI
2006
ACM
16 years 19 days ago
An intelligent discussion-bot for answering student queries in threaded discussions
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
Donghui Feng, Erin Shaw, Jihie Kim, Eduard H. Hovy
« Prev « First page 1757 / 2061 Last » Next »