Sciweavers

7200 search results - page 276 / 1440
» On the Computational Power of Winner-Take-All
Sort
View
PROCEDIA
2010
97views more  PROCEDIA 2010»
15 years 5 months ago
Ontological musings on how nature computes
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
J. F. Nystrom
191
Voted
FROCOS
2000
Springer
15 years 10 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge
CG
2000
Springer
15 years 6 months ago
Re-inventing the introductory computer graphics course: providing tools for a wider audience
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...
Steve Cunningham
WMTE
2006
IEEE
16 years 20 days ago
Invisibility Considered Harmful: Revisiting Traditional Principles of Ubiquitous Computing in the Context of Education
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...
Michael Eisenberg, Ann Eisenberg, Leah Buechley, N...
ESCIENCE
2005
IEEE
16 years 8 days ago
High-Performance Task Distribution for Volunteer Computing
Volunteer computing projects use a task server to manage work. Clients periodically communicate with the server to report completed tasks and get new tasks. The rate at which the ...
David P. Anderson, Eric Korpela, Rom Walton