3185 search results - page 562 / 637 » Domain and language evaluation results |
147
click to vote
AIMSA
2008
Springer
16 years 17 days 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 ...
194
click to vote
ATVA
2007
Springer
16 years 11 days 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...
161
click to vote
CIKM
2007
Springer
16 years 11 days 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...
171
click to vote
EMSOFT
2007
Springer
16 years 11 days 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...
188
click to vote
HPCC
2007
Springer
16 years 10 days 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...