5267 search results - page 91 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Stabilizability of linear time invariant networked systems of general structure is studied with an observer-based approach. In the assumption of piecewise constant controls an ...
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a new method for dealing with fuzzy group decision-making problems based on interval linguistic labels. We propose the interval linguistic labels ordered weight...
IFIP
1992
Springer
14 years 2 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
IPSN
2010
Springer
14 years 4 months ago
2010
Springer
Motion capture using wireless inertial measurement units (IMUs) has many advantages over other techniques. Achieving accurate tracking with IMUs presents a processing challenge, e...