Stem plan$ (all stems)

743 papers:

QoSA-2015-RostamiSHR #architecture #assessment

Architecture-based Assessment and Planning of Change Requests (KR, JS, RH, RHR), pp. 21–30.

CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling

A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.

CASE-2015-BeyerYABGW #adaptation #flexibility

Flexible agent-based planning and adaptation of material handling systems (TB, RY, SA, MB, PG, KHW), pp. 1060–1065.

CASE-2015-BjorkenstamCL

Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.

CASE-2015-KaoLJ #mobile

Application of potential field method and optimal path planning to mobile robot control (CCK, CML, JGJ), pp. 1552–1554.

CASE-2015-LaskeyMMPPBKAG #2d #modelling #multi #nondeterminism

Multi-armed bandit models for 2D grasp planning with uncertainty (ML, JM, ZM, FTP, SP, JPvdB, DK, PA, KG), pp. 572–579.

CASE-2015-LeeC #big data

Aggregate production planning with small data in TFT-LCD manufacturing (CYL, MCC), pp. 647–648.

CASE-2015-LuSJSX #approach #multi #nondeterminism #programming

A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.

CASE-2015-LyuWC #algorithm #heuristic #integer #programming

Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.

CASE-2015-MillerM #locality #using

Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.

CASE-2015-NelaturiB0K #automation

Automatic spatial planning for machining operations (SN, GB, CF, TK), pp. 677–682.

CASE-2015-QiuZL #modelling

Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.

CASE-2015-SchletteR #assembly

Utilization of motion planning strategies for micro-optical assembly (CS, JR), pp. 781–786.

CASE-2015-ShiK #realtime

Real-time grasping planning for robotic bin-picking and kitting applications (JS, GSK), pp. 1632–1637.

CASE-2015-ShiLGS #problem

Production planning for a class of batch processing problem (ZS, PL, HG, LS), pp. 1188–1193.

CASE-2015-ThomasSR #assembly #flexibility #sequence

Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.

CASE-2015-YuYS #multi

Motion planning and manipulation of multiple nanowires simultaneouly under electric-fields in fluid suspension (KY, JY, JS), pp. 489–494.

CASE-2015-ZhaoLH #estimation #flexibility #performance #problem

Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.

DAC-2015-XuYGHP #named #self

PARR: pin access planning and regular routing for self-aligned double patterning (XX, BY, JRG, CLH, DZP), p. 6.

SIGMOD-2015-PerelmanR #compilation #named #query #worst-case

DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.

SIGMOD-2015-ScheibliDB #3d #distributed #interactive #named #query #visualisation

QE3D: Interactive Visualization and Exploration of Complex, Distributed Query Plans (DS, CD, AB), pp. 877–881.

SIGMOD-2015-SheT0 #social

Utility-Aware Social Event-Participant Planning (JS, YT, LC), pp. 1629–1643.

SIGMOD-2015-TuR #named #query #using

DunceCap: Query Plans Using Generalized Hypertree Decompositions (ST, CR), pp. 2077–2078.

SIGMOD-2015-WangLYXZ #approach #network #performance

Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.

PLDI-2015-PrountzosMP #automation #graph #parallel #source code

Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.

SEFM-2015-KnapikNP #generative #order

Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.

SEFM-2015-SukkerdGS #cyber-physical

Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.

CHI-2015-AmirGGSS #coordination

From Care Plans to Care Coordination: Opportunities for Computer Support of Teamwork in Complex Healthcare (OA, BJG, KZG, SMS, LMS), pp. 1419–1428.

CHI-2015-AsenieroWLRTC #named #release planning #using #visualisation

STRATOS: Using Visualization to Support Decisions in Strategic Software Release Planning (BAA, TW, DL, GR, AT, SC), pp. 1479–1488.

CSCW-2015-DantecAMW #crowdsourcing #representation

Planning with Crowdsourced Data: Rhetoric and Representation in Transportation Planning (CALD, MA, AM, KEW), pp. 1717–1727.

CSCW-2015-HeymanA

Computer Support for Financial Advisors and Their Clients: Co-creating an Investment Plan (SH, HA), pp. 1313–1323.

CSCW-2015-RedaelliC #coordination

Coordination-Artifacts Suiting: When Plans are in the Midst of Ordering Systems (IR, AC), pp. 165–178.

HIMI-IKD-2015-BelyiPRM #multi

A Multi-agent Based System for Route Planning (EB, IP, AR, VM), pp. 500–512.

HIMI-IKD-2015-YamamotoYKTK

Proposal of Advance Care Planning Support System (SY, TY, CK, MT, TK), pp. 560–568.

ICEIS-v1-2015-BorgesDRAS #approach #generative #using

An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.

ICEIS-v2-2015-GlocknerML #evaluation #process

Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.

ICEIS-v3-2015-AldeaIHQF #implementation #motivation

Capability-based Planning with ArchiMate — Linking Motivation to Implementation (AA, MEI, JvH, DACQ, HMF), pp. 352–359.

ICEIS-v3-2015-GhezziCRB #agile #approach #case study #comparative #design #mobile #performance

A Comparative Study on the Impact of Business Model Design & Lean Startup Approach versus Traditional Business Plan on Mobile Startups Performance (AG, AC, AR, RB), pp. 196–203.

ICML-2015-VanseijenS #learning

A Deeper Look at Planning as Learning from Replay (HV, RS), pp. 2314–2322.

RecSys-2015-ElsweilerH #automation #recommendation #towards

Towards Automatic Meal Plan Recommendations for Balanced Nutrition (DE, MH), pp. 313–316.

RecSys-2015-HarveyE #automation #personalisation #recommendation

Automated Recommendation of Healthy, Personalised Meal Plans (MH, DE), pp. 327–328.

SEKE-2015-TunnellA #fault #modelling #predict #release planning #using

Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.

ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using

Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.

ICMT-J-2012-VarroDWS15 #algorithm #emf #generative #modelling #pattern matching

An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.

PPDP-2015-BartakDZ #logic programming #modelling #on the #problem

On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.

PADL-2015-BassedaK #logic #transaction #using

State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.

SAC-2015-BorgesDSEAS #approach #performance #reasoning #reuse #using

Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.

SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self

Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.

ICSE-v2-2015-Gil #adaptation #automation #self

Automated Planning for Self-Adaptive Systems (RG), pp. 839–842.

HPDC-2015-KlusacekCR #optimisation

Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.

ICLP-J-2015-ZhouBD #logic programming

Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.

CBSE-2014-BenedittoW #configuration management #runtime #using

Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.

ASE-2014-Mohr #automation #composition

Issues of automated software composition in AI planning (FM), pp. 895–898.

CASE-2014-FeyzabadiC #markov #process #using

Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.

CASE-2014-GargSYPCHPAG #analysis #automation #reachability

Exact reachability analysis for planning skew-line needle arrangements for automated brachytherapy (AG, TS, GY, SP, JAMC, ICH, JP, AA, KYG), pp. 524–531.

CASE-2014-HuangCM #optimisation

Motion planning of a 7-axis robot manipulator via Modified Tension Spline and convex optimization (SH, HHC, AGM), pp. 1278–1283.

CASE-2014-LeeHH

Lifting motion planning for humanoid robots (HyL, HPH, HKH), pp. 1174–1179.

CASE-2014-LiuXL #approximate #capacity

A queuing approximation method for capacity planning of emergency department with time-varying demand (QL, XX, RL), pp. 558–563.

CASE-2014-LiXG #approach #capacity

A queuing approach for radiotherapy treatment capacity planning (SL, XX, NG), pp. 540–545.

CASE-2014-RahmanCBM #approach #assessment #safety

Ex-ante assessment of struck-by safety hazards in construction projects: A motion-planning approach (MMR, TC, LB, AM), pp. 277–282.

CASE-2014-SivaramakumarJ #nondeterminism

Production planning with uncertain demands and real options (GRS, SJ), pp. 671–676.

CASE-2014-TrikiGX #approach #health

A two-phase approach for periodic home health care planning (NT, TG, XX), pp. 518–523.

CASE-2014-WangC #coordination

Coordination mechanisms for planning of hydro-thermal subsystem (JW, XC), pp. 345–350.

CASE-2014-WantiaLR #approach #industrial

Symbolic planning for industrial applications — the eRobotics approach (NW, DL, JR), pp. 367–372.

CASE-2014-XuLYM #integer #probability #programming

A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.

DATE-2014-LiuCW

Metal layer planning for silicon interposers with consideration of routability and manufacturing cost (WHL, TKC, TCW), pp. 1–6.

DATE-2014-WangFOT #3d #reduction

P/G TSV planning for IR-drop reduction in 3D-ICs (SW, FF, FO, MBT), pp. 1–6.

PODS-2014-BenediktCT #generative #low cost #proving

Generating low-cost plans from proofs (MB, BtC, ET), pp. 200–211.

SIGMOD-2014-DuttH #estimation #query

Plan bouquets: query processing without selectivity estimation (AD, JRH), pp. 1039–1050.

VLDB-2014-ChaPSKRL

Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.

VLDB-2015-GicevaARH14 #deployment #multi #query

Deployment of Query Plans on Multicores (JG, GA, TR, TH), pp. 233–244.

GRAPHITE-2014-SenniS #knowledge base #reduction

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.

GRAPHITE-2014-Ziegert #abstraction #graph transformation

Graph Transformation Planning via Abstraction (SZ), pp. 71–83.

CHI-2014-KnowlesBCL #human-computer

Rethinking plan A for sustainable HCI (BK, LB, PC, ML), pp. 3593–3596.

CHI-2014-OlafsdottirTA #interactive #multi

Prospective motor control on tabletops: planning grasp for multitouch interaction (HBO, TT, CA), pp. 2893–2902.

CHI-2014-PschetzYE #named

TurningPoint: narrative-driven presentation planning (LP, KY, DE), pp. 1591–1594.

CSCW-2014-Rooksby #question

Can plans and situated actions be replicated? (JR), pp. 603–614.

CSCW-2014-SteinhardtJ #collaboration

Reconciling rhythms: plans and temporal alignment in collaborative scientific work (SBS, SJJ), pp. 134–145.

HCI-AS-2014-WienkenMHK

Model of Mobility Oriented Agenda Planning (TW, CM, SH, HK), pp. 537–544.

CAiSE-2014-VlaanderenDB #incremental

Finding Optimal Plans for Incremental Method Engineering (KV, FD, SB), pp. 640–655.

ICEIS-v2-2014-HaoH #bibliography #enterprise

Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.

ICEIS-v3-2014-RamosV #agile #architecture #development #enterprise

Extreme Enterprise Architecture Planning (XEAP) — Extrapolating Agile Characteristics to the Development of Enterprise Architectures (HR, AV), pp. 376–383.

CIKM-2014-HsiehL #mining

Mining and Planning Time-aware Routes from Check-in Data (HPH, CTL), pp. 481–490.

CIKM-2014-KimC14a #named #query

TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans (MK, KSC), pp. 2039–2041.

ICML-c1-2014-ZhangHL #heuristic #performance

Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.

KDD-2014-BeckmanBCLMS #named #pervasive #web

ISIS: a networked-epidemiology based pervasive web app for infectious disease pandemic planning and response (RJB, KRB, JC, BL, MVM, PES), pp. 1847–1856.

KDIR-2014-LinDDG #data analysis

Data Analytics for Power Utility Storm Planning (LL, AD, DD, SSG), pp. 308–314.

KEOD-2014-MinhasB #information management #ontology

Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.

KEOD-2014-WicklerCM #information management #modelling #named

KEWI — A Knowledge Engineering Tool for Modelling AI Planning Tasks (GW, LC, TLM), pp. 36–47.

KMIS-2014-SerranoRHCFAFSM

Improved Business Intelligence Solution with Reimbursement Tracking System for the Brazilian Ministry of Planning, Budget and Management (AMRS, PHBR, RCH, JPCLdC, EPdF, VLdA, AAF, RTdSJ, MAMM, BHAP), pp. 434–440.

KR-2014-BaierMM #problem

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).

KR-2014-MarrellaMS #adaptation #calculus #named #process

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).

KR-2014-SiderisD #heuristic #optimisation

Heuristic Guided Optimization for Propositional Planning (AS, YD).

SEKE-2014-NetoC #identification

Identifying Threats to Validity and Control Actions in the Planning Stages of Controlled Experiments (AAN, TC), pp. 256–261.

SAC-2014-LaurentBBG #declarative #process

Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.

SAC-2014-RamosV #architecture #enterprise

eXtreme enterprise architecture planning (HR, AV), pp. 1417–1419.

ICLP-J-2014-BartakZ #logic programming #problem #using

Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.

ICTSS-2014-WotawaB #automation #exclamation #security #testing

Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.

ASE-2013-BarnesPG #architecture #automation #evolution

Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.

ASE-2013-Frank #automation #challenge #validation #verification

The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.

CASE-2013-AlfonsoAX

