Sciweavers

1492 search results - page 226 / 299
» Accessibility and computer science education
Sort
View
ICALP
2007
Springer
15 years 5 months ago
Unbounded-Error One-Way Classical and Quantum Communication Complexity
This paper studies the gap between classical one-way communication complexity C(f) and its quantum counterpart Q(f), under the unbounded-error setting, i.e., it is enough that the ...
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Sh...
APLAS
2006
ACM
15 years 5 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
LICS
2005
IEEE
15 years 4 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
AH
2004
Springer
15 years 4 months ago
Problem Solving with Adaptive Feedback
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
Rainer Lütticke
IV
2002
IEEE
126views Visualization» more  IV 2002»
15 years 3 months ago
The Empathic Visualisation Algorithm (EVA) - An Automatic Mapping from Abstract Data to Naturalistic Visual Structure
from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...
Andreas Loizides, Mel Slater