13271 search results - page 442 / 2655 » Computers, Programming, and People |
180
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
160
click to vote
FOCS
1991
IEEE
15 years 10 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
215
click to vote
IAJIT
2011
15 years 1 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
204
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...