10271 search results - page 1704 / 2055 » Computer Science |
196
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
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...
199
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
210
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
188
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
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...
191
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
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 ...