3706 search results - page 147 / 742 » OntoComP System Description |
153
Voted
APAL
2006
15 years 5 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...
115
Voted
ENGL
2007
15 years 5 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...
126
Voted
DATE
2009
IEEE
15 years 11 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...
118
Voted
IAT
2009
IEEE
15 years 11 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...
124
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Peer-to-peer file-sharing systems suffer from the overspecification of query results due to the fact that queries are conjunctive and the descriptions of shared files are sparse. ...