Sciweavers

FCS
2008
15 years 1 months ago
Snack Attack: An Exploration of Collaborative Learning
James Tyson, James Kriigel, Jon Preston, Byron Jef...
104
Voted
FCS
2008
15 years 1 months ago
Autonomous Scheduling
Abstract. Autonomous scheduling deals with the problem - how to enable agents to schedule a set of interdependent tasks in such a way that whatever schedule they choose for their t...
Chetan Yadati, Cees Witteveen, Yingqian Zhang, Men...
FCS
2008
15 years 1 months ago
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...
Bhupinder Singh Anand
Computer Science
Top of PageReset Settings