2196 search results - page 255 / 440 » Practical Reasoning Using Values |
146
click to vote
INDOCRYPT
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
104
Voted
GIS
1998
ACM
15 years 1 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...
106
Voted
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
133
click to vote
KES
1999
Springer
15 years 6 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
121
click to vote
WOTUG
2008
15 years 3 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...