Tactical planning of bloodmobile collection systems (EA, VA, XX), pp. 26–31.

CASE-2013-AlKhazrajiSDK #modelling

Information modeling to incorporate sustainability into production plans (QYA, CS, TD, SK), pp. 516–521.

CASE-2013-GaoZS #evaluation #probability

Evaluation of improvement probability for IMRT plans (SG, XZ, LS), pp. 474–479.

CASE-2013-NourzadehM #metric #multi #robust #visual notation

Robust visual measurement planning in multi-robot systems (HN, JEM), pp. 176–182.

CASE-2013-NourzadehM13a #constraints

Integrated planning of constraint sensor management and patrolling (HN, JEM), pp. 837–843.

CASE-2013-RoyS #constraints #generative #process

Generative process planning with environmental constraints (UR, SS), pp. 534–539.

CASE-2013-SeoYK #assembly #composition

Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.

CASE-2013-SunSSZS #heuristic #optimisation

A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.

CASE-2013-SunSZS #approach #optimisation

A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.

CASE-2013-YuLYS

Electrophoresis-based motion planning and control of a nanowire in fluid suspension (KY, XL, JY, JS), pp. 819–824.

DAC-2013-HoC #multi

Multiple chip planning for chip-interposer codesign (YKH, YWC), p. 6.

DAC-2013-YuYGP #named

E-BLOW: e-beam lithography overlapping aware stencil planning for MCC system (BY, KY, JRG, DZP), p. 7.

DATE-2013-WeiLSHAS #design #effectiveness #named

CATALYST: planning layer directives for effective design closure (YW, ZL, CCNS, SH, CJA, SSS), pp. 1873–1878.

HT-2013-Kolb #adaptation #hypermedia

Adaptive hypertext narrative as city planning (DK), pp. 184–188.

ICDAR-2013-FleuryGLAJ #architecture #design #interactive #recognition

User-Centered Design of an Interactive Off-Line Handwritten Architectural Floor Plan Recognition (SF, AG, AL, ÉA, EJ), pp. 1073–1077.

ICDAR-2013-HerasFVLS #architecture #detection

Unsupervised Wall Detector in Architectural Floor Plans (LPdlH, DFM, EV, JL, GS), pp. 1245–1249.

ICDAR-2013-StammLD #analysis #approach #documentation #multi #partial order

Continuous Partial-Order Planning for Multichannel Document Analysis: A Process-Driven Approach (KS, ML, AD), pp. 626–630.

VLDB-2013-0002LW #interactive #named

IPS: An Interactive Package Configuration System for Trip Planning (MX, LVSL, PTW), pp. 1362–1365.

VLDB-2013-KaplanLMN #query

Answering Planning Queries with the Crowd (HK, IL, TM, SN), pp. 697–708.

CSEET-2013-StettinaZBK #education #re-engineering #towards

Academic education of software engineering practices: towards planning and improving capstone courses based upon intensive coaching and team routines (CJS, ZZ, TB, BRK), pp. 169–178.

ICSM-2013-Perez #design #lessons learnt #refactoring #smell #summary

Refactoring Planning for Design Smell Correction: Summary, Opportunities and Lessons Learned (JP), pp. 572–577.

CSCW-2013-AliSN #sequence

Photographer paths: sequence alignment of geotagged photos for exploration-based route planning (AEA, SNAvS, FN), pp. 985–994.

DHM-HB-2013-IllmannFLBD

Application and Future Developments of EMA in Digital Production Planning and Ergonomics (BI, LF, WL, SB, MD), pp. 66–75.

DUXU-WM-2013-SchneidermeierMS #approach #communication #concept

Human-Centered Communication Planning: A Conceptual Approach (TS, FM, JS), pp. 94–102.

HCI-UC-2013-Herberhold #enterprise #interactive #resource management

Interaction between Enterprise Resource Planning Systems and Organizational Culture (CH), pp. 381–387.

HCI-UC-2013-KraftT #enterprise #resource management #semantics

Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.

HCI-UC-2013-YangRV #industrial #interactive

Principled Ways of Finding, Analysing and Planning for Communicative Overhead in Interaction Technology for Fashion Industry (JY, SR, SV), pp. 484–491.

HIMI-HSM-2013-DamrongratKI #multi #ontology #representation #simulation #using

Increasing Situational Awareness of Indoor Emergency Simulation Using Multilayered Ontology-Based Floor Plan Representation (CD, HK, MI), pp. 39–45.

HIMI-LCCB-2013-HadhrawiNAS #collaboration #framework #interface #named

CoPI: A Web-Based Collaborative Planning Interface Platform (MKH, MN, AA, AS), pp. 287–296.

HIMI-LCCB-2013-Sun13a #metric #research #visual notation

Research on the Measurement of Product Sales with Relation to Visual Planning for Commercial Websites (CYS), pp. 540–545.

CAiSE-2013-RamirezBVW #generative #multi #process

Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.

ICEIS-J-2013-DiefenthalerB13a #architecture #enterprise

From Gaps to Transformation Paths in Enterprise Architecture Planning (PD, BB), pp. 474–489.

ICEIS-v1-2013-AlvesL #problem

Solving Planning Problems with LRTA* (RMFA, CRL), pp. 475–481.

ICEIS-v1-2013-FeldmanSCA #enterprise #resource management

Enterprise Resource Planning Systems — Streamlining Upgrade Decisions (GF, HS, CC, AA), pp. 128–135.

ICEIS-v1-2013-Santibanez-GonzalezM #network #novel

A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network — Theoretical and Computational Results (EDRSG, NM), pp. 570–577.

ICEIS-v2-2013-IzurietaG #capacity #in the cloud

Impressionism in Cloud Computing — A Position Paper on Capacity Planning in Cloud Computing Environments (ICI, CFRG), pp. 333–338.

ICEIS-v2-2013-KandjaniMAS #concept #framework #information management

A Conceptual Framework to Classify Strategic Information Systems Planning Methodologies (HK, AM, AEA, RS), pp. 190–196.

CIKM-2013-BrilhanteMNPR

Where shall we go today?: planning touristic tours with tripbuilder (IRB, JAFdM, FMN, RP, CR), pp. 757–762.

ICML-c3-2013-SeijenS

Planning by Prioritized Sweeping with Small Backups (HvS, RSS), pp. 361–369.

KDIR-KMIS-2013-TangC #multi

Knowledge Presentation based on Multi-dimension Model for Measuring Planning in Digital Manufacturing (XT, ZC), pp. 67–73.

KEOD-2013-JiC

From Structured Task Instructions to Robot Task Plans (JJ, XC), pp. 237–244.

KEOD-2013-NiewiadomskiP #ontology #smt #towards

Towards SMT-based Abstract Planning in PlanICS Ontology (AN, WP), pp. 123–131.

RecSys-2013-SavirBS #recommendation

Recommending improved configurations for complex objects with an application in travel planning (AS, RIB, GS), pp. 391–394.

SEKE-2013-AlamRP

Decision Support for Re-planning of Software Product Releases (S) (SMDAA, GR, DP), pp. 89–94.

SIGIR-2013-SchallerHE #distributed #recommendation #visitor

RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.

OOPSLA-2013-MitchellS #capacity #on the fly

On-the-fly capacity planning (NM, PFS), pp. 849–866.

POPL-2013-DemangeLZJPV #java #memory management

Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.

REFSQ-2013-Zorn-PauliPBKR #case study #industrial #process #release planning

Analyzing an Industrial Strategic Release Planning Process — A Case Study at Roche Diagnostics (GZP, BP, TB, HK, GR), pp. 269–284.

ICSE-2013-FerrucciHRS #multi #re-engineering

Not going to take this anymore: multi-objective overtime planning for software engineering projects (FF, MH, JR, FS), pp. 462–471.

ICSE-2013-SykesCMKRI #adaptation #learning #modelling

Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.

SPLC-2013-ChastekM #product line

Production planning in a software product line organization (GJC, JDM), p. 281.

ICLP-J-2013-ErdemPSSU #approach #multi

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach (EE, VP, ZGS, PS, TU), pp. 831–846.

WICSA-ECSA-2012-KeulerKNR #architecture #framework #re-engineering #towards

Architecture Engagement Purposes: Towards a Framework for Planning “Just Enough”-Architecting in Software Engineering (TK, JK, MN, DR), pp. 234–238.

CASE-2012-JeongC #algorithm #independence #quality

Independent contact region (ICR) based in-hand motion planning algorithm with guaranteed grasp quality margin (HJ, JC), pp. 1089–1094.

CASE-2012-KaneshigeNUMT #algorithm #mobile #online

An algorithm for on-line path planning of autonomous mobile overhead traveling crane based on obstacle information (AK, SN, SU, TM, KT), pp. 914–919.

CASE-2012-KehoeBG #adaptation #bound

Estimating part tolerance bounds based on adaptive Cloud-based grasp planning with slip (BK, DB, KG), pp. 1106–1113.

CASE-2012-KimLKCH #algorithm

Proposal of built-in-guide-rail type building façade cleaning robot and its motion planning algorithm (DHK, SL, MK, BIC, CSH), pp. 1004–1009.

CASE-2012-LiLCS #3d

Extended RRT-based path planning for flying robots in complex 3D environments with narrow passages (DL, QL, NC, JS), pp. 1173–1178.

CASE-2012-LiuSJT #automation #hybrid #mobile

A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation (HL, NS, SJ, KT), pp. 279–284.

CASE-2012-MitraGRCB #automation

Automated path planning for washing in digital microfluidic biochips (DM, SG, HR, KC, BBB), pp. 115–120.

CASE-2012-PehlivanAXC #approach #capacity #multi #network #optimisation

Multi-period capacity planning for maternity facilities in a perinatal network: A queuing and optimization approach (CP, VA, XX, CCH), pp. 137–142.

CASE-2012-TurkiZN #maintenance

Impact of delivery time on optimal production/delivery/maintenance planning (ST, HZ, NR), pp. 335–340.

CASE-2012-WangLC #algorithm #realtime

Real-time path planning for low altitude flight based on A* algorithm and TF/TA algorithm (HW, QL, NC), pp. 837–842.

CASE-2012-YouKLKLH #algorithm #assembly #development

Development of manipulation planning algorithm for a dual-arm robot assembly task (JSY, DHK, SJL, SPK, JYL, CSH), pp. 1061–1066.

DATE-2012-ChenSZX #3d #named #physics #synthesis

3DHLS: Incorporating high-level synthesis in physical planning of three-dimensional (3D) ICs (YC, GS, QZ, YX), pp. 1185–1190.

DATE-2012-LiuPC #composition #design #synthesis

Compositional system-level design exploration with planning of high-level synthesis (HYL, MP, LPC), pp. 641–646.

VLDB-2012-GawadeK #analysis #execution #framework #interactive #named #query #visual notation

Stethoscope: A platform for interactive visual analysis of query execution plans (MG, MLK), pp. 1926–1929.

CSEET-2012-LiuML #education #re-engineering

The Exploration and Practice of Gradually Industrialization Model in Software Engineering Education — A Factual Instance of the Excellent Engineer Plan of China (SL, PM, DL), pp. 23–31.

IFM-2012-RochaCMS #execution #interactive #verification

A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.

CSCW-2012-Aizenbud-ReshefBGDK #enterprise #social

Bon voyage: social travel planning in the enterprise (NAR, AB, IG, YD, SKD), pp. 819–828.

CAiSE-2012-MartinCM #assessment #empirical #process

Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.

CAiSE-2012-StirnaP #enterprise #modelling

Purpose Driven Competency Planning for Enterprise Modeling Projects (JS, AP), pp. 662–677.

ICML-2012-FoxT #bound

Bounded Planning in Passive POMDPs (RF, NT), p. 15.

ICML-2012-SilverC #composition #modelling #using

Compositional Planning Using Optimal Option Models (DS, KC), p. 165.

ICPR-2012-BarducciM #component #graph #recognition

Object recognition in floor plans by graphs of white connected components (AB, SM), pp. 298–301.

ICPR-2012-SongZJB #bound #robust #video

Robust video stabilization based on bounded path planning (CS, HZ, WJ, YB), pp. 3684–3687.

KEOD-2012-MinhasB #development

Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.

KR-2012-BackstromJ #abstraction

Abstracting Abstraction in Search with Applications to Planning (CB, PJ).

SEKE-2012-MarchettiG #framework #logic #model transformation #using

Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.

ICMT-2012-VarroDWS #algorithm #emf #generative #modelling

An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.

REFSQ-2012-FrickerS #case study #industrial #release planning

Release Planning with Feature Trees: Industrial Case (SF, SS), pp. 288–305.

SAC-2012-LassaigneP #approximate #markov #process #scalability #verification

Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.

SAC-2012-YanCY #composition #optimisation #web #web service

Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.

ICSE-2012-Avancini #research #security #testing #web

