1686 search results - page 113 / 338 » Higher Order Deforestation |
134
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...
120
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
: We describe a new pipeline for computing non-bonded forces and its integration into the ProtoMol molecular dynamics (MD) code. There are several innovations: a novel interpolatio...
127
click to vote
BTW
2005
Springer
15 years 9 months ago
2005
Springer
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...
101
click to vote
TPHOL
1992
IEEE
15 years 8 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
115
click to vote
ORL
2008
15 years 4 months ago
2008
For general law invariant coherent measures of risk, we derive an equivalent representation of a risk-averse newsvendor problem as a meanrisk model. We prove that the higher the w...