1580 search results - page 44 / 316 » Non-Interference Through Determinism |
CJ
2010
13 years 6 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
Information needs are rarely satisfied directly on search engine result pages. Searchers usually need to click through to search results (landing pages) and follow search trails b...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
TON
2012
11 years 11 months ago
2012
—Cognitive Radio (CR) technology has great potential to alleviate spectrum scarcity in wireless communications. It allows secondary users (SUs) to opportunistically access spectr...
NAACL
2010
13 years 6 months ago
2010
This paper presents a direct word reordering model with novel syntax-based features for statistical machine translation. Reordering models address the problem of reordering source...