Sciweavers

245 search results - page 26 / 49
» On the Average-Case Complexity of Property Testing
Sort
View
EUROMICRO
2009
IEEE
15 years 5 months ago
Service Redundancy Strategies in Service-Oriented Architectures
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas
ATAL
2006
Springer
15 years 5 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ICFEM
2009
Springer
14 years 11 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
BMCBI
2006
85views more  BMCBI 2006»
15 years 1 months ago
Identification of physicochemical selective pressure on protein encoding nucleotide sequences
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
Wendy S. W. Wong, Raazesh Sainudiin, Rasmus Nielse...
ICPR
2008
IEEE
16 years 2 months ago
Preliminary approach on synthetic data sets generation based on class separability measure
Usually, performance of classifiers is evaluated on real-world problems that mainly belong to public repositories. However, we ignore the inherent properties of these data and how...
Núria Macià, Ester Bernadó-Ma...