Sciweavers

4233 search results - page 462 / 847
» Three Paths to Effectiveness
Sort
View
ICIP
1995
IEEE
15 years 10 months ago
Multigrid adaptive image processing
We consider a general weighted least squares approximation problem with a membrane spline regularization term. The key parameters in this formulation are the weighting factors whi...
Michael Unser
ASM
2010
ASM
15 years 10 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
WSC
2007
15 years 9 months ago
Empirical investigations of conceptual modeling and the modeling process
Conceptual modeling, deciding what to include in the model, is a very important task in the modeling process. However, it has so far received relatively little attention in the li...
Wang Wang, Roger J. Brooks
WSC
2008
15 years 9 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar
ECCV
2010
Springer
15 years 8 months ago
Inter-Camera Association of Multi-Target Tracks by On-line Learned Appearance Affinity Models
We propose a novel system for associating multi-target tracks across multiple non-overlapping cameras by an on-line learned discriminative appearance affinity model. Collecting rel...