7596 search results - page 1508 / 1520 » Challenges in forensic computing |
UIST
2010
ACM
13 years 7 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
BMCBI
2010
13 years 7 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
FCSC
2010
13 years 7 months ago
2010
Graphical models have become the basic framework for topic based probabilistic modeling. Especially models with latent variables have proved to be effective in capturing hidden str...