3185 search results - page 562 / 637 » Domain and language evaluation results |
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
102
Voted
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces the use of Wikipedia as a resource for automatic keyword extraction and word sense disambiguation, and shows how this online encyclopedia can be used to achi...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
100
Voted
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
Currently some complex grid applications developing often need orchestrate multiple diverse grid services into a workflow of tasks that can submit for executing on the grid environ...