BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (112)
system (105)
use (82)
model (66)
product (63)

Stem plan$ (all stems)

743 papers:

QoSAQoSA-2015-RostamiSHR #architecture #assessment
Architecture-based Assessment and Planning of Change Requests (KR, JS, RH, RHR), pp. 21–30.
CASECASE-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.
CASECASE-2015-BeyerYABGW #adaptation #flexibility
Flexible agent-based planning and adaptation of material handling systems (TB, RY, SA, MB, PG, KHW), pp. 1060–1065.
CASECASE-2015-BjorkenstamCL
Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.
CASECASE-2015-KaoLJ #mobile
Application of potential field method and optimal path planning to mobile robot control (CCK, CML, JGJ), pp. 1552–1554.
CASECASE-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.
CASECASE-2015-LeeC #big data
Aggregate production planning with small data in TFT-LCD manufacturing (CYL, MCC), pp. 647–648.
CASECASE-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.
CASECASE-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.
CASECASE-2015-MillerM #locality #using
Optimal planning for target localization and coverage using range sensing (LMM, TDM), pp. 501–508.
CASECASE-2015-NelaturiB0K #automation
Automatic spatial planning for machining operations (SN, GB, CF, TK), pp. 677–682.
CASECASE-2015-QiuZL #modelling
Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASECASE-2015-SchletteR #assembly
Utilization of motion planning strategies for micro-optical assembly (CS, JR), pp. 781–786.
CASECASE-2015-ShiK #realtime
Real-time grasping planning for robotic bin-picking and kitting applications (JS, GSK), pp. 1632–1637.
CASECASE-2015-ShiLGS #problem
Production planning for a class of batch processing problem (ZS, PL, HG, LS), pp. 1188–1193.
CASECASE-2015-ThomasSR #assembly #flexibility #sequence
Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
CASECASE-2015-YuYS #multi
Motion planning and manipulation of multiple nanowires simultaneouly under electric-fields in fluid suspension (KY, JY, JS), pp. 489–494.
CASECASE-2015-ZhaoLH #estimation #flexibility #performance #problem
Plant flexibility planning: Problem formulation and performance estimation (CZ, JL, NH), pp. 659–664.
DACDAC-2015-XuYGHP #named #self
PARR: pin access planning and regular routing for self-aligned double patterning (XX, BY, JRG, CLH, DZP), p. 6.
SIGMODSIGMOD-2015-PerelmanR #compilation #named #query #worst-case
DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.
SIGMODSIGMOD-2015-ScheibliDB #3d #distributed #interactive #named #query #visualisation
QE3D: Interactive Visualization and Exploration of Complex, Distributed Query Plans (DS, CD, AB), pp. 877–881.
SIGMODSIGMOD-2015-SheT0 #social
Utility-Aware Social Event-Participant Planning (JS, YT, LC), pp. 1629–1643.
SIGMODSIGMOD-2015-TuR #named #query #using
DunceCap: Query Plans Using Generalized Hypertree Decompositions (ST, CR), pp. 2077–2078.
SIGMODSIGMOD-2015-WangLYXZ #approach #network #performance
Efficient Route Planning on Public Transportation Networks: A Labelling Approach (SW, WL, YY, XX, SZ), pp. 967–982.
PLDIPLDI-2015-PrountzosMP #automation #graph #parallel #source code
Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
SEFMSEFM-2015-KnapikNP #generative #order
Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.
SEFMSEFM-2015-SukkerdGS #cyber-physical
Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2015-DantecAMW #crowdsourcing #representation
Planning with Crowdsourced Data: Rhetoric and Representation in Transportation Planning (CALD, MA, AM, KEW), pp. 1717–1727.
CSCWCSCW-2015-HeymanA
Computer Support for Financial Advisors and Their Clients: Co-creating an Investment Plan (SH, HA), pp. 1313–1323.
CSCWCSCW-2015-RedaelliC #coordination
Coordination-Artifacts Suiting: When Plans are in the Midst of Ordering Systems (IR, AC), pp. 165–178.
HCIHIMI-IKD-2015-BelyiPRM #multi
A Multi-agent Based System for Route Planning (EB, IP, AR, VM), pp. 500–512.
HCIHIMI-IKD-2015-YamamotoYKTK
Proposal of Advance Care Planning Support System (SY, TY, CK, MT, TK), pp. 560–568.
ICEISICEIS-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.
ICEISICEIS-v2-2015-GlocknerML #evaluation #process
Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.
ICEISICEIS-v3-2015-AldeaIHQF #implementation #motivation
Capability-based Planning with ArchiMate — Linking Motivation to Implementation (AA, MEI, JvH, DACQ, HMF), pp. 352–359.
ICEISICEIS-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.
ICMLICML-2015-VanseijenS #learning
A Deeper Look at Planning as Learning from Replay (HV, RS), pp. 2314–2322.
RecSysRecSys-2015-ElsweilerH #automation #recommendation #towards
Towards Automatic Meal Plan Recommendations for Balanced Nutrition (DE, MH), pp. 313–316.
RecSysRecSys-2015-HarveyE #automation #personalisation #recommendation
Automated Recommendation of Healthy, Personalised Meal Plans (MH, DE), pp. 327–328.
SEKESEKE-2015-TunnellA #fault #modelling #predict #release planning #using
Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
ECMFAECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using
Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
ICMTICMT-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.
PPDPPPDP-2015-BartakDZ #logic programming #modelling #on the #problem
On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
PADLPADL-2015-BassedaK #logic #transaction #using
State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
SACSAC-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.
SACSAC-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.
ICSEICSE-v2-2015-Gil #adaptation #automation #self
Automated Planning for Self-Adaptive Systems (RG), pp. 839–842.
HPDCHPDC-2015-KlusacekCR #optimisation
Planning and Optimization in TORQUE Resource Manager (DK, VC, HR), pp. 203–206.
ICLPICLP-J-2015-ZhouBD #logic programming
Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.
CBSECBSE-2014-BenedittoW #configuration management #runtime #using
Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
ASEASE-2014-Mohr #automation #composition
Issues of automated software composition in AI planning (FM), pp. 895–898.
CASECASE-2014-FeyzabadiC #markov #process #using
Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.
CASECASE-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.
CASECASE-2014-HuangCM #optimisation
Motion planning of a 7-axis robot manipulator via Modified Tension Spline and convex optimization (SH, HHC, AGM), pp. 1278–1283.
CASECASE-2014-LeeHH
Lifting motion planning for humanoid robots (HyL, HPH, HKH), pp. 1174–1179.
CASECASE-2014-LiuXL #approximate #capacity
A queuing approximation method for capacity planning of emergency department with time-varying demand (QL, XX, RL), pp. 558–563.
CASECASE-2014-LiXG #approach #capacity
A queuing approach for radiotherapy treatment capacity planning (SL, XX, NG), pp. 540–545.
CASECASE-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.
CASECASE-2014-SivaramakumarJ #nondeterminism
Production planning with uncertain demands and real options (GRS, SJ), pp. 671–676.
CASECASE-2014-TrikiGX #approach #health
A two-phase approach for periodic home health care planning (NT, TG, XX), pp. 518–523.
CASECASE-2014-WangC #coordination
Coordination mechanisms for planning of hydro-thermal subsystem (JW, XC), pp. 345–350.
CASECASE-2014-WantiaLR #approach #industrial
Symbolic planning for industrial applications — the eRobotics approach (NW, DL, JR), pp. 367–372.
CASECASE-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.
DATEDATE-2014-LiuCW
Metal layer planning for silicon interposers with consideration of routability and manufacturing cost (WHL, TKC, TCW), pp. 1–6.
DATEDATE-2014-WangFOT #3d #reduction
P/G TSV planning for IR-drop reduction in 3D-ICs (SW, FF, FO, MBT), pp. 1–6.
PODSPODS-2014-BenediktCT #generative #low cost #proving
Generating low-cost plans from proofs (MB, BtC, ET), pp. 200–211.
SIGMODSIGMOD-2014-DuttH #estimation #query
Plan bouquets: query processing without selectivity estimation (AD, JRH), pp. 1039–1050.
VLDBVLDB-2014-ChaPSKRL
Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.
VLDBVLDB-2015-GicevaARH14 #deployment #multi #query
Deployment of Query Plans on Multicores (JG, GA, TR, TH), pp. 233–244.
GRAPHITEGRAPHITE-2014-SenniS #knowledge base #reduction
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
GRAPHITEGRAPHITE-2014-Ziegert #abstraction #graph transformation
Graph Transformation Planning via Abstraction (SZ), pp. 71–83.
CHICHI-2014-KnowlesBCL #human-computer
Rethinking plan A for sustainable HCI (BK, LB, PC, ML), pp. 3593–3596.
CHICHI-2014-OlafsdottirTA #interactive #multi
Prospective motor control on tabletops: planning grasp for multitouch interaction (HBO, TT, CA), pp. 2893–2902.
CHICHI-2014-PschetzYE #named
TurningPoint: narrative-driven presentation planning (LP, KY, DE), pp. 1591–1594.
CSCWCSCW-2014-Rooksby #question
Can plans and situated actions be replicated? (JR), pp. 603–614.
CSCWCSCW-2014-SteinhardtJ #collaboration
Reconciling rhythms: plans and temporal alignment in collaborative scientific work (SBS, SJJ), pp. 134–145.
HCIHCI-AS-2014-WienkenMHK
Model of Mobility Oriented Agenda Planning (TW, CM, SH, HK), pp. 537–544.
CAiSECAiSE-2014-VlaanderenDB #incremental
Finding Optimal Plans for Incremental Method Engineering (KV, FD, SB), pp. 640–655.
ICEISICEIS-v2-2014-HaoH #bibliography #enterprise
Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.
ICEISICEIS-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.
CIKMCIKM-2014-HsiehL #mining
Mining and Planning Time-aware Routes from Check-in Data (HPH, CTL), pp. 481–490.
CIKMCIKM-2014-KimC14a #named #query
TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans (MK, KSC), pp. 2039–2041.
ICMLICML-c1-2014-ZhangHL #heuristic #performance
Covering Number for Efficient Heuristic-based POMDP Planning (ZZ, DH, WSL), pp. 28–36.
KDDKDD-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.
KDIRKDIR-2014-LinDDG #data analysis
Data Analytics for Power Utility Storm Planning (LL, AD, DD, SSG), pp. 308–314.
KEODKEOD-2014-MinhasB #information management #ontology
Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.
KEODKEOD-2014-WicklerCM #information management #modelling #named
KEWI — A Knowledge Engineering Tool for Modelling AI Planning Tasks (GW, LC, TLM), pp. 36–47.
KMISKMIS-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.
KRKR-2014-BaierMM #problem
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).
KRKR-2014-MarrellaMS #adaptation #calculus #named #process
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
KRKR-2014-SiderisD #heuristic #optimisation
Heuristic Guided Optimization for Propositional Planning (AS, YD).
SEKESEKE-2014-NetoC #identification
Identifying Threats to Validity and Control Actions in the Planning Stages of Controlled Experiments (AAN, TC), pp. 256–261.
SACSAC-2014-LaurentBBG #declarative #process
Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SACSAC-2014-RamosV #architecture #enterprise
eXtreme enterprise architecture planning (HR, AV), pp. 1417–1419.
ICLPICLP-J-2014-BartakZ #logic programming #problem #using
Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.
ICTSSICTSS-2014-WotawaB #automation #exclamation #security #testing
Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
ASEASE-2013-BarnesPG #architecture #automation #evolution
Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASEASE-2013-Frank #automation #challenge #validation #verification
The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.
CASECASE-2013-AlfonsoAX
Tactical planning of bloodmobile collection systems (EA, VA, XX), pp. 26–31.
CASECASE-2013-AlKhazrajiSDK #modelling
Information modeling to incorporate sustainability into production plans (QYA, CS, TD, SK), pp. 516–521.
CASECASE-2013-GaoZS #evaluation #probability
Evaluation of improvement probability for IMRT plans (SG, XZ, LS), pp. 474–479.
CASECASE-2013-NourzadehM #metric #multi #robust #visual notation
Robust visual measurement planning in multi-robot systems (HN, JEM), pp. 176–182.
CASECASE-2013-NourzadehM13a #constraints
Integrated planning of constraint sensor management and patrolling (HN, JEM), pp. 837–843.
CASECASE-2013-RoyS #constraints #generative #process
Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASECASE-2013-SeoYK #assembly #composition
Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
CASECASE-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.
CASECASE-2013-SunSZS #approach #optimisation
A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASECASE-2013-YuLYS
Electrophoresis-based motion planning and control of a nanowire in fluid suspension (KY, XL, JY, JS), pp. 819–824.
DACDAC-2013-HoC #multi
Multiple chip planning for chip-interposer codesign (YKH, YWC), p. 6.
DACDAC-2013-YuYGP #named
E-BLOW: e-beam lithography overlapping aware stencil planning for MCC system (BY, KY, JRG, DZP), p. 7.
DATEDATE-2013-WeiLSHAS #design #effectiveness #named
CATALYST: planning layer directives for effective design closure (YW, ZL, CCNS, SH, CJA, SSS), pp. 1873–1878.
HTHT-2013-Kolb #adaptation #hypermedia
Adaptive hypertext narrative as city planning (DK), pp. 184–188.
ICDARICDAR-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.
ICDARICDAR-2013-HerasFVLS #architecture #detection
Unsupervised Wall Detector in Architectural Floor Plans (LPdlH, DFM, EV, JL, GS), pp. 1245–1249.
ICDARICDAR-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.
VLDBVLDB-2013-0002LW #interactive #named
IPS: An Interactive Package Configuration System for Trip Planning (MX, LVSL, PTW), pp. 1362–1365.
VLDBVLDB-2013-KaplanLMN #query
Answering Planning Queries with the Crowd (HK, IL, TM, SN), pp. 697–708.
CSEETCSEET-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.
ICSMEICSM-2013-Perez #design #lessons learnt #refactoring #smell #summary
Refactoring Planning for Design Smell Correction: Summary, Opportunities and Lessons Learned (JP), pp. 572–577.
CSCWCSCW-2013-AliSN #sequence
Photographer paths: sequence alignment of geotagged photos for exploration-based route planning (AEA, SNAvS, FN), pp. 985–994.
HCIDHM-HB-2013-IllmannFLBD
Application and Future Developments of EMA in Digital Production Planning and Ergonomics (BI, LF, WL, SB, MD), pp. 66–75.
HCIDUXU-WM-2013-SchneidermeierMS #approach #communication #concept
Human-Centered Communication Planning: A Conceptual Approach (TS, FM, JS), pp. 94–102.
HCIHCI-UC-2013-Herberhold #enterprise #interactive #resource management
Interaction between Enterprise Resource Planning Systems and Organizational Culture (CH), pp. 381–387.
HCIHCI-UC-2013-KraftT #enterprise #resource management #semantics
Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-LCCB-2013-HadhrawiNAS #collaboration #framework #interface #named
CoPI: A Web-Based Collaborative Planning Interface Platform (MKH, MN, AA, AS), pp. 287–296.
HCIHIMI-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.
CAiSECAiSE-2013-RamirezBVW #generative #multi #process
Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
ICEISICEIS-J-2013-DiefenthalerB13a #architecture #enterprise
From Gaps to Transformation Paths in Enterprise Architecture Planning (PD, BB), pp. 474–489.
ICEISICEIS-v1-2013-AlvesL #problem
Solving Planning Problems with LRTA* (RMFA, CRL), pp. 475–481.
ICEISICEIS-v1-2013-FeldmanSCA #enterprise #resource management
Enterprise Resource Planning Systems — Streamlining Upgrade Decisions (GF, HS, CC, AA), pp. 128–135.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2013-KandjaniMAS #concept #framework #information management
A Conceptual Framework to Classify Strategic Information Systems Planning Methodologies (HK, AM, AEA, RS), pp. 190–196.
CIKMCIKM-2013-BrilhanteMNPR
Where shall we go today?: planning touristic tours with tripbuilder (IRB, JAFdM, FMN, RP, CR), pp. 757–762.
ICMLICML-c3-2013-SeijenS
Planning by Prioritized Sweeping with Small Backups (HvS, RSS), pp. 361–369.
KDIRKDIR-KMIS-2013-TangC #multi
Knowledge Presentation based on Multi-dimension Model for Measuring Planning in Digital Manufacturing (XT, ZC), pp. 67–73.
KEODKEOD-2013-JiC
From Structured Task Instructions to Robot Task Plans (JJ, XC), pp. 237–244.
KEODKEOD-2013-NiewiadomskiP #ontology #smt #towards
Towards SMT-based Abstract Planning in PlanICS Ontology (AN, WP), pp. 123–131.
RecSysRecSys-2013-SavirBS #recommendation
Recommending improved configurations for complex objects with an application in travel planning (AS, RIB, GS), pp. 391–394.
SEKESEKE-2013-AlamRP
Decision Support for Re-planning of Software Product Releases (S) (SMDAA, GR, DP), pp. 89–94.
SIGIRSIGIR-2013-SchallerHE #distributed #recommendation #visitor
RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.
OOPSLAOOPSLA-2013-MitchellS #capacity #on the fly
On-the-fly capacity planning (NM, PFS), pp. 849–866.
POPLPOPL-2013-DemangeLZJPV #java #memory management
Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
REFSQREFSQ-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.
ICSEICSE-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.
ICSEICSE-2013-SykesCMKRI #adaptation #learning #modelling
Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.
SPLCSPLC-2013-ChastekM #product line
Production planning in a software product line organization (GJC, JDM), p. 281.
ICLPICLP-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-ECSAWICSA-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.
CASECASE-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.
CASECASE-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.
CASECASE-2012-KehoeBG #adaptation #bound
Estimating part tolerance bounds based on adaptive Cloud-based grasp planning with slip (BK, DB, KG), pp. 1106–1113.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2012-MitraGRCB #automation
Automated path planning for washing in digital microfluidic biochips (DM, SG, HR, KC, BBB), pp. 115–120.
CASECASE-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.
CASECASE-2012-TurkiZN #maintenance
Impact of delivery time on optimal production/delivery/maintenance planning (ST, HZ, NR), pp. 335–340.
CASECASE-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.
CASECASE-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.
DATEDATE-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.
DATEDATE-2012-LiuPC #composition #design #synthesis
Compositional system-level design exploration with planning of high-level synthesis (HYL, MP, LPC), pp. 641–646.
VLDBVLDB-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.
CSEETCSEET-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.
IFMIFM-2012-RochaCMS #execution #interactive #verification
A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
CSCWCSCW-2012-Aizenbud-ReshefBGDK #enterprise #social
Bon voyage: social travel planning in the enterprise (NAR, AB, IG, YD, SKD), pp. 819–828.
CAiSECAiSE-2012-MartinCM #assessment #empirical #process
Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAiSECAiSE-2012-StirnaP #enterprise #modelling
Purpose Driven Competency Planning for Enterprise Modeling Projects (JS, AP), pp. 662–677.
ICMLICML-2012-FoxT #bound
Bounded Planning in Passive POMDPs (RF, NT), p. 15.
ICMLICML-2012-SilverC #composition #modelling #using
Compositional Planning Using Optimal Option Models (DS, KC), p. 165.
ICPRICPR-2012-BarducciM #component #graph #recognition
Object recognition in floor plans by graphs of white connected components (AB, SM), pp. 298–301.
ICPRICPR-2012-SongZJB #bound #robust #video
Robust video stabilization based on bounded path planning (CS, HZ, WJ, YB), pp. 3684–3687.
KEODKEOD-2012-MinhasB #development
Development of Intelligent Assistance System to Support Eco-efficient Planning (SUHM, UB), pp. 331–334.
KRKR-2012-BackstromJ #abstraction
Abstracting Abstraction in Search with Applications to Planning (CB, PJ).
SEKESEKE-2012-MarchettiG #framework #logic #model transformation #using
Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
ICMTICMT-2012-VarroDWS #algorithm #emf #generative #modelling
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.
REFSQREFSQ-2012-FrickerS #case study #industrial #release planning
Release Planning with Feature Trees: Industrial Case (SF, SS), pp. 288–305.
SACSAC-2012-LassaigneP #approximate #markov #process #scalability #verification
Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SACSAC-2012-YanCY #composition #optimisation #web #web service
Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.
ICSEICSE-2012-Avancini #research #security #testing #web
Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSEICSE-2012-SegallT #combinator #interactive #refinement #testing
Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
SPLCSPLC-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.
ICLPICLP-2012-ChenJY
Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.
WICSAWICSA-2011-BrownNOP #analysis #architecture #dependence #release planning
Analysis and Management of Architectural Dependencies in Iterative Release Planning (NB, RLN, IO, MP), pp. 103–112.
ASEASE-2011-ChakrabortyS #approach #framework #towards
Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.
ASEASE-2011-RathfelderKE #automation #capacity #performance #predict #using
Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.
ASEASE-2011-SoltaniAHGB #automation #feature model
Automated planning for feature model configuration based on stakeholders’ business concerns (SS, MA, MH, DG, EB), pp. 536–539.
CASECASE-2011-AmbrosinoBPSS #modelling #problem
Modeling and solving the train load planning problem in seaport container terminals (DA, AB, MP, SS, SS), pp. 208–213.
CASECASE-2011-AnghinolfiPSS #integer #optimisation #programming
Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASECASE-2011-DingRGS #programming
Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
CASECASE-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.
CASECASE-2011-StumpM #multi #persistent #problem
Multi-robot persistent surveillance planning as a Vehicle Routing Problem (ES, NM), pp. 569–575.
CASECASE-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.
DATEDATE-2011-ShinDLWJ
Early chip planning cockpit (JS, JAD, GL, AJW, CLJ), pp. 863–866.
ICDARICDAR-2011-AhmedLWD #analysis #architecture #automation
Improved Automatic Analysis of Architectural Floor Plans (SA, ML, MW, AD), pp. 864–869.
ICDARICDAR-2011-AhmedWLD #architecture #segmentation
Text/Graphics Segmentation in Architectural Floor Plans (SA, MW, ML, AD), pp. 734–738.
SIGMODSIGMOD-2011-ChenLLOYTZZ
A cross-service travel engine for trip planning (GC, CL, ML, BCO, SY, AKHT, DZ, MZ), pp. 1251–1254.
SIGMODSIGMOD-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.
VLDBVLDB-2011-Neumann #compilation #hardware #performance #query
Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
CSEETCSEET-2011-KruchtenK #agile #game studies #release planning
Mission to Mars: An agile release planning game (PK, JK), p. 552.
CSMRCSMR-2011-JunioMMNV #maintenance #on the
On the Benefits of Planning and Grouping Software Maintenance Requests (GAJ, MNM, HMdA, HTMN, MTV), pp. 55–64.
AGTIVEAGTIVE-2011-TichyK #adaptation #graph transformation #self
Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.
CHICHI-2011-BillmanAFLST
Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.
CSCWCSCW-2011-KanaiK #communication
A menu-planning support system to facilitate communication among neighbors (HK, KK), pp. 661–664.
HCIDHM-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.
HCIDUXU-v1-2011-RiceTW #enterprise #scalability #testing #usability
ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.
HCIDUXU-v2-2011-MasipOG #classification #component #evaluation #heuristic #interactive
Classification of Interactive System Components Enables Planning Heuristic Evaluation Easier (LM, MO, TG), pp. 478–486.
HCIDUXU-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.
HCIHCI-MIIE-2011-ChaoFK #framework #simulation
A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.
VISSOFTVISSOFT-2011-BeckTD #analysis #design #visual notation
A visual analysis and design tool for planning software reengineerings (MB, JT, JD), pp. 1–8.
ICEISICEIS-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.
ICEISICEIS-v1-2011-AdamKM #enterprise #resource management
Acceptance of Enterprise Resource Planning Systems by Small Manufacturing Enterprises (RA, PK, AvdM), pp. 229–238.
ICEISICEIS-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.
ICEISICEIS-v1-2011-Getta #information management #integration #optimisation
Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v4-2011-SinghW #adaptation #design #enterprise #interface #resource management
The Design of Adaptive Interfaces for Enterprise Resource Planning Systems (AS, JW), pp. 281–286.
KDIRKDIR-2011-Ibrahim #algorithm #clustering #network
Enhancing Clustering Network Planning Algorithm in the Presence of Obstacles (LFI), pp. 480–486.
KEODKEOD-2011-BelouaerBM
Spatial Knowledge in Planning Language (LB, MB, AIM), pp. 71–80.
KMISKMIS-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.
PADLPADL-2011-RedlEK #declarative #set #using
Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.
SACSAC-2011-TeixeiraLOM #modelling #probability
Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.
ICSEICSE-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.
ICSEICSE-2011-Smith #functional #requirements #security #testing #using
Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
SPLCSPLC-2011-ChastekM #product line
Production Planning in a Software Product Line Organization (GJC, JDM), p. 355.
ASEASE-2010-TajalliGEM #adaptation #architecture #modelling #named
PLASMA: a plan-based layered architecture for software model-driven adaptation (HT, JG, GE, NM), pp. 467–476.
CASECASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation
Relations identification and visualization for sequence planning and automation design (KB, CT, BL, , CY, SM, PF), pp. 841–848.
CASECASE-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.
CASECASE-2010-DasP
Precision-based robot path planning for microassembly (AND, DOP), pp. 527–532.
CASECASE-2010-HassanzadehMB #algorithm #mobile #optimisation
Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
CASECASE-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.
CASECASE-2010-JinJ #automation #bibliography #distributed #generative
Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASECASE-2010-JohnsonM #optimisation #using
Local planning using switching time optimization (ERJ, TDM), pp. 828–834.
CASECASE-2010-LiuCW #programming
Aggregated state dynamic programming for operating theater planning (YL, CC, KW), pp. 1013–1018.
CASECASE-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.
CASECASE-2010-RososhanskyXL #automation #using
Coverage based tool path planning for automated polishing using contact stress theory (MR, FX, YL), pp. 592–597.
VLDBVLDB-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.
VLDBVLDB-2011-KlingOD #database #execution #generative #performance #xml
Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
ITiCSEITiCSE-2010-Thompson #education
From phenomenography study to planning teaching (ET), pp. 13–17.
CSMRCSMR-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.
CSCWCSCW-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.
ICEISICEIS-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.
ICEISICEIS-DISI-2010-SandeSMFH #named
PW-Plan — A Strategy to Support Iteration-based Software Planning (DS, AS, RM, SF, EMH), pp. 66–74.
ICEISICEIS-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.
ICPRICPR-2010-TrummerMD #online #optimisation #using
Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.
KDDKDD-2010-SozioG #how #problem
The community-search problem and how to plan a successful cocktail party (MS, AG), pp. 939–948.
KEODKEOD-2010-BartonY #development #named #ontology
UrbanIT — Urban Ontologies to Support Informed Urban Development and Planning (JB, HY), pp. 224–228.
KEODKEOD-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.
KMISKMIS-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.
KMISKMIS-2010-LodemannL #framework #ontology #verification
Ontology-based Railway Infrastructure Verification — Planning Benefits (ML, NL), pp. 176–181.
KRKR-2010-GiacomoPS #constraints
Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).
KRKR-2010-HuL #correctness #problem #reasoning
A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
KRKR-2010-SohrabiBM #revisited
Diagnosis as Planning Revisited (SS, JAB, SAM).
SEKESEKE-2010-AlvesCL #agile #estimation #integration #process
Scrum and Plan-driven Process Integration and its Impact on Effort Estimation (NA, WC, ELJ), pp. 710–715.
SEKESEKE-2010-Egyhazy
Meta Context for Agent Planning (CJE), pp. 672–674.
SEKESEKE-2010-LeeSB #complexity #information management #legacy #visualisation
Knowledge Engineering to Visualize Complexity for Legacy Modernization Planning (SBL, SGS, KSB), pp. 331–334.
SEKESEKE-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.
RERE-2010-Al-EmranPR #analysis #release planning #robust
Decision Support for Product Release Planning Based on Robustness Analysis (AAE, DP, GR), pp. 157–166.
SACSAC-2010-HoL #algorithm #constraints
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SACSAC-2010-MalkowskiHJPN #empirical #named
CloudXplor: a tool for configuration planning in clouds based on empirical data (SM, MH, DJ, CP, DN), pp. 391–398.
SACSAC-2010-MylavarapuSB #approach #capacity #framework #probability
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
ICSEICSE-2010-King
Planning for climate change in the 21st century (DK), p. 3.
PLEASEPLEASE-2010-BotterweckPDPK #evolution #named #product line
EvoFM: feature-driven planning of product-line evolution (GB, AP, DD, AP, SK), pp. 24–31.
SPLCSPLC-2010-McGregor10b #product line
Production Planning in a Software Product Line Organization (JDM), pp. 507–508.
ASEASE-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.
CASECASE-2009-KarnikTS #capacity #modelling #nondeterminism #robust
Robust models for manufacturing capacity planning under demand uncertainty (AK, CST, AS), pp. 310–315.
CASECASE-2009-LeCS #approach #assembly
A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
CASECASE-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.
CASECASE-2009-SathiR #automation #generative
STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
CASECASE-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.
DATEDATE-2009-Anghel #concurrent #development #topic
HOT TOPIC — Concurrent SoC development and end-to-end planning (LA), p. 430.
DATEDATE-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.
DATEDATE-2009-TaoL #grid #power management
Decoupling capacitor planning with analytical delay model on RLC power grid (YT, SKL), pp. 839–844.
SIGMODSIGMOD-2009-BercovitzKKLZG #named #social
CourseRank: a social system for course planning (BB, FK, GK, HL, ZMZ, HGM), pp. 1107–1110.
SIGMODSIGMOD-2009-BrunoCR #interactive #optimisation #query
Interactive plan hints for query optimization (NB, SC, RR), pp. 1043–1046.
SIGMODSIGMOD-2009-GeorgiadisCV #xpath
Cost based plan selection for xpath (HG, MC, VV), pp. 603–614.
SIGMODSIGMOD-2009-GhazalSBCKG #generative #query
Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.
VLDBVLDB-2009-MoerkotteNS #bound #estimation #fault
Preventing Bad Plans by Bounding the Impact of Cardinality Estimation Errors (GM, TN, GS), pp. 982–993.
ICPCICPC-2009-ParninGR #named
TaskBoard: Tracking pertinent task artifacts and plans (CP, CG, SR), pp. 317–318.
ICSMEICSM-2009-JadallahGMR
Balancing value and modifiability when planning for the next release (AJ, MG, MM, GR), pp. 495–498.
HCIHCD-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.
HCIHIMI-DIE-2009-LinYLL #enterprise #implementation
A Human Factors Model for Enterprise Resources Planning System Implementation (CJL, CWY, SBL, SFL), pp. 123–130.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2009-LangT #approximate #probability #relational
Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.
KEODKEOD-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.
KEODKEOD-2009-Reyes-PerezBG #towards
Towards an Expert System for the Manufacturing System Planning of Products with Graded Properties (MRP, JB, JG), pp. 226–232.
MLDMMLDM-2009-FernandezBFM #automation #data mining #mining
Assisting Data Mining through Automated Planning (FF, DB, SF, DMM), pp. 760–774.
SEKESEKE-2009-McElroyR #approach #nondeterminism
A Layered Approach for Planning Releases under Uncertain Capacities (JM, GR), pp. 649–654.
PADLPADL-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.
SACSAC-2009-ParkPR #algorithm #automation #using
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
SACSAC-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.
SACSAC-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.
ICSEICSE-2009-GarlanS #architecture #evolution #named
Ævol: A tool for defining and planning architecture evolution (DG, BRS), pp. 591–594.
SPLCSPLC-2009-ChastekM #product line
Production planning in a software product line organization (GJC, JDM), p. 309.
ICLPICLP-2009-SonPS #logic programming #multi
Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.
WICSAWICSA-2008-LindgrenNWL #architecture #release planning
Importance of Software Architecture during Release Planning (ML, CN, AW, RL), pp. 253–256.
CASECASE-2008-AsarUAH #generative #network
Traffic responsive signal timing plan generation based on neural network (AuA, MSU, JA, RuH), pp. 833–838.
CASECASE-2008-ChenFL #automation #bibliography #industrial #perspective #process
Automated industrial robot path planning for spray painting process: A review (HC, TAF, XL), pp. 522–527.
CASECASE-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.
CASECASE-2008-Kress-GazitP #automation #challenge
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.
CASECASE-2008-LiYB #multi #network
Neural network based path planning for a multi-robot system with moving obstacles (HL, SXY, YB), pp. 163–168.
CASECASE-2008-WangMF #adaptation
An adaptive and optimal setup planning system (LW, JM, HYF), pp. 67–72.
CASECASE-2008-WangZFZXL #process #scheduling
A web-based integrated process planning and scheduling system (YW, YZ, JYHF, ZZ, LX, PL), pp. 662–667.
CASECASE-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.
CASECASE-2008-XueZD #multi
Planning regrasp operations for a multifingered robotic hand (ZX, JMZ, RD), pp. 778–783.
DACDAC-2008-ChenCP #framework
An integrated nonlinear placement framework with congestion and porosity aware buffer planning (TCC, AC, DZP), pp. 702–707.
HTHT-2008-PetersenW #agile #development #named
Asap: a planning tool for agile software development (RRP, UKW), pp. 27–32.
VLDBVLDB-2008-AkdereCT #detection #distributed
Plan-based complex event detection across distributed sources (MA, , NT), pp. 66–77.
VLDBVLDB-2008-DDH #diagrams #identification #reduction #robust
Identifying robust plans through plan diagram reduction (HD, PND, JRH), pp. 1124–1140.
VLDBVLDB-2008-DeyBDH #approximate #diagrams #query
Efficiently approximating query optimizer plan diagrams (AD, SB, HD, JRH), pp. 1325–1336.
VLDBVLDB-2008-ZiauddinDSZY #performance
Optimizer plan change management: improved stability and performance in Oracle 11g (MZ, DD, HS, YZ, KY), pp. 1346–1355.
LATALATA-2008-Kahramanogullari #concurrent #linear #logic #on the
On Linear Logic Planning and Concurrency (OK), pp. 250–262.
CHICHI-2008-JonesKCA
The personal project planner: planning to organize personal information (WJ, PVK, AC, MLA), pp. 681–684.
EDOCEDOC-2008-BaglioniBFST #classification #ontology
Ontology-Based Business Plan Classification (MB, AB, BF, LS, FT), pp. 365–371.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-ISAS2-2008-FernandesAS #performance #programming #release planning
An Extreme Programming Release Plan that Maximizes Business Performance (MCF, AJA, EAS), pp. 12–22.
ICPRICPR-2008-YaoCAPKA #probability #using
Sensor planning for PTZ cameras using the probability of camera overload (YY, CHC, BRA, DLP, AK, MAA), pp. 1–5.
KRKR-2008-Brafman
Preferences, Planning and Control (RIB), pp. 2–5.
KRKR-2008-EyerichBN #complexity #on the
On the Complexity of Planning Operator Subsumption (PE, MB, BN), pp. 518–527.
KRKR-2008-FritzBM #compilation
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
KRKR-2008-MagnussonD #deduction #induction
Deductive Planning with Inductive Loops (MM, PD), pp. 528–534.
KRKR-2008-Rintanen #graph
Planning Graphs and Propositional Clause-Learning (JR), pp. 535–543.
SEKESEKE-2008-DuZR #concept analysis #release planning #using
Explaining Product Release Planning Results Using Concept Analysis (GD, TZ, GR), pp. 137–142.
SPLCSPLC-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.
SPLCSPLC-2008-ChastekM #product line
Production Planning in a Software Product Line Organization (GJC, JDM), p. 369.
FATESTestCom-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.
QoSAQoSA-2007-PaceC #architecture #design #quality #using
Using Planning Techniques to Assist Quality-Driven Architectural Design Exploration (JADP, MRC), pp. 33–52.
ASEASE-2007-VainRKE #nondeterminism #synthesis
Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
CASECASE-2007-GengJ #capacity #nondeterminism
Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity (NG, ZJ), pp. 100–105.
CASECASE-2007-HablaMD #approach #capacity #finite
A Finite Capacity Production Planning Approach for Semiconductor Manufacturing (CH, LM, RD), pp. 82–87.
CASECASE-2007-LamiriDX #random
Operating Room Planning with Random Surgery Times (ML, JD, XX), pp. 521–526.
CASECASE-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.
CASECASE-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.
CASECASE-2007-QuadtM #approach
Line Planning in a Hierarchical Production Planning Approach (DQ, CKM), pp. 489–494.
DACDAC-2007-ChoXPP #named
TROY: Track Router with Yield-driven Wire Planning (MC, HX, RP, DZP), pp. 55–58.
DACDAC-2007-ImhofZWML #reduction #testing
Scan Test Planning for Power Reduction (MEI, CGZ, HJW, NM, JL), pp. 521–526.
VLDBVLDB-2007-DDH #diagrams #on the
On the Production of Anorexic Plan Diagrams (HD, PND, JRH), pp. 1081–1092.
ITiCSEITiCSE-2007-OwensAB
The computing educators oral history project: planning for the future (BBO, VLA, LJB), p. 328.
TACASTACAS-2007-HarelS #flexibility #source code
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.
AGTIVEAGTIVE-2007-BatzKG #evaluation #graph #pattern matching
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching (GVB, MK, RG), pp. 471–486.
GT-VMTGT-VMT-2007-HorvathVV #graph
Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).
HCIHCI-MIE-2007-Seifert #generative #interactive
Region-Based Model of Tour Planning Applied to Interactive Tour Generation (IS), pp. 499–507.
HCIHIMI-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.
EDOCEDOC-2007-SurmsukT #information management
The Integrated Strategic Information System Planning Methodology (PS, ST), pp. 467–475.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-2007-HuangL07a #composition #reasoning #using
Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.
SEKESEKE-2007-ZiemerC #development #release planning #web
Knowledge Sharing through a Simple Release Planning Method for Web Application Development (SZ, ICC), pp. 686–691.
RERE-2007-LehtolaKV
Strengthening the link between business decisions and RE: Long-term product planning in software product companies (LL, MK, JV), pp. 153–162.
REFSQREFSQ-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-FSEESEC-FSE-2007-SaliuR #evolution #release planning
Bi-objective release planning for evolving software systems (MOS, GR), pp. 105–114.
ICSEICSE-2007-CoppitPR #named #prototype
Spotlight: A Prototype Tool for Software Plans (DC, RRP, MR), pp. 754–757.
ICSEICSE-2007-HolmesW #reuse
Supporting the Investigation and Planning of Pragmatic Reuse Tasks (RH, RJW), pp. 447–457.
ICSEICSE-2007-ZhuLBG #capacity #modelling #named
Revel8or: Model Driven Capacity Planning Tool Suite (LZ, YL, NBB, IG), pp. 797–800.
HPDCHPDC-2007-ShankarD #clustering #data-driven #workflow
Data driven workflow planning in cluster management systems (SS, DJD), pp. 127–136.
MBTMBT-2007-RaimondiPB #model checking #testing
Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
CASECASE-2006-FangL #agile #multi
A Class of Optimal Operation Planning for Kanban Managed Multi-Stage Production System (YF, YJL), pp. 369–374.
CASECASE-2006-GohBDEHR #resource management
A Resource Planning Model for Professional Services Organizations (MG, KB, RdS, BTE, JH, BKR), pp. 636–639.
CASECASE-2006-KazanciogluS #capacity #design #multi
Multi-Period Production Capacity Planning for Integrated Product and Production System Design (EK, KS), pp. 3–8.
CASECASE-2006-LamiriX #using
Operating Rooms Planning Using Lagrangian Relaxation Technique (ML, XX), pp. 176–181.
CASECASE-2006-LiuW #multi #simulation
Haptic Simulation of Multibody Contact Dynamics for Fixture Loading Planning (TL, MYW), pp. 304–309.
CASECASE-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.
CASECASE-2006-RenZMP #mobile
Stable Motion Planning for Dynamic Nonholonomic Mobile Robots (JR, HZ, KAM, RVP), pp. 200–205.
CASECASE-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.
DACDAC-2006-BergeronFPMAS #testing #verification
Building a verification test plan: trading brute force for finesse (JB, HF, AP, RSM, CA, DS), pp. 805–806.
ITiCSEITiCSE-2006-KeenanPCM #agile #learning
Learning project planning the agile way (FK, SP, GC, KM), p. 324.
WCREWCRE-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.
CAiSECAiSE-2006-BrylMMZ #design #modelling #requirements #security
Designing Security Requirements Models Through Planning (VB, FM, JM, NZ), pp. 33–47.
ICEISICEIS-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.
ICEISICEIS-AIDSS-2006-PetruzzellisLPSBP #personalisation #profiling
Personalized Incentive Plans through Employee Profiling (SP, OL, IP, GS, VB, CP), pp. 107–114.
ICEISICEIS-DISI-2006-Ifinedo #enterprise #metric #resource management
Enterprise Resource Planning (ERP) Systems Success Measurement: An Extended Model (PI), pp. 71–78.
ICEISICEIS-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.
ICEISICEIS-SAIC-2006-NagiB
Recovery Services for the Planning Layer of Agents (KN, GB), pp. 138–146.
ICMLICML-2006-RatliffBZ
Maximum margin planning (NDR, JAB, MZ), pp. 729–736.
ICPRICPR-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.
ICPRICPR-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.
KRKR-2006-BaierM #on the #source code
On Planning with Programs that Sense (JAB, SAM), pp. 492–502.
KRKR-2006-BienvenuFM
Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.
KRKR-2006-BonetG #heuristic #using
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.
KRKR-2006-FeldmannBW
Planning with Prioritized Goals (RF, GB, SW), pp. 503–514.
KRKR-2006-RagniW #constraints
Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.
KRKR-2006-SardinaGLL #nondeterminism #on the #strict
On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
KRKR-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.
SEKESEKE-2006-AversanoCV #named #web
WECAP: A Web Environment for Project Planning (LA, GC, CAV), pp. 591–594.
SEKESEKE-2006-BoukercheL #re-engineering #rule-based #towards
Reengineering a Rule-Based System towards a Planning System (KB, HL), pp. 619–624.
SEKESEKE-2006-McDaidGKPCT #agile #nondeterminism #release planning
Managing Uncertainty in Agile Release Planning (KM, DG, FK, PP, GC, PST), pp. 138–143.
SEKESEKE-2006-McElroyR #release planning
Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.
SIGIRSIGIR-2006-Radhakrishnan #information retrieval
Information retrieval at Boeing: plans and successes (RR), pp. 380–381.
RERE-2006-BushN #requirements #research
Requirements Engineering Research in Some Future Worlds: An Exercise in Scenario Planning (DB, BN), p. 324.
SACSAC-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.
SACSAC-2006-MeyerAWMF #grid #performance #workflow
Planning spatial workflows to optimize grid performance (LAVCM, JA, MW, MM, ITF), pp. 786–790.
ICSEICSE-2006-LiHSL #programming #release planning
A risk-driven method for eXtreme programming release planning (ML, MH, FS, JL), pp. 423–430.
ICSEICSE-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.
ICSEICSE-2006-RundleD #agile #using
Using return on investment to compare agile and plan-driven practices in undergraduate group projects (PJR, RGD), pp. 649–654.
CAVCAV-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.
ICLPICLP-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.
CASECASE-2005-KimD #metric #process #quality #using
Quality measurement of production process plan using tolerance chart (IHK, ZD), pp. 25–30.
CASECASE-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.
CASECASE-2005-PengLZ #approach #fuzzy #set
Intelligent setup planning in manufacturing by fuzzy set theory based approach (GP, WL, YZ), pp. 130–135.
CASECASE-2005-SchmidW #using
Path planning for a humanoid using NURBS curves (AJS, HW), pp. 351–356.
CASECASE-2005-XueSG #multi
Multi-objective evolutionary decision support for design-supplier-manufacturing planning (FX, ACS, RJG), pp. 197–202.
CASECASE-2005-ZhangZNZ
Production planning with joint resources usage semiconductor test manufacturing (ZZ, MTZ, SN, LZ), pp. 49–54.
DACDAC-2005-AdirABPS #approach #architecture #testing #verification
A generic micro-architectural test plan approach for microprocessor verification (AA, HA, EB, OP, KS), pp. 769–774.
DATEDATE-2005-SehgalLOC #testing
Test Planning for Mixed-Signal SOCs with Wrapped Analog Cores (AS, FL, SO, KC), pp. 50–55.
VLDBVLDB-2005-BizarroBDW
Content-Based Routing: Different Plans for Different Data (PB, SB, DJD, JW), pp. 757–768.
VLDBVLDB-2005-ReddyH #database #diagrams #query
Analyzing Plan Diagrams of Database Query Optimizers (NR, JRH), pp. 1228–1240.
ICSMEICSM-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.
ICSMEICSM-IT-2005-BhawnaniR #evolution #maintenance #named
ReleasePlanner — Planning new Releases for Software Maintenance and Evolution (PB, GR), pp. 73–76.
EDOCEDOC-2005-FerreiraF #learning #lifecycle #workflow
Learning, planning, and the life cycle of workflow management (DRF, HMF), pp. 39–46.
ICEISICEIS-v1-2005-KircheZT #corba #realtime
Real-Time Sales & Operations Planning with Corba: Linking Demand Management with Production Planning (ETK, JZ, TT), pp. 122–129.
ICEISICEIS-v2-2005-OttomanelliDS #maintenance
A Decision Support System Based on Neuro-Fuzzy System for Railroad Maintenance Planning (MO, MD, DS), pp. 43–49.
ICEISICEIS-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.
ICMLICML-2005-IlghamiMNA #approximate #learning
Learning approximate preconditions for methods in hierarchical plans (OI, HMA, DSN, DWA), pp. 337–344.
ICMLICML-2005-RohanimaneshM #approach #concurrent #generative #markov #named #process
Coarticulation: an approach for generating concurrent plans in Markov decision processes (KR, SM), pp. 720–727.
MODELSMoDELS-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.
MODELSMoDELS-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.
RERE-2005-LehtolaKK #requirements
Linking the Business View to Requirements Engineering: Long-Term Product Planning by Roadmapping (LL, MK, SK), pp. 439–446.
SACSAC-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.
ICSEICSE-2005-Hirsch #agile #development
Moving from a plan driven culture to agile development (MH), p. 38.
ICSEICSE-2005-LavazzaB #automation #execution #metric
Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
SPLCSPLC-2005-HelferichHS #deployment #named #product line #quality #using
QFD-PPP: Product Line Portfolio Planning Using Quality Function Deployment (AH, GH, SS), pp. 162–173.
CADECADE-2005-CastelliniS #first-order #logic #proving #theorem proving
Proof Planning for First-Order Temporal Logic (CC, AS), pp. 235–249.
ASEASE-2004-Arshad #automation #configuration management #using
Automated Dynamic Reconfiguration using AI Planning (NA), pp. 402–405.
DATEDATE-v2-2004-GarceaMKO #statistics
Statistically Aware Buffer Planning (GSG, NPvdM, KJvdK, RHJMO), pp. 1402–1403.
PODSPODS-2004-ScarcelloGL #query
Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.
SIGMODSIGMOD-2004-ZhuRH #data type #migration #query
Dynamic Plan Migration for Continuous Queries Over Data Streams (YZ, EAR, GTH), pp. 431–442.
VLDBVLDB-2004-SardaH #optimisation #query
Green Query Optimization: Taming Query Optimization Overheads through Plan Recycling (PS, JRH), pp. 1333–1336.
ITiCSEITiCSE-2004-CasselFLPKIG #using
Using CITIDEL to develop and share class plans (LNC, EAF, JL, MAPQ, DK, JI, CLG), p. 270.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2004-StamatiKSM #legacy #migration
Legacy Migration as Planned Organizational Change (TS, PK, KS, DM), pp. 501–508.
ICEISICEIS-v5-2004-Sneiders #tool support
Tool Support for Legal Enquiry: Focus on Spatial-Planning Law (ES), pp. 289–294.
KRKR-2004-Barrett #compilation #hybrid
From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
KRKR-2004-DelgrandeST #reasoning
Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.
KRKR-2004-Geffner #compilation #graph
Planning Graphs and Knowledge Compilation (HG), pp. 662–672.
KRKR-2004-PasulaZK #learning #probability #relational
Learning Probabilistic Relational Planning Rules (HP, LSZ, LPK), pp. 683–691.
KRKR-2004-PetrickB #approach #knowledge-based
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing (RPAP, FB), pp. 613–622.
KRKR-2004-Rintanen #case study
Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.
PADLPADL-2004-Balduccini #named #quality #set
USA-Smart: Improving the Quality of Plans in Answer Set Planning (MB), pp. 135–147.
SACSAC-2004-El-Gayar #fuzzy #logic #multi
Application of fuzzy logic to multiple criteria decision making in aquacultural planning (OFEG), pp. 1028–1029.
SACSAC-2004-MeneguzziZM
Propositional planning in BDI agents (FRM, AFZ, MdCM), pp. 58–63.
ICSEICSE-2004-BoehmT #agile
Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods (BWB, RT), pp. 718–719.
SPLCSPLC-2004-JohnS #product line
Starting Product Lines (I) — Systematic Product Line Planning and Adoption (IJ, KS), p. 319.
SPLCSPLC-2004-LeeKK #approach #product line
A Feature-Based Approach to Product Line Production Planning (JL, KCK, SK), pp. 183–196.
SPLCSPLC-2004-Taborda #architecture #product line #release planning
Generalized Release Planning for Product Line Architectures (LJMT), pp. 238–254.
HPDCHPDC-2004-KichkayloK #component #deployment #distributed #resource management
Optimal Resource-Aware Deployment Planning for Component-Based Distributed Applications (TK, VK), pp. 150–159.
ICLPICLP-2004-JiaYY #set #source code
Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
DACDAC-2003-CongJRR #architecture #evaluation #physics
Microarchitecture evaluation with physical planning (JC, AJ, GR, MR), pp. 32–35.
DACDAC-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.
DATEDATE-2003-LuK
Interconnect Planning with Local Area Constrained Retiming (RL, CKK), pp. 10442–10447.
DocEngDocEng-2003-PhelpsW
Two diet plans for fat PDF (TAP, RW), pp. 175–184.
SIGMODSIGMOD-2003-SengarH #named #optimisation #query
PLASTIC: Reducing Query Optimization Overheads through Plan Recycling (VSS, JRH), p. 676.
CSEETCSEET-2003-Perez-MartinezS #coordination #education #re-engineering
A Coordinated Plan for Teaching Software Engineering in the Rey Juan Carlos University (JEPM, ASA), p. 107–?.
CSEETCSEET-2003-ZhangZZ #re-engineering #student
Improving Project Planning/Tracking for Student Software Engineering Projects through SOPPTS (JZ, DMZ, WMZ), pp. 185–192.
ICSMEICSM-2003-LimpiyakornB #comprehension #concept
Applying the Signature Concept to Plan-Based Program Understanding (YL, IB), p. 325–?.
FMFME-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.
ICEISICEIS-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.
ICEISICEIS-v1-2003-TsengVC #enterprise
Planning for Enterprise Computing Services: Issues and Necessities Analyzed (JT, EV, TC), pp. 414–420.
ICEISICEIS-v2-2003-AlbuquerqueFBM
The Innovation Planning Task for Products and Services (AA, EF, MAdB, AM), pp. 451–456.
ICEISICEIS-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.
ICEISICEIS-v2-2003-CastroSS #collaboration #named
Decisio: A Collaborative Decision Support System for Environmental Planning (MdC, JMdS, JCMS), pp. 217–222.
ICEISICEIS-v2-2003-ChadesSC #markov #multi #process #using
Planning Cooperative Homogeneous Multiagent Systems Using Markov Decision Processes (IC, BS, FC), pp. 426–429.
ICEISICEIS-v3-2003-LeeS #enterprise #optimisation #resource management
Complementary Adoption and Optimization of Enterprise Resource Planning Systems (CSL, WSS), pp. 615–618.
ICMLICML-2003-McMahanGB #cost analysis
Planning in the Presence of Cost Functions Controlled by an Adversary (HBM, GJG, AB), pp. 536–543.
MLDMMLDM-2003-DeventerDNK #modelling #testing #using
Using Test Plans for Bayesian Modeling (RD, JD, HN, OK), pp. 307–316.
SEKESEKE-2003-GoldmannHR #information management #re-engineering
Knowledge Management for Project Planning and Enactment in Software Engineering (SG, HH, MMR), pp. 393–397.
SEKESEKE-2003-MunchHD #clustering
A Practical Way to Use Clustering and Context Knowledge for Software Project Planning (JM, JH, AD), pp. 377–384.
SEKESEKE-2003-WuS #approach #data mining #mining
A Data Mining Approach for Dynamic Software Project Plan Tracking (CSW, DBS), pp. 634–638.
SACSAC-2003-KellarMZWKB #architecture #composition
Architecture to Support Dynamic Composition of Math Lesson Plans (MK, BM, RZ, CRW, DK, JMB), pp. 569–574.
CSLCSL-2003-KanovichV #problem
Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.
ICLPICLP-2003-SonP #set
Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.
LICSLICS-2003-PistoreV #infinity
The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
ASEASE-2002-Goldmann #development
A Model of Planning and Enactment Support in Complex Software Development Projects (SG), p. 311.
DACDAC-2002-XiangWT #algorithm
An algorithm for integrated pin assignment and buffer planning (HX, DFW, XT), pp. 584–589.
DATEDATE-2002-CotaCLO #design #testing
Test Planning and Design Space Exploration in a Core-Based Environment (ÉFC, LC, ML, AO), pp. 478–485.
DATEDATE-2002-LuZKC
Flip-Flop and Repeater Insertion for Early Interconnect Planning (RL, GZ, CKK, KYC), pp. 690–695.
DATEDATE-2002-WongSY #design #estimation
Congestion Estimation with Buffer Planning in Floorplan Design (WCW, CWS, EFYY), pp. 696–701.
VLDBVLDB-2002-GhoshPSH #clustering #query
Plan Selection Based on Query Clustering (AG, JP, VSS, JRH), pp. 179–190.
WRLAWRLA-2002-StehrT #maude #network #programming language #specification
Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
ICSMEICSM-2002-Penny02a #release planning
Release Planning (DAP), p. 570.
CHICHI-2002-MartinRS #design #interactive
Applying patterns of cooperative interaction to work (re)design: e-government and planning (DBM, MR, IS), pp. 235–242.
ICEISICEIS-2002-Audy #analysis #information management
Analysis of the Relation between the Prescriptive and Descriptive Approaches of the Information System Planning (JLNA), pp. 553–561.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-2002-Peters #enterprise #resource management
Introducing an Enterprise Resource Planning (ERP) System in a Hospital (SCAP), pp. 275–281.
ICEISICEIS-2002-Prosser
Proposing a Method for Planning the Materialisation of Views in a Data Warehouse (AP), pp. 155–162.
ICEISICEIS-2002-ReisA #information management
Integrated Planning of Information Systems and Contingency and Recovery (LR, LAMdA), pp. 835–837.
ICPRICPR-v3-2002-AlbalateDM #3d
Perception Planning for an Exploration Task of a 3D Environment (MTLA, MD, JMSM), pp. 704–707.
KDDKDD-2002-RossetNEVI #modelling
Customer lifetime value modeling and its use for customer retention planning (SR, EN, UE, NV, YI), pp. 332–340.
KRKR-2002-CalvaneseGV #ltl #reasoning
Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
UMLUML-2002-BasanieriBM #approach #testing #uml
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects (FB, AB, EM), pp. 383–397.
SPLCSPLC-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.
ICLPICLP-2002-HayashiCO #execution #logic programming
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.
ASEASE-2001-CookIM #higher-order #proving #synthesis #theorem proving
Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.
DATEDATE-2001-SarkarK #constraints
Repeater block planning under simultaneous delay and transition time constraints (PS, CKK), pp. 540–545.
VLDBVLDB-2001-AndreiV #communication #using
User-Optimizer Communication using Abstract Plans in Sybase ASE (MA, PV), pp. 29–38.
CSMRCSMR-2001-Villavicencion #automation #detection #program analysis #programming #slicing
Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.
CAiSECAiSE-2001-FurtadoC #library
Constructing Libraries of Typical Plans (ALF, AEMC), pp. 124–139.
EDOCEDOC-2001-QiangTSJC #requirements
A Web-Based Material Requirements Planning Integrated Application (QL, CKT, YSW, JW, CC), pp. 14–21.
ICEISICEIS-v1-2001-Abi-Zeid #named
SARPlan: A Decision Support System for Canadian Search and Rescue Operations (IAZ), pp. 383–390.
ICEISICEIS-v1-2001-AzevedoTB #enterprise #order
An Intelligent Agent-Based Order Planning for Dynamic Networked Enterprises (ALA, CT, JB), pp. 322–329.
ICEISICEIS-v1-2001-SpremicS
Strategic IS Planning Practices (MS, IS), pp. 151–156.
ICEISICEIS-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.
ICEISICEIS-v2-2001-AudyBF #information management #learning
Information Systems Planning: Contributions from Organizational Learning (JLNA, JLB, HF), pp. 873–879.
ICEISICEIS-v2-2001-MartinCLG #e-commerce #policy #security
Planning Security Policy on E-Commerce (MM, AC, JL, RG), pp. 915–919.
ICEISICEIS-v2-2001-Riedl #architecture #corba #distributed #network #tool support #xml
A CORBA/XML-Based Architecture for Distributed Network Planning Tools (AR), pp. 926–933.
CIKMCIKM-2001-NieK #integration #optimisation #query
Joint Optimization of Cost and Coverage of Query Plans in Data Integration (ZN, SK), pp. 223–230.
LSOLSO-2001-Differding #metric #modelling #process #quality #reuse
Reuse of Measurement Plans Based on Process and Quality Models (CMD), pp. 207–221.
GPCEGCSE-2001-KimC #component #design #generative #testing
The Role of Design Components in Test Plan Generation (JK, CRC), pp. 140–152.
RERE-2001-Kurtz #estimation
Ask Pete, Software Planning and Estimation through Project Characterization (TK), p. 286.
ASEASE-2000-BoseM #automation #coordination #generative #policy
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.
SIGMODSIGMOD-2000-WaasG #cost analysis #execution #query
Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.
ITiCSEITiCSE-2000-ShinYLL #database #education #learning
Plan of teaching & learning for database software through situated learning (poster session) (SBS, IHY, CHL, TWL), pp. 193–194.
WCREWCRE-J-1997-DeursenQW00 #recognition #tool support
Program plan recognition for year 2000 tools (AvD, AQ, SW), pp. 303–324.
WCREWCRE-J-1997-QuiliciWZ00 #approach #constraints
Program plan matching: experiments with a constraint-based approach (AQ, SW, YZ), pp. 285–302.
CSCWCSCW-2000-Bajesy #implementation #named
IT2: an information technology initiative for the twenty-first century — NSF plans for implementation (RB), p. 359.
CAiSECAiSE-2000-KrumbholzM #enterprise #how #implementation #resource management
How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages (MK, NAMM), pp. 279–293.
ICEISICEIS-2000-AzevedoS #distributed #enterprise #order
Distributed Order Planning for Networked Enterprises (ALA, JPdS), pp. 97–101.
ICEISICEIS-2000-BritoNN
Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organisations (LB, PN, JN), pp. 395–401.
ICMLICML-2000-HuangSK #constraints #declarative #learning
Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.
KRKR-2000-Giunchiglia #concurrent #constraints #nondeterminism #satisfiability
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism (EG), pp. 657–666.
KRKR-2000-IocchiNR #concurrent #framework #implementation #logic
Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.
KRKR-2000-MartinG #concept #learning #policy #using
Learning Generalized Policies in Planning Using Concept Languages (MM, HG), pp. 667–677.
KRKR-2000-Thomason #framework
Desires and Defaults: A Framework for Planning with Inferred Goals (RHT), pp. 702–713.
TOOLSTOOLS-USA-2000-BirngruberH #set #specification #using
Using Plans for Specifying Preconfigured Bean Sets (DB, MH), pp. 217–226.
SACSAC-2000-Tellioglu #architecture #using #web
Cooperative Planning: Using the Web for Cooperation in Architectural Planning (HT), pp. 1001–1005.
ICSEICSE-2000-BertolinoCIM #architecture #testing
Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.
ICSEICSE-2000-NordPS #architecture #tutorial #using
Planning realistic schedules using software architecture (tutorial session) (RLN, DJP, DS), p. 824.
ICSEICSE-2000-OConnorCM #named
Prompter — a project planning assistant (RO, RC, TM), p. 788.
ICLPCL-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.
ICLPCL-2000-EiterFLPP #information management
Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.
ICLPCL-2000-ErdemLW #satisfiability
Wire Routing and Satisfiability Planning (EE, VL, MDFW), pp. 822–836.
ICLPCL-2000-MelisM #multi #proving #theorem proving
Proof Planning with Multiple Strategies (EM, AM), pp. 644–659.
ASEASE-1999-StarkI #automation #imperative #proving #synthesis #theorem proving #towards
Towards Automatic Imperative Program Synthesis Through Proof Planning (JS, AI), pp. 44–51.
DACDAC-1999-YimBK
A Floorplan-Based Planning Methodology for Power and Clock Distribution in ASICs (JSY, SOB, CMK), pp. 766–771.
VLDBVLDB-1999-DeutschPT #constraints #independence #optimisation #physics
Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.
CSMRCSMR-1999-LamLS #metric #requirements #using
Managing Requirements Change Using Metrics and Action Planning (WL, ML, VS), pp. 122–129.
AGTIVEAGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation
Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
CHICHI-1999-UnderkofflerI #design #named
Urp: A Luminous-Tangible Workbench for Urban Planning and Design (JU, HI), pp. 386–393.
HCIHCI-CCAD-1999-Chiu #algorithm #approach #learning #search-based #using
Learning path planning using genetic algorithm approach (CC), pp. 71–75.
HCIHCI-CCAD-1999-KlobasM #behaviour
A planned behavior in context model of networked information resource use (JEK, DM), pp. 823–827.
HCIHCI-CCAD-1999-SteinhoffGWW
Organisational issues and technical support for de-centralised planning (KS, JG, AW, AW), pp. 372–376.
HCIHCI-EI-1999-Baumann #evaluation #feedback #matrix #usability
Matrix Evaluation Method for Planned Usability Improvements Based on Customer Feedback (KB), pp. 701–705.
ICEISICEIS-1999-Correia
Public Transport Travel Planning Application (MC), pp. 59–64.
ICEISICEIS-1999-CostaHA #process #using
Facilitating Organisational Activities Using Plans and Audits (CJC, TH, PA), pp. 404–411.
KDDKDD-1999-BonchiGMP #classification #detection
A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection (FB, FG, GM, DP), pp. 175–184.
KDDKDD-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.
ICLPICLP-1999-Henz #constraints
Constraint-based Round Robin Tournament Planning (MH), pp. 545–557.
ICLPICLP-1999-Lifschitz #set
Answer Set Planning (VL), pp. 23–37.
ASEASE-1998-MonroyBG #equation #verification
Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.
DACDAC-1998-OttenB #performance
Planning for Performance (RHJMO, RKB), pp. 122–127.
SIGMODSIGMOD-1998-KabraD #execution #performance #query
Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.
VLDBVLDB-1998-CarinoO #execution #optimisation #parallel
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
FASEFASE-1998-MargariaS #automation #backtracking #design #synthesis
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.
ICFPICFP-1998-HicksKMGN #named #network
PLAN: A Packet Language for Active Networks (MWH, PK, JTM, CAG, SN), pp. 86–93.
CSCWCSCW-1998-HouseBS #information management #set #trust
Cooperative Knowledge Work and Practices of Trust: Sharing Environmental Planning Data Sets (NAVH, MHB, LRS), pp. 335–343.
ICPRICPR-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.
KDDKDD-1998-ZakiLO #mining #named #sequence
PlanMine: Sequence Mining for Plan Failures (MJZ, NL, MO), pp. 369–374.
KRKR-1998-BacchusP #execution #information management #modelling
Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.
KRKR-1998-BaiolettiMM #constraints #encoding #partial order
Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.
KRKR-1998-Liberatore #on the #reasoning
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
KRKR-1998-Lin #on the #quality
On Measuring Plan Quality (A Preliminary Report) (FL), pp. 224–233.
KRKR-1998-McCainT #satisfiability
Satisfiability planning with Causal Theories (NM, HT), pp. 212–223.
KRKR-1998-MuscettolaMT #execution #performance
Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.
KRKR-1998-Rintanen #algorithm
A Planning Algorithm not based on Directional Search (JR), pp. 617–625.
LOPSTRLOPSTR-1998-Richardson #named #proving #theorem proving
Abstract: Proof Planning with Program Schemas (JR), pp. 313–315.
SACSAC-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.
ICSEICSE-1998-MotoyoshiO #development #incremental #object-oriented
An Incremental Project Plan: Introducing Cleanroom Method and Object-Oriented Development Method (YM, SO), pp. 430–433.
CADECADE-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.
ASEASE-1997-ArmandoSG #automation #paradigm #recursion #source code #synthesis
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm (AA, AS, IG), pp. 2–9.
PODSPODS-1997-ScheufeleM #complexity #generative #on the
On the Complexity of Generating Optimal Plans with Cross Products (WS, GM), pp. 238–248.
ITiCSEITiCSE-1997-OwensBPB #education
Changing computer science curricula (panel): planning for the future (BBO, SB, MP, AB), pp. 139–140.
CSMRCSMR-1997-MullerG #case study #experience #standard #tool support #using
Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.
WCREWCRE-1997-DeursenWQ #recognition #tool support
Program Plan Recognition for Year 2000 Tools (AvD, SW, AQ), p. 124–?.
WCREWCRE-1997-QuiliciWZ #approach #constraints
New Experiments with a Constraint-Based Approach to Program Plan Matching (AQ, SW, YZ), pp. 114–123.
PEPMPEPM-1997-Augustsson #partial evaluation
Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.
HCIHCI-CC-1997-TrybusV97a
Professional Training and Work: Planning Transformation Dynamics Throughout Human Life (RJT, VFV), pp. 863–868.
HCIHCI-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.
KDDKDD-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.
KDDKDD-1997-ZhongLKO #process
KDD Process Planning (NZ, CL, YK, SO), pp. 291–294.
SACSAC-1997-DuschkaG #query
Query Planning in Infomaster (OMD, MRG), pp. 109–111.
ASEKBSE-1996-GomesSW #synthesis
Synthesis of Schedulers for Planned Shutdowns of Power Plants (CPG, DRS, SJW), p. 6.
ASEKBSE-1996-QuiliciYW #algorithm #comprehension #recognition
Applying Plan Recognition Algorithms to Program Understanding (AQ, QY, SW), p. 15.
VLDBVLDB-1996-Moni #database #distributed #named
DISNIC-PLAN: A NICNET Based Distributed Database for Micro-level Planning in India (MM), p. 586.
CSEETCSEE-1996-Baron #people
The People Side of Software: A Lesson Plan for Establishing a Successful Training Program (JB), pp. 184–198.
WCREWCRE-1996-WoodsQ #algorithm #comprehension #how #recognition #towards
Some Experiments Toward Understanding How Program Plan Recognition Algorithms Scale (SW, AQ), pp. 21–30.
CSCWCSCW-1996-IsaacsTM #interactive #named
Piazza: A Desktop Environment Supporting Impromptu and Planned Interactions (EI, JCT, TM), pp. 315–324.
AdaEuropeAdaEurope-1996-FeithT #ada #realtime #scalability
Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.
CAiSECAiSE-1996-CostalTUF #concept #validation
Handling Conceptual Model Validation by Planning (DC, ET, TU, CF), pp. 255–271.
ICMLICML-1996-TaeC #information management
Experimental Knowledge Acquisition for Planning (KST, DJC), pp. 480–488.
ICPRICPR-1996-AokiSAO #prototype #sketching #type system
A prototype system for interpreting hand-sketched floor plans (YA, AS, HA, KO), pp. 747–751.
ICPRICPR-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.
KDDKDD-1996-Engels #database #information management
Planning Tasks for Knowledge Discovery in Databases; Performing Task-Oriented User-Guidance (RE), pp. 170–175.
KRKR-1996-Ginsberg #algorithm #generative
A New Algorithm for Generative Planning (MLG), pp. 186–197.
KRKR-1996-KambhampatiY #constraints #on the #refinement
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
KRKR-1996-KautzMS #encoding #logic
Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.
FSEFSE-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.
ASEKBSE-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.
ICDARICDAR-v2-1995-RyallSMM #automation
Semi-automatic delineation of regions in floor plans (KR, SMS, JM, MM), pp. 964–969.
STOCSTOC-1995-AgarwalRT
Motion planning for a steering-constrained robot through moderate obstacles (PKA, PR, HT), pp. 343–352.
STOCSTOC-1995-KavrakiLMR #query #random
Randomized query processing in robot path planning (Extended Abstract) (LEK, JCL, RM, PR), pp. 353–362.
CHICHI-1995-KurlanderL #animation #interface
Planning-Based Control of Interface Animation (DK, DTL), pp. 472–479.
ICMLICML-1995-Wang #approach #incremental #learning
Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition (XW), pp. 549–557.
SEKESEKE-1995-KugumiyaSOK #evaluation
Evaluation of Case-Oriented Planning Support System -SMAP- for Business System (NK, SS, TO, NK), pp. 136–139.
LOPSTRLOPSTR-1995-WaalT #deduction #problem #program analysis #program transformation #using
Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.
SACSAC-1995-GudaitisLT #parallel #using
Multicriteria vehicle route-planning using parallel A* search (MSG, GBL, AJT), pp. 171–176.
ICLPICLP-1995-SubrahmanianZ #modelling
Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.
SIGMODSIGMOD-1994-ColeG #evaluation #optimisation #query
Optimization of Dynamic Query Evaluation Plans (RLC, GG), pp. 150–160.
ICSMEICSM-1994-TanD #information management
Abstracting Plan-like Program Information: A Demonstration (EST, HGD), pp. 262–271.
STOCSTOC-1994-Pellegrini #on the
On point location and motion planning among simplices (MP), pp. 95–104.
CAiSECAiSE-1994-ConradiHL #transaction
Planning Support for Cooperating Transactions in EPOS (RC, MH, CL), pp. 2–13.
ICMLICML-1994-GervasioD #approach #incremental #learning
An Incremental Learning Approach for Completable Planning (MTG, GD), pp. 78–86.
ICMLICML-1994-Gil #incremental #learning #refinement
Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
KDDKDD-1994-AmantC #framework #integration #modelling #towards
Toward the Integration of Exploration and Modeling in a Planning Framework (RSA, PRC), pp. 49–60.
KRKR-1994-Carbonell #information management #learning #representation
Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract) (JGC), p. 633.
KRKR-1994-Kambhampati #algorithm #framework #refinement
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.
KRKR-1994-KoenigS #graph #probability
Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.
KRKR-1994-Rao #formal method #recognition #towards
Means-End Plan Recognition — Towards a Theory of Reactive Recognition (ASR), pp. 497–508.
KRKR-1994-Selman
Near-Optimal Plans, Tractability, and Reactivity (BS), pp. 521–529.
SACSAC-1994-OsborneH #analysis #development #interactive
Development of an interactive weather analysis and display system to support agricultural planning (LFO, BCH), pp. 346–350.
ICLPICLP-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.
ICLPILPS-1994-Lever #constraints #logic programming
Constraint Logic Programming for Planning (JML), p. 679.
VLDBVLDB-1993-MitchellDZ #approach #query
Control of an Extensible Query Optimizer: A Planning-Based Approach (GM, UD, SBZ), pp. 517–528.
VLDBVLDB-1993-ThomasD #concept
A Plan-Operator Concept for Client-Based Knowledge Progressing (JT, SD), pp. 555–566.
ICSMECSM-1993-Abd-El-HafizB #library #source code #using
Documenting Programs Using a Library of Tree Structured Plans (SKAEH, VRB), pp. 152–161.
WCREWCRE-1993-Quilici #approach #hybrid #programming
A Hybrid Approach to Recognizing Programming Plans (AQ), pp. 126–133.
HCIHCI-ACS-1993-InoueN #case study #recognition #sequence
A Case Study of Plan Recognition: Command Sequences as Acts (YI, MN), pp. 392–397.
HCIHCI-SHI-1993-HerrmannK #layout
Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.
HCIHCI-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.
HCIHCI-SHI-1993-Thies
Animated Help as a Sensible Extension of a Plan-Based Help System (MAT), pp. 712–717.
CHIINTERCHI-1993-HillLSW #analysis #multi
Planning for multiple task work: an analysis of a medical reception worksystem (BH, JL, WS, AW), pp. 314–320.
CIKMCIKM-1993-HsuK #multi #query
Reformulating Query Plans for Multidatabase Systems (CNH, CAK), pp. 423–432.
CIKMCIKM-1993-NaqviIKV #database #evaluation #query
Speculative Query Evaluation over Databases of Plans (SAN, TI, MK, KVV), pp. 439–450.
SEKESEKE-1993-SassoD #knowledge-based #re-engineering
Plan-Based Guidance for Knowledge-Based Software Engineering (WCS, MD), pp. 665–672.
LOPSTRLOPSTR-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.
SACSAC-1993-Millen #communication
OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.
ICLPICLP-1993-IvanetsIKT
Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.
ICLPILPS-1993-BruningHSTS #deduction
Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.
HTHT-ECHT-1992-GuinanS #hypermedia #information retrieval #using
Information Retrieval from Hypertext using Dynamically Planned Guided Tours (CG, AFS), pp. 122–130.
CSEETSEI-1992-Hooper #education #framework #re-engineering
Planning for Software Engineering Education Within a Computer Science Framework at Marshall University (JWH), pp. 257–269.
AdaTRI-Ada-T2-1992-MogilenskyM #assessment #implementation #process
After the Assessment: Preparing and Implementing a Process Improvement Action Plan (JM, MM), pp. 590–624.
CAiSECAiSE-1992-Verrijn-StuartR #integration #tool support
Model Integration in Information Planning Tools (AAVS, GJR), pp. 481–493.
KRKR-1992-Backstrom #equivalence
Equivalence and Tractability Results for SAS+ Planning (CB), pp. 126–137.
KRKR-1992-EtzioniHWDLW #approach
An Approach to Planning with Incomplete Information (OE, SH, DSW, DD, NL, MW), pp. 115–125.
KRKR-1992-Gibert #declarative #information management #representation #scheduling
Declarative Knowledge Representation in Planning and Scheduling (JG), pp. 3–13.
KRKR-1992-HaddawyH
Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals (PH, SH), pp. 71–82.
KRKR-1992-MintonDBP #partial order #performance
Total Order vs. Partial Order Planning: Factors Influencing Performance (SM, MD, JLB, ABP), pp. 83–92.
KRKR-1992-NgM #abduction #empirical #evaluation #recognition
Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation (HTN, RJM), pp. 499–508.
KRKR-1992-WeidaL #constraints #network #reasoning #recognition
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.
ICMLML-1992-Chen #learning
Improving Path Planning with Learning (PCC), pp. 55–61.
ICMLML-1992-GratchD #analysis #learning #problem
An Analysis of Learning to Plan as a Search Problem (JG, GD), pp. 179–188.
SEKESEKE-1992-Bertolotti #interactive #problem
Opportunistic Production Planning Through Interactive Problem Solving (EB), pp. 404–411.
LOPSTRLOPSTR-1992-KraanBB #logic programming #proving #synthesis #theorem proving
Logic Program Synthesis via Proof Planning (IK, DAB, AB), pp. 1–14.
CADECADE-1992-WalshNB #proving #theorem proving
The Use of Proof Plans to Sum Series (TW, AN, AB), pp. 325–339.
DACDAC-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.
ASEKBSE-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.
SIGMODSIGMOD-1991-ImielinskiNV #design
Incomplete Objects — A Data Model for Design and Planning Applications (TI, SAN, KVV), pp. 288–297.
STOCSTOC-1991-KarloffRR #algorithm #bound #random
Lower Bounds for Randomized k-Server and Motion Planning Algorithms (HJK, YR, YR), pp. 278–288.
CAiSECAiSE-1991-Liu #execution #integration #process
Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.
KRKR-1991-Allen #reasoning
Planning as Temporal Reasoning (JFA), pp. 3–14.
KRKR-1991-DevanbuL #reasoning
Plan-Based Terminological Reasoning (PTD, DJL), pp. 128–138.
ICMLML-1991-BennettD #probability
Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans (SB, GD), pp. 586–590.
ICMLML-1991-Gil #effectiveness #framework #independence
A Domain-Independent Framework for Effective Experimentation in Planning (YG), pp. 13–17.
ICMLML-1991-Gordon
An Enhancer for Reactive Plans (DFG), pp. 505–508.
ICMLML-1991-LangleyA
The Acquisition of Human Planning Expertise (PL, JAA), pp. 80–84.
ICMLML-1991-LeckieZ #approach #induction #learning
Learning Search Control Rules for Planning: An Inductive Approach (CL, IZ), pp. 422–426.
ICMLML-1991-Lin #education #learning #self
Self-improvement Based on Reinforcement Learning, Planning and Teaching (LJL), pp. 323–327.
ICMLML-1991-Sutton #incremental #programming
Planning by Incremental Dynamic Programming (RSS), pp. 353–357.
DACDAC-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.
CHICHI-1990-FetzD #bibliography #quality #user interface
User interface and quality planning department (lab review) (BHF, MCD), pp. 83–84.
CHICHI-1990-LeMasterM #design
Design of a loading plan format for an expert cargo loading system (RL, UM), pp. 369–378.
ICMLML-1990-Epstein #learning
Learning Plans for Competitive Domains (SLE), pp. 190–197.
ICMLML-1990-GordonG #empirical
Explanations of Empirically Derived Reactive Plans (DFG, JJG), pp. 198–203.
ICMLML-1990-Sutton #approximate #architecture #learning #programming
Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming (RSS), pp. 216–224.
SEKESEKE-1990-Venugopal #integration #knowledge-based
Plan Integration in Knowledge-Based Software Environments (VV), pp. 98–103.
DACDAC-1989-LokanathanK #graph #performance
Performance optimized floor planning by graph planarization (BL, EK), pp. 116–121.
SIGMODSIGMOD-1989-GraefeW #evaluation #query
Dynamic Query Evaluation Plans (GG, KW), pp. 358–366.
CSEETSEI-1989-Lamb #re-engineering
Questions in Planning Undergraduate Software Engineering (DAL), pp. 280–284.
CHICHI-1989-LerchMO #cost analysis
Skilled financial planning: the cost of translating ideas into action (FJL, MMM, JRO), pp. 121–126.
CAiSECAiSE-1989-McDaniel #information management #using
Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).
CAiSECAiSE-1989-RunnquistG #coordination
IRM as a Basis for Long Range Planning and Systems Coordination (FR, ÖG).
CAiSECAiSE-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).
KRKR-1989-Tenenberg #automation #inheritance
Inheritance in Automated Planning (JDT), pp. 475–485.
ICMLML-1989-AllenL #concept #using
Using Concept Hierarchies to Organize Plan Knowledge (JAA, PL), pp. 229–231.
ICMLML-1989-BirnbaumCK
Issues in the Justification-Based Diagnosis of Planning Failures (LB, GC, BK), pp. 194–196.
ICMLML-1989-Flann #abstraction #learning #problem
Learning Appropriate Abstractions for Planning in Formation Problems (NSF), pp. 235–239.
ICMLML-1989-Hunter #information management
Knowledge Acquisition Planning: Results and Prospects (LH), pp. 61–65.
ICMLML-1989-LeviPS #learning
Learning Tactical Plans for Pilot Aiding (KRL, DLP, VLS), pp. 191–193.
ICMLML-1989-ORorkeCO #learning
Learning to Recognize Plans Involving Affect (PO, TC, AO), pp. 209–211.
ICMLML-1989-RudyK #learning
Learning to Plan in Complex Domains (DR, DFK), pp. 180–182.
ICMLML-1989-Shavlik #analysis #empirical #learning
An Empirical Analysis of EBL Approaches for Learning Plan Schemata (JWS), pp. 183–187.
ICMLML-1989-Tadepalli #approximate
Planning Approximate Plans for Use in the Real World (PT), pp. 224–228.
ICMLML-1989-YangF #clustering #concept
Conceptual Clustering of Mean-Ends Plans (HY, DHF), pp. 232–234.
SEKESEKE-1989-ReynoldsMP #compilation #metric #named
PM: A Metrics Driven Plan Compiler (RGR, JIM, SEP), pp. 25–30.
DACDAC-1988-Sechen #metaprogramming #using
Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.
STOCSTOC-1988-FortuneW
Planning Constrained Motion (SF, GTW), pp. 445–459.
SIGIRSIGIR-1988-BarthesG #automation #information retrieval
Planning in an Expert System for Automated Information Retrieval (CB, PG), pp. 535–550.
CADECADE-1988-Bundy #induction #proving
The Use of Explicit Plans to Guide Inductive Proofs (AB), pp. 111–120.
ICLPJICSCP-1988-Eshghi88 #abduction #calculus
Abductive Planning with Event Calculus (KE), pp. 562–579.
STOCSTOC-1987-Clarkson #algorithm #approximate
Approximation Algorithms for Shortest Path Motion Planning (Extended Abstract) (KLC), pp. 56–65.
ICALPICALP-1987-SchwartzS #on the #problem
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning (JTS, MS), pp. 357–363.
DACDAC-1986-KnappP #design
A design utility manager: the ADAM planning engine (DK, ACP), pp. 48–54.
DACDAC-1986-Wolf #database #object-oriented
An object-oriented, procedural database for VLSI chip planning (WW), pp. 744–751.
CSCWCSCW-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.
CADECADE-1986-MannaW #how #logic
How to Clear a Block: Plan Formation in Situational Logic (ZM, RJW), pp. 622–640.
CADECADE-1986-Schneider #deduction
An Improvement of Deduction Plans: Refutation Plans (HAS), pp. 377–383.
DACDAC-1985-ChangW #assembly #knowledge base
A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.
DACDAC-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.
DACDAC-1984-LeinwandL #algorithm
An algorithm for building rectangular floor-plans (SML, YTL), pp. 663–664.
CADECADE-1984-ForsytheM #deduction #implementation
Implementation Strategies for Plan-Based Deduction (KF, SM), pp. 426–444.
DACDAC-1983-BouyatBV #design #development #named
VERDI: A computer aided design system for development and city planning (MB, HB, JCV), pp. 382–385.
STOCSTOC-1983-ODunlaingSY #approach #named
Retraction: A New Approach to Motion-Planning (Extended Abstract) (, MS, CKY), pp. 207–220.
DACDAC-1982-MalingMH #on the
On finding most optimal rectangular package plans (KM, SHM, WRH), pp. 663–670.
DACDAC-1982-PilotyB
The conlan project: Status and future plans (RP, DB), pp. 202–212.
CADECADE-1982-Caferra #matrix #proving #reduction #validation
Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.
CADECADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance
Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.
DACDAC-1981-HorngL #automation #interactive #layout
An automatic/interactive layout planning system for arbitrarily-sized rectangular building blocks (CSH, ML), pp. 293–300.
DACDAC-1981-Scoble #interactive #using
Creating and updating space occupancy and building plans using interactive graphics (RAS), pp. 66–73.
VLDBVLDB-1980-Walker80a
Data Planning (WAW), p. 235.
DACDAC-1979-Bresnen #automation #metric
Automation of manufacturing planning, shop loading and work measurement in an engineering job shop environment (EJB), pp. 215–221.
ICSEICSE-1979-BauerF #generative #testing #using
Test Plan Generation Using Formal Grammars (JAB, ABF), pp. 425–432.
DACDAC-1976-CytrynP
A system for computer assisted planning (Planning ADES) (AC, WHP), pp. 134–140.
POPLPOPL-1976-Franck #2d #analysis #graph grammar #named #precedence
PLAN2D — Syntactic Analysis of Precedence Graph Grammars (RF), pp. 134–139.
DACDAC-1975-Teicholz #process
The computer in the space planning process (ET), pp. 331–344.
DACDAC-1974-ShapiraF #design #generative
A procedure for generating floor plans computer aided design (HBjS, RSF), pp. 229–236.
DACDAC-1973-FullenwiderR #architecture #implementation
Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.
DACDAC-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.
DACDAC-1972-BernholtzF #design
Spatial allocation in design and planning (AB, SF), pp. 181–189.
DACDAC-1972-Dudnik #architecture #nondeterminism #optimisation
Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.
DACDAC-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.
DACDAC-1972-Yessios #modelling
Modeling the site planning of homogeneous uses (CIY), pp. 203–212.
DACDAC-1971-Eastman #named
GSP: A system for computer assisted space planning (CEE), pp. 208–220.
DACDAC-1971-Grason #approach #graph #using
An approach to computerized space planning using graph theory (JG), pp. 170–178.
DACDAC-1971-Veit #named
Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.
SIGIRSIGIR-1971-KelloggBDF #data transformation #natural language
The Converse Natural Language Data Management System: Current Status and Plans (CK, JDB, TD, KF), pp. 33–46.
DACDAC-1970-Miller
Computer-aided space planning (WRM), pp. 28–34.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.