1119 search results - page 60 / 224 » On the Invariance of Ant System |
121
click to vote
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
102
click to vote
AUTOMATICA
2007
14 years 10 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
EJC
2007
14 years 9 months ago
2007
We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky with a finite root system and (b)...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Viewpoint variance is one of the inevitable problems in vision based sign language recognition. However, most researchers avoid this problem by assuming a special view, especially...