Sciweavers

5200 search results - page 97 / 1040
» Symbolic models for control systems
Sort
View
LOGCOM
2002
85views more  LOGCOM 2002»
13 years 8 months ago
Fibring Labelled Deduction Systems
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
João Rasga, Amílcar Sernadas, Cristi...
INFORMATICALT
2007
95views more  INFORMATICALT 2007»
13 years 8 months ago
Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
Baghdad Atmani, Bouziane Beldjilali
IKE
2003
13 years 10 months ago
Access Control System Using Web Services for XML Messaging Systems
We describe the design of an Access Control System using Web Services for information and content management. In this paper we described the solution for control mechanism of the ...
Ali Kaplan, Ahmet E. Topcu, Marlon E. Pierce, Geof...
SCL
2010
95views more  SCL 2010»
13 years 7 months ago
Is measurement-based feedback still better for quantum control systems?
In this paper, we put forward a fundamental question concerning feedback control of quantum systems: Is measurement-based feedback control still better than openloop control? In c...
Bo Qi, Lei Guo
HYBRID
2001
Springer
14 years 1 months ago
Hybrid Modeling of TCP Congestion Control
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
João P. Hespanha, Stephan Bohacek, Katia Ob...