Sciweavers

4120 search results - page 301 / 824
» Exploring ocean data
Sort
View
CAV
2010
Springer
201views Hardware» more  CAV 2010»
15 years 10 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang
KDD
1995
ACM
176views Data Mining» more  KDD 1995»
15 years 10 months ago
MDL-Based Decision Tree Pruning
This paper explores the application of the Minimum Description Length principle for pruning decision trees. We present a new algorithm that intuitively captures the primary goal o...
Manish Mehta 0002, Jorma Rissanen, Rakesh Agrawal
NIPS
2007
15 years 8 months ago
Random Features for Large-Scale Kernel Machines
To accelerate the training of kernel machines, we propose to map the input data to a randomized low-dimensional feature space and then apply existing fast linear methods. The feat...
Ali Rahimi, Benjamin Recht
ICAD
2004
15 years 8 months ago
The Design and Evaluation of Auditory Access to Spreadsheets
This project is concerned with the development and evaluation of an integrated approach to sound-based access to spreadsheets. The primary target user population is visually impai...
Tony Stockman
ICONIP
2004
15 years 8 months ago
Genetic Algorithm for Optimal Imperceptibility in Image Communication Through Noisy Channel
Abstract. Data embedding in digital images involves a trade off relationship among imperceptibility, robustness, data security and embedding rate etc. Genetic Algorithms (GA) can b...
Santi P. Maity, Malay Kumar Kundu, Prasanta Kumar ...