Security testing of web applications: A research plan (AA), pp. 1491–1494.

ICSE-2012-SegallT #combinator #interactive #refinement #testing

Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.

SPLC-2012-SoltaniAGHB #automation #feature model #non-functional #requirements

Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.

ICLP-2012-ChenJY

Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.

WICSA-2011-BrownNOP #analysis #architecture #dependence #release planning

Analysis and Management of Architectural Dependencies in Iterative Release Planning (NB, RLN, IO, MP), pp. 103–112.

ASE-2011-ChakrabortyS #approach #framework #towards

Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.

ASE-2011-RathfelderKE #automation #capacity #performance #predict #using

Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.

ASE-2011-SoltaniAHGB #automation #feature model

Automated planning for feature model configuration based on stakeholders’ business concerns (SS, MA, MH, DG, EB), pp. 536–539.

CASE-2011-AmbrosinoBPSS #modelling #problem

Modeling and solving the train load planning problem in seaport container terminals (DA, AB, MP, SS, SS), pp. 208–213.

CASE-2011-AnghinolfiPSS #integer #optimisation #programming

Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.

CASE-2011-DingRGS #programming

Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.

CASE-2011-MovafaghpourM #approach #linear #probability #programming

A linear programming approach for probabilistic robot path planning with missing information of outcomes (MAM, EM), pp. 126–132.

CASE-2011-StumpM #multi #persistent #problem

Multi-robot persistent surveillance planning as a Vehicle Routing Problem (ES, NM), pp. 569–575.

CASE-2011-WuS #bound #multi #problem

A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problems (TW, LS), pp. 78–83.

DATE-2011-ShinDLWJ

Early chip planning cockpit (JS, JAD, GL, AJW, CLJ), pp. 863–866.

ICDAR-2011-AhmedLWD #analysis #architecture #automation

Improved Automatic Analysis of Architectural Floor Plans (SA, ML, MW, AD), pp. 864–869.

ICDAR-2011-AhmedWLD #architecture #segmentation

Text/Graphics Segmentation in Architectural Floor Plans (SA, MW, ML, AD), pp. 734–738.

SIGMOD-2011-ChenLLOYTZZ

A cross-service travel engine for trip planning (GC, CL, ML, BCO, SY, AKHT, DZ, MZ), pp. 1251–1254.

SIGMOD-2011-UpadhyayaKB #fault tolerance #latency #online #parallel #query

A latency and fault-tolerance optimizer for online parallel query plans (PU, YK, MB), pp. 241–252.

VLDB-2011-Neumann #compilation #hardware #performance #query

Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.

CSEET-2011-KruchtenK #agile #game studies #release planning

Mission to Mars: An agile release planning game (PK, JK), p. 552.

CSMR-2011-JunioMMNV #maintenance #on the

On the Benefits of Planning and Grouping Software Maintenance Requests (GAJ, MNM, HMdA, HTMN, MTV), pp. 55–64.

AGTIVE-2011-TichyK #adaptation #graph transformation #self

Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.

CHI-2011-BillmanAFLST

Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.

CSCW-2011-KanaiK #communication

A menu-planning support system to facilitate communication among neighbors (HK, KK), pp. 661–664.

DHM-2011-FritzscheJLBJP #editing #performance #process #simulation

Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.

DUXU-v1-2011-RiceTW #enterprise #scalability #testing #usability

ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.

DUXU-v2-2011-MasipOG #classification #component #evaluation #heuristic #interactive

Classification of Interactive System Components Enables Planning Heuristic Evaluation Easier (LM, MO, TG), pp. 478–486.

DUXU-v2-2011-RyderSY #framework #grid

The Grid Intelligent Planning Framework: Planning Electric Utility Investments in a Time of Accelerating Change (GR, FS, SY), pp. 205–214.

HCI-MIIE-2011-ChaoFK #framework #simulation

A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.

VISSOFT-2011-BeckTD #analysis #design #visual notation

A visual analysis and design tool for planning software reengineerings (MB, JT, JD), pp. 1–8.

ICEIS-J-2011-BrasilSFSC11a #approach #multi #optimisation #release planning #requirements

A Multiobjective Optimization Approach to the Software Release Planning with Undefined Number of Releases and Interdependent Requirements (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 300–314.

ICEIS-v1-2011-AdamKM #enterprise #resource management

Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.

ICEIS-v1-2011-AsghariNAA #approach #enterprise #fuzzy #implementation #resource management #risk management #using

Risk Management in Enterprise Resource Planning Implementation using a Fuzzy Approach (HAA, MN, FA, FA), pp. 290–294.

ICEIS-v1-2011-Getta #information management #integration #optimisation

Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.

ICEIS-v2-2011-DingL #database #design #security

Based on “Scenarios-response” Model of Security Plans for Emergency Management System of Database Design (DD, XL), pp. 210–212.

ICEIS-v3-2011-BrasilSFSC #multi #release planning #requirements

Multiobjective Software Release Planning with Dependent Requirements and Undefined Number of Releases (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 97–107.

ICEIS-v4-2011-SinghW #adaptation #design #enterprise #interface #resource management

The Design of Adaptive Interfaces for Enterprise Resource Planning Systems (AS, JW), pp. 281–286.

KDIR-2011-Ibrahim #algorithm #clustering #network

Enhancing Clustering Network Planning Algorithm in the Presence of Obstacles (LFI), pp. 480–486.

KEOD-2011-BelouaerBM

Spatial Knowledge in Planning Language (LB, MB, AIM), pp. 71–80.

KMIS-2011-FalcaoNGPA #agile #education #integration #quality #social

Lean Six Sigma Applied to Quality and Productivity Improvement in the Management Cycle — Planning and Control — of an Education, Training and Social Integration Institution (SF, FN, SCG, SP, SNA), pp. 326–330.

PADL-2011-RedlEK #declarative #set #using

Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.

SAC-2011-TeixeiraLOM #modelling #probability

Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.

ICSE-2011-BenestadH #comparison #incremental #modelling #release planning

A comparison of model-based and judgment-based release planning in incremental software projects (HCB, JEH), pp. 766–775.

ICSE-2011-Smith #functional #requirements #security #testing #using

Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.

SPLC-2011-ChastekM #product line

Production Planning in a Software Product Line Organization (GJC, JDM), p. 355.

ASE-2010-TajalliGEM #adaptation #architecture #modelling #named

PLASMA: a plan-based layered architecture for software model-driven adaptation (HT, JG, GE, NM), pp. 467–476.

CASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation

Relations identification and visualization for sequence planning and automation design (KB, CT, BL, KÅ, CY, SM, PF), pp. 841–848.

CASE-2010-DahaneR #integration #process

Integration of subcontracting activity in a production planning for randomly failing manufacturing system: Feasibility and profitability conditions (MD, NR), pp. 100–105.

CASE-2010-DasP

Precision-based robot path planning for microassembly (AND, DOP), pp. 527–532.

CASE-2010-HassanzadehMB #algorithm #mobile #optimisation

Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.

CASE-2010-HuangL #assessment

Comprehensive planning of robotic therapy and assessment of task-oriented functions via improved QFD applicable to hand rehabilitation (YYH, KHL), pp. 252–257.

CASE-2010-JinJ #automation #bibliography #distributed #generative

Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.

CASE-2010-JohnsonM #optimisation #using

Local planning using switching time optimization (ERJ, TDM), pp. 828–834.

CASE-2010-LiuCW #programming

Aggregated state dynamic programming for operating theater planning (YL, CC, KW), pp. 1013–1018.

CASE-2010-PaullGLM #adaptation #using

An information gain based adaptive path planning method for an autonomous underwater vehicle using sidescan sonar (LP, SSG, HL, VM), pp. 835–840.

CASE-2010-RososhanskyXL #automation #using

Coverage based tool path planning for automated polishing using contact stress theory (MR, FX, YL), pp. 592–597.

VLDB-2010-AbhiramaBDSH #cost analysis #on the

On the Stability of Plan Costs and the Costs of Plan Stability (MA, SB, AD, HS, JRH), pp. 1137–1148.

VLDB-2011-KlingOD #database #execution #generative #performance #xml

Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.

ITiCSE-2010-Thompson #education

From phenomenography study to planning teaching (ET), pp. 13–17.

CSMR-2010-CortellessaMP #behaviour #maintenance #reliability #trade-off

Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes (VC, RM, PP), pp. 21–30.

CSCW-2010-BardramH #case study #coordination #why

Why the plan doesn’t hold: a study of situated planning, articulation and coordination work in a surgical ward (JEB, TRH), pp. 331–340.

ICEIS-DISI-2010-BarczynskiFBS #adaptation #concept #information management #modelling #named #using

AdaptIE — Using Domain Language Concept to Enable Domain Experts in Modeling of Information Extraction Plans (WMB, FF, FB, DS), pp. 249–256.

ICEIS-DISI-2010-SandeSMFH #named

PW-Plan — A Strategy to Support Iteration-based Software Planning (DS, AS, RM, SF, EMH), pp. 66–74.

ICEIS-J-2010-SandeSMFH10a #agile #paradigm

A Strategy to Support Software Planning Based on Piece of Work and Agile Paradigm (DS, AS, RM, SF, EMH), pp. 104–118.

ICPR-2010-TrummerMD #online #optimisation #using

Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.

KDD-2010-SozioG #how #problem

The community-search problem and how to plan a successful cocktail party (MS, AG), pp. 939–948.

KEOD-2010-BartonY #development #named #ontology

UrbanIT — Urban Ontologies to Support Informed Urban Development and Planning (JB, HY), pp. 224–228.

KEOD-2010-HughesWC #development #modelling #ontology #process

Ontological Modelling to Support the Planning of is Development Processes — A Position Paper (RTH, GW, KC), pp. 319–324.

KMIS-2010-EtoMKM #evaluation #process

Externalization Method and Its Evaluation of Know-how Information for Care Planning Processes by Awareness of Novices (KE, MM, YK, TM), pp. 201–206.

KMIS-2010-LodemannL #framework #ontology #verification

Ontology-based Railway Infrastructure Verification — Planning Benefits (ML, NL), pp. 176–181.

KR-2010-GiacomoPS #constraints

Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).

KR-2010-HuL #correctness #problem #reasoning

A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).

KR-2010-SohrabiBM #revisited

Diagnosis as Planning Revisited (SS, JAB, SAM).

SEKE-2010-AlvesCL #agile #estimation #integration #process

Scrum and Plan-driven Process Integration and its Impact on Effort Estimation (NA, WC, ELJ), pp. 710–715.

SEKE-2010-Egyhazy

Meta Context for Agent Planning (CJE), pp. 672–674.

SEKE-2010-LeeSB #complexity #information management #legacy #visualisation

Knowledge Engineering to Visualize Complexity for Legacy Modernization Planning (SBL, SGS, KSB), pp. 331–334.

SEKE-2010-Rodriguez-SoriaCMM #bibliography #estimation #modelling #parametricity #process

A Review of Parametric Effort Estimation Models for the Software Project Planning Process (PRS, JJCG, JAGdM, BMH), pp. 135–140.

RE-2010-Al-EmranPR #analysis #release planning #robust

Decision Support for Product Release Planning Based on Robustness Analysis (AAE, DP, GR), pp. 157–166.

SAC-2010-HoL #algorithm #constraints

Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.

SAC-2010-MalkowskiHJPN #empirical #named

CloudXplor: a tool for configuration planning in clouds based on empirical data (SM, MH, DJ, CP, DN), pp. 391–398.

SAC-2010-MylavarapuSB #approach #capacity #framework #probability

An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.

ICSE-2010-King

Planning for climate change in the 21st century (DK), p. 3.

PLEASE-2010-BotterweckPDPK #evolution #named #product line

EvoFM: feature-driven planning of product-line evolution (GB, AP, DD, AP, SK), pp. 24–31.

SPLC-2010-McGregor10b #product line

Production Planning in a Software Product Line Organization (JDM), pp. 507–508.

ASE-2009-GuldaliFJSE #automation #clustering #requirements #testing #using

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (BG, HF, MJ, SS, GE), pp. 29–39.

CASE-2009-KarnikTS #capacity #modelling #nondeterminism #robust

Robust models for manufacturing capacity planning under demand uncertainty (AK, CST, AS), pp. 310–315.

CASE-2009-LeCS #approach #assembly

A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.

CASE-2009-MonchZ #case study #experience #prototype #state of the art #web #web service

Providing production planning and control functionality by web services: State of the art and experiences with prototypes (LM, JZ), pp. 495–500.

CASE-2009-SathiR #automation #generative

STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.

CASE-2009-ZiedSN #maintenance #probability #random

An optimal production/maintenance planning under stochastic random demand, service level and failure rate (ZH, SD, NR), pp. 292–297.

DATE-2009-Anghel #concurrent #development #topic

HOT TOPIC — Concurrent SoC development and end-to-end planning (LA), p. 430.

DATE-2009-AraniHPCYPTC #3d #reliability

Reliability aware through silicon via planning for 3D stacked ICs (ASA, XH, HP, CKC, WY, MP, TT, XC), pp. 288–291.

DATE-2009-TaoL #grid #power management

Decoupling capacitor planning with analytical delay model on RLC power grid (YT, SKL), pp. 839–844.

SIGMOD-2009-BercovitzKKLZG #named #social

CourseRank: a social system for course planning (BB, FK, GK, HL, ZMZ, HGM), pp. 1107–1110.

SIGMOD-2009-BrunoCR #interactive #optimisation #query

Interactive plan hints for query optimization (NB, SC, RR), pp. 1043–1046.

SIGMOD-2009-GeorgiadisCV #xpath

Cost based plan selection for xpath (HG, MC, VV), pp. 603–614.

SIGMOD-2009-GhazalSBCKG #generative #query

Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.

VLDB-2009-MoerkotteNS #bound #estimation #fault

Preventing Bad Plans by Bounding the Impact of Cardinality Estimation Errors (GM, TN, GS), pp. 982–993.

ICPC-2009-ParninGR #named

TaskBoard: Tracking pertinent task artifacts and plans (CP, CG, SR), pp. 317–318.

ICSM-2009-JadallahGMR

Balancing value and modifiability when planning for the next release (AJ, MG, MM, GR), pp. 495–498.

HCD-2009-AshleyD #case study #design #enterprise #maturity #usability

Usability Maturity: A Case Study in Planning and Designing an Enterprise Application Suite (JA, KD), pp. 579–584.

HIMI-DIE-2009-LinYLL #enterprise #implementation

A Human Factors Model for Enterprise Resources Planning System Implementation (CJL, CWY, SBL, SFL), pp. 123–130.

ICEIS-AIDSS-2009-TsengCH #approach #assembly #multi #sequence #using

A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.

ICEIS-J-2009-GimenezHL #classification

A Hierarchical Product-Property Model to Support Product Classification and Manage Structural and Planning Data (DMG, GPH, HPL), pp. 639–650.

ICML-2009-LangT #approximate #probability #relational

Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.

KEOD-2009-AnderlMS #approach #complexity #optimisation #reduction

An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.

KEOD-2009-Reyes-PerezBG #towards

Towards an Expert System for the Manufacturing System Planning of Products with Graded Properties (MRP, JB, JG), pp. 226–232.

MLDM-2009-FernandezBFM #automation #data mining #mining

Assisting Data Mining through Automated Planning (FF, DB, SF, DMM), pp. 760–774.

SEKE-2009-McElroyR #approach #nondeterminism

A Layered Approach for Planning Releases under Uncertain Capacities (JM, GR), pp. 649–654.

PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.

SAC-2009-ParkPR #algorithm #automation #using

Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.

SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service

Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.

SAC-2009-RouvoyEB #adaptation #dependence #self #ubiquitous #weaving

Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services (RR, FE, MB), pp. 1021–1028.

ICSE-2009-GarlanS #architecture #evolution #named

Ævol: A tool for defining and planning architecture evolution (DG, BRS), pp. 591–594.

SPLC-2009-ChastekM #product line

Production planning in a software product line organization (GJC, JDM), p. 309.

ICLP-2009-SonPS #logic programming #multi

Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.

WICSA-2008-LindgrenNWL #architecture #release planning

Importance of Software Architecture during Release Planning (ML, CN, AW, RL), pp. 253–256.

CASE-2008-AsarUAH #generative #network

Traffic responsive signal timing plan generation based on neural network (AuA, MSU, JA, RuH), pp. 833–838.

CASE-2008-ChenFL #automation #bibliography #industrial #perspective #process

Automated industrial robot path planning for spray painting process: A review (HC, TAF, XL), pp. 522–527.

CASE-2008-DangWLZ #algorithm #image

Heavy-ion radiotherapy treatment planning system and medical image processing algorithm used in it (JD, YW, SL, ZZ), pp. 726–731.

CASE-2008-Kress-GazitP #automation #challenge

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.

CASE-2008-LiYB #multi #network

Neural network based path planning for a multi-robot system with moving obstacles (HL, SXY, YB), pp. 163–168.

CASE-2008-WangMF #adaptation

An adaptive and optimal setup planning system (LW, JM, HYF), pp. 67–72.

CASE-2008-WangZFZXL #process #scheduling

A web-based integrated process planning and scheduling system (YW, YZ, JYHF, ZZ, LX, PL), pp. 662–667.

CASE-2008-XuDAG #3d #random #using

Motion planning for steerable needles in 3D environments with obstacles using rapidly-exploring Random Trees and backchaining (JX, VD, RA, KG), pp. 41–46.

CASE-2008-XueZD #multi

Planning regrasp operations for a multifingered robotic hand (ZX, JMZ, RD), pp. 778–783.

DAC-2008-ChenCP #framework

An integrated nonlinear placement framework with congestion and porosity aware buffer planning (TCC, AC, DZP), pp. 702–707.

HT-2008-PetersenW #agile #development #named

Asap: a planning tool for agile software development (RRP, UKW), pp. 27–32.

VLDB-2008-AkdereCT #detection #distributed

Plan-based complex event detection across distributed sources (MA, UÇ, NT), pp. 66–77.

VLDB-2008-DDH #diagrams #identification #reduction #robust

Identifying robust plans through plan diagram reduction (HD, PND, JRH), pp. 1124–1140.

VLDB-2008-DeyBDH #approximate #diagrams #query

Efficiently approximating query optimizer plan diagrams (AD, SB, HD, JRH), pp. 1325–1336.

VLDB-2008-ZiauddinDSZY #performance

Optimizer plan change management: improved stability and performance in Oracle 11g (MZ, DD, HS, YZ, KY), pp. 1346–1355.

LATA-2008-Kahramanogullari #concurrent #linear #logic #on the

On Linear Logic Planning and Concurrency (OK), pp. 250–262.

CHI-2008-JonesKCA

The personal project planner: planning to organize personal information (WJ, PVK, AC, MLA), pp. 681–684.

EDOC-2008-BaglioniBFST #classification #ontology

Ontology-Based Business Plan Classification (MB, AB, BF, LS, FT), pp. 365–371.

ICEIS-AIDSS-2008-TsengKH #approach #assembly #using

A Decision Support System for Integrated Assembly and Disassembly Planning Using a GA Approach (YJT, HTK, FYH), pp. 348–355.

ICEIS-DISI-2008-PetersTW #enterprise #network #research #resource management #roadmap

Network Externalities for Enterprise Resource Planning Software — A Research Roadmap (GP, FT, RW), pp. 97–104.

ICEIS-ISAS1-2008-Yang #flexibility #information management

Better IT Governance for Organizations — A Model for Improving Flexibility and Capabilities of Strategic Information Systems Planning (SISP) through EA and BPR under e-Business Environment (JY), pp. 30–41.

ICEIS-ISAS2-2008-FernandesAS #performance #programming #release planning

An Extreme Programming Release Plan that Maximizes Business Performance (MCF, AJA, EAS), pp. 12–22.

ICPR-2008-YaoCAPKA #probability #using

Sensor planning for PTZ cameras using the probability of camera overload (YY, CHC, BRA, DLP, AK, MAA), pp. 1–5.

KR-2008-Brafman

Preferences, Planning and Control (RIB), pp. 2–5.

KR-2008-EyerichBN #complexity #on the

On the Complexity of Planning Operator Subsumption (PE, MB, BN), pp. 518–527.

KR-2008-FritzBM #compilation

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.

KR-2008-MagnussonD #deduction #induction

Deductive Planning with Inductive Loops (MM, PD), pp. 528–534.

KR-2008-Rintanen #graph

Planning Graphs and Propositional Clause-Learning (JR), pp. 535–543.

SEKE-2008-DuZR #concept analysis #release planning #using

Explaining Product Release Planning Results Using Concept Analysis (GD, TZ, GR), pp. 137–142.

SPLC-2008-CarbonKMM #feedback #game studies #product line

Providing Feedback from Application to Family Engineering — The Product Line Planning Game at the Testo AG (RC, JK, DM, GM), pp. 180–189.

SPLC-2008-ChastekM #product line

Production Planning in a Software Product Line Organization (GJC, JDM), p. 369.

TestCom-FATES-2008-WangH #analysis #concurrent #generative #realtime #testing

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.

QoSA-2007-PaceC #architecture #design #quality #using

Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration (JADP, MRC), pp. 33–52.

ASE-2007-VainRKE #nondeterminism #synthesis

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.

CASE-2007-GengJ #capacity #nondeterminism

Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity (NG, ZJ), pp. 100–105.

CASE-2007-HablaMD #approach #capacity #finite

A Finite Capacity Production Planning Approach for Semiconductor Manufacturing (CH, LM, RD), pp. 82–87.

CASE-2007-LamiriDX #random

Operating Room Planning with Random Surgery Times (ML, JD, XX), pp. 521–526.

CASE-2007-MarefatP #automation #modelling #process #retrieval #reuse #similarity

Similarity-Based Retrieval of CAD Solid Models for Automated Reuse of Machining Process Plans (MMM, CP), pp. 312–317.

CASE-2007-MartinWS #algorithm #online #performance

Offline and Online Evolutionary Bi-Directional RRT Algorithms for Efficient Re-Planning in Dynamic Environments (SRM, SEW, JWS), pp. 1131–1136.

CASE-2007-QuadtM #approach

Line Planning in a Hierarchical Production Planning Approach (DQ, CKM), pp. 489–494.

DAC-2007-ChoXPP #named

TROY: Track Router with Yield-driven Wire Planning (MC, HX, RP, DZP), pp. 55–58.

DAC-2007-ImhofZWML #reduction #testing

Scan Test Planning for Power Reduction (MEI, CGZ, HJW, NM, JL), pp. 521–526.

VLDB-2007-DDH #diagrams #on the

On the Production of Anorexic Plan Diagrams (HD, PND, JRH), pp. 1081–1092.

ITiCSE-2007-OwensAB

The computing educators oral history project: planning for the future (BBO, VLA, LJB), p. 328.

TACAS-2007-HarelS #flexibility #source code

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.

AGTIVE-2007-BatzKG #evaluation #graph #pattern matching

A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching (GVB, MK, RG), pp. 471–486.

GT-VMT-2007-HorvathVV #graph

Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).

HCI-MIE-2007-Seifert #generative #interactive

Region-Based Model of Tour Planning Applied to Interactive Tour Generation (IS), pp. 499–507.

HIMI-IIE-2007-KanekoNATT #analysis #generative #mining #using

A Method for Generating Plans for Retail Store Improvements Using Text Mining and Conjoint Analysis (TK, YN, MA, TT, YT), pp. 910–917.

EDOC-2007-SurmsukT #information management

The Integrated Strategic Information System Planning Methodology (PS, ST), pp. 467–475.

ICEIS-AIDSS-2007-WanzellerB #assessment #data mining #mining #similarity

Similarity Assessment in a CBR Application for Clickstream Data Mining Plans Selection (CW, OB), pp. 137–144.

ICEIS-DISI-2007-DangelmaierRHBKDT #information management #named #reliability

OOPUS — a production planning information system to assure high delivery reliability under short-term demand changes and production disturbances (WD, TR, TH, DB, DK, AD, TT), pp. 423–432.

SEKE-2007-HuangL07a #composition #reasoning #using

Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.

SEKE-2007-ZiemerC #development #release planning #web

Knowledge Sharing through a Simple Release Planning Method for Web Application Development (SZ, ICC), pp. 686–691.

RE-2007-LehtolaKV

Strengthening the link between business decisions and RE: Long-term product planning in software product companies (LL, MK, JV), pp. 153–162.

REFSQ-2007-LiABD #release planning #scheduling

Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product (CL, JMvdA, SB, GD), pp. 93–108.

ESEC-FSE-2007-SaliuR #evolution #release planning

Bi-objective release planning for evolving software systems (MOS, GR), pp. 105–114.

ICSE-2007-CoppitPR #named #prototype

Spotlight: A Prototype Tool for Software Plans (DC, RRP, MR), pp. 754–757.

ICSE-2007-HolmesW #reuse

Supporting the Investigation and Planning of Pragmatic Reuse Tasks (RH, RJW), pp. 447–457.

ICSE-2007-ZhuLBG #capacity #modelling #named

Revel8or: Model Driven Capacity Planning Tool Suite (LZ, YL, NBB, IG), pp. 797–800.

HPDC-2007-ShankarD #clustering #data-driven #workflow

Data driven workflow planning in cluster management systems (SS, DJD), pp. 127–136.

MBT-2007-RaimondiPB #model checking #testing

Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.

CASE-2006-FangL #agile #multi

A Class of Optimal Operation Planning for Kanban Managed Multi-Stage Production System (YF, YJL), pp. 369–374.

CASE-2006-GohBDEHR #resource management

