Sciweavers

1702 search results - page 77 / 341
» Doomed program points
Sort
View
COMPGEOM
1992
ACM
15 years 8 months ago
A Subexponential Bound for Linear Programming
We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected minfO(d 22dn); e 2 pdln(n= p d)+O( p d+lnn)g time in the unit ...
Jirí Matousek, Micha Sharir, Emo Welzl
GECCO
2006
Springer
144views Optimization» more  GECCO 2006»
15 years 8 months ago
Towards estimating nadir objective vector using evolutionary approaches
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...
Kalyanmoy Deb, Shamik Chaudhuri, Kaisa Miettinen
CC
2003
Springer
104views System Software» more  CC 2003»
15 years 10 months ago
The Interprocedural Express-Lane Transformation
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
David Melski, Thomas W. Reps
INAP
2001
Springer
15 years 9 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
LICS
1998
IEEE
15 years 9 months ago
The Horn Mu-calculus
The Horn
Witold Charatonik, David A. McAllester, Damian Niw...