Sciweavers

2864 search results - page 235 / 573
» Constraint Programming in OPL
Sort
View
IJCNN
2006
IEEE
15 years 7 months ago
Learning to Rank by Maximizing AUC with Linear Programming
— Area Under the ROC Curve (AUC) is often used to evaluate ranking performance in binary classification problems. Several researchers have approached AUC optimization by approxi...
Kaan Ataman, W. Nick Street, Yi Zhang
COMPSAC
2005
IEEE
15 years 6 months ago
Goal-Oriented Test Data Generation for Programs with Pointer Variables
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
SIGOPSE
2004
ACM
15 years 6 months ago
Using virtual markets to program global behavior in sensor networks
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
Geoffrey Mainland, Laura Kang, Sébastien La...
ECWEB
2003
Springer
104views ECommerce» more  ECWEB 2003»
15 years 6 months ago
e-Procurement Using Goal Programming
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
S. Kameshwaran, Y. Narahari
FLOPS
1999
Springer
15 years 5 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer