1302 search results - page 190 / 261 » Soundness in the Public-Key Model |
IWFM
1998
15 years 1 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
117
click to vote
PTS
1998
15 years 1 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
IJCAI
1997
15 years 1 months ago
1997
Max and min operations have interesting properties that facilitate the exchange of information between the symbolic and real-valued domains. As such, neural networks that employ m...
AAAI
1994
15 years 1 months ago
1994
We de ne the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of goal propositions, a probability threshold, ...
EUROPAR
2010
Springer
15 years 29 days ago
2010
Springer
The bag-of-tasks application model, albeit simple, arises in many application domains and has received a lot of attention in the scheduling literature. Previous works propose eithe...