Sciweavers

1483 search results - page 210 / 297
» Warnings for pattern matching
Sort
View
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 9 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
MMM
2012
Springer
283views Multimedia» more  MMM 2012»
14 years 1 months ago
A Novel Multi-modal Integration and Propagation Model for Cross-Media Information Retrieval
In this paper, we present a novel PLSA-based aspect model and turn cross-media retrieval into two parts of multi-modal integration and correlation propagation. We first use multiva...
Wanxia Lin, Tong Lu, Feng Su
CVPR
2001
IEEE
16 years 8 months ago
Face Verification Using Error Correcting Output Codes
The Error Correcting Output Coding (ECOC) approach to classifier design decomposes a multi-class problem into a set of complementary two-class problems. We show how to apply the E...
Josef Kittler, Reza Ghaderi, Terry Windeatt, Jiri ...
ICDE
2005
IEEE
175views Database» more  ICDE 2005»
16 years 7 months ago
BOXes: Efficient Maintenance of Order-Based Labeling for Dynamic XML Data
Order-based element labeling for tree-structured XML data is an important technique in XML processing. It lies at the core of many fundamental XML operations such as containment j...
Adam Silberstein, Hao He, Jun Yang 0001, Ke Yi
ICDE
2003
IEEE
149views Database» more  ICDE 2003»
16 years 7 months ago
Indexing Weighted-Sequences in Large Databases
We present an index structure for managing weightedsequences in large databases. A weighted-sequence is defined as a two-dimensional structure where each element in the sequence i...
Haixun Wang, Chang-Shing Perng, Wei Fan, Sanghyun ...