7057 search results - page 1012 / 1412 » Tasks, domains, and languages |
204
Voted
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
137
Voted
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
164
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
199
Voted
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
202
Voted
ECML
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we provide a study on the use of tree kernels to encode syntactic parsing information in natural language learning. In particular, we propose a new convolution kerne...