Sciweavers

1509 search results - page 101 / 302
» Processing with cell assemblies
Sort
View
TPHOL
2000
IEEE
14 years 11 days 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 10 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 10 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 6 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
HAPTICS
2008
IEEE
14 years 3 months ago
Haptic Feedback Based on Physically Based Modeling for Cellular Manipulation Systems
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
Jungsik Kim, Farrokh Janabi-Sharifi, Jung Kim