7167 search results - page 1044 / 1434 » Answer Set Programming |
109
click to vote
HOTOS
1999
IEEE
15 years 8 months ago
1999
IEEE
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
117
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
136
click to vote
ECAL
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
172
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a novel application for Aspect-Oriented Programming (AOP). By combining the concepts of Business Process Management and AOP, we present an approach for enabli...
137
Voted
EUROGP
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we describe how the Stepwise Adaptation of Weights (saw) technique can be applied in genetic programming. The saw-ing mechanism has been originally developed for and ...