1359 search results - page 54 / 272 » Black-Box Program Specialization |
OL
2011
12 years 11 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
The Robinson curriculum contains a novel approach to improve the engineering education, to enhance technological literacy of students from nonengineering fields and to increase in...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
LOPSTR
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
CP
1999
Springer
14 years 1 months ago
1999
Springer
Column generation is a state-of-the-art method for optimally solving di cult large-scale optimization problems such as airline crew assignment. We show how to apply column generati...