8828 search results - page 1571 / 1766 » Formal methods in practice |
175
click to vote
JCIT
2010
14 years 11 months ago
2010
Probability theory is the framework for making decision under uncertainty. In classification, Bayes' rule is used to calculate the probabilities of the classes and it is a bi...
130
click to vote
MA
2010
Springer
14 years 11 months ago
2010
Springer
This work proposes to generalize the method of cokriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies be...
146
click to vote
ML
2010
ACM
14 years 11 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
151
click to vote
MP
2010
14 years 11 months ago
2010
In many practical applications, the task is to optimize a non-linear objective function over the vertices of a well-studied polytope as, e.g., the matching polytope or the travelli...
115
click to vote
NETWORK
2010
14 years 11 months ago
2010
Existing QoE (Quality of Experience) assessment methods, subjective or objective, suffer from either or both problems of inaccurate experiment tools and expensive personnel cost. ...