2905 search results - page 56 / 581 » Formal Memetic Algorithms |
105
Voted
AICCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
113
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
90
Voted
IWFM
1998
15 years 2 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
78
Voted
COLING
1996
15 years 2 months ago
1996
This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alterna...
91
Voted
EACL
1989
ACL Anthology
15 years 2 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...