867 search results - page 22 / 174 » On Two Forms of Structural Recursion |
99
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present a compositional boosting algorithm for detecting and recognizing 17 common image structures in low-middle level vision tasks. These structures, called &q...
111
Voted
IANDC
2007
15 years 11 days ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
96
Voted
CEFP
2009
Springer
14 years 10 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
120
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
93
Voted
ENTCS
2007
15 years 11 days ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...