3552 search results - page 442 / 711 » Proof theory in the abstract |
167
click to vote
RP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Lossy counter machines (LCM’s) are a variant of Minsky counter machines based on weak (or unreliable) counters in the sense that they can decrease nondeterministically ...
195
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...
152
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
145
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
177
Voted
EUSFLAT
2009
15 years 4 months ago
2009
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...