Sciweavers

8699 search results - page 159 / 1740
» Elements of the Theory of Computation
Sort
View
ICDCS
2006
IEEE
15 years 5 months ago
On Scheduling Expansive and Reductive Dags for Internet-Based Computing
Earlier work has developed the underpinnings of a theory of scheduling computations having intertask dependencies—modeled via dags—for Internet-based computing. The goal of th...
Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Ros...
104
Voted
JUCS
2006
145views more  JUCS 2006»
14 years 11 months ago
Computer Science, Logic, Informatics Education
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
Katalin Pásztor-Varga, Magda Várter&...
ISVC
2009
Springer
15 years 6 months ago
Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
Ioannis Koutis, Gary L. Miller, David Tolliver
TAPSOFT
1997
Springer
15 years 3 months ago
What Does the Future Hold for Theoretical Computer Science?
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Donald Sannella
84
Voted
ISCI
2000
83views more  ISCI 2000»
14 years 11 months ago
Active agents, intelligence and quantum computing
This paper reviews evidence from neuroscience and quantum computing theory in support of the notion of autonomy in the workings of cognitive processes. De
Subhash C. Kak