2062 search results - page 369 / 413 » Derivatives of Logical Formulas |
77
Voted
DLOG
2009
14 years 8 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
111
Voted
NDJFL
2010
14 years 5 months ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
179
Voted
ML
2011
ACM
14 years 5 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
106
Voted
CVPR
2006
IEEE
16 years 28 days ago
2006
IEEE
Interactive digital matting, the process of extracting a foreground object from an image based on limited user input, is an important task in image and video editing. From a compu...
105
Voted
CVPR
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents robust click-point linking: a novel localized registration framework that allows users to interactively prescribe where the accuracy has to be high. By emphasi...