Sciweavers

204 search results - page 36 / 41
» Reasoning with Spider Diagrams
Sort
View
ICDS
2010
IEEE
14 years 25 days ago
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
Adolfo Villafiorita, Komminist Weldemariam, Angelo...
ECSQARU
2003
Springer
14 years 22 days ago
Decision Making Based on Sampled Disease Occurrence in Animal Herds
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
Michael Höhle, Erik Jørgensen
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
13 years 12 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
AAAI
2007
13 years 9 months ago
A Spectrum of Symbolic On-line Diagnosis Approaches
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
Anika Schumann, Yannick Pencolé, Sylvie Thi...
AVI
2004
13 years 9 months ago
Identification and validation of cognitive design principles for automated generation of assembly instructions
Designing effective instructions for everyday products is challenging. One reason is that designers lack a set of design principles for producing visually comprehensible and acces...
Julie Heiser, Doantam Phan, Maneesh Agrawala, Barb...