Sciweavers

10493 search results - page 90 / 2099
» Dynamic Word Problems
Sort
View
101
Voted
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 21 days 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...
84
Voted
SIAMSC
2010
111views more  SIAMSC 2010»
14 years 11 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...
125
Voted
KDD
2010
ACM
218views Data Mining» more  KDD 2010»
15 years 4 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...
96
Voted
TCS
2008
15 years 14 days 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
87
Voted
ACL
2010
14 years 10 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