Sciweavers

18 search results - page 1 / 4
» asian 2004
Sort
View
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
13 years 10 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
BIOINFORMATICS
2004
101views more  BIOINFORMATICS 2004»
13 years 4 months ago
ASIAN: a website for network inference
Sachiyo Aburatani, Kousuke Goto, Shigeru Saito, Ma...
SODA
2004
ACM
102views Algorithms» more  SODA 2004»
13 years 6 months ago
An exact subexponential-time lattice algorithm for Asian options
Asian options are path-dependent derivatives. How to price them efficiently and accurately has been a longstanding research and practical problem. Asian options can be priced on t...
Tian-Shyr Dai, Yuh-Dauh Lyuu
ASIAN
2004
Springer
78views Algorithms» more  ASIAN 2004»
13 years 10 months ago
A Simple Theory of Expressions, Judgments and Derivations
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...
Masahiko Sato
ASIAN
2004
Springer
73views Algorithms» more  ASIAN 2004»
13 years 10 months ago
Towards Flexible Graphical Communication Using Adaptive Diagrams
Abstract. Unlike today where the majority of diagrams are static, lifeless objects reflecting their origin in print media, the computer of the near future will provide more flexi...
Kim Marriott, Bernd Meyer, Peter J. Stuckey