Sciweavers

2949 search results - page 192 / 590
» Universal Sparse Modeling
Sort
View
CISS
2011
IEEE
14 years 6 months ago
Sparsity penalties in dynamical system estimation
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
Adam Charles, Muhammad Salman Asif, Justin K. Romb...
ICCV
2011
IEEE
14 years 3 months ago
Multiview 3D Warps
Image registration and 3D reconstruction are fundamental computer vision and medical imaging problems. They are particularly challenging when the input data are images of a deform...
Alessio Del Bue, Adrien Bartoli
WSC
2008
15 years 5 months ago
Conceptual modelling: Knowledge acquisition and model abstraction
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Kathy Kotiadis, Stewart Robinson
LICS
2005
IEEE
15 years 8 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
ESEM
2009
ACM
15 years 9 months ago
Modifiability measurement from a task complexity perspective: A feasibility study
Despite the critical role of software modifiability, it has no universally accepted measurement model. Measuring modifiability in terms of maintenance effort is problematic becaus...
Lulu He, Jeffrey C. Carver