1912 search results - page 231 / 383 » On the evaluation of argumentation formalisms |
170
click to vote
IDEAS
2007
IEEE
16 years 22 days ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
165
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
204
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
184
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
177
click to vote
AIED
2007
Springer
16 years 19 days ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...