4719 search results - page 230 / 944 » Newtonian program analysis |
157
click to vote
SIAMJO
2008
15 years 5 months ago
2008
It is known that the Karush-Kuhn-Tucker (KKT) conditions of semidefinite programming can be reformulated as a nonsmooth system via the metric projector over the cone of symmetric ...
161
click to vote
JCS
2007
15 years 5 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
485
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
163
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
148
click to vote
CEC
2009
IEEE
16 years 15 days ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...