16430 search results - page 434 / 3286 » On Computable Tree Functions |
109
Voted
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
217
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
149
Voted
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. When parallelizing loop nests for distributed memory parallel computers, we have to specify when the different computations are carried out (computation scheduling), wher...
167
click to vote
CVPR
2001
IEEE
16 years 9 months ago
2001
IEEE
Efficient detection of objects in images is complicated by variations of object appearance due to intra-class object differences, articulation, lighting, occlusions, and aspect va...