Sciweavers

2786 search results - page 99 / 558
» A Practical Technique for Process Abstraction
Sort
View
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 8 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
90
Voted
KES
2005
Springer
15 years 7 months ago
Support for Internet-Based Commonsense Processing - Causal Knowledge Discovery Using Japanese "If" Forms
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
Yali Ge, Rafal Rzepka, Kenji Araki
83
Voted
TCAD
2008
55views more  TCAD 2008»
15 years 1 months ago
Model Order Reduction of Parameterized Interconnect Networks via a Two-Directional Arnoldi Process
Abstract--This paper presents a multiparameter momentmatching-based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi proc...
Yung-Ta Li, Zhaojun Bai, Yangfeng Su, Xuan Zeng
110
Voted
CPP
2011
98views more  CPP 2011»
14 years 1 months ago
Automatically Verifying Typing Constraints for a Data Processing Language
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
Michael Backes, Catalin Hritcu, Thorsten Tarrach
122
Voted
WIA
1999
Springer
15 years 5 months ago
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing
Finite-state techniques are widely used in various areas of Natural Language Processing (NLP). As Kaplan and Kay [12] have argular expressions are the appropriate level of abstract...
Gertjan van Noord, Dale Gerdemann