1128 search results - page 53 / 226 » Classical Natural Deduction |
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
TNN
1998
13 years 9 months ago
1998
In this paper we regard first the situation where parallel channels are disturbed by noise. With the goal of maximal information conservation we deduce the conditions for a transf...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a method for labelling prepositional phrases according to two different semantic role classifications, as contained in the Penn treebank and the CoNLL 2004 S...
FINTAL
2006
14 years 1 months ago
2006
The Internet constitutes a potential huge store of parallel text that may be collected to be exploited by many applications such as multilingual information retrieval, machine tran...
UML
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...