Sciweavers

21319 search results - page 122 / 4264
» An Approach for Method Reengineering
Sort
View
124
Voted
SCALESPACE
2009
Springer
15 years 10 months ago
On Level-Set Type Methods for Recovering Piecewise Constant Solutions of Ill-Posed Problems
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
Adriano DeCezaro, Antonio Leitão, Xue-Cheng...
ICCS
2007
Springer
15 years 9 months ago
A New Method to Model Neighborhood Interaction in Cellular Automata-Based Urban Geosimulation
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
Yaolong Zhao, Yuji Murayama
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 9 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
127
Voted
JAR
2002
72views more  JAR 2002»
15 years 3 months ago
Partial Instantiation Methods for Inference in First-Order Logic
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
John N. Hooker, G. Rago, V. Chandru, A. Shrivastav...
ICIP
2007
IEEE
15 years 9 months ago
A Compact Image Magnification Method with Preservation of Preferential Components
Image magnification has been attracting a great deal of attention for long, and many approaches have been proposed to date. Nevertheless, bicubic interpolation is still the stand...
Akira Hirabayashi, Laurent Condat