Sciweavers

4354 search results - page 241 / 871
» Matching Objects with Patterns
Sort
View
153
Voted
IFIP
2004
Springer
15 years 7 months ago
The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
Benjamin Wack
NLPRS
2001
Springer
15 years 6 months ago
Migemo: Incremental Search Method for Languages with Many Character Faces
We introduce a new incremental search method called Migemo for languages with many character faces. Migemo performs the incremental search by dynamically expanding the input patte...
Satoru Takabayashi, Hiroyuki Komatsu, Toshiyuki Ma...
PVLDB
2008
148views more  PVLDB 2008»
15 years 1 months ago
StreamTX: extracting tuples from streaming XML data
We study the problem of extracting flattened tuple data from streaming, hierarchical XML data. Tuple-extraction queries are essentially XML pattern queries with multiple extractio...
Wook-Shin Han, Haifeng Jiang, Howard Ho, Quanzhong...
IFIP
2004
Springer
15 years 7 months ago
Efficient Algorithms for Handling Molecular Weighted Sequences
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
Costas S. Iliopoulos, Christos Makris, Yannis Pana...
112
Voted
IMAGING
2003
15 years 3 months ago
Reproducing 3D Prints on Monitor by Relative-Glossiness Matching Technique
For over 3 decades, computer graphics technology has been developed to simulate physically accurate image of real scene. Meanwhile, useful tone mapping methods have been developed...
Toru Ishi, Norimichi Tsumura, Masami Shishikura, Y...