Sciweavers

8347 search results - page 1249 / 1670
» Performance testing of software systems
Sort
View
EDM
2008
193views Data Mining» more  EDM 2008»
15 years 8 months ago
Can we predict which groups of questions students will learn from?
In a previous study ([4]), we used the ASSISTment system to track student knowledge longitudinally over the course of a schools year, based upon each student using our system about...
Mingyu Feng, Neil T. Heffernan, Joseph E. Beck, Ke...
FLAIRS
2004
15 years 8 months ago
Speaker Verification Using Speaker-Specific Prompts
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
Yongxin Zhang, Adel Iskander Fahmy, Michael S. Sco...
FAST
2003
15 years 8 months ago
More Than an Interface - SCSI vs. ATA
This paper sets out to clear up a misconception prominent in the storage community today, that SCSI disc drives and IDE (ATA) disc drives are the same technology internally, and d...
Dave Anderson, Jim Dykes, Erik Riedel
199
Voted
AAAI
1990
15 years 8 months ago
Exploiting Locality in a TMS
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
Johan de Kleer
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 7 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
« Prev « First page 1249 / 1670 Last » Next »