989 search results - page 93 / 198 » Version spaces and the consistency problem |
180
click to vote
ALT
2006
Springer
16 years 2 months ago
2006
Springer
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
170
click to vote
EMNLP
2010
15 years 3 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
159
click to vote
POPL
2010
ACM
16 years 21 days ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
150
click to vote
IFIP
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
173
click to vote
ETVC
2008
15 years 7 months ago
2008
Abstract. This paper presents a framework to define an objective measure of the similarity (or dissimilarity) between two images for image processing. The problem is twofold: 1) de...