Sciweavers

2957 search results - page 206 / 592
» Processing Self Corrections
Sort
View
TPHOL
2000
IEEE
14 years 1 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
13 years 11 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»
13 years 11 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
13 years 11 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
13 years 11 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