Sciweavers

652 search results - page 99 / 131
» expert 2007
Sort
View
93
Voted
APSEC
2007
IEEE
15 years 4 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...
82
Voted
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 4 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
77
Voted
ECBS
2007
IEEE
144views Hardware» more  ECBS 2007»
15 years 4 months ago
DP-Miner: Design Pattern Discovery Using Matrix
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
Jing Dong, Dushyant S. Lad, Yajing Zhao
FUZZIEEE
2007
IEEE
15 years 4 months ago
Self-Fuzzification Method According to Typicality Correlation for Classification on Tiny Data Sets
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
Emmanuel Schmitt, Vincent Bombardier, Patrick Char...
FUZZIEEE
2007
IEEE
15 years 4 months ago
Using Orders of Magnitude and Nominal Variables to Construct Fuzzy Partitions
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
Cati Olmo, Germán Sánchez, Francesc ...