Sciweavers

10493 search results - page 90 / 2099
» Dynamic Word Problems
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
13 years 8 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
SIAMSC
2010
111views more  SIAMSC 2010»
13 years 6 months ago
Operator-Based Preconditioning of Stiff Hyperbolic Systems
Abstract. We introduce an operator-based scheme for preconditioning stiff components encountered in implicit methods for hyperbolic systems of PDEs posed on regular grids. The met...
Daniel R. Reynolds, Ravi Samtaney, Carol S. Woodwa...
KDD
2010
ACM
218views Data Mining» more  KDD 2010»
13 years 11 months ago
Online multiscale dynamic topic models
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
Tomoharu Iwata, Takeshi Yamada, Yasushi Sakurai, N...
TCS
2008
13 years 7 months ago
On stabilizers of infinite words
The stabilizer of an infinite word w over a finite alphabet is the monoid of morphisms over that fix w. In this paper we study various problems related to stabilizers and their g...
Dalia Krieger
ACL
2010
13 years 6 months ago
Growing Related Words from Seed via User Behaviors: A Re-Ranking Based Approach
Motivated by Google Sets, we study the problem of growing related words from a single seed word by leveraging user behaviors hiding in user records of Chinese input method. Our pr...
Yabin Zheng, Zhiyuan Liu, Lixing Xie