Sciweavers

4488 search results - page 49 / 898
» Properties of NP-Complete Sets
Sort
View
ICANN
2010
Springer
13 years 8 months ago
Computational Properties of Probabilistic Neural Networks
We discuss the problem of overfitting of probabilistic neural networks in the framework of statistical pattern recognition. The probabilistic approach to neural networks provides a...
Jiri Grim, Jan Hora
ENTCS
2008
79views more  ENTCS 2008»
13 years 8 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
Yliès Falcone, Laurent Mounier, Jean-Claude...
FSS
2008
145views more  FSS 2008»
13 years 8 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
BMCBI
2006
106views more  BMCBI 2006»
13 years 8 months ago
Prediction of the functional class of metal-binding proteins from sequence derived physicochemical properties by support vector
Metal-binding proteins play important roles in structural stability, signaling, regulation, transport, immune response, metabolism control, and metal homeostasis. Because of their...
H. H. Lin, L. Y. Han, H. L. Zhang, C. J. Zheng, B....
BIRTHDAY
2010
Springer
13 years 6 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...