Sciweavers

3844 search results - page 15 / 769
» Modular interpreted systems
Sort
View
IWANN
1999
Springer
14 years 21 days ago
A Modular Attractor Model of Semantic Access
This paper presents results from lesion experiments on a modular attractor neural network model of semantic access. Real picture data forms the basis of perceptual input to the mod...
William Power, Ray J. Frank, D. John Done, Neil Da...
EM
2010
202views Management» more  EM 2010»
13 years 7 months ago
Modular Forms on Noncongruence Subgroups and Atkin-Swinnerton-Dyer Relations
We give an example of a noncongruence subgroup Γ ⊂ SL(2, Z) whose space of weight 3 cusp forms S3(Γ) admits a basis satisfying the Atkin-Swinnerton-Dyer congruence relations wi...
Liqun Fang, J. William Hoffman, Benjamin Linowitz,...
CASSIS
2005
Springer
14 years 2 months ago
Modular Proof Principles for Parameterised Concretizations
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
David Pichardie
ARITH
2005
IEEE
14 years 2 months ago
Arithmetic Operations in the Polynomial Modular Number System
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
Jean-Claude Bajard, Laurent Imbert, Thomas Plantar...
RR
2007
Springer
14 years 2 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi