1567 search results - page 26 / 314 » A Mechanized Model of the Theory of Objects |
104
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
PKDD
2005
Springer
15 years 7 months ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
FSS
2008
15 years 1 months ago
2008
The problem of building recommender systems has attracted considerable attention in recent years. The objective of this paper is to automatically suggest and rank a list of new it...
102
click to vote
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
126
click to vote
SMA
2008
ACM
14 years 12 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...