Sciweavers

1509 search results - page 101 / 302
» Processing with cell assemblies
Sort
View
TPHOL
2000
IEEE
15 years 6 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 3 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»
15 years 3 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
121
Voted
INLG
2010
Springer
15 years 15 days 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
138
Voted
HAPTICS
2008
IEEE
15 years 9 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