Sciweavers

2786 search results - page 376 / 558
» A Practical Technique for Process Abstraction
Sort
View
TSMC
2010
15 years 1 months ago
Networked Synchronization Control of Coupled Dynamic Networks With Time-Varying Delay
Abstract--This paper is concerned with the networked synchronization control problem of coupled dynamic networks (CDNs) with time-varying delay. First, both the data packet dropout...
Yingchun Wang, Huaguang Zhang, Xingyuan Wang, Dong...
MICCAI
2004
Springer
16 years 7 months ago
Robust Generalized Total Least Squares Iterative Closest Point Registration
Abstract. This paper investigates the use of a total least squares approach in a generalization of the iterative closest point (ICP) algorithm for shape registration. A new General...
Raúl San José Estépar, Anders...
EDBT
2004
ACM
162views Database» more  EDBT 2004»
16 years 6 months ago
Non-contiguous Sequence Pattern Queries
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
Nikos Mamoulis, Man Lung Yiu
ICCBR
2009
Springer
16 years 1 months ago
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
Ben G. Weber, Michael Mateas
RTA
2009
Springer
16 years 1 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich