6881 search results - page 91 / 1377 » Motivation |
194
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent x belongs to a set known to the attacker. The complexity of generic algorithms f...
134
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
108
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper a computational simulation of the imitation of intentional behaviour is presented. Important assumptions which make the problem computationally tractable are introduc...
155
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a novel active learning strategy based on the compression framework of [9] for label ranking functions which, given an input instance, predict a total order ov...
162
click to vote
RTA
1995
Springer
15 years 10 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...