11160 search results - page 1811 / 2232 » Incompleteness in a General Setting |
228
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
178
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
241
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
233
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
An image search for “clownfish” yields many photos of clownfish, each of a different individual of a different 3D shape in a different pose. Yet, to the human observer, this...
220
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Named entity recognition studies the problem of locating and classifying parts of free text into a set of predefined categories. Although extensive research has focused on the de...