3238 search results - page 289 / 648 » On the Computational Interpretation of Negation |
109
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In television shows, we are familiar with the sound of artificial laughter, the so called “canned laughter” or “laugh track”. It generally has an enhancing effect on the v...
173
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
156
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Problem Frames approach captures problems as seen by developers, but not by stakeholders. This paper presents a framework that extends the problem diagram of the Problem Frame...
166
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
164
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
Triangle inequality violations (TIVs) are the effect of packets between two nodes being routed on the longer direct path between them when a shorter detour path through an intermed...