Abstract: The possibility of disconnection is one of the fundamental new networking problems presented by sensor networks. The goal of this paper is to address the problem of resul...
Technique for Inducing Abstractions", Communications of the ACM, 21(5), 401411, May 1978. [7] Hayes-Roth, Frederick, "Rule-Based Systems", Communications of the ACM,...
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
- This paper focuses on introductory computer science courses offered to students not majoring in computer science. In particular, the issues of student motivation and engagement i...
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...