Sciweavers

1466 search results - page 151 / 294
» Completeness of the Authentication Tests
Sort
View
ACIVS
2007
Springer
14 years 2 months ago
Shape Extraction Via Heat Flow Analogy
Abstract. In this paper, we introduce a novel evolution-based segmentation algorithm by using the heat flow analogy, to gain practical advantage. The proposed algorithm consists of...
Cem Direkoglu, Mark S. Nixon
ICARIS
2007
Springer
14 years 2 months ago
Motif Detection Inspired by Immune Memory
The search for patterns or motifs in data represents an area of key interest to many researchers. In this paper we present the Motif Tracking Algorithm, a novel immune inspired pat...
William O. Wilson, Phil Birkin, Uwe Aickelin
ICDT
2007
ACM
126views Database» more  ICDT 2007»
14 years 2 months ago
Containment of Conjunctive Queries over Databases with Null Values
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
Carles Farré, Werner Nutt, Ernest Teniente,...
SAS
2007
Springer
14 years 2 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
ESCIENCE
2006
IEEE
14 years 2 months ago
A Grid of Language Resource Repositories
The DAM-LR (Distributed Access Management for Language Resources) project aims at virtually integrating various European language resource archives that allow users to navigate an...
Daan Broeder, Remco van Veenendaal, David Nathan, ...