Sciweavers

3786 search results - page 383 / 758
» Structure Comparison and Structure Patterns
Sort
View
TYPES
2004
Springer
15 years 10 months ago
A Few Constructions on Constructors
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
Conor McBride, Healfdene Goguen, James McKinna
AI
2003
Springer
15 years 10 months ago
Efficient Mining of Indirect Associations Using HI-Mine
Discovering association rules is one of the important tasks in data mining. While most of the existing algorithms are developed for efficient mining of frequent patterns, it has be...
Qian Wan, Aijun An
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
15 years 9 months ago
Color Landmark Based Self-Localization for Indoor Mobile Robots
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
Gi-jeong Jang, Sungho Kim, Wang-Heon Lee, In-So Kw...
IPPS
2002
IEEE
15 years 9 months ago
Memory-Intensive Benchmarks: IRAM vs. Cache-Based Machines
The increasing gap between processor and memory performance has led to new architectural models for memory-intensive applications. In this paper, we use a set of memory-intensive ...
Brian R. Gaeke, Parry Husbands, Xiaoye S. Li, Leon...
PAKDD
2010
ACM
189views Data Mining» more  PAKDD 2010»
15 years 9 months ago
Subsequence Matching of Stream Synopses under the Time Warping Distance
In this paper, we propose a method for online subsequence matching between histogram-based stream synopsis structures under the dynamic warping distance. Given a query synopsis pat...
Su-Chen Lin, Mi-Yen Yeh, Ming-Syan Chen