7596 search results - page 1508 / 1520 » Challenges in forensic computing |
135
Voted
UIST
2010
ACM
15 years 18 days 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 ...
128
Voted
ICCAD
2009
IEEE
15 years 14 days 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...
137
Voted
ICCAD
2009
IEEE
15 years 14 days 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...
158
Voted
BMCBI
2010
15 years 4 days 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...
161
Voted
FCSC
2010
15 years 3 days 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...