3238 search results - page 147 / 648 » On the Computational Interpretation of Negation |
166
click to vote
CISS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—The Dantzig selector is a recently introduced technique for near-optimal estimatation of sparse signals from a limited set of measurements. This paper offers an interpre...
133
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
A technique to expedite iterative computations which is based on multidimensional chains of recurrences MCR is presented. Algorithms for MCR construction, interpretation and MCR-b...
158
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
Many systems, such as large manufacturing systems, telecommunication networks, or homeautomation systems, require distributed monitoring and diagnosis. In this article, we introdu...
146
click to vote
ACL
2008
15 years 8 months ago
2008
Researchers typically evaluate word prediction using keystroke savings, however, this measure is not straightforward. We present several complications in computing keystroke savin...
297
click to vote
AIML
2008
15 years 8 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...