Sciweavers

2180 search results - page 129 / 436
» Algorithms for discovering bucket orders from data
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 4 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
COLING
1996
15 years 6 months ago
Bilingual Knowledge Acquisition from Korean-English Parallel Corpus Using Alignment
This paper snggests a method to align Korean-English parallel corpus. '1?he structural dissimilarity between Korean and Indo-European languages requires more flexible measure...
Jung H. Shin, Young S. Han, Key-Sun Choi
JSS
2006
80views more  JSS 2006»
15 years 4 months ago
Polyhedral space generation and memory estimation from interface and memory models of real-time video systems
We present a tool and a methodology for estimating the memory storage requirement for synchronous real-time video processing systems. Typically, a designer will use the feedback i...
Benny Thörnberg, Qubo Hu, Martin Palkovic, Ma...
ICDM
2008
IEEE
130views Data Mining» more  ICDM 2008»
15 years 11 months ago
Mining Temporal Patterns with Quantitative Intervals
In this paper we consider the problem of discovering frequent temporal patterns in a database of temporal sequences, where a temporal sequence is a set of items with associated da...
Thomas Guyet, Rene Quiniou
PKDD
2004
Springer
147views Data Mining» more  PKDD 2004»
15 years 10 months ago
Using a Hash-Based Method for Apriori-Based Graph Mining
The problem of discovering frequent subgraphs of graph data can be solved by constructing a candidate set of subgraphs first, and then, identifying within this candidate set those...
Phu Chien Nguyen, Takashi Washio, Kouzou Ohara, Hi...