Sciweavers

4940 search results - page 15 / 988
» On the Complexity of Universal Programs
Sort
View
COMPSAC
2005
IEEE
14 years 1 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
SIGCSE
1998
ACM
131views Education» more  SIGCSE 1998»
13 years 11 months ago
Animation, visualization, and interaction in CS 1 assignments
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
Owen L. Astrachan, Susan H. Rodger
CORR
2010
Springer
135views Education» more  CORR 2010»
13 years 7 months ago
Information Distance
While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distan...
Charles H. Bennett, Péter Gács, Ming...
ASP
2001
Springer
13 years 12 months ago
Dynamical Properties of Answer Set Programs
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
Howard A. Blair
IJCAI
1993
13 years 8 months ago
Provably Bounded Optimal Agents
Since its inception, arti cial intelligence has relied upon a theoretical foundation centred around perfect rationality as the desired property of intelligent systems. We argue, a...
Stuart J. Russell, Devika Subramanian, Ronald Parr