Sciweavers

8141 search results - page 156 / 1629
» Higher Order Generalization
Sort
View
110
Voted
TEI
2010
ACM
131views Hardware» more  TEI 2010»
15 years 10 months ago
SOPHYA: a system for digital management of ordered physical document collections
In recent years several systems have been developed to integrate the management of physical and digital documents and artefacts. These systems, which often rely on technologies su...
Matthew Jervis, Masood Masoodian
117
Voted
EOR
2006
81views more  EOR 2006»
15 years 3 months ago
Optimal and near-optimal policies for lost sales inventory models with at most one replenishment order outstanding
In this paper we use policy-iteration to explore the behaviour of optimal control policies for lost sales inventory models with the constraint that not more than one replenishment...
Roger M. Hill, Søren Glud Johansen
126
Voted
MOC
2011
14 years 10 months ago
Error estimates for Raviart-Thomas interpolation of any order on anisotropic tetrahedra
Abstract. We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizatio...
Gabriel Acosta, Thomas Apel, Ricardo G. Durá...
128
Voted
ECAI
2004
Springer
15 years 9 months ago
Soft Constraints with Partially Ordered Preferences
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
Nic Wilson
128
Voted
CSR
2008
Springer
15 years 5 months ago
Logic and Rational Languages of Words Indexed by Linear Orderings
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
Nicolas Bedon, Alexis Bès, Olivier Carton, ...