2263 search results - page 124 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
170
click to vote
TPHOL
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
171
Voted
ICML
2008
IEEE
16 years 6 months ago
2008
IEEE
In many retrieval tasks, one important goal involves retrieving a diverse set of results (e.g., documents covering a wide range of topics for a search query). First of all, this r...
167
Voted
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
The merit of phrase-based statistical machine translation is often reduced by the complexity to construct it. In this paper, we address some issues in phrase-based statistical mach...
152
click to vote
ICML
1997
IEEE
16 years 6 months ago
1997
IEEE
The goal of robot learning from demonstration is to have a robot learn from watching a demonstration of the task to be performed. In our approach to learning from demonstration th...
164
click to vote
EMNLP
2010
15 years 3 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...