971 search results - page 181 / 195 » Approximate Satisfiability and Equivalence |
120
click to vote
PDCN
2004
15 years 1 months ago
2004
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...
SODA
2003
ACM
15 years 1 months ago
2003
ACM
We consider packet scheduling in a network providing differentiated services, where each packet is assigned a value. We study various queueing models for supporting QoS (Quality ...
BLISS
2009
IEEE
15 years 27 days ago
2009
IEEE
The exploitation of biometrics information in human shadow silhouettes (shadow biometrics), derived from video imagery after processing by gait analysis methods opens new avenues ...
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
The sound reaching the acoustic sensor in a realistic environment contains not only the part arriving directly from the sound source but also a number of environmental re ections....
89
Voted
BMCBI
2010
14 years 12 months ago
2010
Background: Human cancer is caused by the accumulation of tumor-specific mutations in oncogenes and tumor suppressors that confer a selective growth advantage to cells. As a conse...