3025 search results - page 474 / 605 » Automatic Programming of Robots Using Genetic Programming |
132
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
111
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
138
click to vote
TEX
2004
Springer
15 years 8 months ago
2004
Springer
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
102
Voted
CP
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
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...