5624 search results - page 965 / 1125 » On Conditional Covering Problem |
90
Voted
ENTCS
2008
15 years 24 days ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
76
Voted
AUTOMATICA
2006
15 years 24 days ago
2006
In this paper, optimal control of linear time-invariant (LTI) systems over unreliable communication links is studied. The motivation of the problem comes from growing applications...
74
Voted
AUTOMATICA
2006
15 years 24 days ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
BMCBI
2006
15 years 24 days ago
2006
Background: Neuronal communication is tightly regulated in time and in space. The neuronal transmission takes place in the nerve terminal, at a specialized structure called the sy...
120
Voted
IANDC
2008
15 years 24 days ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...