696 search results - page 72 / 140 » Explaining abstract counterexamples |
142
Voted
IICAI
2003
15 years 4 months ago
2003
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...
128
click to vote
WAE
2001
15 years 4 months ago
2001
Abstract. A new realization of a space-efficient deque is presented. The data structure is constructed from three singly resizable arrays, each of which is a blockwiseallocated pil...
121
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
115
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
One of the most interesting issues in the field of cultural heritage is the adoption of multimedia systems for the visualization and organization of information. In this paper we ...
140
click to vote
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...