11394 search results - page 2044 / 2279 » Error-Correcting Data Structures |
140
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
145
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
141
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The group Lasso is an extension of the Lasso for feature selection on (predefined) non-overlapping groups of features. The non-overlapping group structure limits its applicability...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We describe a new approach to fit the polyhedron describing a 3D building model to the point cloud of a Digital Elevation Model (DEM). We introduce a new kinetic framework that hi...