2181 search results - page 142 / 437 » The restriction scaffold problem |
107
click to vote
JAIR
2007
15 years 19 days ago
2007
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
104
Voted
CG
2002
Springer
15 years 17 days ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
129
click to vote
PAMI
2007
15 years 7 days ago
2007
—A variety of clustering algorithms have recently been proposed to handle data that is not linearly separable; spectral clustering and kernel k-means are two of the main methods....
80
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
54
Voted
SYNTHESE
2010
14 years 11 months ago
2010
This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the au...