A Resource Planning Model for Professional Services Organizations (MG, KB, RdS, BTE, JH, BKR), pp. 636–639.

CASE-2006-KazanciogluS #capacity #design #multi

Multi-Period Production Capacity Planning for Integrated Product and Production System Design (EK, KS), pp. 3–8.

CASE-2006-LamiriX #using

Operating Rooms Planning Using Lagrangian Relaxation Technique (ML, XX), pp. 176–181.

CASE-2006-LiuW #multi #simulation

Haptic Simulation of Multibody Contact Dynamics for Fixture Loading Planning (TL, MYW), pp. 304–309.

CASE-2006-NarayanasamyCT #assembly #framework

The Creation of an Information Based Manufacturing Framework for micro devices assembly: A discussion of the path planning and virtual assembly modules (GN, JC, AT), pp. 490–495.

CASE-2006-RenZMP #mobile

Stable Motion Planning for Dynamic Nonholonomic Mobile Robots (JR, HZ, KAM, RVP), pp. 200–205.

CASE-2006-SweatNZZZ #assembly #capacity #multi

Multi-factory capacity planning in semiconductor assembly and test manufacturing with multiple-chip products (SS, SN, MTZ, ZZ, LZ), pp. 247–252.

DAC-2006-BergeronFPMAS #testing #verification

Building a verification test plan: trading brute force for finesse (JB, HF, AP, RSM, CA, DS), pp. 805–806.

ITiCSE-2006-KeenanPCM #agile #learning

Learning project planning the agile way (FK, SP, GC, KM), p. 324.

WCRE-2006-GanesanMKY #aspect-oriented #case study #product line #source code

Discovering Organizational Aspects from the Source Code History Log during the Product Line Planning Phase — A Case Study (DG, DM, JK, KY), pp. 211–220.

CAiSE-2006-BrylMMZ #design #modelling #requirements #security

Designing Security Requirements Models Through Planning (VB, FM, JM, NZ), pp. 33–47.

ICEIS-AIDSS-2006-LinHST #named #scheduling

LOGICRUNCHER — A Logistics Planning and Scheduling Decision Support System for Emerging EMS and 3PL Business Practices (RJL, JH, NSK, BT), pp. 176–181.

ICEIS-AIDSS-2006-PetruzzellisLPSBP #personalisation #profiling

Personalized Incentive Plans through Employee Profiling (SP, OL, IP, GS, VB, CP), pp. 107–114.

ICEIS-DISI-2006-Ifinedo #enterprise #metric #resource management

Enterprise Resource Planning (ERP) Systems Success Measurement: An Extended Model (PI), pp. 71–78.

ICEIS-J-2006-Ifinedo06a #approach #enterprise #equation #modelling #resource management

Measuring Enterprise Resource Planning (ERP) Systems Success: A Structural Equation Modeling Approach (PI), pp. 86–97.

ICEIS-SAIC-2006-NagiB

Recovery Services for the Planning Layer of Agents (KN, GB), pp. 138–146.

ICML-2006-RatliffBZ

Maximum margin planning (NDR, JAB, MZ), pp. 729–736.

ICPR-v1-2006-TakahashiMIMM #multi #parametricity #recognition

Planning of Multiple Camera Arrangement for Object Recognition in Parametric Eigenspace (TT, OM, II, YM, HM), pp. 603–606.

ICPR-v1-2006-WenhardtDHND #3d #approach #re-engineering

An Information Theoretic Approach for Next Best View Planning in 3-D Reconstruction (SW, BD, JH, HN, JD), pp. 103–106.

KR-2006-BaierM #on the #source code

On Planning with Programs that Sense (JAB, SAM), pp. 492–502.

KR-2006-BienvenuFM

Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.

KR-2006-BonetG #heuristic #using

Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.

KR-2006-FeldmannBW

Planning with Prioritized Goals (RF, GB, SW), pp. 503–514.

KR-2006-RagniW #constraints

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.

KR-2006-SardinaGLL #nondeterminism #on the #strict

On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.

KR-2006-SonT #approximate #on the #reasoning

On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.

SEKE-2006-AversanoCV #named #web

WECAP: A Web Environment for Project Planning (LA, GC, CAV), pp. 591–594.

SEKE-2006-BoukercheL #re-engineering #rule-based #towards

Reengineering a Rule-Based System towards a Planning System (KB, HL), pp. 619–624.

SEKE-2006-McDaidGKPCT #agile #nondeterminism #release planning

Managing Uncertainty in Agile Release Planning (KM, DG, FK, PP, GC, PST), pp. 138–143.

SEKE-2006-McElroyR #release planning

Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.

SIGIR-2006-Radhakrishnan #information retrieval

Information retrieval at Boeing: plans and successes (RR), pp. 380–381.

RE-2006-BushN #requirements #research

Requirements Engineering Research in Some Future Worlds: An Exercise in Scenario Planning (DB, BN), p. 324.

SAC-2006-IfinedoN #enterprise #metric #resource management

Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups (PI, NN), pp. 1554–1560.

SAC-2006-MeyerAWMF #grid #performance #workflow

Planning spatial workflows to optimize grid performance (LAVCM, JA, MW, MM, ITF), pp. 786–790.

ICSE-2006-LiHSL #programming #release planning

A risk-driven method for eXtreme programming release planning (ML, MH, FS, JL), pp. 423–430.

ICSE-2006-PoonY #case study #enterprise #experience #resource management

Procurement of enterprise resource planning systems: experiences with some Hong Kong companies (PLP, YTY), pp. 561–568.

ICSE-2006-RundleD #agile #using

Using return on investment to compare agile and plan-driven practices in undergraduate group projects (PJR, RGD), pp. 649–654.

CAV-2006-Harel #aspect-oriented #game studies #source code #verification

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs (DH), pp. 3–4.

ICLP-2006-Tu #performance #reasoning

Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.

CASE-2005-KimD #metric #process #quality #using

Quality measurement of production process plan using tolerance chart (IHK, ZD), pp. 25–30.

CASE-2005-KimKYT #identification #realtime #using

Dynamic shipment planning in an automobile shipment yard using real-time radio frequency identification (RFID) information (JK, SRTK, STY, JDT), pp. 148–153.

CASE-2005-PengLZ #approach #fuzzy #set

Intelligent setup planning in manufacturing by fuzzy set theory based approach (GP, WL, YZ), pp. 130–135.

CASE-2005-SchmidW #using

Path planning for a humanoid using NURBS curves (AJS, HW), pp. 351–356.

CASE-2005-XueSG #multi

Multi-objective evolutionary decision support for design-supplier-manufacturing planning (FX, ACS, RJG), pp. 197–202.

CASE-2005-ZhangZNZ

Production planning with joint resources usage semiconductor test manufacturing (ZZ, MTZ, SN, LZ), pp. 49–54.

DAC-2005-AdirABPS #approach #architecture #testing #verification

A generic micro-architectural test plan approach for microprocessor verification (AA, HA, EB, OP, KS), pp. 769–774.

DATE-2005-SehgalLOC #testing

Test Planning for Mixed-Signal SOCs with Wrapped Analog Cores (AS, FL, SO, KC), pp. 50–55.

VLDB-2005-BizarroBDW

Content-Based Routing: Different Plans for Different Data (PB, SB, DJD, JW), pp. 757–768.

VLDB-2005-ReddyH #database #diagrams #query

Analyzing Plan Diagrams of Database Query Optimizers (NR, JRH), pp. 1228–1240.

ICSM-2005-AntoniolPH #maintenance #optimisation #search-based

Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project (GA, MDP, MH), pp. 240–249.

ICSM-IT-2005-BhawnaniR #evolution #maintenance #named

ReleasePlanner — Planning new Releases for Software Maintenance and Evolution (PB, GR), pp. 73–76.

EDOC-2005-FerreiraF #learning #lifecycle #workflow

Learning, planning, and the life cycle of workflow management (DRF, HMF), pp. 39–46.

ICEIS-v1-2005-KircheZT #corba #realtime

Real-Time Sales & Operations Planning with Corba: Linking Demand Management with Production Planning (ETK, JZ, TT), pp. 122–129.

ICEIS-v2-2005-OttomanelliDS #maintenance

A Decision Support System Based on Neuro-Fuzzy System for Railroad Maintenance Planning (MO, MD, DS), pp. 43–49.

ICEIS-v3-2005-TanL #enterprise #framework #modelling #problem #simulation #using

Enterprise Infrastructure Planning — Modelling and Simulation Using the Problem Articulation Method (ST, KL), pp. 240–245.

ICML-2005-IlghamiMNA #approximate #learning

Learning approximate preconditions for methods in hierarchical plans (OI, HMA, DSN, DWA), pp. 337–344.

ICML-2005-RohanimaneshM #approach #concurrent #generative #markov #named #process

Coarticulation: an approach for generating concurrent plans in Markov decision processes (KR, SM), pp. 720–727.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

RE-2005-LehtolaKK #requirements

Linking the Business View to Requirements Engineering: Long-Term Product Planning by Roadmapping (LL, MK, SK), pp. 439–446.

SAC-2005-TrentiniM #framework #java #petri net #realtime #validation

Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.

ICSE-2005-Hirsch #agile #development

Moving from a plan driven culture to agile development (MH), p. 38.

ICSE-2005-LavazzaB #automation #execution #metric

Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.

SPLC-2005-HelferichHS #deployment #named #product line #quality #using

QFD-PPP: Product Line Portfolio Planning Using Quality Function Deployment (AH, GH, SS), pp. 162–173.

CADE-2005-CastelliniS #first-order #logic #proving #theorem proving

Proof Planning for First-Order Temporal Logic (CC, AS), pp. 235–249.

ASE-2004-Arshad #automation #configuration management #using

Automated Dynamic Reconfiguration using AI Planning (NA), pp. 402–405.

DATE-v2-2004-GarceaMKO #statistics

Statistically Aware Buffer Planning (GSG, NPvdM, KJvdK, RHJMO), pp. 1402–1403.

PODS-2004-ScarcelloGL #query

Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.

SIGMOD-2004-ZhuRH #data type #migration #query

Dynamic Plan Migration for Continuous Queries Over Data Streams (YZ, EAR, GTH), pp. 431–442.

VLDB-2004-SardaH #optimisation #query

Green Query Optimization: Taming Query Optimization Overheads through Plan Recycling (PS, JRH), pp. 1333–1336.

ITiCSE-2004-CasselFLPKIG #using

Using CITIDEL to develop and share class plans (LNC, EAF, JL, MAPQ, DK, JI, CLG), p. 270.

ICEIS-v2-2004-Azevedo #bibliography #order #requirements

Order Planning Decision Support System for Customer Driven Manufacturing: Overview of Main System Requirements (HP, ALA), pp. 417–422.

ICEIS-v3-2004-PoulsonHNG #case study

Reversing the Trend of Commoditization: A Case Study of the Strategic Planning and Management of a Call Center (BP, JCH, SN, RDG), pp. 396–402.

ICEIS-v3-2004-StamatiKSM #legacy #migration

Legacy Migration as Planned Organizational Change (TS, PK, KS, DM), pp. 501–508.

ICEIS-v5-2004-Sneiders #tool support

Tool Support for Legal Enquiry: Focus on Spatial-Planning Law (ES), pp. 289–294.

KR-2004-Barrett #compilation #hybrid

From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.

KR-2004-DelgrandeST #reasoning

Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.

KR-2004-Geffner #compilation #graph

Planning Graphs and Knowledge Compilation (HG), pp. 662–672.

KR-2004-PasulaZK #learning #probability #relational

Learning Probabilistic Relational Planning Rules (HP, LSZ, LPK), pp. 683–691.

KR-2004-PetrickB #approach #knowledge-based

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing (RPAP, FB), pp. 613–622.

KR-2004-Rintanen #case study

Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.

PADL-2004-Balduccini #named #quality #set

USA-Smart: Improving the Quality of Plans in Answer Set Planning (MB), pp. 135–147.

SAC-2004-El-Gayar #fuzzy #logic #multi

Application of fuzzy logic to multiple criteria decision making in aquacultural planning (OFEG), pp. 1028–1029.

SAC-2004-MeneguzziZM

Propositional planning in BDI agents (FRM, AFZ, MdCM), pp. 58–63.

ICSE-2004-BoehmT #agile

Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods (BWB, RT), pp. 718–719.

SPLC-2004-JohnS #product line

Starting Product Lines (I) — Systematic Product Line Planning and Adoption (IJ, KS), p. 319.

SPLC-2004-LeeKK #approach #product line

A Feature-Based Approach to Product Line Production Planning (JL, KCK, SK), pp. 183–196.

SPLC-2004-Taborda #architecture #product line #release planning

Generalized Release Planning for Product Line Architectures (LJMT), pp. 238–254.

HPDC-2004-KichkayloK #component #deployment #distributed #resource management

Optimal Resource-Aware Deployment Planning for Component-Based Distributed Applications (TK, VK), pp. 150–159.

ICLP-2004-JiaYY #set #source code

Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.

DAC-2003-CongJRR #architecture #evaluation #physics

Microarchitecture evaluation with physical planning (JC, AJ, GR, MR), pp. 32–35.

DAC-2003-MaHDCCCG #analysis #optimisation

Dynamic global buffer planning optimization based on detail block locating and congestion analysis (YM, XH, SD, SC, YC, CKC, JG), pp. 806–811.

DATE-2003-LuK

Interconnect Planning with Local Area Constrained Retiming (RL, CKK), pp. 10442–10447.

DocEng-2003-PhelpsW

Two diet plans for fat PDF (TAP, RW), pp. 175–184.

SIGMOD-2003-SengarH #named #optimisation #query

PLASTIC: Reducing Query Optimization Overheads through Plan Recycling (VSS, JRH), p. 676.

CSEET-2003-Perez-MartinezS #coordination #education #re-engineering

A Coordinated Plan for Teaching Software Engineering in the Rey Juan Carlos University (JEPM, ASA), p. 107–?.

CSEET-2003-ZhangZZ #re-engineering #student

Improving Project Planning/Tracking for Student Software Engineering Projects through SOPPTS (JZ, DMZ, WMZ), pp. 185–192.

ICSM-2003-LimpiyakornB #comprehension #concept

Applying the Signature Concept to Plan-Based Program Understanding (YL, IB), p. 325–?.

FME-2003-ArmandoCG #analysis #graph #model checking #protocol #satisfiability #security #using

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis (AA, LC, PG), pp. 875–893.

ICEIS-v1-2003-MorleyH #enterprise #quality #resource management

Technical Use Quality in a University Enterprise Resource Planning System: Perceptions of Response Time and Its Strategic Importance (MM, LvH), pp. 341–346.

ICEIS-v1-2003-TsengVC #enterprise

Planning for Enterprise Computing Services: Issues and Necessities Analyzed (JT, EV, TC), pp. 414–420.

ICEIS-v2-2003-AlbuquerqueFBM

The Innovation Planning Task for Products and Services (AA, EF, MAdB, AM), pp. 451–456.

ICEIS-v2-2003-AzevedoM #analysis #capacity #enterprise #network #requirements

Requirements of a Decision Support System for Capacity Analysis and Planning in Enterprise Networks (ALA, AM), pp. 177–184.

ICEIS-v2-2003-CastroSS #collaboration #named

Decisio: A Collaborative Decision Support System for Environmental Planning (MdC, JMdS, JCMS), pp. 217–222.

ICEIS-v2-2003-ChadesSC #markov #multi #process #using

Planning Cooperative Homogeneous Multiagent Systems Using Markov Decision Processes (IC, BS, FC), pp. 426–429.

ICEIS-v3-2003-LeeS #enterprise #optimisation #resource management

Complementary Adoption and Optimization of Enterprise Resource Planning Systems (CSL, WSS), pp. 615–618.

ICML-2003-McMahanGB #cost analysis

Planning in the Presence of Cost Functions Controlled by an Adversary (HBM, GJG, AB), pp. 536–543.

MLDM-2003-DeventerDNK #modelling #testing #using

Using Test Plans for Bayesian Modeling (RD, JD, HN, OK), pp. 307–316.

SEKE-2003-GoldmannHR #information management #re-engineering

Knowledge Management for Project Planning and Enactment in Software Engineering (SG, HH, MMR), pp. 393–397.

SEKE-2003-MunchHD #clustering

A Practical Way to Use Clustering and Context Knowledge for Software Project Planning (JM, JH, AD), pp. 377–384.

SEKE-2003-WuS #approach #data mining #mining

A Data Mining Approach for Dynamic Software Project Plan Tracking (CSW, DBS), pp. 634–638.

SAC-2003-KellarMZWKB #architecture #composition

Architecture to Support Dynamic Composition of Math Lesson Plans (MK, BM, RZ, CRW, DK, JMB), pp. 569–574.

CSL-2003-KanovichV #problem

Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.

ICLP-2003-SonP #set

Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.

LICS-2003-PistoreV #infinity

The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.

ASE-2002-Goldmann #development

A Model of Planning and Enactment Support in Complex Software Development Projects (SG), p. 311.

DAC-2002-XiangWT #algorithm

An algorithm for integrated pin assignment and buffer planning (HX, DFW, XT), pp. 584–589.

DATE-2002-CotaCLO #design #testing

Test Planning and Design Space Exploration in a Core-Based Environment (ÉFC, LC, ML, AO), pp. 478–485.

DATE-2002-LuZKC

Flip-Flop and Repeater Insertion for Early Interconnect Planning (RL, GZ, CKK, KYC), pp. 690–695.

DATE-2002-WongSY #design #estimation

Congestion Estimation with Buffer Planning in Floorplan Design (WCW, CWS, EFYY), pp. 696–701.

VLDB-2002-GhoshPSH #clustering #query

Plan Selection Based on Query Clustering (AG, JP, VSS, JRH), pp. 179–190.

WRLA-2002-StehrT #maude #network #programming language #specification

Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.

ICSM-2002-Penny02a #release planning

Release Planning (DAP), p. 570.

CHI-2002-MartinRS #design #interactive

Applying patterns of cooperative interaction to work (re)design: e-government and planning (DBM, MR, IS), pp. 235–242.

ICEIS-2002-Audy #analysis #information management

Analysis of the Relation between the Prescriptive and Descriptive Approaches of the Information System Planning (JLNA), pp. 553–561.

ICEIS-2002-BirkholzerV #architecture #enterprise #information management #integration

The Role of Enterprise Architecture for Planning and Managing Future Information Systems Integration (TB, JV), pp. 42–49.

ICEIS-2002-GusikhinKRACM #artificial reality #assembly

Virtual Reality Web-Based Environment for Workcell Planning in an Automotive Assembly (OYG, EK, GR, CA, GC, TM), pp. 263–268.

ICEIS-2002-Peters #enterprise #resource management

Introducing an Enterprise Resource Planning (ERP) System in a Hospital (SCAP), pp. 275–281.

ICEIS-2002-Prosser

Proposing a Method for Planning the Materialisation of Views in a Data Warehouse (AP), pp. 155–162.

ICEIS-2002-ReisA #information management

Integrated Planning of Information Systems and Contingency and Recovery (LR, LAMdA), pp. 835–837.

ICPR-v3-2002-AlbalateDM #3d

Perception Planning for an Exploration Task of a 3D Environment (MTLA, MD, JMSM), pp. 704–707.

KDD-2002-RossetNEVI #modelling

Customer lifetime value modeling and its use for customer retention planning (SR, EN, UE, NV, YI), pp. 332–340.

KR-2002-CalvaneseGV #ltl #reasoning

Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.

UML-2002-BasanieriBM #approach #testing #uml

The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.

SPLC-2002-KangDKLL #development #product line #using

Using a Marketing and Product Plan as a Key Driver for Product Line Asset Development (KCK, PD, EK, JL, KL), pp. 366–382.

ICLP-2002-HayashiCO #execution #logic programming

Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.

ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving

Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.

DATE-2001-SarkarK #constraints

Repeater block planning under simultaneous delay and transition time constraints (PS, CKK), pp. 540–545.

VLDB-2001-AndreiV #communication #using

User-Optimizer Communication using Abstract Plans in Sybase ASE (MA, PV), pp. 29–38.

CSMR-2001-Villavicencion #automation #detection #program analysis #programming #slicing

Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.

CAiSE-2001-FurtadoC #library

Constructing Libraries of Typical Plans (ALF, AEMC), pp. 124–139.

EDOC-2001-QiangTSJC #requirements

A Web-Based Material Requirements Planning Integrated Application (QL, CKT, YSW, JW, CC), pp. 14–21.

ICEIS-v1-2001-Abi-Zeid #named

SARPlan: A Decision Support System for Canadian Search and Rescue Operations (IAZ), pp. 383–390.

ICEIS-v1-2001-AzevedoTB #enterprise #order

An Intelligent Agent-Based Order Planning for Dynamic Networked Enterprises (ALA, CT, JB), pp. 322–329.

ICEIS-v1-2001-SpremicS

Strategic IS Planning Practices (MS, IS), pp. 151–156.

ICEIS-v1-2001-StojanovicDS #development #network

Exploiting Temporal GIS and Spatio-Temporal Data to Enhance Telecom Network Planning and Development (DS, SDK, ZS), pp. 88–95.

ICEIS-v2-2001-AudyBF #information management #learning

Information Systems Planning: Contributions from Organizational Learning (JLNA, JLB, HF), pp. 873–879.

ICEIS-v2-2001-MartinCLG #e-commerce #policy #security

Planning Security Policy on E-Commerce (MM, AC, JL, RG), pp. 915–919.

ICEIS-v2-2001-Riedl #architecture #corba #distributed #network #tool support #xml

A CORBA/XML-Based Architecture for Distributed Network Planning Tools (AR), pp. 926–933.

CIKM-2001-NieK #integration #optimisation #query

Joint Optimization of Cost and Coverage of Query Plans in Data Integration (ZN, SK), pp. 223–230.

LSO-2001-Differding #metric #modelling #process #quality #reuse

Reuse of Measurement Plans Based on Process and Quality Models (CMD), pp. 207–221.

GCSE-2001-KimC #component #design #generative #testing

The Role of Design Components in Test Plan Generation (JK, CRC), pp. 140–152.

RE-2001-Kurtz #estimation

Ask Pete, Software Planning and Estimation through Project Characterization (TK), p. 286.

ASE-2000-BoseM #automation #coordination #generative #policy

Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.

SIGMOD-2000-WaasG #cost analysis #execution #query

Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.

ITiCSE-2000-ShinYLL #database #education #learning

Plan of teaching & learning for database software through situated learning (poster session) (SBS, IHY, CHL, TWL), pp. 193–194.

WCRE-J-1997-DeursenQW00 #recognition #tool support

Program plan recognition for year 2000 tools (AvD, AQ, SW), pp. 303–324.

WCRE-J-1997-QuiliciWZ00 #approach #constraints

Program plan matching: experiments with a constraint-based approach (AQ, SW, YZ), pp. 285–302.

CSCW-2000-Bajesy #implementation #named

IT2: an information technology initiative for the twenty-first century — NSF plans for implementation (RB), p. 359.

CAiSE-2000-KrumbholzM #enterprise #how #implementation #resource management

How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages (MK, NAMM), pp. 279–293.

ICEIS-2000-AzevedoS #distributed #enterprise #order

Distributed Order Planning for Networked Enterprises (ALA, JPdS), pp. 97–101.

ICEIS-2000-BritoNN

Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organisations (LB, PN, JN), pp. 395–401.

ICML-2000-HuangSK #constraints #declarative #learning

Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.

KR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability

Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.

KR-2000-IocchiNR #concurrent #framework #implementation #logic

Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.

KR-2000-MartinG #concept #learning #policy #using

Learning Generalized Policies in Planning Using Concept Languages (MM, HG), pp. 667–677.

KR-2000-Thomason #framework

Desires and Defaults: A Framework for Planning with Inferred Goals (RHT), pp. 702–713.

TOOLS-USA-2000-BirngruberH #set #specification #using

Using Plans for Specifying Preconfigured Bean Sets (DB, MH), pp. 217–226.

SAC-2000-Tellioglu #architecture #using #web

Cooperative Planning: Using the Web for Cooperation in Architectural Planning (HT), pp. 1001–1005.

ICSE-2000-BertolinoCIM #architecture #testing

Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.

ICSE-2000-NordPS #architecture #tutorial #using

Planning realistic schedules using software architecture (tutorial session) (RLN, DJP, DS), p. 824.

ICSE-2000-OConnorCM #named

Prompter — a project planning assistant (RO, RC, TM), p. 788.

CL-2000-BaralTTK #complexity

Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States (CB, LCT, RT, VK), pp. 882–896.

CL-2000-EiterFLPP #information management

Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.

CL-2000-ErdemLW #satisfiability

Wire Routing and Satisfiability Planning (EE, VL, MDFW), pp. 822–836.

CL-2000-MelisM #multi #proving #theorem proving

Proof Planning with Multiple Strategies (EM, AM), pp. 644–659.

ASE-1999-StarkI #automation #imperative #proving #synthesis #theorem proving #towards

Towards Automatic Imperative Program Synthesis Through Proof Planning (JS, AI), pp. 44–51.

DAC-1999-YimBK

A Floorplan-Based Planning Methodology for Power and Clock Distribution in ASICs (JSY, SOB, CMK), pp. 766–771.

VLDB-1999-DeutschPT #constraints #independence #optimisation #physics

Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.

CSMR-1999-LamLS #metric #requirements #using

Managing Requirements Change Using Metrics and Action Planning (WL, ML, VS), pp. 122–129.

AGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation

Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.

