190 search results - page 24 / 38 » Isomorph-Free Exhaustive Generation |
156
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
200
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
159
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we discuss the efficient and accurate incorporation of texture maps into a hierarchical Galerkin radiosity algorithm. This extension of the standard algorithm allows...
160
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
161
click to vote
ACNS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Statistical Saturation Attacks have been introduced and applied to the block cipher PRESENT at CT-RSA 2009. In this paper, we consider their natural extensions. First, we...