1054 search results - page 118 / 211 » Translation Validation of System Abstractions |
192
click to vote
TLSDKCS
2010
15 years 1 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
121
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. In this paper, we experimentally tested the positioning repeatability of MR-compatible manipulator with a CCD laser micrometer inside MRI. To evaluate the performance of ...
156
click to vote
RV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
165
click to vote
CLEF
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this report, we describe our studies with cross language and interactive image retrieval in ImageCLEF 2004. Typical cross language retrieval requires special linguisti...
190
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...