Sciweavers

1517 search results - page 136 / 304
» New Approach To A Class Of Matrices
Sort
View
SIAMCO
2008
121views more  SIAMCO 2008»
15 years 4 months ago
Numerical Verification of Optimality Conditions
A class of optimal control problem for a semilinear elliptic partial differential equation with control constraints is considered. It is well known that sufficient second-order con...
Arnd Rösch, Daniel Wachsmuth
ICIP
2006
IEEE
16 years 6 months ago
Modulation Domain Features for Discriminating Infrared Targets and Backgrounds
For the first time, we compute modulation domain features for infrared targets and backgrounds, including dominant modulations that characterize the local texture contrast, orient...
Chuong T. Nguyen, Joseph P. Havlicek
149
Voted
ICTAI
2009
IEEE
15 years 11 months ago
Learning in Local Search
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazu...
CP
2005
Springer
15 years 10 months ago
Tree Decomposition with Function Filtering
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
Martí Sánchez, Javier Larrosa, Pedro...
IWPC
2003
IEEE
15 years 10 months ago
Using Run-Time Data for Program Comprehension
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
Thomas Gschwind, Johann Oberleitner, Martin Pinzge...