4126 search results - page 508 / 826 » Relationships with other Formalisms |
178
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
148
click to vote
EUROPKI
2007
Springer
16 years 26 days ago
2007
Springer
Millions of citizens around the world have already acquired their new electronic passport. The e-passport is equipped with contactless communication capability, as well as with a s...
172
click to vote
FROCOS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
189
click to vote
IBPRIA
2007
Springer
16 years 26 days ago
2007
Springer
This paper outlines a neural network model based on the Fuzzy Cognitive Maps (FCM) framework for solving the automatic image change detection problem. Each pixel in the reference i...
175
click to vote
ISW
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...