131 search results - page 19 / 27 » Leftist Canonical Ordering |
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— The aim of this work is to analyze interval fuzzy S-implications and interval automorphisms. Starting from any fuzzy S-implication, it is shown how to obtain an interval fuzzy ...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
Recently, a lot of research has been conducted into the usefulness of gait for identification at a distance. Since the gait of a person is readily identified when extracted from...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
WAC
2004
Springer
14 years 3 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...