998 search results - page 84 / 200 » From Feasible Proofs to Feasible Computations |
EMMCVPR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The complexity of visual representations is substantially limited by the compositional nature of our visual world which, therefore, renders learning structured object mod...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
SIBGRAPI
2005
IEEE
14 years 2 months ago
2005
IEEE
The design of W-operators from a set of input/output examples for large windows is a hard problem. From the statistical standpoint, it is hard because of the large number of examp...
BC
1998
13 years 8 months ago
1998
In homing tasks, the goal is often not marked by visible objects but must be inferred from the spatial relation to the visual cues in the surrounding scene. The exact computation o...
CSL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...