2077 search results - page 359 / 416 » Designing Collaborative Learning Applications |
123
click to vote
ITICSE
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
119
click to vote
SC
2003
ACM
15 years 7 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
129
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...
151
click to vote
CSEE
2000
Springer
15 years 6 months ago
2000
Springer
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm,...
143
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...