1359 search results - page 58 / 272 » Black-Box Program Specialization |
JMLR
2006
13 years 8 months ago
2006
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
ORL
1998
13 years 8 months ago
1998
Crowder et al. (Oper. Res. 31 (1983) 803–834) conjectured that the separation problem for cover inequalities for binary integer programs is polynomially solvable. We show that t...
STVR
2002
13 years 8 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
PEPM
1994
ACM
14 years 24 days ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Machines might physically interact with humans more smoothly if we better understood the subtlety of humanhuman physical interaction. We recently reported that two people worki...