4211 search results - page 613 / 843 » A formal approach to MASQ |
183
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
184
click to vote
ECCC
2007
15 years 6 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
200
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
174
click to vote
IJAR
2007
15 years 6 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...