1058 search results - page 12 / 212 » It's Doomed; We Can Prove It |
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
Abstract— In the present paper we consider uniform inputto-state stability of reaction-diffusion equations and compare it with its finite dimensional counterpart without diffusi...
IJAR
2002
13 years 9 months ago
2002
The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...
CCCG
2007
13 years 11 months ago
2007
Given a surface triangulation T of and a subset X of its vertex set V (T), we define a restricted edge contraction as a contraction of an edge connecting X and V (T)−X. Boundar...
EJC
2006
13 years 9 months ago
2006
Abstract. We show that the tree-width of a graph can be defined without reference to graph vertices, and hence the notion of tree-width can be naturally extended to matroids. (This...