1738 search results - page 210 / 348 » Local Consistency and SAT-Solvers |
146
click to vote
DOCENG
2010
ACM
15 years 7 months ago
2010
ACM
: APEX: Automated Policy Enforcement eXchange Steven J. Simske, Helen Balinsky HP Laboratories HPL-2010-134 Policy, Text Analysis, Policy Server, Policy Editor, Document Systems, ...
146
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Local structures of target mRNAs play a significant role in determining the efficacies of antisense oligonucleotides (ODNs), but some structure-based target site selec...
182
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The extended use of microarray technologies has enabled the generation and accumulation of gene expression datasets that contain expression levels of thousands of gene...
191
click to vote
CGF
2006
15 years 6 months ago
2006
We propose a new technique for quad-dominant remeshing which separates the local regularity requirements from the global alignment requirements by working in two steps. In the fir...
168
click to vote
JCIT
2008
15 years 6 months ago
2008
Firewall is a useful technique that ensures network security. Firewall examines network packets and determines whether to accept or deny them based on an ordered set of filters. I...