Search results

higher-order concurrent programs with dynamic resource creation 2016-12-21 Paper Temporal verification of higher-order functional programs 2016-10-24 Paper Verification...

1999-04-22 Paper A randomized linear-time algorithm to find minimum spanning trees 1998-02-02 Paper Dynamic trees as search trees via Euler tours, applied...

systems subject to multiple cyber attacks: a dynamic-memory event-triggered strategy 2024-01-05 Paper Robust dynamic output feedback stabilization for uncertain...

\(O(n^2\log^2 n)\) time algorithm for minmax regret minsum sink on path networks 2022-07-21 Paper Minmax regret 1-sink location problems on dynamic flow path networks...

Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Logic Programming 2005-08-26...

1963-01-01 Paper Assembly-Line Balancing—Dynamic Programming with Precedence Constraints 1963-01-01 Paper A Dynamic Programming Approach to Sequencing Problems...

expression, computation, and algorithm construction 2014-07-22 Paper Solving 0-1 knapsack problems based on amoeboid organism algorithm 2014-06-20 Paper On the...

Paper An exact algorithm for 0-1 polynomial Knapsack problems 2008-02-11 Paper A revised Taha's algorithm for polynomial 0-1 programming 2007-11-16 Paper...

with production 2019-06-20 Paper The notion of a rational convex program, and an algorithm for the Arrow-Debreu Nash bargaining game 2019-05-10 Paper Multiway...

cover of strings 2020-05-25 Paper Dynamic dictionary matching in the online model 2020-01-16 Paper A simple algorithm for approximating the text-to-pattern...

branch-and-cut algorithm for the vehicle routing problem with two-dimensional loading constraints 2022-05-20 Paper A hybrid dynamic programming -- Tabu search...

Times 1993-01-17 Paper Dynamic programming algorithm for a FMS scheduling problem 1993-01-16 Paper A Branch and Bound Algorithm for a Class of Asymmetrical...

second-order algorithm for continuous-time nonlinear optimal control problems 1986-01-01 Paper A successive quadratic programming algorithm with global...

longest path problems 2017-03-03 Paper A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW 2016-07-25 Paper The smart table constraint...

circuits 2019-01-31 Paper Combinatorial algorithm for restricted max-min fair allocation 2018-11-05 Paper Dynamic facility location via exponential clocks...

1995-04-03 Paper A knowledge-based approach to program synthesis from examples 1991-01-01 Paper Program transformation by solving equations 1991-01-01...

toolkit for AMPL control optimization 2014-10-06 Paper Adaptively refined dynamic program for linear spline regression 2014-09-26 Paper Mixed-integer nonlinear...

path semantics 2020-01-16 Paper Placing resources in a tree: dynamic and static algorithms 2019-01-10 Paper A new approach to optimal planning of robot...

exploring dynamic program locality with the instruction processing unit for filling memory gap 2002-10-27 Paper The parallel genetic algorithm embedded...

PARMA trailing 2007-02-13 Paper Logic Programming 2006-06-27 Paper Checking modes of HAL programs 2006-01-03 Paper Program Development in Computational Logic...