7991 search results - page 60 / 1599 » Using More Reasoning to Improve |
110
click to vote
BPM
2008
Springer
15 years 1 months ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
HUC
2007
Springer
15 years 6 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
118
click to vote
ICIW
2008
IEEE
15 years 6 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
AAAI
2008
15 years 2 months ago
2008
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...
163
click to vote
FASE
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...