9 search results - page 1 / 2 » Using descriptive mark-up to formalize translation quality a... |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
.................................................................................................................................1 ....................................................
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
13 years 10 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
LREC
2010
13 years 6 months ago
2010
At present there is no publicly available data set to evaluate the performance of different summarization systems on the task of generating location-related extended image caption...
ECSA
2010
Springer
13 years 4 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
JODL
2000
13 years 4 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...