9 search results - page 1 / 2 » Using descriptive mark-up to formalize translation quality a... |
45
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
.................................................................................................................................1 ....................................................
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 4 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
15 years 25 days 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
14 years 11 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...
110
click to vote
JODL
2000
14 years 11 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 ...