Sciweavers

14709 search results - page 2455 / 2942
» Semantic feature modelling
Sort
View
JMLR
2008
110views more  JMLR 2008»
15 years 7 months ago
Estimating the Confidence Interval for Prediction Errors of Support Vector Machine Classifiers
Support vector machine (SVM) is one of the most popular and promising classification algorithms. After a classification rule is constructed via the SVM, it is essential to evaluat...
Bo Jiang, Xuegong Zhang, Tianxi Cai
JNS
2008
79views more  JNS 2008»
15 years 7 months ago
Singularly Perturbed Monotone Systems and an Application to Double Phosphorylation Cycles
The theory of monotone dynamical systems has been found very useful in the modeling of some gene, protein, and signaling networks. In monotone systems, every net feedback loop is p...
Liming Wang, Eduardo D. Sontag
ENTCS
2007
100views more  ENTCS 2007»
15 years 7 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
MSCS
2008
97views more  MSCS 2008»
15 years 7 months ago
Logical relations for monadic types
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...
FUIN
2007
108views more  FUIN 2007»
15 years 7 months ago
Local Properties of Triangular Graphs
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...
Antoni W. Mazurkiewicz
« Prev « First page 2455 / 2942 Last » Next »