CHI-1999-UnderkofflerI #design #named

Urp: A Luminous-Tangible Workbench for Urban Planning and Design (JU, HI), pp. 386–393.

HCI-CCAD-1999-Chiu #algorithm #approach #learning #search-based #using

Learning path planning using genetic algorithm approach (CC), pp. 71–75.

HCI-CCAD-1999-KlobasM #behaviour

A planned behavior in context model of networked information resource use (JEK, DM), pp. 823–827.

HCI-CCAD-1999-SteinhoffGWW

Organisational issues and technical support for de-centralised planning (KS, JG, AW, AW), pp. 372–376.

HCI-EI-1999-Baumann #evaluation #feedback #matrix #usability

Matrix Evaluation Method for Planned Usability Improvements Based on Customer Feedback (KB), pp. 701–705.

ICEIS-1999-Correia

Public Transport Travel Planning Application (MC), pp. 59–64.

ICEIS-1999-CostaHA #process #using

Facilitating Organisational Activities Using Plans and Audits (CJC, TH, PA), pp. 404–411.

KDD-1999-BonchiGMP #classification #detection

A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection (FB, FG, GM, DP), pp. 175–184.

KDD-1999-HotzNPS #data mining #industrial #mining

WAPS, a Data Mining Support Environment for the Planning of Warranty and Goodwill Costs in the Automobile Industry (EH, GN, BP, HS), pp. 417–419.

ICLP-1999-Henz #constraints

Constraint-based Round Robin Tournament Planning (MH), pp. 545–557.

ICLP-1999-Lifschitz #set

Answer Set Planning (VL), pp. 23–37.

ASE-1998-MonroyBG #equation #verification

Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.

DAC-1998-OttenB #performance

Planning for Performance (RHJMO, RKB), pp. 122–127.

SIGMOD-1998-KabraD #execution #performance #query

Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.

VLDB-1998-CarinoO #execution #optimisation #parallel

Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.

FASE-1998-MargariaS #automation #backtracking #design #synthesis

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.

ICFP-1998-HicksKMGN #named #network

PLAN: A Packet Language for Active Networks (MWH, PK, JTM, CAG, SN), pp. 86–93.

CSCW-1998-HouseBS #information management #set #trust

Cooperative Knowledge Work and Practices of Trust: Sharing Environmental Planning Data Sets (NAVH, MHB, LRS), pp. 335–343.

ICPR-1998-MorookaZH #approach #modelling

Next best viewpoint (NBV) planning for active object modeling based on a learning-by-showing approach (KM, HZ, TH), pp. 677–681.

KDD-1998-ZakiLO #mining #named #sequence

PlanMine: Sequence Mining for Plan Failures (MJZ, NL, MO), pp. 369–374.

KR-1998-BacchusP #execution #information management #modelling

Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.

KR-1998-BaiolettiMM #constraints #encoding #partial order

Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.

KR-1998-Liberatore #on the #reasoning

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.

KR-1998-Lin #on the #quality

On Measuring Plan Quality (A Preliminary Report) (FL), pp. 224–233.

KR-1998-McCainT #satisfiability

Satisfiability planning with Causal Theories (NM, HT), pp. 212–223.

KR-1998-MuscettolaMT #execution #performance

Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.

KR-1998-Rintanen #algorithm

A Planning Algorithm not based on Directional Search (JR), pp. 617–625.

LOPSTR-1998-Richardson #named #proving #theorem proving

Abstract: Proof Planning with Program Schemas (JR), pp. 313–315.

SAC-1998-AhmedDR #fuzzy #graph #memory management #performance #reuse #using

Fast recall of reusable fuzzy plans using acyclic directed graph memory (MA, ED, DCR), pp. 272–276.

ICSE-1998-MotoyoshiO #development #incremental #object-oriented

An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method (YM, SO), pp. 430–433.

CADE-1998-RichardsonSG #higher-order #logic #proving #theorem proving

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam (JR, AS, IG), pp. 129–133.

ASE-1997-ArmandoSG #automation #paradigm #recursion #source code #synthesis

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm (AA, AS, IG), pp. 2–9.

PODS-1997-ScheufeleM #complexity #generative #on the

On the Complexity of Generating Optimal Plans with Cross Products (WS, GM), pp. 238–248.

ITiCSE-1997-OwensBPB #education

Changing computer science curricula (panel): planning for the future (BBO, SB, MP, AB), pp. 139–140.

CSMR-1997-MullerG #case study #experience #standard #tool support #using

Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.

WCRE-1997-DeursenWQ #recognition #tool support

Program Plan Recognition for Year 2000 Tools (AvD, SW, AQ), p. 124–?.

WCRE-1997-QuiliciWZ #approach #constraints

New Experiments with a Constraint-Based Approach to Program Plan Matching (AQ, SW, YZ), pp. 114–123.

PEPM-1997-Augustsson #partial evaluation

Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.

HCI-CC-1997-TrybusV97a

Professional Training and Work: Planning Transformation Dynamics Throughout Human Life (RJT, VFV), pp. 863–868.

HCI-SEC-1997-HolstCG #analysis #constraints #interface

Transporting Honey Bears: A Cognitive Analysis of the Effects of Interface Manipulation Style on a Constraint-Based Planning Task (SJH, EFC, DJG), pp. 169–172.

KDD-1997-ChienFMLG #data analysis #database #image #scalability #using

Using Artificial Intelligence Planning to Automate Science Data Analysis for Large Image Databases (SAC, FF, HM, EL, RG), pp. 147–150.

KDD-1997-ZhongLKO #process

KDD Process Planning (NZ, CL, YK, SO), pp. 291–294.

SAC-1997-DuschkaG #query

Query Planning in Infomaster (OMD, MRG), pp. 109–111.

KBSE-1996-GomesSW #synthesis

Synthesis of Schedulers for Planned Shutdowns of Power Plants (CPG, DRS, SJW), p. 6.

KBSE-1996-QuiliciYW #algorithm #comprehension #recognition

Applying Plan Recognition Algorithms to Program Understanding (AQ, QY, SW), p. 15.

VLDB-1996-Moni #database #distributed #named

DISNIC-PLAN: A NICNET Based Distributed Database for Micro-level Planning in India (MM), p. 586.

CSEE-1996-Baron #people

The People Side of Software: A Lesson Plan for Establishing a Successful Training Program (JB), pp. 184–198.

WCRE-1996-WoodsQ #algorithm #comprehension #how #recognition #towards

Some Experiments Toward Understanding How Program Plan Recognition Algorithms Scale (SW, AQ), pp. 21–30.

CSCW-1996-IsaacsTM #interactive #named

Piazza: A Desktop Environment Supporting Impromptu and Planned Interactions (EI, JCT, TM), pp. 315–324.

AdaEurope-1996-FeithT #ada #realtime #scalability

Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.

CAiSE-1996-CostalTUF #concept #validation

Handling Conceptual Model Validation by Planning (DC, ET, TU, CF), pp. 255–271.

ICML-1996-TaeC #information management

Experimental Knowledge Acquisition for Planning (KST, DJC), pp. 480–488.

ICPR-1996-AokiSAO #prototype #sketching #type system

A prototype system for interpreting hand-sketched floor plans (YA, AS, HA, KO), pp. 747–751.

ICPR-1996-NewmanTBC #image #segmentation

A volumetric segmentation technique for diagnosis and surgical planning in lower torso CT images (TSN, NT, SLB, PLC), pp. 553–557.

KDD-1996-Engels #database #information management

Planning Tasks for Knowledge Discovery in Databases; Performing Task-Oriented User-Guidance (RE), pp. 170–175.

KR-1996-Ginsberg #algorithm #generative

A New Algorithm for Generative Planning (MLG), pp. 186–197.

KR-1996-KambhampatiY #constraints #on the #refinement

On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.

KR-1996-KautzMS #encoding #logic

Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.

FSE-1996-GriswoldCBM #abstraction #scalability #tool support

Tool Support for Planning the Restructuring of Data Abstractions in Large Systems (WGG, MIC, RWB, JDM), pp. 33–45.

KBSE-1995-HoweMM #empirical #sequence #testing #using

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests (AEH, AvM, RTM), pp. 184–191.

ICDAR-v2-1995-RyallSMM #automation

Semi-automatic delineation of regions in floor plans (KR, SMS, JM, MM), pp. 964–969.

STOC-1995-AgarwalRT

Motion planning for a steering-constrained robot through moderate obstacles (PKA, PR, HT), pp. 343–352.

STOC-1995-KavrakiLMR #query #random

Randomized query processing in robot path planning (Extended Abstract) (LEK, JCL, RM, PR), pp. 353–362.

CHI-1995-KurlanderL #animation #interface

Planning-Based Control of Interface Animation (DK, DTL), pp. 472–479.

ICML-1995-Wang #approach #incremental #learning

Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition (XW), pp. 549–557.

SEKE-1995-KugumiyaSOK #evaluation

Evaluation of Case-Oriented Planning Support System -SMAP- for Business System (NK, SS, TO, NK), pp. 136–139.

LOPSTR-1995-WaalT #deduction #problem #program analysis #program transformation #using

Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.

SAC-1995-GudaitisLT #parallel #using

Multicriteria vehicle route-planning using parallel A^* search (MSG, GBL, AJT), pp. 171–176.

ICLP-1995-SubrahmanianZ #modelling

Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.

SIGMOD-1994-ColeG #evaluation #optimisation #query

Optimization of Dynamic Query Evaluation Plans (RLC, GG), pp. 150–160.

ICSM-1994-TanD #information management

Abstracting Plan-like Program Information: A Demonstration (EST, HGD), pp. 262–271.

STOC-1994-Pellegrini #on the

On point location and motion planning among simplices (MP), pp. 95–104.

CAiSE-1994-ConradiHL #transaction

Planning Support for Cooperating Transactions in EPOS (RC, MH, CL), pp. 2–13.

ICML-1994-GervasioD #approach #incremental #learning

An Incremental Learning Approach for Completable Planning (MTG, GD), pp. 78–86.

ICML-1994-Gil #incremental #learning #refinement

Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.

KDD-1994-AmantC #framework #integration #modelling #towards

Toward the Integration of Exploration and Modeling in a Planning Framework (RSA, PRC), pp. 49–60.

KR-1994-Carbonell #information management #learning #representation

Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract) (JGC), p. 633.

KR-1994-Kambhampati #algorithm #framework #refinement

Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.

KR-1994-KoenigS #graph #probability

Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.

KR-1994-Rao #formal method #recognition #towards

Means-End Plan Recognition — Towards a Theory of Reactive Recognition (ASR), pp. 497–508.

KR-1994-Selman

Near-Optimal Plans, Tractability, and Reactivity (BS), pp. 521–529.

SAC-1994-OsborneH #analysis #development #interactive

Development of an interactive weather analysis and display system to support agricultural planning (LFO, BCH), pp. 346–350.

ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language

Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.

ILPS-1994-Lever #constraints #logic programming

Constraint Logic Programming for Planning (JML), p. 679.

VLDB-1993-MitchellDZ #approach #query

Control of an Extensible Query Optimizer: A Planning-Based Approach (GM, UD, SBZ), pp. 517–528.

VLDB-1993-ThomasD #concept

A Plan-Operator Concept for Client-Based Knowledge Progressing (JT, SD), pp. 555–566.

CSM-1993-Abd-El-HafizB #library #source code #using

Documenting Programs Using a Library of Tree Structured Plans (SKAEH, VRB), pp. 152–161.

WCRE-1993-Quilici #approach #hybrid #programming

A Hybrid Approach to Recognizing Programming Plans (AQ), pp. 126–133.

HCI-ACS-1993-InoueN #case study #recognition #sequence

A Case Study of Plan Recognition: Command Sequences as Acts (YI, MN), pp. 392–397.

HCI-SHI-1993-HerrmannK #layout

Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.

HCI-SHI-1993-ScholtzC #development #programming language

The Development of a Plan Based Tutor to Aid in Transfer between Programming Languages (JS, AC), pp. 519–524.

HCI-SHI-1993-Thies

Animated Help as a Sensible Extension of a Plan-Based Help System (MAT), pp. 712–717.

INTERCHI-1993-HillLSW #analysis #multi

Planning for multiple task work: an analysis of a medical reception worksystem (BH, JL, WS, AW), pp. 314–320.

CIKM-1993-HsuK #multi #query

Reformulating Query Plans for Multidatabase Systems (CNH, CAK), pp. 423–432.

CIKM-1993-NaqviIKV #database #evaluation #query

Speculative Query Evaluation over Databases of Plans (SAN, TI, MK, KVV), pp. 439–450.

SEKE-1993-SassoD #knowledge-based #re-engineering

Plan-Based Guidance for Knowledge-Based Software Engineering (WCS, MD), pp. 665–672.

LOPSTR-1993-MaddenHGB #automation #generative #performance #proving #source code #theorem proving

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract) (PM, JH, IG, AB), pp. 64–66.

