Sciweavers

2612 search results - page 69 / 523
» Assemblies as Graph Processes
Sort
View
ISCAS
2005
IEEE
154views Hardware» more  ISCAS 2005»
15 years 10 months ago
Back propagation learning of neural networks with chaotically-selected affordable neurons
— Cell assembly is one of explanations of information processing in the brain, in which an information is represented by a firing space pattern of a group of plural neurons. On ...
Yoko Uwate, Yoshifumi Nishio
TPHOL
2000
IEEE
15 years 8 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
AAAI
1998
15 years 6 months ago
Bayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
Ingrid Zukerman, Richard McConachy, Kevin B. Korb
125
Voted
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 6 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
143
Voted
INLG
2010
Springer
15 years 2 months ago
'If you've heard it, you can say it' - Towards an Account of Expressibility
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
David McDonald, Charlie Greenbacker