1580 search results - page 44 / 316 » Non-Interference Through Determinism |
101
click to vote
CJ
2010
14 years 8 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...
104
click to vote
WWW
2011
ACM
14 years 6 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...
118
click to vote
SAC
2011
ACM
14 years 1 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
13 years 1 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...
86
Voted
NAACL
2010
14 years 9 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...