592 search results - page 84 / 119 » Analytical Tools for Natural Algorithms |
112
click to vote
ITICSE
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
116
click to vote
COCO
2005
Springer
15 years 7 months ago
2005
Springer
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
114
click to vote
KCAP
2003
ACM
15 years 6 months ago
2003
ACM
The explosive growth in the biomedical literature has made it difficult for researchers to keep up with advancements, even in their own narrow specializations. In addition, this c...
109
click to vote
COMPSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...