11172 search results - page 2234 / 2235 » Testing Physical Systems |
TRECVID
2007
13 years 7 months ago
2007
This paper describes the first participation of the SINAI1 group of the University of Ja´en in TRECVID 2007. We have only participated in the automatic search task. Our approach...
CORR
1998
Springer
13 years 5 months ago
1998
Springer
In this paper we present the results of comparing a statistical tagger for German based on decision trees and a rule-based Brill-Tagger for German. We used the same training corpu...
FMICS
2009
Springer
14 years 10 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
SIGUCCS
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...