Stem planner$ (all stems)

34 papers:

CASE-2015-PerriBL #bound #online

Jerk bounded velocity planner for the online management of autonomous vehicles (SP, CGLB, ML), pp. 618–625.

VLDB-2015-HammoudRNBS #adaptation #communication #distributed #named #query #rdf

DREAM: Distributed RDF Engine with Adaptive Query Planner and Minimal Communication (MH, DAR, RN, SMRB, SS), pp. 654–665.

SCSM-2015-Lopez-OrnelasZ #social #social media

Social Media Participation: A Narrative Way to Help Urban Planners (ÉLO, NMZ), pp. 48–54.

ICEIS-v1-2015-MpindaMSR #database #graph #simulation #using

Graph Database Application using Neo4j — Railroad Planner Simulation (SATM, LGM, MTPS, MXR), pp. 399–403.

GPCE-2014-JarviFH #constraints #data flow #multi

Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.

CASE-2012-ParulkarSK #automation #performance #random

Fast randomized planner for SLAM automation (AP, PS, KMK), pp. 765–770.

KDD-2012-LiL #named

EvaPlanner: an evacuation planner with social-based flocking kinetics (CTL, SDL), pp. 1568–1571.

ECMFA-2012-PuissantSM #consistency #design #named #nondeterminism

Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.

DAC-2009-KongYW #automation

Automatic bus planner for dense PCBs (HK, TY, MDFW), pp. 326–331.

CHI-2009-ChungS

Going my way: a user-aware route planner (JC, CS), pp. 1899–1902.

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

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

CHI-2008-JonesKCA

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

CASE-2007-KavakliogluK #fuzzy

A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain (CK, OK), pp. 795–799.

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

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

HPDC-2005-LiuPV #distributed #query #streaming

Distributed streaming query planner in Calder system (YL, BP, NNV), pp. 316–317.

CADE-2005-MeierM #multi #proving #theorem proving

System Description: Multi A Multi-strategy Proof Planner (AM, EM), pp. 250–254.

CHI-2004-MoffattMPK #design #image #people

The participatory design of a sound and image enhanced daily planner for people with aphasia (KM, JM, BP, MMK), pp. 407–414.

ICML-2003-WinnerV #learning #named

DISTILL: Learning Domain-Specific Planners by Example (EW, MMV), pp. 800–807.

SAC-2003-TorrensHSF #named #scalability

reality: a Scalable Intelligent Travel Planner (MT, PH, LS, BF), pp. 623–630.

CADE-2003-DixonF #named #prototype #proving #theorem proving

IsaPlanner: A Prototype Proof Planner in Isabelle (LD, JDF), pp. 279–283.

ICEIS-2002-R-MorenoPMMM #testing

Controlling and Testing a Space Instrument by an AI Planner (MRM, MP, DDML, JM, CM), pp. 405–409.

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

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

ASE-1997-SrivastavaKM #approach #specification

A Structured Approach for Synthesizing Planners from Specifications (BS, SK, ADM), pp. 18–27.

KBSE-1996-HoweP #behaviour #modelling

Constructing Transition Models of AI Planner Behavior (AEH, LDP), p. 8.

KR-1996-Myers

Strategic Advice for Hierarchical Planners (KLM), pp. 112–123.

KBSE-1995-HoweMM #empirical #sequence #testing #using

Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests (AEH, AvM, RTM), pp. 184–191.

KR-1994-GoldmanB #nondeterminism #representation

Representing Uncertainty in Simple Planners (RPG, MSB), pp. 238–245.

HCI-SHI-1993-HerrmannK #layout

Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.

KR-1992-Haas

A Reactive Planner that Uses Explanation Closure (ARH), pp. 93–102.

KR-1992-PenberthyW #named #partial order

UCPOP: A Sound, Complete, Partial Order Planner for ADL (JSP, DSW), pp. 103–114.

DAC-1985-GranackiKP #automation #bibliography #design #interface #natural language

The ADAM advanced design automation system: overview, planner and natural language interface (JJG, DK, ACP), pp. 727–730.

DAC-1984-RaoRZ

Spider, a chip planner for ISL technology (PR, RR, GZ), pp. 665–666.

DAC-1982-HellerSM #design

The planar package planner for system designers (WRH, GBS, KM), pp. 253–260.

POPL-1975-GreifH #semantics

Actor Semantics of Planner-73 (IG, CH), pp. 67–77.