295 search results - page 40 / 59 » Games and Definability for System F |
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
SIGMOD
2008
ACM
13 years 8 months ago
2008
ACM
We consider the problem of evaluating multiple overlapping queries defined on data streams, where each query is a conjunction of multiple filters and each filter may be shared acr...
JOCN
2011
12 years 11 months ago
2011
■ Representing object position is one of the most critical functions of the visual system, but this task is not as simple as reading off an objectʼs retinal coordinates. A rich...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We propose a first attempt to classify events in static images by integrating scene and object categorizations. We define an event in a static image as a human activity taking pla...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
The matching of hierarchical relational structures is of significant interest in computer vision and pattern recognition. We have recently introduced a new solution to this proble...