3238 search results - page 527 / 648 » On the Computational Interpretation of Negation |
150
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
171
click to vote
CC
2007
Springer
16 years 16 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
181
click to vote
FASE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
196
click to vote
CVPR
2009
IEEE
16 years 16 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
142
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. Fuzzy-UCS combines the generalization capabilities of UCS...