Sciweavers

6014 search results - page 583 / 1203
» Structural Testing with Use Cases
Sort
View
ACL
2012
13 years 9 months ago
Toward Automatically Assembling Hittite-Language Cuneiform Tablet Fragments into Larger Texts
This paper presents the problem within Hittite and Ancient Near Eastern studies of fragmented and damaged cuneiform texts, and proposes to use well-known text classification metr...
Stephen Tyndall
GI
2010
Springer
15 years 6 months ago
Estimating the Relevance of Search Results in the Culture-Web: A Study of Semantic Distance Measures
Abstract: More and more cultural heritage institutions publish their collections, vocabularies and metadata on the Web. The resulting Web of linked cultural data opens up exciting ...
Laura Hollink, Mark van Assem
191
Voted
CVBIA
2005
Springer
16 years 29 days ago
Locally Switching Between Cost Functions in Iterative Non-rigid Registration
In non-rigid image registration problems, it can be difficult to construct a single cost function that adequately captures concepts of similarity for multiple structures, for examp...
William Mullally, Margrit Betke, Carissa Bellardin...
VLDB
2005
ACM
83views Database» more  VLDB 2005»
16 years 28 days ago
Indexing Data-oriented Overlay Networks
The application of structured overlay networks to implement index structures for data-oriented applications such as peer-to-peer databases or peer-to-peer information retrieval, r...
Karl Aberer, Anwitaman Datta, Manfred Hauswirth, R...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 11 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...