Sciweavers

1524 search results - page 141 / 305
» Assessing Instructional Technology
Sort
View
CODES
2000
IEEE
15 years 8 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
CLEF
2000
Springer
15 years 8 months ago
Evaluating Interactive Cross-Language Information Retrieval: Document Selection
Abstract. The problem of nding documents that are written in a language that the searcher cannot read is perhaps the most challenging application of Cross-Language Information Retr...
Douglas W. Oard
AH
2004
Springer
15 years 7 months ago
A Learner Model in a Distributed Environment
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
Cristina Carmona, Ricardo Conejo
CEAS
2006
Springer
15 years 7 months ago
Modeling Identity in Archival Collections of Email: A Preliminary Study
Access to historically significant email archives poses challenges that arise less often in personal collections. Most notably, searchers may need help making sense of the identit...
Tamer Elsayed, Douglas W. Oard
ESWS
2008
Springer
15 years 5 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov