Sciweavers

352 search results - page 12 / 71
» Algorithms to Test Ray-Triangle Intersection. Comparative St...
Sort
View
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
14 years 1 days ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
IEEEARES
2008
IEEE
14 years 1 months ago
RTQG: Real-Time Quorum-based Gossip Protocol for Unreliable Networks
We consider scheduling real-time tasks in the presence of message loss and Byzantine node failures in unreliable networks. We present scheduling algorithms called RTQG and RTQG-B....
Bo Zhang, Kai Han, Binoy Ravindran, E. Douglas Jen...
IJCNLP
2005
Springer
14 years 6 days ago
A Rule Based Syllabification Algorithm for Sinhala
This paper presents a study of Sinhala syllable structure and an algorithm for identifying syllables in Sinhala words. After a thorough study of the Syllable structure and linguis...
Ruvan Weerasinghe, Asanka Wasala, Kumudu Gamage
BMCBI
2007
143views more  BMCBI 2007»
13 years 6 months ago
RNAspa: a shortest path approach for comparative prediction of the secondary structure of ncRNA molecules
Background: In recent years, RNA molecules that are not translated into proteins (ncRNAs) have drawn a great deal of attention, as they were shown to be involved in many cellular ...
Yair Horesh, Tirza Doniger, Shulamit Michaeli, Ron...
BMCBI
2008
179views more  BMCBI 2008»
13 years 6 months ago
Improving the power for detecting overlapping genes from multiple DNA microarray-derived gene lists
Background: In DNA microarray gene expression profiling studies, a fundamental task is to extract statistically significant genes that meet certain research hypothesis. Currently,...
Xutao Deng, Jun Xu, Charles Wang