1992 search results - page 320 / 399 » On the (limited) power of non-equivocation |
163
click to vote
IBMRD
2011
14 years 8 months ago
2011
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
166
click to vote
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
Abstract-- Mobile devices are becoming increasingly powerful with regards to processing speed, networking capabilities, storage capacity etc. While these improvements open up new p...
124
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
158
Voted
BMCBI
2011
14 years 5 months ago
2011
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...
174
Voted
BMCBI
2011
14 years 5 months ago
2011
Background: Gene set analysis (GSA) has become a successful tool to interpret gene expression profiles in terms of biological functions, molecular pathways, or genomic locations. ...