1518 search results - page 70 / 304 » Cryptographic Test Correction |
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
ITS
2004
Springer
15 years 6 months ago
2004
Springer
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
96
Voted
IOLTS
2002
IEEE
15 years 5 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
102
Voted
AIPS
2000
15 years 1 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
110
Voted
FUIN
2008
15 years 19 days ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...