573 search results - page 68 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
125
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Failure-Rate Minimization is becoming one of the major design issues in wireless sensor network (WSN) architecture due to multiple available Functional-units (FUs). There is a ...
128
Voted
AAAI
1990
15 years 4 months ago
1990
This paper presents a projection algorithm for incremental control rule synthesis. The algorithm synthesizes an initial set of goal-achieving control rules using a combination of ...
141
Voted
ICAT
2006
IEEE
15 years 9 months ago
2006
IEEE
The wireless sensor network based localization system—Cicada is designed to support the locationawareness in indoor environment. The system is based on TDOA (time difference of ...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
150
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...