3457 search results - page 449 / 692 » A Symbol Is Not a Symbol |
149
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates L-system evolution through experiments with a simulation platform of virtual plants. The conducted simulations vary the occurrence probability of terminal ...
196
click to vote
ICGI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this article, we propose the use of suffix arrays to efficiently implement n-gram language models with practically unlimited size n. This approach, which is used with ...
196
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
199
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
172
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...