191 search results - page 23 / 39 » Second-Order Programs with Preconditions |
123
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
124
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Knowledge management typically focuses on communicating and spreading information and knowledge within a company. It is usually limited to technology or business information in s...
159
click to vote
TRIER
2002
15 years 2 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
147
click to vote
GECCO
2008
Springer
2008
Springer
Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system
15 years 4 months ago
Initial results of an experiment devised to combine Bond-Graph modeling and simulation with genetic programming for automated design of a simple mechatronic system are reported in...
125
Voted
NIPS
1993
15 years 4 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...