Sciweavers

887 search results - page 65 / 178
» Representing Systems with Hidden State
Sort
View
TASLP
2002
84views more  TASLP 2002»
15 years 4 months ago
Substate tying with combined parameter training and reduction in tied-mixture HMM design
Two approaches are proposed for the design of tied-mixture hidden Markov models (TMHMM). One approach improves parameter sharing via partial tying of TMHMM states. To facilitate ty...
Liang Gu, Kenneth Rose
TKDE
2010
150views more  TKDE 2010»
15 years 2 months ago
Prospective Infectious Disease Outbreak Detection Using Markov Switching Models
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
Hsin-Min Lu, Daniel Zeng, Hsinchun Chen
152
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
CC
2011
Springer
267views System Software» more  CC 2011»
14 years 8 months ago
Using Disjoint Reachability for Parallelization
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
James Christopher Jenista, Yong Hun Eom, Brian Dem...
CONCUR
2000
Springer
15 years 8 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...