Sciweavers

1710 search results - page 73 / 342
» High-Level Programs and Program Conditions
Sort
View
CEC
2003
IEEE
14 years 1 months ago
Diversity analysis in cellular and multipopulation genetic programming
This paper presents a study that evaluates the influence of the parallel genetic programming (GP) models in maintaining diversity in a population. The parallel models used are the...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 8 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
AUTOMATICA
2005
169views more  AUTOMATICA 2005»
13 years 8 months ago
Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...
Shoudong Huang, Matthew R. James, Dragan Nesic, Pe...
MP
2002
113views more  MP 2002»
13 years 7 months ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph
ENTCS
2008
119views more  ENTCS 2008»
13 years 8 months ago
An Example of Cloning Graph Transformation Rules for Programming
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
Mark Minas, Berthold Hoffmann