Sciweavers

Share
8 search results - page 1 / 2
» spin 2012
Sort
View
SPIN
2012
Springer
6 years 7 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
WMCSA
2012
IEEE
7 years 28 days ago
SpinLoc: spin once to know your location
The rapid growth of location-based applications has spurred extensive research on localization. Nonetheless, indoor localization remains an elusive problem mostly because the accu...
Souvik Sen, Romit Roy Choudhury, Srihari Nelakudit...
SPIN
2012
Springer
6 years 7 months ago
SMTInterpol: An Interpolating SMT Solver
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
Jürgen Christ, Jochen Hoenicke, Alexander Nut...
AAAI
2012
6 years 7 months ago
A Spin-Glass Model for Semi-Supervised Community Detection
Current modularity-based community detection methods show decreased performance as relational networks become increasingly noisy. These methods also yield a large number of divers...
Eric Eaton, Rachael Mansbach
CORR
2012
Springer
201views Education» more  CORR 2012»
7 years 1 months ago
Signal Recovery on Incoherent Manifolds
Suppose that we observe noisy linear measurements of an unknown signal that can be modeled as the sum of two component signals, each of which arises from a nonlinear sub-manifold ...
Chinmay Hegde, Richard G. Baraniuk
books