Sciweavers

1671 search results - page 216 / 335
» On the Covering Steiner Problem
Sort
View
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Statistical timing verification for transparently latched circuits through structural graph traversal
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
Xingliang Yuan, Jia Wang
EMNLP
2010
15 years 4 months ago
Using Unknown Word Techniques to Learn Known Words
Unknown words are a hindrance to the performance of hand-crafted computational grammars of natural language. However, words with incomplete and incorrect lexical entries pose an e...
Kostadin Cholakov, Gertjan van Noord
ACIIDS
2009
IEEE
105views Database» more  ACIIDS 2009»
15 years 4 months ago
Stability Analysis of Fuzzy Control for Nonlinear Systems
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
Po-Chen Chen, Ken Yeh, Cheng-Wu Chen, Shu-Hao Lin
CVPR
2011
IEEE
15 years 3 months ago
Learning Hierarchical Poselets for Human Parsing
We consider the problem of human parsing with partbased models. Most previous work in part-based models only considers rigid parts (e.g. torso, head, half limbs) guided by human a...
Yang Wang, Duan Tran, Zicheng Liao
NFM
2011
225views Formal Methods» more  NFM 2011»
15 years 1 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang