1716 search results - page 312 / 344 » Proving Conditional Termination |
118
click to vote
BMCBI
2007
15 years 25 days ago
2007
Background: Success of metabolomics as the phenotyping platform largely depends on its ability to detect various sources of biological variability. Removal of platform-specific so...
92
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: Biological information is commonly used to cluster or classify entities of interest such as genes, conditions, species or samples. However, different sources of data c...
112
click to vote
SIGECOM
2008
ACM
15 years 19 days ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
117
Voted
IJWIS
2007
15 years 18 days ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
120
Voted
IPL
2007
15 years 18 days ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...