682 search results - page 14 / 137 » Philosophical Issues in Computer Science |
GI
2004
Springer
15 years 5 months ago
2004
Springer
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...
SIGBDP
1990
15 years 3 months ago
1990
Technique for Inducing Abstractions", Communications of the ACM, 21(5), 401411, May 1978. [7] Hayes-Roth, Frederick, "Rule-Based Systems", Communications of the ACM,...
169
click to vote
Book
"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...
97
Voted
FECS
2006
15 years 1 months ago
2006
- 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...
KER
2008
14 years 11 months ago
2008
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...