3238 search results - page 458 / 648 » On the Computational Interpretation of Negation |
193
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
172
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
163
click to vote
DCC
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
174
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...
193
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
Video-endoscopy (Figure 1), a mode of minimally invasive surgery, has proven to be significantly less invasive to the patient. However, it creates a much more complex operation env...