4690 search results - page 312 / 938 » An operational semantics for Scheme |
168
click to vote
USS
2008
15 years 9 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
160
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
171
click to vote
MIR
2003
ACM
16 years 18 hour ago
2003
ACM
In a typical content-based image retrieval (CBIR) system, query results are a set of images sorted by feature similarities with respect to the query. However, images with high fea...
183
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
192
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
IEEE 802.22 wireless regional area network (WRAN) is an emerging cognitive radio-based system. One of the major challenges for WRANs is how to efficiently schedule both channel sen...