3690 search results - page 88 / 738 » Computation with classical sequents |
IUI
2012
ACM
13 years 5 months ago
2012
ACM
Recent computer vision approaches are aimed at richer image interpretations that extend the standard recognition of objects in images (e.g., cars) to also recognize object attribu...
ACL
2012
13 years 8 days ago
2012
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
ICDM
2005
IEEE
15 years 3 months ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...