2.5k citations
- IBM Research - Thomas J. Watson Research CenterUS24 papers
- California Institute of TechnologyUS9 papers
- Vassar CollegeUS6 papers
- University of Illinois Urbana-ChampaignUS5 papers
- Carnegie Mellon UniversityUS4 papers
- Columbia UniversityUS4 papers
- Cornell UniversityUS4 papers
- University of BristolGB4 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- IBM Research - ZurichCH3 papers
- Kyoto UniversityJP3 papers
- Los Alamos National LaboratoryUS3 papers
5 papers · 1 filter
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
W. E. Walsh, M. P. Wellman
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple m…
SHOP2: An HTN Planning System
T. C. Au, O. Ilghami, U. Kuter +4
The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which…
Spot-Based Generations for Meta-Fibonacci Sequences
Barnaby Dalton, Mustazee Rahman, Stephen Tanny
For many meta-Fibonacci sequences it is possible to identify a partition of the sequence into successive intervals (sometimes called blocks) with the property that the sequence beh…
Pruned Continuous Haar Transform of 2D Polygonal Patterns with Application to VLSI Layouts
Robin Scheibler, Paul Hurley, Amina Chebira
We introduce an algorithm for the efficient computation of the continuous Haar transform of 2D patterns that can be described by polygons. These patterns are ubiquitous in VLSI pro…
Higher-order Rewriting for Executable Compiler Specifications
Kristoffer H. Rose
In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifical…