Sciweavers

4987 search results - page 444 / 998
» Fuzzifying P Systems
Sort
View
DSN
2002
IEEE
15 years 12 months ago
Time-Constrained Failure Diagnosis in Distributed Embedded Systems
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
Nagarajan Kandasamy, John P. Hayes, Brian T. Murra...
WACV
2002
IEEE
15 years 12 months ago
Development and Analysis of a Real-Time Human Motion Tracking System
This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
Jason P. Luck, Christian Debrunner, William Hoff, ...
DSN
2000
IEEE
15 years 11 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
HT
1998
ACM
15 years 11 months ago
Evaluation of Hypermedia Application Development and Management Systems
In this paper we propose and study a framework for evaluating Hypermedia Application Development and Management Systems (HADMS) in relation to specific application requirements. W...
Sotiris P. Christodoulou, Georgios D. Styliaras, T...
FUZZIEEE
2007
IEEE
15 years 11 months ago
A System for Querying with Qualitative Distances in Networks
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
Carl P. L. Schultz, Hans W. Guesgen, Robert Amor