7766 search results - page 332 / 1554 » Testing Nondeterminate Systems |
158
click to vote
INEX
2005
Springer
16 years 6 days ago
2005
Springer
Since 2002, INEX has been working towards the goal of establishing an infrastructure, in the form of a large XML test collection and appropriate scoring methods, for the evaluation...
189
click to vote
CICLING
2004
Springer
16 years 3 days ago
2004
Springer
This paper reports the most significant issues related to the launching of a Monolingual Spanish Question Answering evaluation track at the Cross Language Evaluation Forum (CLEF 20...
144
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
163
Voted
IJMMS
2007
15 years 6 months ago
2007
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
164
click to vote
IMCSIT
2010
15 years 4 months ago
2010
In this paper, we discuss an HPSG grammar of Persian (PerGram) that is implemented in the TRALE system. We describe some of the phenomena which are currently covered. While working...