Sciweavers

2297 search results - page 145 / 460
» An Algorithm for Computing the Integral Closure
Sort
View
ACL
2011
14 years 6 months ago
Terminal-Aware Synchronous Binarization
We present an SCFG binarization algorithm that combines the strengths of early terminal matching on the source language side and early language model integration on the target lan...
Licheng Fang, Tagyoung Chung, Daniel Gildea
ARITH
1999
IEEE
15 years 6 months ago
Multiplications of Floating Point Expansions
In modern computers, the floating point unit is the part of the processor delivering the highest computing power and getting most attention from the design team. Performance of an...
Marc Daumas
GI
2007
Springer
15 years 8 months ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
CA
2000
IEEE
15 years 6 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
123
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
ArtDefo: Accurate Real Time Deformable Objects
We present an algorithm for fast, physically accurate simulation of deformable objects suitable for real time animation and virtual environment interaction. We describe the bounda...
Doug L. James, Dinesh K. Pai