4231 search results - page 179 / 847 » Using Language More Responsibly |
190
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
179
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
163
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
We propose a novel type of document classification task that quantifies how much a given document (review) appreciates the target object using not binary polarity (good or bad) b...
156
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
167
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a Japanese information retrieval method using the dependency relationship between words and semantic and statistical information about them. Our method gives a...