2989 search results - page 557 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
134
Voted
SPIN
2010
Springer
15 years 10 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
115
click to vote
JSS
2010
14 years 8 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
144
click to vote
ML
2010
ACM
14 years 8 months ago
2010
ACM
Spectral analysis approaches have been actively studied in machine learning and data mining areas, due to their generality, efficiency, and rich theoretical foundations. As a natur...
TSP
2010
14 years 8 months ago
2010
We consider efficient methods for the recovery of block-sparse signals--i.e., sparse signals that have nonzero entries occurring in clusters--from an underdetermined system of line...
135
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...