2181 search results - page 142 / 437 » The restriction scaffold problem |
141
click to vote
JAIR
2007
15 years 4 months 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...
135
click to vote
CG
2002
Springer
15 years 4 months 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...
167
click to vote
PAMI
2007
15 years 3 months 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....
109
click to vote
CCS
2010
ACM
15 years 3 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...
SYNTHESE
2010
15 years 2 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...