973 search results - page 52 / 195 » Be Prepared |
SAT
2004
Springer
14 years 4 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
TEX
2004
Springer
14 years 4 months ago
2004
Springer
For many years the Polish TEX Users Group newsletter has been published online on the GUST web site. The repository now contains valuable information on TEX, METAFONT, electronic d...
XPU
2004
Springer
14 years 4 months ago
2004
Springer
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
At the German Distance Learning University, collaborative synchronous exercises have been recently identified by students and teachers as an important future form of collaborative...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
The Virtual Telescopes in Education (VTIE) project, is providing tools for teaching astronomy in K-12 classrooms using remotely controlled telescopes. VTIE's main goal to pro...