3690 search results - page 317 / 738 » Computation with classical sequents |
160
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Finding relevant information within the vast amount of information exchanged via feeds is difficult. Previous research into this problem has largely focused on recommending relev...
196
Voted
DLOG
2011
14 years 9 months ago
2011
Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the ca...
175
click to vote
IJON
2011
14 years 9 months ago
2011
We introduce a machine learning based classifier that identifies free radio channels for cognitive radio. The architecture is designed for nanoscale implementation, under nanosc...
236
click to vote
SCHOLARPEDIA
2011
14 years 8 months ago
2011
: In 1613 d’Aguilon published a book on optics containing a novel color mixture diagram in arc form. Diagrams of similar form are found in many medieval manuscripts where they ha...
166
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...