Sciweavers

3404 search results - page 297 / 681
» C Programming Tutorial
Sort
View
131
Voted
SIAMJO
2010
89views more  SIAMJO 2010»
14 years 10 months ago
A New Sequential Optimality Condition for Constrained Optimization and Algorithmic Consequences
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
Roberto Andreani, José Mario Martíne...
240
Voted

Publication
308views
17 years 2 months ago
Measures for Classification and Detection in Steganalysis
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
Sujit Gujar, C E Veni Madhavan
127
Voted
UM
2005
Springer
15 years 9 months ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
111
Voted
EUROPAR
2003
Springer
15 years 8 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
105
Voted
IPPS
2000
IEEE
15 years 8 months ago
Agent Surgery: The Case for Mutable Agents
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
Ladislau Bölöni, Dan C. Marinescu