Sciweavers

544 search results - page 81 / 109
» Translating with Scarce Resources
Sort
View
CORR
2010
Springer
69views Education» more  CORR 2010»
14 years 10 months ago
A simple model for the evolution of molecular codes driven by the interplay of accuracy, diversity and cost
Molecular codes translate information written in one type of molecule into another molecular language. We introduce a simple model that treats molecular codes as noisy information...
Tsvi Tlusty
STTT
2008
134views more  STTT 2008»
14 years 9 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
TMC
2008
110views more  TMC 2008»
14 years 9 months ago
Understanding the Impact of Interference on Collaborative Relays
Collaborative relays achieve the benefits of spatial diversity without requiring physical antenna arrays at end devices. While many studies have demonstrated its effectiveness in a...
Yan Zhu, Haitao Zheng
BSL
1999
103views more  BSL 1999»
14 years 9 months ago
The logic of bunched implications
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
Peter W. O'Hearn, David J. Pym
JAIR
2010
158views more  JAIR 2010»
14 years 8 months ago
A Survey of Paraphrasing and Textual Entailment Methods
Paraphrasing methods recognize, generate, or extract phrases, sentences, or longer natural language expressions that convey almost the same information. Textual entailment methods...
Ion Androutsopoulos, Prodromos Malakasiotis