6598 search results - page 358 / 1320 » Graph Theory with Applications |
184
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
192
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
187
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces mass estimation—a base modelling mechanism in data mining. It provides the theoretical basis of mass and an efficient method to estimate mass. We show that...
157
click to vote
IJCAI
2007
15 years 8 months ago
2007
In the past ten years, boosting has become a major field of machine learning and classification. This paper brings contributions to its theory and algorithms. We first unify a ...
182
click to vote
ISCI
2008
15 years 6 months ago
2008
The importance of suitable distance measures between intuitionistic fuzzy sets (IFSs) arises because of the role they play in the inference problem. A concept closely related to o...