2598 search results - page 355 / 520 » The Abstract Immune System Algorithm |
106
Voted
GD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
115
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
158
Voted
ICCPOL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
128
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
137
Voted
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...