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.