3706 search results - page 149 / 742 » System Description: E-KRHyper |
APAL
2006
13 years 9 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
ENGL
2007
13 years 9 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
CORR
2009
Springer
13 years 7 months ago
2009
Springer
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...