Sciweavers

10271 search results - page 467 / 2055
» Computer Science
Sort
View
150
Voted
MKM
2009
Springer
15 years 10 months ago
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
Andrea Kohlhase, Michael Kohlhase
163
Voted
APWEB
2006
Springer
15 years 10 months ago
Applications Development for the Computational Grid
Abstract. The Computational Grid has promised a great deal in support of innovative applications, particularly in science and engineering. However, developing applications for this...
David Abramson
149
Voted
CSCW
2000
ACM
15 years 10 months ago
MUSICFX: an arbiter of group preferences for computer supported collaborative workouts
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
Joseph F. McCarthy, Theodore D. Anagnost
SIGCSE
2003
ACM
161views Education» more  SIGCSE 2003»
15 years 11 months ago
Faculty turnover in CS departments
The rapid growth of computer science in both academia and industry creates a special problem with faculty turnover. This paper examines data from a national study of computer scie...
Joanne McGrath Cohoon, Rebecca Shwalb, Lih-Yuan Ch...
182
Voted
TLCA
2001
Springer
15 years 10 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote