Sciweavers

13271 search results - page 92 / 2655
» Computers, Programming, and People
Sort
View
AIEDAM
2008
102views more  AIEDAM 2008»
15 years 4 months ago
Machine invention of quantum computing circuits by means of genetic programming
We demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We ...
Lee Spector, Jon Klein
170
Voted
APVIS
2003
15 years 5 months ago
Experimental Evaluation of a Program Visualisation Tool for Use in Computer Science Education
This paper presents an experimental evaluation of a program visualisation tool. Computer science students in an introductory object oriented programming course in Java were asked ...
Kathryn Kasmarik, Joe Thurbon
JACIII
2007
79views more  JACIII 2007»
15 years 3 months ago
State-Transition Computation Models and Program Correctness Thereon
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
Kiyoshi Akama, Ekawit Nantajeewarawat
ICCS
2009
Springer
15 years 10 months ago
The New Computational and Data Sciences Undergraduate Program at George Mason University
We describe the new undergraduate science degree program in Computational and Data Sciences (CDS) at George Mason University (Mason), which began offering courses for both major (...
Kirk D. Borne, John Wallin, Robert Weigel
ERSHOV
2006
Springer
15 years 7 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...