1057 search results - page 77 / 212 » Testing from Formal Specifications, a Generic Approach |
131
Voted
AAAI
1994
15 years 4 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
129
Voted
CAIP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
109
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
182
click to vote
CPAIOR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of pra...
144
Voted
INFORMATICALT
2000
15 years 3 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...