1929 search results - page 116 / 386 » A Problem Space Approach to Expert System Specification |
133
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
154
click to vote
PVLDB
2008
15 years 3 months ago
2008
The number of potentially-related data resources available for querying -- databases, data warehouses, virtual integrated schemas -continues to grow rapidly. Perhaps no area has s...
126
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
—A security pattern describes a particular recurring security problem that arises in specific contexts, and presents a well-proven generic solution for it [1]. This paper descri...
172
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
154
Voted
TKDE
2008
15 years 3 months ago
2008
We present a novel approach to the problem of the indoor localization in wireless environments. The main contribution of this paper is four folds: (a) We show that, by projecting t...