Sciweavers

2623 search results - page 227 / 525
» tools 2010
Sort
View
CISS
2010
IEEE
14 years 10 months ago
Average case analysis of sparse recovery from combined fusion frame measurements
—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...
Petros Boufounos, Gitta Kutyniok, Holger Rauhut
CICLING
2011
Springer
14 years 10 months ago
Ranking Multilingual Documents Using Minimal Language Dependent Resources
This paper proposes an approach of extracting simple and effective features that enhances multilingual document ranking (MLDR). There is limited prior research on capturing the co...
G. S. K. Santosh, N. Kiran Kumar, Vasudeva Varma
PTS
2010
175views Hardware» more  PTS 2010»
15 years 4 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
UC
2010
Springer
15 years 4 months ago
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza