Sciweavers

3754 search results - page 417 / 751
» Process modeling paradigms: an evaluation
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CIKM
2007
Springer
16 years 1 months ago
Extending query translation to cross-language query expansion with markov chain models
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
Guihong Cao, Jianfeng Gao, Jian-Yun Nie, Jing Bai
TSD
2004
Springer
16 years 28 days ago
Modeling Prosodic Structures in Linguistically Enriched Environments
A significant challenge in Text-to-Speech (TtS) synthesis is the formulation of the prosodic structures (phrase breaks, pitch accents, phrase accents and boundary tones) of uttera...
Gerasimos Xydas, Dimitris Spiliotopoulos, Georgios...
BIOCOMP
2008
15 years 9 months ago
Reverse Engineering Module Networks by PSO-RNN Hybrid Modeling
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
Yuji Zhang, Jianhua Xuan, Benildo de los Reyes, Ro...
JSW
2006
112views more  JSW 2006»
15 years 7 months ago
An Integrated Approach to Quality Achievement with Architectural Design Decisions
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...
Heeseok Choi, Youhee Choi, Keunhyuk Yeom