7988 search results - page 1081 / 1598 » A Useful Undecidable Theory |
222
click to vote
FASE
2005
Springer
16 years 22 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
194
click to vote
FC
2005
Springer
16 years 22 days ago
2005
Springer
Approximate Message Authentication Code (AMAC) is a recently introduced cryptographic primitive with several applications in the areas of cryptography and coding theory. Briefly s...
204
click to vote
FOSSACS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
185
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
The three mechanisms of crossover are transmission, assortment, and respect. Of these three mechanisms, assortment (i.e. recombination) is traditionally viewed as the primary feat...
169
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...