Sciweavers

1984 search results - page 211 / 397
» The colourful feasibility problem
Sort
View
SCL
2008
113views more  SCL 2008»
15 years 6 months ago
Modular design of nonlinear observers for state and disturbance estimation
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...
Costas Kravaris, Georgios Savoglidis
RAS
2006
129views more  RAS 2006»
15 years 6 months ago
Self-reconfigurable M-TRAN structures and walker generation
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, A...
STTT
2008
134views more  STTT 2008»
15 years 6 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
INFSOF
2007
81views more  INFSOF 2007»
15 years 6 months ago
An infrastructure to support interoperability in reverse engineering
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
Nicholas A. Kraft, Brian A. Malloy, James F. Power
TFS
2008
103views more  TFS 2008»
15 years 6 months ago
Fuzzy Prediction Models in Measurement
The paper investigates a feasibility of fuzzy models application in measurement procedures. It considers the problem of measurement information fusion from different sources, when ...
Leon Reznik, Vladik Kreinovich