Lower and upper bounds in zone-based abstractions of timed automata

By Behrmann Gerd   Bouyer Patricia   Larsen Kim   Pelánek Radek  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 204-215

Springer Publishing Company

Access to resources Recommend Favorite

Upper and lower bounds of op-code probabilities for Edgebreaker

By Cho Cheol-Hyung   Kim Deok-Soo   Cho Youngsong   Ryu Joonghyun  

International Journal of Computational Science and Engineering, Vol. 3, Iss. 1, 2007-07 ,pp. : 23-28

Inderscience Publishers

Access to resources Recommend Favorite

Upper and Lower Bounds on the Learning Curve for Gaussian Processes

By Williams C.K.I.  

Machine Learning, Vol. 40, Iss. 1, 2000-07 ,pp. : 77-102

Springer Publishing Company

Access to resources Recommend Favorite

Upper and lower bounds for the two-level simple plant location problem

By Chardaire P.   Lutton J.   Sutter A.  

Annals of Operations Research, Vol. 86, Iss. 1, 1999-01 ,pp. : 117-140

Springer Publishing Company

Access to resources Recommend Favorite

Resolution-based lower bounds in MaxSAT

By Li Chu  

Constraints, Vol. 15, Iss. 4, 2010-10 ,pp. : 456-484

Springer Publishing Company

Access to resources Recommend Favorite