Sciweavers

2612 search results - page 69 / 523
» Assemblies as Graph Processes
Sort
View
ISCAS
2005
IEEE
154views Hardware» more  ISCAS 2005»
14 years 1 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
13 years 11 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
13 years 9 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
FBT
1998
129views Formal Methods» more  FBT 1998»
13 years 9 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
INLG
2010
Springer
13 years 5 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