Sciweavers

1851 search results - page 273 / 371
» Open Source AI
Sort
View
SIGCSE
2005
ACM
113views Education» more  SIGCSE 2005»
16 years 7 days ago
Learning by doing: introducing version control as a way to manage student assignments
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
Karen L. Reid, Gregory V. Wilson
197
Voted
SIGITE
2005
ACM
16 years 7 days ago
Towards using online portfolios in computing courses
The direct experience we had with teaching a summer pre-college computing course in which we adopted an online portfolio approach has led us to consider the use of online portfoli...
Bryan Higgs, Mihaela Sabin
CAISE
2005
Springer
16 years 7 days ago
Estimating Recall and Precision for Vague Queries in Databases
In vague queries, a user enters a value that represents some real world object and expects as the result the set of database values that represent this real world object even with ...
Raquel Kolitski Stasiu, Carlos A. Heuser, Roberto ...
EMSOFT
2005
Springer
16 years 7 days ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
FROCOS
2005
Springer
16 years 6 days ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev