Sciweavers

3481 search results - page 446 / 697
» A New Approach to Component Testing
Sort
View
AGI
2011
14 years 10 months ago
Compression and Intelligence: Social Environments and Communication
Compression has been advocated as one of the principles which pervades inductive inference and prediction - and, from there, it has also been recurrent in definitions and tests of...
David L. Dowe, José Hernández-Orallo...
RECOMB
2005
Springer
16 years 6 months ago
Combinatorial Genetic Regulatory Network Analysis Tools for High Throughput Transcriptomic Data
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
Elissa J. Chesler, Michael A. Langston
SAT
2009
Springer
132views Hardware» more  SAT 2009»
16 years 1 months ago
Relaxed DPLL Search for MaxSAT
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
Lukas Kroc, Ashish Sabharwal, Bart Selman
ICASSP
2011
IEEE
14 years 10 months ago
Discriminative duration modeling for speech recognition with segmental conditional random fields
This paper describes a new approach to modeling duration for LVCSR using SCARF, a toolkit for speech recognition with segmental conditional random fields. We utilize SCARF’s abi...
Justine T. Kao, Geoffrey Zweig, Patrick Nguyen
ICCV
2011
IEEE
14 years 6 months ago
A String of Feature Graphs Model for Recognition of Complex Activities in Natural Videos
Videos usually consist of activities involving interactions between multiple actors, sometimes referred to as complex activities. Recognition of such activities requires modeling ...
Utkarsh Gaur, Yingying Zhu, Bi Song, Amit Roy-Chow...