Sciweavers

14699 search results - page 409 / 2940
» Complexity and Cognitive Computing
Sort
View
IJBC
2008
112views more  IJBC 2008»
15 years 5 months ago
Computation and Visualization of bifurcation Surfaces
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
Dirk Stiefs, Thilo Gross, Ralf Steuer, Ulrike Feud...
155
Voted
TSE
1998
93views more  TSE 1998»
15 years 4 months ago
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
Joao Carreira, Henrique Madeira, João Gabri...
180
Voted
ICIP
2007
IEEE
16 years 6 months ago
Using Phase and Magnitude Information of the Complex Directional Filter Bank for Texture Image Retrieval
This paper discusses how to utilize both magnitude and phase information obtained from the complex directional lter bank (CDFB) for the purpose of texture image retrieval. The rel...
An P. N. Vo, Soontorn Oraintara, Truong T. Nguyen
ICIP
1997
IEEE
16 years 6 months ago
Complexity-Regularized Image Denoising
We develop a new approach to image denoising based on complexity regularization. This technique presents a flexible alternative to the more conventional l2 , l1 , and Besov regula...
Juan Liu, Pierre Moulin
ICALP
2007
Springer
15 years 11 months ago
Complexity of Propositional Proofs Under a Promise
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
Nachum Dershowitz, Iddo Tzameret