2631 search results - page 323 / 527 » A Practical Method for the Sparse Resultant |
166
click to vote
ENTCS
2008
15 years 7 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
202
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Haplotypes extracted from human DNA can be used for gene mapping and other analysis of genetic patterns within and across populations. A fundamental problem is, howeve...
198
click to vote
COMGEO
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and ...
202
click to vote
JBI
2008
15 years 7 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
173
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Efficiently computing fast paths in large-scale dynamic road networks (where dynamic traffic information is known over a part of the network) is a practical problem faced by sever...