Sciweavers

15660 search results - page 210 / 3132
» The Unbalance of Set Systems
Sort
View
CORR
2008
Springer
95views Education» more  CORR 2008»
15 years 6 months ago
Some properties of the regular asynchronous systems
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
Serban E. Vlad
CDC
2009
IEEE
168views Control Systems» more  CDC 2009»
15 years 4 months ago
Cascade high gain observers for nonlinear systems with delayed output measurement
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...
Tarek Ahmed-Ali, Estelle Cherrier, Mohammed M'Saad
AI
2007
Springer
15 years 6 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne
278
Voted

Book
290views
17 years 4 months ago
Database System Concepts
A set of presentations that cover the book, which includes several topics such as relational database systems such as Relational Databases, Database Design, Object-Based Databases ...
Avi Silberschatz, Henry F. Korth, S. Sudarshan
CADE
2007
Springer
16 years 7 months ago
SRASS - A Semantic Relevance Axiom Selection System
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
Geoff Sutcliffe, Yury Puzis