Sciweavers

1094 search results - page 78 / 219
» On Computing Explanations in Argumentation
Sort
View
EUC
2008
Springer
15 years 24 days ago
Performance Comparison of Techniques on Static Path Analysis of WCET
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge...
KER
2008
134views more  KER 2008»
14 years 11 months ago
A review of current defeasible reasoning implementations
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
Daniel Bryant, Paul J. Krause
BIRTHDAY
2010
Springer
14 years 10 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
SGAI
2009
Springer
15 years 5 months ago
Architectures by Design: The Iterative Development of an Integrated Intelligent Agent
In this paper we demonstrate how a design-based methodology can be used to iteratively produce designs for an information-processing architecture that integrates various intelligen...
Nick Hawes
IEEEICCI
2006
IEEE
15 years 5 months ago
User-centered Interactive Data Mining
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
Yan Zhao, Yaohua Chen, Yiyu Yao