5084 search results - page 144 / 1017 » Proving Possibility Properties |
164
click to vote
ASE
2005
15 years 5 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
156
click to vote
CONCUR
2006
Springer
15 years 9 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...
136
click to vote
DCC
2010
IEEE
16 years 15 days ago
2010
IEEE
Inspired by syndrome source coding using linear error-correcting codes, we explore a new form of measurement matrix for compressed sensing. The proposed matrix is constructed in t...
169
click to vote
AAECC
2008
Springer
15 years 5 months ago
2008
Springer
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...
149
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...