3625 search results - page 93 / 725 » On choosing |
139
click to vote
DLOG
2009
15 years 7 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...
139
click to vote
AML
2010
15 years 6 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
162
click to vote
APPML
2007
15 years 6 months ago
2007
We present a new strategy for choosing primal and dual steplengths in a primal-dual interior-point algorithm for convex quadratic programming. Current implementations often scale ...
117
click to vote
BIOINFORMATICS
2008
15 years 6 months ago
2008
The Summary Tree Explorer (STE) is a Java application for interactively exploring sets of phylogenetic trees using two coupled representations: a node-and-link diagram and a textu...
129
click to vote
CSDA
2008
15 years 6 months ago
2008
This paper presents a Bayesian spatial method for analysing the site index data from the Missouri Ozark Forest Ecosystem Project (MOFEP). Based on ecological background and availa...