SAC-1993-Millen #communication

OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.

ICLP-1993-IvanetsIKT

Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.

ILPS-1993-BruningHSTS #deduction

Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.

HT-ECHT-1992-GuinanS #hypermedia #information retrieval #using

Information Retrieval from Hypertext using Dynamically Planned Guided Tours (CG, AFS), pp. 122–130.

SEI-1992-Hooper #education #framework #re-engineering

Planning for Software Engineering Education Within a Computer Science Framework at Marshall University (JWH), pp. 257–269.

TRI-Ada-T2-1992-MogilenskyM #assessment #implementation #process

After the Assessment: Preparing and Implementing a Process Improvement Action Plan (JM, MM), pp. 590–624.

CAiSE-1992-Verrijn-StuartR #integration #tool support

Model Integration in Information Planning Tools (AAVS, GJR), pp. 481–493.

KR-1992-Backstrom #equivalence

Equivalence and Tractability Results for SAS+ Planning (CB), pp. 126–137.

KR-1992-EtzioniHWDLW #approach

An Approach to Planning with Incomplete Information (OE, SH, DSW, DD, NL, MW), pp. 115–125.

KR-1992-Gibert #declarative #information management #representation #scheduling

Declarative Knowledge Representation in Planning and Scheduling (JG), pp. 3–13.

KR-1992-HaddawyH

Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals (PH, SH), pp. 71–82.

KR-1992-MintonDBP #partial order #performance

Total Order vs. Partial Order Planning: Factors Influencing Performance (SM, MD, JLB, ABP), pp. 83–92.

KR-1992-NgM #abduction #empirical #evaluation #recognition

Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation (HTN, RJM), pp. 499–508.

KR-1992-WeidaL #constraints #network #reasoning #recognition

Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.

ML-1992-Chen #learning

Improving Path Planning with Learning (PCC), pp. 55–61.

ML-1992-GratchD #analysis #learning #problem

An Analysis of Learning to Plan as a Search Problem (JG, GD), pp. 179–188.

SEKE-1992-Bertolotti #interactive #problem

Opportunistic Production Planning Through Interactive Problem Solving (EB), pp. 404–411.

LOPSTR-1992-KraanBB #logic programming #proving #synthesis #theorem proving

Logic Program Synthesis via Proof Planning (IK, DAB, AB), pp. 1–14.

CADE-1992-WalshNB #proving #theorem proving

The Use of Proof Plans to Sum Series (TW, AN, AB), pp. 325–339.

DAC-1991-MassonEBWC #implementation #lisp #object-oriented

Object Oriented Lisp Implementation of the CHEOPS VLSI Floor Planning and Routing System (CM, RE, DB, DW, GC), pp. 259–264.

KBSE-1991-FrinckeAL #algorithm #approach #automation #concurrent #detection #named

CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms (DAF, MA, KNL), pp. 151–160.

SIGMOD-1991-ImielinskiNV #design

Incomplete Objects — A Data Model for Design and Planning Applications (TI, SAN, KVV), pp. 288–297.

STOC-1991-KarloffRR #algorithm #bound #random

Lower Bounds for Randomized k-Server and Motion Planning Algorithms (HJK, YR, YR), pp. 278–288.

CAiSE-1991-Liu #execution #integration #process

Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.

KR-1991-Allen #reasoning

Planning as Temporal Reasoning (JFA), pp. 3–14.

KR-1991-DevanbuL #reasoning

Plan-Based Terminological Reasoning (PTD, DJL), pp. 128–138.

ML-1991-BennettD #probability

Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans (SB, GD), pp. 586–590.

ML-1991-Gil #effectiveness #framework #independence

A Domain-Independent Framework for Effective Experimentation in Planning (YG), pp. 13–17.

ML-1991-Gordon

An Enhancer for Reactive Plans (DFG), pp. 505–508.

ML-1991-LangleyA

The Acquisition of Human Planning Expertise (PL, JAA), pp. 80–84.

ML-1991-LeckieZ #approach #induction #learning

Learning Search Control Rules for Planning: An Inductive Approach (CL, IZ), pp. 422–426.

ML-1991-Lin #education #learning #self

Self-improvement Based on Reinforcement Learning, Planning and Teaching (LJL), pp. 323–327.

ML-1991-Sutton #incremental #programming

Planning by Incremental Dynamic Programming (RSS), pp. 353–357.

DAC-1990-FeghhiMK #design #kernel #object-oriented #process

An Object-Oriented Kernel for an Integrated Design and Process Planning System (SJF, MMM, RLK), pp. 437–443.

CHI-1990-FetzD #bibliography #quality #user interface

User interface and quality planning department (lab review) (BHF, MCD), pp. 83–84.

CHI-1990-LeMasterM #design

Design of a loading plan format for an expert cargo loading system (RL, UM), pp. 369–378.

ML-1990-Epstein #learning

Learning Plans for Competitive Domains (SLE), pp. 190–197.

ML-1990-GordonG #empirical

Explanations of Empirically Derived Reactive Plans (DFG, JJG), pp. 198–203.

ML-1990-Sutton #approximate #architecture #learning #programming

Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming (RSS), pp. 216–224.

SEKE-1990-Venugopal #integration #knowledge-based

Plan Integration in Knowledge-Based Software Environments (VV), pp. 98–103.

DAC-1989-LokanathanK #graph #performance

Performance optimized floor planning by graph planarization (BL, EK), pp. 116–121.

SIGMOD-1989-GraefeW #evaluation #query

Dynamic Query Evaluation Plans (GG, KW), pp. 358–366.

SEI-1989-Lamb #re-engineering

Questions in Planning Undergraduate Software Engineering (DAL), pp. 280–284.

CHI-1989-LerchMO #cost analysis

Skilled financial planning: the cost of translating ideas into action (FJL, MMM, JRO), pp. 121–126.

CAiSE-1989-McDaniel #information management #using

Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).

CAiSE-1989-RunnquistG #coordination

IRM as a Basis for Long Range Planning and Systems Coordination (FR, ÖG).

CAiSE-1989-Swende #architecture #data-driven #named #resource management

IRMA — Information Resource Management Architecture: A Data-driven Method Used in Planning the Overall System Architecture (ES).

KR-1989-Tenenberg #automation #inheritance

Inheritance in Automated Planning (JDT), pp. 475–485.

ML-1989-AllenL #concept #using

Using Concept Hierarchies to Organize Plan Knowledge (JAA, PL), pp. 229–231.

ML-1989-BirnbaumCK

Issues in the Justification-Based Diagnosis of Planning Failures (LB, GC, BK), pp. 194–196.

ML-1989-Flann #abstraction #learning #problem

Learning Appropriate Abstractions for Planning in Formation Problems (NSF), pp. 235–239.

ML-1989-Hunter #information management

Knowledge Acquisition Planning: Results and Prospects (LH), pp. 61–65.

ML-1989-LeviPS #learning

Learning Tactical Plans for Pilot Aiding (KRL, DLP, VLS), pp. 191–193.

ML-1989-ORorkeCO #learning

Learning to Recognize Plans Involving Affect (PO, TC, AO), pp. 209–211.

ML-1989-RudyK #learning

Learning to Plan in Complex Domains (DR, DFK), pp. 180–182.

ML-1989-Shavlik #analysis #empirical #learning

An Empirical Analysis of EBL Approaches for Learning Plan Schemata (JWS), pp. 183–187.

ML-1989-Tadepalli #approximate

Planning Approximate Plans for Use in the Real World (PT), pp. 224–228.

ML-1989-YangF #clustering #concept

Conceptual Clustering of Mean-Ends Plans (HY, DHF), pp. 232–234.

SEKE-1989-ReynoldsMP #compilation #metric #named

PM: A Metrics Driven Plan Compiler (RGR, JIM, SEP), pp. 25–30.

DAC-1988-Sechen #metaprogramming #using

Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.

STOC-1988-FortuneW

Planning Constrained Motion (SF, GTW), pp. 445–459.

SIGIR-1988-BarthesG #automation #information retrieval

Planning in an Expert System for Automated Information Retrieval (CB, PG), pp. 535–550.

CADE-1988-Bundy #induction #proving

The Use of Explicit Plans to Guide Inductive Proofs (AB), pp. 111–120.

JICSCP-1988-Eshghi88 #abduction #calculus

Abductive Planning with Event Calculus (KE), pp. 562–579.

STOC-1987-Clarkson #algorithm #approximate

Approximation Algorithms for Shortest Path Motion Planning (Extended Abstract) (KLC), pp. 56–65.

ICALP-1987-SchwartzS #on the #problem

On the Bivariate Function Minimization Problem And Its Applications to Motion Planning (JTS, MS), pp. 357–363.

DAC-1986-KnappP #design

A design utility manager: the ADAM planning engine (DK, ACP), pp. 48–54.

DAC-1986-Wolf #database #object-oriented

An object-oriented, procedural database for VLSI chip planning (WW), pp. 744–751.

CSCW-1986-ApplegateKN #analysis #generative #idea

A group decision support system for idea generation and issue analysis in organization planning (LMA, BRK, JFN), pp. 16–34.

CADE-1986-MannaW #how #logic

How to Clear a Block: Plan Formation in Situational Logic (ZM, RJW), pp. 622–640.

CADE-1986-Schneider #deduction

An Improvement of Deduction Plans: Refutation Plans (HAS), pp. 377–383.

DAC-1985-ChangW #assembly #knowledge base

A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.

DAC-1984-KozminskiK #algorithm #graph

An algorithm for finding a rectangular dual of a planar graph for use in area planning for VLSI integrated circuits (KK, EK), pp. 655–656.

DAC-1984-LeinwandL #algorithm

An algorithm for building rectangular floor-plans (SML, YTL), pp. 663–664.

CADE-1984-ForsytheM #deduction #implementation

Implementation Strategies for Plan-Based Deduction (KF, SM), pp. 426–444.

DAC-1983-BouyatBV #design #development #named

VERDI: A computer aided design system for development and city planning (MB, HB, JCV), pp. 382–385.

STOC-1983-ODunlaingSY #approach #named

Retraction: A New Approach to Motion-Planning (Extended Abstract) (CÓ, MS, CKY), pp. 207–220.

DAC-1982-MalingMH #on the

On finding most optimal rectangular package plans (KM, SHM, WRH), pp. 663–670.

DAC-1982-PilotyB

The conlan project: Status and future plans (RP, DB), pp. 202–212.

CADE-1982-Caferra #matrix #proving #reduction #validation

Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.

CADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance

Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.

DAC-1981-HorngL #automation #interactive #layout

An automatic/interactive layout planning system for arbitrarily-sized rectangular building blocks (CSH, ML), pp. 293–300.

DAC-1981-Scoble #interactive #using

Creating and updating space occupancy and building plans using interactive graphics (RAS), pp. 66–73.

VLDB-1980-Walker80a

Data Planning (WAW), p. 235.

DAC-1979-Bresnen #automation #metric

Automation of manufacturing planning, shop loading and work measurement in an engineering job shop environment (EJB), pp. 215–221.

ICSE-1979-BauerF #generative #testing #using

Test Plan Generation Using Formal Grammars (JAB, ABF), pp. 425–432.

DAC-1976-CytrynP

A system for computer assisted planning (Planning ADES) (AC, WHP), pp. 134–140.

POPL-1976-Franck #2d #analysis #graph grammar #named #precedence

PLAN2D — Syntactic Analysis of Precedence Graph Grammars (RF), pp. 134–139.

DAC-1975-Teicholz #process

The computer in the space planning process (ET), pp. 331–344.

DAC-1974-ShapiraF #design #generative

A procedure for generating floor plans computer aided design (HBjS, RSF), pp. 229–236.

DAC-1973-FullenwiderR #architecture #implementation

Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.

DAC-1973-KrawczykD #evaluation #generative

Space plan: A user oriented package for the evaluation and the generation of spatial inter-relationships (RJK, EED), pp. 121–138.

DAC-1972-BernholtzF #design

Spatial allocation in design and planning (AB, SF), pp. 181–189.

DAC-1972-Dudnik #architecture #nondeterminism #optimisation

Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.

DAC-1972-Grant #architecture #design #problem #proximity #using

Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.

DAC-1972-Yessios #modelling

Modeling the site planning of homogeneous uses (CIY), pp. 203–212.

DAC-1971-Eastman #named

GSP: A system for computer assisted space planning (CEE), pp. 208–220.

DAC-1971-Grason #approach #graph #using

An approach to computerized space planning using graph theory (JG), pp. 170–178.

DAC-1971-Veit #named

Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.

SIGIR-1971-KelloggBDF #data transformation #natural language

The Converse Natural Language Data Management System: Current Status and Plans (CK, JDB, TD, KF), pp. 33–46.

DAC-1970-Miller

Computer-aided space planning (WRM), pp. 28–34.