Sciweavers

14403 search results - page 121 / 2881
» Dynamical Systems Trees
Sort
View
EDUTAINMENT
2006
Springer
15 years 1 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
MT
2006
106views more  MT 2006»
14 years 10 months ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
STACS
2000
Springer
15 years 1 months ago
The Stability of Saturated Linear Dynamical Systems Is Undecidable
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
Vincent D. Blondel, Olivier Bournez, Pascal Koiran...
DAGM
2005
Springer
15 years 3 months ago
A Method for Fast Search of Variable Regions on Dynamic 3D Point Clouds
The paper addresses the region search problem in three-dimensional (3D) space. The data used is a dynamically growing point cloud as it is typically gathered with a 3D-sensing devi...
Eric Wahl, Gerd Hirzinger
AADEBUG
1997
Springer
15 years 2 months ago
Assertions for Dynamic Shape Analysis of List Data Structures
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
Mikhail Auguston, Miu Har Hon