220 search results - page 12 / 44 » A Relevant Analysis of Natural Deduction |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
To reduce the number of traffic accidents and to increase the drivers comfort, the thought of designing driver assistance systems rose in the past years. Fully or partly autonomou...
RE
2001
Springer
14 years 1 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
NLDB
2007
Springer
14 years 2 months ago
2007
Springer
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
JASIS
2006
13 years 8 months ago
2006
This paper reports on an experimental study on the differences between spoken and written queries. A set of written and spontaneous spoken queries are generated by users from writ...
TRS
2008
13 years 8 months ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...