1115 search results - page 139 / 223 » An Abstract Look at Realizability |
157
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
171
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract- In order to prevent detection and evade signature-based scanning methods, which are normally exploited by antivirus softwares, metamorphic viruses use several various obf...
168
click to vote
TCAD
2010
14 years 11 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
161
click to vote
CISS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-Malicious attacks against power system state estimation are considered. It has been recently observed that if an adversary is able to manipulate the measurements taken at ...
157
click to vote
AGI
2011
14 years 8 months ago
2011
Abstract. Humans have the remarkable ability to generalize from binocular to monocular figure-ground segmentation of complex scenes. This is clearly evident anytime we look at a p...