3595 search results - page 494 / 719 » Roles of Program Extension |
155
click to vote
ENTCS
2007
15 years 5 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
157
click to vote
MP
2008
15 years 5 months ago
2008
Gomory mixed-integer (GMI) cuts generated from optimal simplex tableaus are known to be useful in solving mixed-integer programs. Further, it is well-known that GMI cuts can be de...
152
click to vote
EOR
2007
15 years 5 months ago
2007
Newton’s method is a basic tool in numerical analysis and numerous applications, including operations research and data mining. We survey the history of the method, its main ide...
133
click to vote
FMSD
2007
15 years 5 months ago
2007
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...
166
click to vote
TCS
2008
15 years 5 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...