Search Sciweavers | Sciweavers

3136 search results - page 130 / 628

» Genetic programming theory

182

click to vote

IADIS
2004

95views Internet Technology» more IADIS 2004»

Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program

15 years 5 months ago

Download www.iadis.net

It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...

Des Traynor, J. Gibson

claim paper

Read More »

132

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

15 years 10 months ago

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

129

Voted

IFM
2004
Springer

87views Formal Methods» more IFM 2004»

A Tutorial Introduction to Designs in Unifying Theories of Programming

15 years 9 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti

claim paper

Read More »

118

click to vote

PSSE
2004
Springer

105views Software Engineering» more PSSE 2004»

A Tutorial Introduction to CSP in Unifying Theories of Programming

15 years 9 months ago

Download www.cs.york.ac.uk

Ana Cavalcanti, Jim Woodcock

claim paper

Read More »

135

click to vote

VL
2003
IEEE

184views Visual Languages» more VL 2003»

Bringing educational theory to end-user programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers