Sciweavers

6388 search results - page 953 / 1278
» High Performance Data Mining
Sort
View
DAC
2001
ACM
16 years 7 months ago
Semi-Formal Test Generation with Genevieve
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
Julia Dushina, Mike Benjamin, Daniel Geist
IPMI
2003
Springer
16 years 7 months ago
Permutation Tests for Classification: Towards Statistical Significance in Image-Based Studies
Abstract. Estimating statistical significance of detected differences between two groups of medical scans is a challenging problem due to the high dimensionality of the data and th...
Polina Golland, Bruce Fischl
ISBI
2004
IEEE
16 years 7 months ago
Surface Matching Algorithms for Computer Aided Reconstructive Plastic Surgery
High energy traumatic impact of the craniofacial skeleton is an inevitable consequence of today's fast paced society. The work presented in this paper leverages recent advanc...
Suchendra M. Bhandarkar, Ananda S. Chowdhury, Yaro...
DCC
2007
IEEE
16 years 6 months ago
Distortion-Complexity Optimization of the H.264/MPEG-4 AVC Encoder using the GBFOS Algorithm
The H.264/ACV standard provides significant improvements in performance over earlier video coding standards at the cost of increased complexity. Our challenge is to determine H.26...
Rahul Vanam, Eve A. Riskin, Sheila S. Hemami, Rich...
SODA
2010
ACM
173views Algorithms» more  SODA 2010»
16 years 4 months ago
Distributed Agreement with Optimal Communication Complexity
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
Seth Gilbert, Dariusz Kowalski