Sciweavers

898 search results - page 53 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
FOCM
2011
113views more  FOCM 2011»
14 years 4 months ago
Finite Resolution Dynamics
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
Stefano Luzzatto, Pawel Pilarczyk
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 4 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
ACL
2011
14 years 1 months ago
Automatically Evaluating Text Coherence Using Discourse Relations
We present a novel model to represent and assess the discourse coherence of text. Our model assumes that coherent text implicitly favors certain types of discourse relation transi...
Ziheng Lin, Hwee Tou Ng, Min-Yen Kan
ITC
2003
IEEE
120views Hardware» more  ITC 2003»
15 years 3 months ago
High Quality ATPG for Delay Defects
: The paper presents a novel technique for generating effective vectors for delay defects. The test set achieves high path delay fault coverage to capture smalldistributed delay de...
Puneet Gupta, Michael S. Hsiao
ISCIS
2005
Springer
15 years 3 months ago
Generalizing Redundancy Elimination in Checking Sequences
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, H&uu...