2610 search results - page 345 / 522 » codes 2007 |
156
click to vote
ENTCS
2007
15 years 4 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
146
click to vote
FUIN
2007
15 years 4 months ago
2007
Intercodes are a generalization of comma-free codes. Using the structural properties of finite-state automata recognizing an intercode we develop a polynomial-time algorithm for d...
148
Voted
IEE
2007
15 years 4 months ago
2007
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
160
Voted
IJNSEC
2007
15 years 4 months ago
2007
Deniable authentication protocol is different from traditional authentication protocol in that the intended receiver can authenticate the source of a given message, but cannot pr...
106
click to vote
IJON
2007
15 years 4 months ago
2007
Neural reliability and stochastic synchronization are remarkable features of real neurons with important consequences for neural computation. Both phenomena are general properties...