3913 search results - page 750 / 783 » complexity 2006 |
CMSB
2006
Springer
14 years 17 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
COLT
2006
Springer
14 years 17 days ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
CRYPTO
2006
Springer
14 years 15 days ago
2006
Springer
In a traditional signature scheme, a signature on a message m is issued under a public key PK, and can be interpreted as follows: "The owner of the public key PK and its corr...
CSR
2006
Springer
14 years 15 days ago
2006
Springer
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
DAS
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...