11716 search results - page 395 / 2344 » Computable symbolic dynamics |
150
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we analyze two general-purpose encoding types, trees and graphs systematically, focusing on trends over increasingly complex problems. Tree and graph encodings are ...
149
click to vote
RTA
2007
Springer
16 years 28 days ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
185
Voted
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
150
click to vote
CCA
2005
Springer
16 years 11 days ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...
213
click to vote
DIGRA
2005
Springer
16 years 11 days ago
2005
Springer
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...