3260 search results - page 124 / 652 » MYSEA Technology Demonstration |
145
click to vote
SUM
2010
Springer
15 years 2 months ago
2010
Springer
Most of the frequently used ontology mapping methods to date are based on linguistic information implied in ontologies. However, same concepts in different ontologies can represen...
136
click to vote
TSE
2010
15 years 2 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
137
click to vote
AIRS
2010
Springer
15 years 2 months ago
2010
Springer
Retrieval in historic documents with non-standard spelling requires a mapping from search terms onto the historic terms in the document. For describing this mapping, we have develo...
139
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we study a novel problem Collective Active Learning, in which we aim to select a batch set of "informative" instances from a networking data set to query ...
137
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Individuals often use search engines to return to web pages they have previously visited. This behaviour, called refinding, accounts for about 38% of all queries. While researcher...