Sciweavers

2237 search results - page 355 / 448
» Advanced Prosody Modelling
Sort
View
140
Voted
ENTCS
2008
170views more  ENTCS 2008»
15 years 3 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
131
Voted
EOR
2008
116views more  EOR 2008»
15 years 3 months ago
A hybrid neuro-fuzzy analytical approach to mode choice of global logistics management
This paper presents a hybrid neuro-fuzzy methodology to identify appropriate global logistics (GL) operational modes used for global supply chain management. The proposed methodol...
Jiuh-Biing Sheu
140
Voted
BMCBI
2006
153views more  BMCBI 2006»
15 years 3 months ago
Cancer diagnosis marker extraction for soft tissue sarcomas based on gene expression profiling data by using projective adaptive
Background: Recent advances in genome technologies have provided an excellent opportunity to determine the complete biological characteristics of neoplastic tissues, resulting in ...
Hiro Takahashi, Takeshi Nemoto, Teruhiko Yoshida, ...
152
Voted
EAAI
2006
161views more  EAAI 2006»
15 years 3 months ago
Genetic learning and performance evaluation of interval type-2 fuzzy logic controllers
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
Dongrui Wu, Woei Wan Tan
126
Voted
GRID
2006
Springer
15 years 3 months ago
Shibboleth-based Access to and Usage of Grid Resources
Security underpins Grids and e-Research. Without a robust, reliable and simple Grid security infrastructure combined with commonly accepted security practices, large portions of th...
Richard O. Sinnott, Jipu Jiang, J. P. Watt, Oluwaf...