984 search results - page 80 / 197 » ideas 2010 |
131
click to vote
WRLA
2010
15 years 3 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
122
click to vote
APJOR
2010
15 years 2 months ago
2010
This paper provides a fast and accurate randomization algorithm for valuing American puts and calls on dividend-paying stocks and their early exercise boundaries. The primal focus...
164
click to vote
FMAM
2010
15 years 2 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
144
Voted
IGARSS
2010
15 years 2 months ago
2010
In this paper, we investigate the use of the watershed transformation for integrating spatial and spectral information in the process of endmember extraction for spectral unmixing...
138
Voted
ICOODB
2009
15 years 2 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...