3166 search results - page 501 / 634 » Translation By Structural Correspondences |
113
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
93
Voted
CISC
2005
Springer
15 years 6 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
145
Voted
CPM
2005
Springer
15 years 6 months ago
2005
Springer
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
CSL
2005
Springer
15 years 6 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
102
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
As the logic capacity of FPGA increases, there has been a corresponding increase in the variety of FPGA building blocks. From a mere collection of the conventional logic blocks, F...