Sciweavers

4126 search results - page 227 / 826
» Set based logic programming
Sort
View
232
Voted
ISOOMS
1994
15 years 11 months ago
Testing of Object-Oriented Programming Systems (OOPS): A Fault-Based Approach
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
Jane Huffman Hayes
PODC
1995
ACM
15 years 10 months ago
Knowledge-Based Programs
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
AAAI
2010
15 years 8 months ago
Trial-Based Dynamic Programming for Multi-Agent Planning
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
FSKD
2005
Springer
94views Fuzzy Logic» more  FSKD 2005»
16 years 16 days ago
Incremental Target Recognition Algorithm Based on Improved Discernibility Matrix
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan
ICCS
2004
Springer
16 years 11 days ago
Evaluating the Performance of Skeleton-Based High Level Parallel Programs
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hi...