6618 search results - page 1035 / 1324 » Natural Logic for Natural Language |
176
Voted
LATINCRYPT
2010
15 years 5 months ago
2010
We consider the following problem: can we construct constant-round zero-knowledge proofs (with negligible soundness) for NP assuming only the existence of one-way permutations? We...
180
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
202
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
154
Voted
SIGIR
2010
ACM
15 years 5 months ago
2010
ACM
The TREC Blog track aims to explore information seeking behaviour in the blogosphere, by building reusable test collections for blog-related search tasks. Since, its advent in TRE...
188
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...