10916 search results - page 214 / 2184 » On Constructive Connectives and Systems |
173
click to vote
IRAL
2000
ACM
15 years 11 months ago
2000
ACM
This paper integrates five linguistic resources, including Cilin, a Chinese-English dictionary, ASBC corpus, SemCor, and WordNet, to construct a Chinese-English WordNet. The resul...
186
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
185
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
187
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
166
click to vote
ISTA
2007
15 years 8 months ago
2007
: Quality requirements elicitation for new computer applications rests traditionally on interviewing stakeholders. That makes getting these requirements right more complicated than...