747 search results - page 108 / 150 » An Alternative Representation for QBF |
109
click to vote
ICDM
2007
IEEE
15 years 3 months ago
2007
IEEE
Many databases will not or can not be disclosed without strong guarantees that no sensitive information can be extracted. To address this concern several data perturbation techniq...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
118
click to vote
EUROCRYPT
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we study the application of the function field sieve algorithm for computing discrete logarithms over finite fields of the form Fqn when q is a medium-sized prime po...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...