Sciweavers

564 search results - page 68 / 113
» Error-tolerant Tree Matching
Sort
View
EDUTAINMENT
2006
Springer
15 years 3 months ago
Dynamic User Modeling for Sketch-Based User Interface
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
Zhengxing Sun, Bin Li, Qiang Wang, Guihuan Feng
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
15 years 3 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
CORR
2007
Springer
78views Education» more  CORR 2007»
14 years 12 months ago
Hybrid Branching-Time Logics
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
Volker Weber
BIBM
2008
IEEE
112views Bioinformatics» more  BIBM 2008»
15 years 6 months ago
Fast Alignments of Metabolic Networks
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...
Qiong Cheng, Piotr Berman, Robert W. Harrison, Ale...
FOCS
2009
IEEE
15 years 3 months ago
Space-Efficient Framework for Top-k String Retrieval Problems
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
Wing-Kai Hon, Rahul Shah, Jeffrey Scott Vitter