Sciweavers

2957 search results - page 206 / 592
» Processing Self Corrections
Sort
View
124
Voted
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
BILDMED
2007
15 years 4 months ago
Projection Technique for Vortex-Free Image Registration
One important application of image processing in medicine is to register tissue samples onto another. Registering these highly textured images with non-parametric methods sometimes...
Patrick Scheibe, Ulf-Dietrich Braumann, Jens-Peer ...
LREC
2010
140views Education» more  LREC 2010»
15 years 4 months ago
Fine-grained Linguistic Evaluation of Question Answering Systems
Question answering systems are complex systems using natural language processing. Some evaluation campaigns are organized to evaluate such systems in order to propose a classifica...
Sarra El Ayari, Brigitte Grau, Anne-Laure Ligozat
AAAI
1998
15 years 4 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
WEBNET
1998
15 years 4 months ago
Interactive Music Instruction with Java Objects
: The Java Music Toolkit is a set of Java classes that can display and play musical scores. The classes are used in music courseware in which students hear problem sets and notate ...
Paul E. Dworak