31387 search results - page 383 / 6278 » Abstracts |
123
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Despite the frequent use of the Lawrence ar
145
click to vote
ECEASST
2010
15 years 4 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
171
click to vote
SIAMCO
2010
15 years 1 months ago
2010
der abstract second order evolution equations with unbounded feedback with time-varying delay. Existence results are obtained under some realistic assumptions. We prove the expone...
171
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...