632 search results - page 17 / 127 » Proving Invariants of Functional Programs |
93
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
102
click to vote
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Graph structures have been proved important in high level-vision since they can be used to represent structural and relational arrangements of objects in a scene. One of the probl...
92
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
109
click to vote
COCO
2004
Springer
15 years 5 months ago
2004
Springer
In decision tree models, considerable attention has been paid on the effect of symmetry on computational complexity. That is, for a permutation group Γ, how low can the complexit...
130
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...