3994 search results - page 704 / 799 » A Linear Logical Framework |
130
click to vote
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
135
click to vote
IC
2007
15 years 5 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
172
click to vote
NIPS
2008
15 years 5 months ago
2008
Probabilistic topic models have become popular as methods for dimensionality reduction in collections of text documents or images. These models are usually treated as generative m...
134
click to vote
NIPS
2007
15 years 5 months ago
2007
We study the problem of an apprentice learning to behave in an environment with an unknown reward function by observing the behavior of an expert. We follow on the work of Abbeel ...
126
click to vote
ECIR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we combine two existing resource selection approaches, CORI and the decision-theoretic framework (DTF). The state-of-the-art system CORI belongs to the large group of...