8699 search results - page 22 / 1740 » Elements of the Theory of Computation |
PKC
2010
Springer
13 years 9 months ago
2010
Springer
ded abstract of this paper appears in 13th International Conference on Practice and Theory in Public Key Cryptography (PKC) 2010, Lecture Notes in Computer Science Vol. ?, P. Nguye...
TEC
2010
13 years 2 months ago
2010
in HTML. Full version in PDF. 08i YOGEV, O., SHAPIRO, A. A., AND ANTONSSON, E. K. Computational Evolutionary Embryogeny. IEEE Transactions on Evolutionary Computation. Accepted for...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for da...
MM
2005
ACM
14 years 1 months ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...