BibSLEIGH — direct stem

Used together with:

base (96)
use (95)
graph (64)
system (57)
model (50)

Stem direct$ (all stems)

872 papers:

CASE-2015-HuZW: Direct computation of minimal rotation for support slimming (KH, XZ, CCLW), pp. 936–941.
CASE-2015-LuMF #standard: Standards landscape and directions for smart manufacturing systems (YL, KCM, SF), pp. 998–1005.
CASE-2015-LuW: Human-directed robot motion/force control for contact tasks in unstructured environments (LL, JTW), pp. 1165–1170.
DAC-2015-HelalBH #parallel #simulation #using: Parallel circuit simulation using the direct method on a heterogeneous cloud (AEH, AMB, YYH), p. 6.
DAC-2015-LiZHLHX #automation #compilation #performance #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-XiaoGWYTW #layout #optimisation #self #verification: Layout optimization and template pattern verification for directed self-assembly (DSA) (ZX, DG, MDFW, HY, MCT, HSPW), p. 6.
SANER-2015-NayrollesHTL #approach #debugging #model checking #named #using: JCHARMING: A bug reproduction approach using crash traces and directed model checking (MN, AHL, ST, AL), pp. 101–110.
PLDI-2015-OseraZ #synthesis: Type-and-example-directed program synthesis (PMO, SZ), pp. 619–630.
STOC-2015-AbdullahV #bound #difference: A Directed Isoperimetric Inequality with application to Bregman Near Neighbor Lower Bounds (AA, SV), pp. 509–518.
STOC-2015-KawarabayashiK #grid #theorem: The Directed Grid Theorem (KiK, SK), pp. 655–664.
ICALP-v1-2015-GeorgiadisILP #graph: 2-Vertex Connectivity in Directed Graphs (LG, GFI, LL, NP), pp. 605–616.
ICALP-v1-2015-HenzingerKN #algorithm #graph #reachability: Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs (MH, SK, DN), pp. 725–736.
ICALP-v2-2015-KawarabayashiK #graph #theorem #towards: Towards the Graph Minor Theorems for Directed Graphs (KiK, SK), pp. 3–10.
LATA-2015-Restivo #research: The Shuffle Product: New Research Directions (AR), pp. 70–81.
FM-2015-SogokonJ #hybrid #liveness #verification: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
CHI-2015-DeberJFW #how #latency #performance: How Much Faster is Fast Enough?: User Perception of Latency & Latency Improvements in Direct and Indirect Touch (JD, RJ, CF, DW), pp. 1827–1836.
CHI-2015-HellerB #artificial reality #mobile #named #smarttech: AudioScope: Smartphones as Directional Microphones in Mobile Audio Augmented Reality Systems (FH, JOB), pp. 949–952.
CHI-2015-KawaguchiKS #case study #image: Study on Gaze Direction Perception of Face Image Displayed on Rotatable Flat Display (IK, HK, YS), pp. 1729–1737.
CHI-2015-PfeifferDSAR #using: Cruise Control for Pedestrians: Controlling Walking Direction using Electrical Muscle Stimulation (MP, TD, SS, FA, MR), pp. 2505–2514.
CHI-2015-VuillemotP #navigation #ranking: Investigating the Direct Manipulation of Ranking Tables for Time Navigation (RV, CP), pp. 2703–2706.
HCI-DE-2015-NakatsujiYKT #towards: Airway Cursor: A Pointing Technique Based on Direction of Mouse Movement Towards a Targets (TN, KY, IK, YT), pp. 396–404.
HCI-IT-2015-MeleMR #communication #predict #type system #user interface: Beyond Direct Gaze Typing: A Predictive Graphic User Interface for Writing and Communicating by Gaze (MLM, DM, CER), pp. 66–77.
HIMI-IKD-2015-YamamotoYK: Study of Haptics and Tactile Sense of the Direction of Movement (SY, YY, DK), pp. 477–487.
ICML-2015-ZhaoYZL #adaptation #multi #probability: Adaptive Stochastic Alternating Direction Method of Multipliers (PZ, JY, TZ, PL), pp. 69–77.
KDD-2015-KadkhodaieCSB #multi: Accelerated Alternating Direction Method of Multipliers (MK, KC, MS, AB), pp. 497–506.
RecSys-2015-NovA #recommendation #social #symmetry: Asymmetric Recommendations: The Interacting Effects of Social Ratings? Direction and Strength on Users’ Ratings (ON, OA), pp. 249–252.
SIGIR-2015-SpirinKKSI #metric #optimisation #quality #tuple: Relevance-aware Filtering of Tuples Sorted by an Attribute Value via Direct Optimization of Search Quality Metrics (NVS, MK, JK, YVS, PAI), pp. 979–982.
SIGIR-2015-XiaXLGC #evaluation #learning #metric #optimisation: Learning Maximal Marginal Relevance Model via Directly Optimizing Diversity Evaluation Measures (LX, JX, YL, JG, XC), pp. 113–122.
OOPSLA-2015-DemskyL #model checking #named: SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
PPDP-2015-Fruhwirth #recursion #termination: A devil’s advocate against termination of direct recursion (TWF), pp. 103–113.
SAC-2015-SharmaMDH #trust: Bi-directional trust index computation in resource marketplace (AS, TM, PD, VGH), pp. 2305–2311.
ICSE-v1-2015-MechtaevYR #named #program repair: DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using: Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
LCTES-2015-LiuJLT #compilation #fault #lightweight #named: Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
CAV-2015-KarbyshevBIRS #invariant #proving: Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
CAV-2015-ReinkingP #approach #program repair: A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.
ICLP-2015-Tarau #generative #on the: On Type-directed Generation of λ Terms (PT).
ISSTA-2015-TanXCSLD #algorithm #optimisation: Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.
VMCAI-2015-BjornerG #abstraction: Property Directed Polyhedral Abstraction (NB, AG), pp. 263–281.
DAC-2014-AbarbanelSV #challenge #validation: Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
DAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video: An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DAC-2014-XiaoDTWYWZ #self #verification: Directed Self-Assembly (DSA) Template Pattern Verification (ZX, YD, HT, MDFW, HY, HSPW, HZ), p. 6.
DATE-2014-FrijnsASVGSC #analysis #graph: Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs (RF, SA, SS, JV, MCWG, RRHS, HC), pp. 1–6.
DATE-2014-WelpK #invariant #refinement #verification: Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
HT-2014-AbbasiZTL #network #social: Am i more similar to my followers or followees?: analyzing homophily effect in directed social networks (MAA, RZ, JT, HL), pp. 200–205.
SIGMOD-2014-BlanasWBDS #data analysis #parallel: Parallel data analysis directly on scientific file formats (SB, KW, SB, BD, AS), pp. 385–396.
VLDB-2015-LongWJ14 #fault: Trajectory Simplification: On Minimizing the Direction-based Error (CL, RCWW, HVJ), pp. 49–60.
STOC-2014-HenzingerKN #algorithm #graph #reachability: Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs (MH, SK, DN), pp. 674–683.
STOC-2014-KawarabayashiKK #graph #grid #problem #theorem: An excluded half-integral grid theorem for digraphs and the directed disjoint paths problem (KiK, YK, SK), pp. 70–78.
DLT-2014-ReinhardtY: The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALP-v1-2014-DattaHK #complexity #problem #reachability: Dynamic Complexity of Directed Reachability and Other Problems (SD, WH, RK), pp. 356–367.
LATA-2014-BeerenwinkelBBDP #graph: Covering Pairs in Directed Acyclic Graphs (NB, SB, PB, RD, YP), pp. 126–137.
IFL-2014-Christiansen #low level #syntax: Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.
ILC-2014-Nunes-Harwitt14a #approach #code generation #evaluation #semantics: Eager Evaluation Isn’t Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation (ANH), p. 79.
CHI-2014-JiangATBZ: Pupil responses during discrete goal-directed movements (XJ, MSA, GT, RB, BZ), pp. 2075–2084.
CHI-2014-LuoV: Crossing-based selection with direct touch input (YL, DV), pp. 2627–2636.
CHI-2014-MikkonenGORK #induction #named #open source: OJAS: open source bi-directional inductive power link (JM, RG, MO, HR, AK), pp. 1049–1058.
CHI-2014-MullerGDS #interactive: The boomRoom: mid-air direct interaction with virtual sound sources (JM, MG, CD, SS), pp. 247–256.
CHI-2014-OrtegaV #3d #automation: Direct drawing on 3D shapes with automated camera control (MO, TV), pp. 2047–2050.
CHI-2014-RuizVLAC #gesture #interactive #multi #video: Multi-viewer gesture-based interaction for omni-directional video (GARR, DV, KL, FA, EC), pp. 4077–4086.
HCI-AIMT-2014-MiedaODTKK #multi: Expressing Observation Direction through Face and Body Rotation in a Multi-user Conversation Setting (SM, SO, MD, HT, YK, AK), pp. 273–280.
HCI-AS-2014-LandyLNPLM #analysis #comparative #development #predict: Finding Directions to a Good GPS System — A Comparative Analysis and Development of a Predictive Model (JL, TL, NN, PP, EL, PM), pp. 454–465.
HIMI-AS-2014-GotzeBPB #quote: “A Careful Driver is One Who Looks in Both Directions When He Passes a Red Light” — Increased Demands in Urban Traffic (MG, FB, IPS, KB), pp. 229–240.
HIMI-DE-2014-OzawaMDTK #evaluation #multi #named: MulDiRoH: An Evaluation of Facial Direction Expression in Teleconferencing on a Multi-view Display System (SO, SM, MD, HT, AK), pp. 525–535.
AdaEurope-2014-QamhiehM #analysis #graph #multi #scheduling: Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level (MQ, SM), pp. 119–133.
CIKM-2014-LinLZX #named #optimisation #programming #search-based: GPQ: Directly Optimizing Q-measure based on Genetic Programming (YL, HL, PZ, BX), pp. 1859–1862.
CIKM-2014-ShihKRCGSP #component #detection #network: Component Detection in Directed Networks (YKS, SK, YR, JC, AG, TS, SP), pp. 1729–1738.
ICML-c1-2014-AzadiS #multi #probability #towards: Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.
ICML-c1-2014-RooshenasL #interactive #learning #network: Learning Sum-Product Networks with Direct and Indirect Variable Interactions (AR, DL), pp. 710–718.
ICML-c1-2014-Suzuki #coordination #multi #probability: Stochastic Dual Coordinate Ascent with Alternating Direction Method of Multipliers (TS), pp. 736–744.
ICML-c1-2014-YogatamaS #multi #word: Making the Most of Bag of Words: Sentence Regularization with Alternating Direction Method of Multipliers (DY, NAS), pp. 656–664.
ICML-c1-2014-ZhongK #multi #performance #probability: Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.
ICPR-2014-BaiHRE #complexity #graph: Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs (LB, ERH, PR, FE), pp. 3874–3879.
ICPR-2014-DuanA #approach #estimation #image: A J-Linkage Based Approach for Vanishing Direction Estimation in Catadioptric Images (WD, NMA), pp. 2113–2118.
ICPR-2014-KondoriYOLL #3d: A Direct Method for 3D Hand Pose Recovery (FAK, SY, AO, LL, HL), pp. 345–350.
ICPR-2014-MurshedJI #robust: Discriminative Directional Texture and Color for Robust Target Tracking (MM, TJ, SMZI), pp. 4176–4181.
ICPR-2014-NagyM #approach #grid #search-based: Binary Tomography on the Triangular Grid with 3 Alternative Directions — A Genetic Approach (BN, EVM), pp. 1079–1084.
ICPR-2014-NguyenP #linear #multi #using: Tracking Using Multiple Linear Searches and Motion Direction Sampling (TN, TPP), pp. 2191–2196.
ICPR-2014-OhyamaYWK #recognition #using: Improving Accuracy of Printed Character Recognition Using Hexagonal Zoning of Directional Histogram Feature (WO, AY, TW, FK), pp. 2697–2702.
ICPR-2014-PaudelDHV #2d #3d #locality #using: Localization of 2D Cameras in a Known Environment Using Direct 2D-3D Registration (DPP, CD, AH, PV), pp. 196–201.
ICPR-2014-YuGZ #3d #recognition #using: Face Recognition Using 3D Directional Corner Points (XY, YG, JZ), pp. 2802–2807.
KDD-2014-AbelsonVS: Targeting direct cash transfers to the extremely poor (BA, KRV, JS), pp. 1563–1572.
KDD-2014-JiangCBFY #behaviour #graph #named #scalability: CatchSync: catching synchronized behavior in large directed graphs (MJ, PC, AB, CF, SY), pp. 941–950.
KDD-2014-ZhaiXW #multi #optimisation: A multi-class boosting method with direct optimization (SZ, TX, SW), pp. 273–282.
KMIS-2014-LambriniA14a #challenge #information management #network #ontology: Challenges and Directions for Knowledge Management in Networks of Aligned Ontologies (SL, KA), pp. 146–152.
POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement: A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
SPLC-2014-HarmanJKLPZ #bibliography #product line #re-engineering: Search based software engineering for software product line engineering: a survey and directions for future work (MH, YJ, JK, WBL, JP, YZ), pp. 5–18.
HPCA-2014-ElverN #consistency #named: TSO-CC: Consistency directed cache coherence for TSO (ME, VN), pp. 165–176.
HPDC-2014-LeeV #compilation #named #performance #research: OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
PPoPP-2014-EslamimehrP #concurrent #scheduling #source code: Race directed scheduling of concurrent programs (ME, JP), pp. 301–314.
CAV-2014-ItzhakyBRST #analysis: Property-Directed Shape Analysis (SI, NB, TWR, MS, AVT), pp. 35–51.
CAV-2014-LeeS #abstraction #approximate #bound #reachability #scalability #verification: Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction (SL, KAS), pp. 849–865.
CAV-2014-VizelG #reachability: Interpolating Property Directed Reachability (YV, AG), pp. 260–276.
ICLP-J-2014-MarpleG #consistency #programming #set: Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.
ICST-2014-KimXKCR #framework #hybrid #testing: Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ISSTA-2014-LiJSCH #energy #optimisation #testing: Integrated energy-directed test suite optimization (DL, YJ, CS, JC, WGJH), pp. 339–350.
DAC-2013-AndalamGSRR #analysis #precise: Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
DAC-2013-BartoliniCDMSS #operating system #research: The autonomic operating system research project: achievements and future directions (DBB, RC, GD, MM, MDS, FS), p. 10.
DAC-2013-RahimiBG #architecture: Aging-aware compiler-directed VLIW assignment for GPGPU architectures (AR, LB, RKG), p. 6.
DAC-2013-ZhouLJ #3d #complexity #finite #linear #multi #scalability: A direct finite element solver of linear complexity for large-scale 3-D circuit extraction in multiple dielectrics (BZ, HL, DJ), p. 6.
DATE-2013-BackesR #reachability #using: Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
DATE-2013-WeiLSHAS #design #effectiveness #named: CATALYST: planning layer directives for effective design closure (YW, ZL, CCNS, SH, CJA, SSS), pp. 1873–1878.
DATE-2013-WelpK #model checking #reachability: QF BV model checking with property directed reachability (TW, AK), pp. 791–796.
ICDAR-2013-HangargeSP #identification: Directional Discrete Cosine Transform for Handwritten Script Identification (MH, KCS, RP), pp. 344–348.
SIGMOD-2013-ZhuZQ #approach #graph #mining #performance: A direct mining approach to efficient constrained graph pattern discovery (FZ, ZZ, QQ), pp. 821–832.
VLDB-2013-LongWGJ: Direction-Preserving Trajectory Simplification (CL, RCWW, HVJ), pp. 949–960.
CSEET-2013-ChimalakondaN #adaptation #education #learning #personalisation #re-engineering #what: What makes it hard to teach software engineering to end users? some directions from adaptive and personalized learning (SC, KVN), pp. 324–328.
ITiCSE-2013-IsomottonenTC #self: Issues with a course that emphasizes self-direction (VI, VT, MC), pp. 111–116.
FASE-2013-Czarnecki #state of the art #variability: Variability in Software: State of the Art and Future Directions — (Extended Abstract) (KC), pp. 1–5.
ICPC-2013-ParninTS #challenge #developer: Blogging developer knowledge: Motivations, challenges, and future directions (CP, CT, MADS), pp. 211–214.
STOC-2013-Bernstein #graph #maintenance: Maintaining shortest paths under deletions in weighted directed graphs: [extended abstract] (AB), pp. 725–734.
STOC-2013-Sherstov #bound #communication #using: Communication lower bounds using directional derivatives (AAS), pp. 921–930.
ICALP-v1-2013-BravermanRWY: Direct Product via Round-Preserving Compression (MB, AR, OW, AY), pp. 232–243.
CHI-2013-BanovicGF #fault: The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHI-2013-JotaNDW #case study #how #latency #performance: How fast is fast enough?: a study of the effects of latency in direct-touch pointing tasks (RJ, AN, PD, DW), pp. 2291–2300.
CHI-2013-NguyenNL #3d #navigation #video: Direct manipulation video navigation in 3D (CN, YN, FL), pp. 1169–1172.
CHI-2013-SantosaCBS #editing #visual notation: Direct space-time trajectory control for visual media editing (SS, FC, RB, KS), pp. 1149–1158.
DHM-HB-2013-MaruyamaKD #3d #simulation: Simulating a Walk of Digital Human Model Directly in Massive 3D Laser-Scanned Point Cloud of Indoor Environments (TM, SK, HD), pp. 366–375.
DHM-SET-2013-MoriK #3d #evaluation #simulation: Ergonomics Study of Direct and Indirect Visibility Evaluation at Uncontrolled Intersections Based on Three-Dimensional Computer Simulation (MM, NK), pp. 70–77.
DHM-SET-2013-MurataKMH: Proposal of Automotive 8-directional Warning System That Makes Use of Tactile Apparent Movement (AM, SK, MM, TH), pp. 98–107.
DUXU-WM-2013-Rafelsberger #evolution #graph #interactive #visualisation: Interactive Visualization of Evolving Force-Directed Graphs (WR), pp. 553–559.
HCI-AS-2013-StillwaterWN #bibliography #mobile: Mobile App Support for Electric Vehicle Drivers: A Review of Today’s Marketplace and Future Directions (TS, JW, MN), pp. 640–646.
HIMI-D-2013-LeeY #behaviour #comparison #information management #research: Research on Website Usage Behavior through Information Search Perspective: A Comparison of Experiential and Goal-Directed Behaviors (JL, MY), pp. 456–464.
HIMI-D-2013-NitscheN13a #named #query: QUEST: Querying Complex Information by Direct Manipulation (MN, AN), pp. 240–249.
CIKM-2013-ZhaoLHCH #network #recommendation #social: Community-based user recommendation in uni-directional social networks (GZ, MLL, WH, WC, HH), pp. 189–198.
ICML-c1-2013-OuyangHTG #multi #probability: Stochastic Alternating Direction Method of Multipliers (HO, NH, LT, AGG), pp. 80–88.
ICML-c1-2013-Suzuki #multi #online: Dual Averaging and Proximal Gradient Descent for Online Alternating Direction Multiplier Method (TS), pp. 392–400.
ICML-c2-2013-Hui #modelling #visual notation: Direct Modeling of Complex Invariances for Visual Object Features (KYH), pp. 352–360.
ICML-c3-2013-NguyenS #algorithm #classification #optimisation: Algorithms for Direct 0-1 Loss Optimization in Binary Classification (TN, SS), pp. 1085–1093.
KDD-2013-TanXGW #learning #metric #modelling #optimisation #rank #ranking: Direct optimization of ranking measures for learning to rank models (MT, TX, LG, SW), pp. 856–864.
MLDM-2013-PoziMD #estimation #predict: Density Ratio Estimation in Support Vector Machine for Better Generalization: Study on Direct Marketing Prediction (MSMP, AM, AD), pp. 275–280.
SIGIR-2013-HeBV #multi #query: Characterizing stages of a multi-session complex search task through direct and indirect query modifications (JH, MB, APdV), pp. 897–900.
OOPSLA-2013-NollG #java #online #optimisation #parallel: Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.
PADL-2013-0004R #implementation #on the #performance: On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
POPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging: Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
ER-BR-2013-AlvesSC #integration #modelling #process: A bi-directional integration between i* and BPMN models in the context of business process management: A position paper (RA, CTLLS, JC).
ESEC-FSE-2013-InverardiARPT #challenge #integration #research: Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.
ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using: Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification: Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
CGO-2013-SuiLX #adaptation #compilation #optimisation: Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
LCTES-2013-LiJZHX #compilation #performance #power management: Compiler directed write-mode selection for high performance low power volatile PCM (QL, LJ, YZ, YH, CJX), pp. 101–110.
TLCA-2013-Peyton-Jones #compilation #haskell: Type-Directed Compilation in the Wild: Haskell and Core (SLPJ), p. 1.
CASE-2012-EhmP #research: Future research directions for mastering end-to-end semiconductor supply chains (HE, TP), pp. 641–645.
DAC-2012-CampanoniJHWB #bibliography: The HELIX project: overview and directions (SC, TMJ, GHH, GYW, DMB), pp. 277–282.
DAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability: Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.
DATE-2012-Peraldi-FratiBKK #modelling: Timing Modeling with AUTOSAR — Current state and future directions (MAPF, HB, DK, SK), pp. 805–809.
DATE-2012-QianTT #configuration management #self #using: A flit-level speedup scheme for network-on-chips using self-reconfigurable bi-directional channels (ZQ, YFT, CYT), pp. 1295–1300.
DATE-2012-QinM #automation #generative #protocol #testing: Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATE-2012-Sadooghi-AlvandiAM #branch #predict #towards: Toward virtualizing branch direction prediction (MSA, KA, AM), pp. 455–460.
DATE-2012-ShoaibJV: Enabling advanced inference on sensor nodes through direct use of compressively-sensed signals (MS, NKJ, NV), pp. 437–442.
DocEng-2012-OliveiraGL #automation #towards: Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.
CSEET-2012-Barker #education #re-engineering #research: Research Directions for Software Engineering Education and Training (MB), p. 147.
FASE-2012-StaatsGWH #generative #on the #testing: On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
PEPM-2012-CaretteS #towards #type system: Towards typing for small-step direct reflection (JC, AS), pp. 93–96.
PLDI-2012-ChenDA #automation: Type-directed automatic incrementalization (YC, JD, UAA), pp. 299–310.
PLDI-2012-PerelmanGBG: Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.
ICALP-v1-2012-ChitnisCHM #feedback #parametricity #set: Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.
ICALP-v1-2012-GeorgiadisT #independence #order: Dominators, Directed Bipolar Orders, and Independent Spanning Trees (LG, RET), pp. 375–386.
ICALP-v1-2012-KratschPPW #graph #multi #parametricity: Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.
CHI-2012-AppertCP #named #undo: Dwell-and-spring: undo for direct manipulation (CA, OC, EP), pp. 1957–1966.
CHI-2012-BernsteinTDLH #query: Direct answers for search queries in the long tail (MSB, JT, STD, DJL, EH), pp. 237–246.
CHI-2012-HilligesKIWW #3d #interactive #named: HoloDesk: direct 3d interactions with a situated see-through display (OH, DK, SI, MW, AW), pp. 2421–2430.
CHI-2012-KarrerWB #named #navigation #video: DragLocks: handling temporal ambiguities in direct manipulation video navigation (TK, MW, JOB), pp. 623–626.
CHI-2012-TeoJB #layout #named: CogTool-Explorer: a model of goal-directed user exploration that considers information layout (LT, BEJ, MHB), pp. 2479–2488.
CHI-2012-ZhangZF #2d: Extending Fitts’ law to account for the effects of movement direction on 2d pointing (XZ, HZ, WF), pp. 3185–3194.
CSCW-2012-ZhuKK12a #identification #modelling #online #social: Organizing without formal organization: group identification, goal setting and social modeling in directing online production (HZ, RK, AK), pp. 935–944.
CIKM-2012-FuxmanKLT: Enabling direct interest-aware audience selection (AF, AK, ZL, PT), pp. 575–584.
ICML-2012-HennigK: Quasi-Newton Methods: A New Direction (PH, MK), p. 134.
ICML-2012-McCartin-LimMW #approximate: Approximate Principal Direction Trees (MML, AM, RW), p. 209.
ICML-2012-WangB #online: Online Alternating Direction Method (HW, AB), p. 221.
ICPR-2012-ChernoffLN #fault #learning #metric: Metric learning by directly minimizing the k-NN training error (KC, ML, MN), pp. 1265–1268.
ICPR-2012-LiuZR #algorithm #approximate: A direction Change-based algorithm for polygonal approximation (HL, XZ, AR), pp. 3586–3589.
ICPR-2012-RaketN #algorithm: A splitting algorithm for directional regularization and sparsification (LLR, MN), pp. 3094–3098.
ICPR-2012-RiveraRC #recognition: Local Gaussian Directional Pattern for face recognition (ARR, JARC, OC), pp. 1000–1003.
ICPR-2012-ShenMZ #analysis #graph #learning #online: Unsupervised online learning trajectory analysis based on weighted directed graph (YS, ZM, JZ), pp. 1306–1309.
ICPR-2012-SugimotoO #image: Camera self calibration based on direct image alignment (SS, MO), pp. 3240–3243.
ICPR-2012-VarjoHS #array: Direct imaging with printed microlens arrays (SV, JH, OS), pp. 1355–1358.
ICPR-2012-YiicelMH #evaluation #identification #modelling: Modeling and identification of group motion via compound evaluation of positional and directional cues (ZY, TM, NH), pp. 1172–1176.
ICPR-2012-YingYKHGZ: Direct least square fitting of ellipsoids (XY, LY, JK, YH, SG, HZ), pp. 3228–3231.
KDD-2012-BoleyMG #linear #using: Linear space direct pattern sampling using coupling from the past (MB, SM, TG), pp. 69–77.
KDIR-2012-UddinAH #analysis #network #social: New Directions in the Analysis of Social Network Dynamics (MSU, SRA, LH), pp. 269–274.
LOPSTR-2012-MarpleG #named #set: Galliwasp: A Goal-Directed Answer Set Solver (KM, GG), pp. 122–136.
PPDP-2012-MarpleBMG #execution #set #source code: Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
SAC-2012-HeFP #constraints: Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.
SAC-2012-HuangHL #algorithm #framework: Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
ICSE-2012-GrechanikFX #automation #learning #performance #problem #testing: Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
SAT-2012-HoderB #reachability: Generalized Property Directed Reachability (KH, NB), pp. 157–171.
ECSA-2011-DabrowskiST #multi: Software Is a Directed Multigraph (RD, KS, GT), pp. 360–369.
CASE-2011-DjebraniBA #feedback #mobile #modelling: Modelling and feedback control of an omni-directional mobile manipulator (SD, AB, FA), pp. 785–791.
CASE-2011-ZanasiC #design #visual notation: Direct method for digital lead-lag design: analytical and graphical solutions (RZ, SC), pp. 804–809.
DAC-2011-ChaiJ #complexity #equation #linear #matrix: Direct matrix solution of linear complexity for surface integral-equation based impedance extraction of high bandwidth interconnects (WC, DJ), pp. 206–211.
DATE-2011-BarceloGBS #estimation #performance #scalability: An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
DATE-2011-KyrkouTT #detection #hardware: Depth-directed hardware object detection (CK, CT, TT), pp. 1442–1447.
DATE-2011-SafarESS #configuration management #pipes and filters #satisfiability: A reconfigurable, pipelined, conflict directed jumping search SAT solver (MS, MWEK, MS, AS), pp. 1243–1248.
ICDAR-2011-GaoWJ #2d #optimisation #recognition: A New Feature Optimization Method Based on Two-Directional 2DLDA for Handwritten Chinese Character Recognition (XG, WW, LJ), pp. 232–236.
ICDAR-2011-LuangvilayZN #online: An On-line Handwritten Text Search Method Based on Directional Feature Matching (PL, BZ, MN), pp. 683–686.
VLDB-2011-VenetisGJH #ranking: Hyper-local, directions-based ranking of places (PV, HG, CSJ, AYH), pp. 290–301.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation: Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
SAS-2011-MaKFH #execution #symbolic computation: Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
STOC-2011-DinitzK #linear #source code: Directed spanners via flow-based linear programs (MD, RK), pp. 323–332.
STOC-2011-Sherstov #communication #complexity #quantum #query #theorem: Strong direct product theorems for quantum communication and query complexity (AAS), pp. 41–50.
ICALP-v1-2011-BermanBMRY #approximate #problem: Improved Approximation for the Directed Spanner Problem (PB, AB, KM, SR, GY), pp. 1–12.
CHI-2011-ChiuLC #documentation #gesture #modelling #multi #symmetry: Multi-touch document folding: gesture models, fold directions and symmetries (PC, CL, FC), pp. 1591–1600.
CHI-2011-HaradaTA #on the #representation: On the audio representation of radial direction (SH, HT, CA), pp. 2779–2788.
CHI-2011-KwonJEY: Direct manipulation through surrogate objects (BCK, WJ, NE, JSY), pp. 627–636.
CHI-2011-NackeKLM #design #game studies #interactive #using: Biofeedback game design: using direct and indirect physiological control to enhance game interaction (LEN, MK, CL, RLM), pp. 103–112.
CHI-2011-VeasMFS #memory management #visual notation: Directing attention and influencing memory with visual saliency modulation (EEV, EM, SF, DS), pp. 1471–1480.
HCD-2011-ChoiPJP #analysis #research #smarttech #state of the art: Scientometric Analysis of Research in Smart Clothing: State of the Art and Future Direction (KC, HP, ESJ, SP), pp. 500–508.
HCI-ITE-2011-ParkAK #interactive #interface #mobile: Gaze-Directed Hands-Free Interface for Mobile Interaction (GsP, JgA, GJK), pp. 304–313.
HCI-MIIE-2011-PlocherJC #using: Using Sound Patterns to Enhance Directional Sound for Emergency Route Guidance (TP, ZJJ, FYDC), pp. 329–337.
CIKM-2011-LoSZL #community #mining #network #trust: Mining direct antagonistic communities in explicit trust networks (DL, DS, KZ, EPL), pp. 1013–1018.
CIKM-2011-SakaiKS #information management: Click the search button and be happy: evaluating direct and immediate information access (TS, MPK, YIS), pp. 621–630.
KDD-2011-BoleyLPG #performance #random: Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.
KEOD-2011-KachroudiYZ #multi #named #ontology: DAMO — Direct Alignment for Multilingual Ontologies (MK, SBY, SZ), pp. 110–117.
MLDM-2011-PerezR #array #detection #using: Detection of Phenotypes in Microarray Data Using Force- Directed Placement Transformss (DVP, KAR), pp. 320–334.
BX-2011-Gogolla #metamodelling: Direction Neutral Language Transformation with Metamodels (MG), p. 57.
GPCE-2011-Asai: Reflection in direct style (KA), pp. 97–106.
LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation: Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
ICSE-2011-Xu #testing: Directed test suite augmentation (ZX), pp. 1110–1113.
CGO-2011-CuiXWYFF #optimisation: Extendable pattern-oriented optimization directives (HC, JX, LW, YY, XF, DF), pp. 107–118.
HPDC-2011-ZhangLWK #data access #energy #scheduling: Software-directed data access scheduling for reducing disk energy consumption (YZ, JL, EHW, MTK), pp. 281–282.
ISMM-2011-Mutlu #challenge #manycore #memory management: Memory systems in the many-core era: challenges, opportunities, and solution directions (OM), pp. 77–78.
ISSTA-2011-BabicMMS #automation #generative #testing: Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
CASE-2010-GuoZW #analysis: Directed motion of an atomic scale engine and stability analysis (YG, WZ, ZW), pp. 545–550.
TACAS-2010-Sifakis #challenge #design #embedded: Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.
MSR-2010-BruchMM #framework #mining #reuse #subclass: Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
STOC-2010-Klauck #theorem: A strong direct product theorem for disjointness (HK), pp. 77–86.
CHI-2010-BernsteinMKM #resource management #web: Enhancing directed content sharing on the web (MSB, AM, DRK, RCM), pp. 971–980.
CHI-2010-ChanKCLHH #interactive: Touching the void: direct-touch interaction for intangible displays (LWC, HK, MYC, MSL, JYjH, YPH), pp. 2625–2634.
CHI-2010-NieuwenhuizenAM: Insight into goal-directed movement strategies (KN, DA, JBM), pp. 883–886.
ICEIS-J-2010-WaltherHSS10a #retrieval #specification: Directed Retrieval and Extraction of High-Quality Product Specifications (MW, LH, DS, AS), pp. 436–450.
CIKM-2010-HeMW #algorithm #evaluation #learning #metric #optimisation #rank: Directly optimizing evaluation measures in learning to rank based on the clonal selection algorithm (QH, JM, SW), pp. 1449–1452.
ECIR-2010-JamborW #approach #collaboration #fault: Goal-Driven Collaborative Filtering — A Directional Error Based Approach (TJ, JW), pp. 407–419.
ICPR-2010-BenabbasLID #modelling #recognition #using: Action Recognition Using Direction Models of Motion (YB, AL, NI, CD), pp. 4295–4298.
ICPR-2010-CalderaraPC #people #similarity #statistics #using: Alignment-Based Similarity of People Trajectories Using Semi-directional Statistics (SC, AP, RC), pp. 4275–4278.
ICPR-2010-HarandiAABL #random #recognition: Directed Random Subspace Method for Face Recognition (MTH, MNA, BNA, AB, BCL), pp. 2688–2691.
ICPR-2010-IbrahimKKG #analysis #online #using #verification: On-Line Signature Verification Using 1-D Velocity-Based Directional Analysis (MTI, MJK, MAK, LG), pp. 3830–3833.
ICPR-2010-JabidKC #classification #gender #using: Gender Classification Using Local Directional Pattern (LDP) (TJ, MHK, OC), pp. 2162–2165.
ICPR-2010-KryszczukHS #orthogonal #predict #using: Direct Printability Prediction in VLSI Using Features from Orthogonal Transforms (KK, PH, RS), pp. 2764–2767.
ICPR-2010-MumtazMM #approach: A New Approach to Aircraft Surface Inspection Based on Directional Energies of Texture (MM, ABM, HM), pp. 4404–4407.
ICPR-2010-PengHRYZ #orthogonal: Single View Metrology Along Orthogonal Directions (KP, LH, RR, XY, HZ), pp. 1658–1661.
ICPR-2010-ShiSG #documentation #image #using: Removing Rule-Lines from Binary Handwritten Arabic Document Images Using Directional Local Profile (ZS, SS, VG), pp. 1916–1919.
KDD-2010-GaoW #mining #nondeterminism: Direct mining of discriminative patterns for classifying uncertain data (CG, JW), pp. 861–870.
SEKE-2010-Ruhe #information management #re-engineering #research: Future Research Directions for Software Engineering and Knowledge Engineering (GR), p. 5.
SAC-2010-ChenS #3d #interactive #matrix #modelling: Modeling cardinal directions in the 3D space with the objects interaction cube matrix (TC, MS), pp. 906–910.
FSE-2010-XuKKRC #testing #trade-off: Directed test suite augmentation: techniques and tradeoffs (ZX, YK, MK, GR, MBC), pp. 257–266.
SPLC-2010-NolanA #case study #estimation #experience #product line: Dealing with Cost Estimation in Software Product Lines: Experiences and Future Directions (AJN, SA), pp. 121–135.
CGO-2010-LiAH #lightweight #optimisation: Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.
ISMM-2010-BegB #approach #graph: A graph theoretic approach to cache-conscious placement of data for direct mapped caches (MB, PvB), pp. 113–120.
LCTES-2010-OzturkKIN #compilation #multi #reliability: Compiler directed network-on-chip reliability enhancement for chip multiprocessors (ÖÖ, MTK, MJI, SHKN), pp. 85–94.
CAV-2010-ThakurLLBDEAR #generative #proving: Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing: Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
DAC-2009-ChaiJK #3d #complexity #equation #linear #scalability: A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction (WC, DJ, CKK), pp. 752–757.
DAC-2009-MehrotraS #performance #robust #using: A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian (AM, AS), pp. 370–375.
DATE-2009-Flamand #manycore #towards: Strategic directions towards multicore application specific computing (EF), p. 1266.
DATE-2009-Sifakis #challenge #design #embedded: Embedded systems design — Scientific challenges and work directions (JS), p. 2.
HT-2009-AlfordM #process #research: Scholarly research process: investigating the effects of link type and directionality (MLA, EM), pp. 99–108.
ICDAR-2009-IbrahimKKAG #analysis #dependence #online #using #verification: On-Line Signature Verification: Directional Analysis of a Signature Using Weighted Relative Angle Partitions for Exploitation of Inter-Feature Dependencies (MTI, MJK, MAK, KSA, LG), pp. 41–45.
ICDAR-2009-ShiSG: A Steerable Directional Local Profile Technique for Extraction of Handwritten Arabic Text Lines (ZS, SS, VG), pp. 176–180.
SIGMOD-2009-RadwanPSY #generative: Top-k generation of integrated schemas based on directed and weighted correspondences (AR, LP, IRS, AAY), pp. 641–654.
TACAS-2009-WehrleKP #model checking: Transition-Based Directed Model Checking (MW, SK, AP), pp. 186–200.
ICPC-2009-HanWYCZL #clustering #comprehension #design pattern #open source #source code: Design pattern directed clustering for understanding open source code (ZH, LW, LY, XC, JZ, XL), pp. 295–296.
ICSM-2009-GrechanikXF #assessment #maintenance #testing: Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts (MG, QX, CF), pp. 9–18.
ICSM-2009-HanssenYCM #agile #challenge #development #maintenance: Maintenance and agile development: Challenges, opportunities and future directions (GKH, AFY, RC, LM), pp. 487–490.
SAS-2009-WehrleH #graph #model checking: The Causal Graph Revisited for Directed Model Checking (MW, MH), pp. 86–101.
STOC-2009-ImpagliazzoKW: New direct-product testers and 2-query PCPs (RI, VK, AW), pp. 131–140.
CIAA-2009-Fujiyoshi #automaton #graph #recognition: Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata (AF), pp. 105–114.
ICALP-v1-2009-GuhaH #bound #order #random #theorem: Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams (SG, ZH), pp. 513–524.
ICFP-2009-RompfMO #continuation #implementation #polymorphism: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
CHI-2009-HoltenW #case study #graph #visualisation: A user study on visualizing directed edges in graphs (DH, JJvW), pp. 2299–2308.
CHI-2009-MaedaIA: Arrow tag: a direction-key-based technique for rapidly selecting hyperlinks while gazing at a screen (AM, HI, MA), pp. 1025–1028.
CHI-2009-VogelCCBK: Hand occlusion with tablet-sized direct pen input (DV, MC, GC, RB, LK), pp. 557–566.
HCD-2009-MayerOFNKKS #assembly #self: Cognitive Engineering for Direct Human-Robot Cooperation in Self-optimizing Assembly Cells (MPM, BO, MF, JN, WK, BK, CMS), pp. 1003–1012.
HCD-2009-NieminenKRM #analysis #fine-grained #testing #towards #usability: Towards Fine-Grained Usability Testing: New Methodological Directions with Conversation Analysis (MN, SK, SR, PM), pp. 879–887.
HCI-AUII-2009-WadaYS: Proposal of a Direction Guidance System for Evacuation (CW, YY, YS), pp. 221–227.
HCI-NIMT-2009-JacksonMBHVSI #interface #paradigm: Continuous Control Paradigms for Direct Brain Interfaces (MMJ, RLMI, EB, SH, GRV, CS, AI), pp. 588–595.
ICEIS-DISI-2009-Chen #graph: Directed Acyclic Graphs and Disjoint Chains (YC), pp. 17–24.
CIKM-2009-BhowmickDLN #evaluation #towards #xpath: Towards non-directional Xpath evaluation in a RDBMS (SSB, CED, EL, ZN), pp. 1501–1504.
ICML-2009-BurlW #learning: Active learning for directed exploration of complex systems (MCB, EW), pp. 89–96.
ICML-2009-Heidrich-MeisnerI #policy: Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search (VHM, CI), pp. 401–408.
ICML-2009-PetersJGS #detection: Detecting the direction of causal time series (JP, DJ, AG, BS), pp. 801–808.
KDIR-2009-LopesPCO #crawling #named #web: Arabella — A Directed Web Crawler (PL, DP, DC, JLO), pp. 270–273.
LOPSTR-2009-IborraNV #dependence #proving #termination: Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.
POPL-2009-BronsonKO #optimisation: Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.
SAC-2009-BuckerRRW #automation #parallel #problem #simulation: Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SAC-2009-KumarZ #clustering #graph #visualisation: Visualization of clustered directed acyclic graphs with node interleaving (PK, KZ), pp. 1800–1805.
ICSE-2009-GaneshLR #fuzzing: Taint-based directed whitebox fuzzing (VG, TL, MCR), pp. 474–484.
ICSE-2009-GrechanikXF #evolution #maintenance #testing: Maintaining and evolving GUI-directed test scripts (MG, QX, CF), pp. 408–418.
CGO-2009-BerubeAHS #multi #optimisation #reduction: Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
HPCA-2009-KumarHM #manycore: Characterization of Direct Cache Access on multi-core systems and 10GbE (AK, RH, SM), pp. 341–352.
PPoPP-2009-SonKKC #multi: A compiler-directed data prefetching scheme for chip multiprocessors (SWS, MTK, MK, DRC), pp. 209–218.
CSL-2009-MontanariPS #decidability #logic: A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (AM, GP, PS), pp. 394–408.
LICS-2009-GhicaB #approximate #named #semantics: Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.
CASE-2008-KimCY #mobile: Fusion of direction sensing RFID and sonar for mobile robot docking (MK, NYC, WY), pp. 709–714.
CASE-2008-SenthilkumaranPR: Shrinkage compensation along single direction dexel space for improving accuracy in Selective Laser Sintering (KS, PMP, PVMR), pp. 827–832.
DATE-2008-ChengH #invariant #mining #verification: Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.
SIGMOD-2008-JinXRW #graph #query #reachability #scalability: Efficiently answering reachability queries on very large directed graphs (RJ, YX, NR, HW), pp. 595–608.
TACAS-2008-KupferschmidHL #abstraction #model checking #performance: Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
PLDI-2008-Sen #concurrent #random testing #source code #testing: Race directed random testing of concurrent programs (KS), pp. 11–21.
STOC-2008-BansalKN #bound #design #network: Additive guarantees for degree bounded directed network design (NB, RK, VN), pp. 769–778.
STOC-2008-ChenLL #algorithm #feedback #parametricity #problem #set: A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.
STOC-2008-ImpagliazzoJKW #theorem: Uniform direct product theorems: simplified, optimized, and derandomized (RI, RJ, VK, AW), pp. 579–588.
STOC-2008-JainKN #bound #communication #complexity #theorem: Direct product theorems for classical communication complexity via subdistribution bounds: extended abstract (RJ, HK, AN), pp. 599–608.
ICALP-A-2008-Muthukrishnan #internet: Internet Ad Auctions: Insights and Directions (SM), pp. 14–23.
ICALP-B-2008-EgriLT #datalog #symmetry: Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.
SEFM-2008-SampathRRS #behaviour #code generation #testing: Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
GT-VMT-2008-GrohmannM #graph #resource management: Controlling resource access in Directed Bigraphs (DG, MM).
ICGT-2008-Grohmann #encryption #graph #security: Security, Cryptography and Directed Bigraphs (DG), pp. 487–489.
CHI-2008-BonanniACVI #named: Handsaw: tangible exploration of volumetric data by direct cut-plane projection (LB, JA, NC, GV, HI), pp. 251–254.
CHI-2008-DragicevicRBNBS #video: Video browsing by direct manipulation (PD, GR, JB, DN, RB, KS), pp. 237–246.
CHI-2008-ForlinesB #feedback: Evaluating tactile feedback and direct vs. indirect stylus input in pointing and crossing selection tasks (CF, RB), pp. 1563–1572.
CHI-2008-GrimesH #human-computer #research: Celebratory technology: new directions for food research in HCI (AG, RH), pp. 467–476.
CHI-2008-Kaneko #detection: Detecting the direction of listening with the emg signals measured behind ears (NK), pp. 535–538.
CHI-2008-KarrerWLB #interface #named #navigation #video: DRAGON: a direct manipulation interface for frame-accurate in-scene video navigation (TK, MW, EL, JOB), pp. 247–250.
CAiSE-2008-WohedRHAA #open source #question #workflow: Open Source Workflow: A Viable Direction for BPM? (PW, NR, AHMtH, BA, WMPvdA), pp. 583–586.
ICEIS-SAIC-2008-DAgostiniFDG #semantics #using: Contextual Semantic Search — Capturing, using the User’s Context to Direct Semantic Search (CSD, RF, MARD, FAOG), pp. 154–159.
ECIR-2008-NaKL08b #evaluation #nearest neighbour: Revisit of Nearest Neighbor Test for Direct Evaluation of Inter-document Similarities (SHN, ISK, JHL), pp. 674–678.
ECIR-2008-Singhal #challenge #web: Web Search: Challenges and Directions (AS), p. 2.
ICML-2008-HeigoldDSN #evaluation #recognition #speech: Modified MMI/MPE: a direct evaluation of the margin in speech recognition (GH, TD, RS, HN), pp. 384–391.
ICPR-2008-JiaDQA #3d #estimation #metric #using: Directionality measurement and illumination estimation of 3D surface textures by using mojette transform (PJ, JD, LQ, FA), pp. 1–4.
ICPR-2008-KatayamaUS #coordination #online #recognition #using: A new HMM for on-line character recognition using pen-direction and pen-coordinate features (YK, SU, HS), pp. 1–4.
ICPR-2008-MengLMW #detection: Directional entropy feature for human detection (LM, LL, SM, WW), pp. 1–4.
ICPR-2008-TagawaKNO #3d #image #multi #network #sequence: Direct 3-D shape recovery from image sequence based on multi-scale Bayesian network (NT, JK, SN, KO), pp. 1–4.
ICPR-2008-WangC #classification #semantics #using: Film shot classification using directing semantics (HLW, LFC), pp. 1–4.
KDD-2008-FanZCGYHYV #mining #modelling: Direct mining of discriminative and essential frequent patterns via model-based search tree (WF, KZ, HC, JG, XY, JH, PSY, OV), pp. 230–238.
KDD-2008-LingD #learning #query: Active learning with direct query construction (CXL, JD), pp. 480–487.
SEKE-2008-GolmohammadiRP #bibliography #semantics #web: Fuzziness in the Semantic Web: Survey and Future Directions (SKG, MR, WP), pp. 643–648.
SIGIR-2008-XuLLLM #evaluation #learning #metric #optimisation #rank: Directly optimizing evaluation measures in learning to rank (JX, TYL, ML, HL, WYM), pp. 107–114.
MoDELS-2008-ParetoSE #embedded #evolution #ontology: Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
MoDELS-2008-ParetoSE #embedded #evolution #ontology: Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
SAC-2008-GoldbargGM #algorithm: Selecting beam directions in radiotherapy with an evolutionary algorithm (MCG, EFGG, CRAM), pp. 1420–1421.
SAC-2008-NogueiraVN #animation: A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SAC-2008-ZhangMD #feature model #fuzzy #image #retrieval #set #using: Texture feature extraction and description using fuzzy set of main dominant directions of variable scales in content-based medical image retrieval (GZ, ZMM, LD), pp. 1760–1761.
LCTES-2008-BiernackiCHP #code generation #composition #data flow: Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
ICLP-2008-Baral #information management #programming #reasoning #representation #set #using: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions (CB), pp. 69–70.
ISSTA-2008-PachecoLB #dot-net #fault #random testing #testing: Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
LICS-2008-Pottier #anti #higher-order: Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule (FP), pp. 331–340.
ASE-2007-MajumdarX #generative #testing #using: Directed test generation using symbolic grammars (RM, RGX), pp. 134–143.
ASE-2007-VainRKE #nondeterminism #synthesis: Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
ASE-2007-YoonSMP #testing: Direct-dependency-based software compatibility testing (ICY, AS, AMM, AAP), pp. 409–412.
CASE-2007-KimCAY #mobile #using: RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding Antennas (MK, NYC, HSA, WY), pp. 1014–1019.
CASE-2007-MartinWS #algorithm #online #performance: Offline and Online Evolutionary Bi-Directional RRT Algorithms for Efficient Re-Planning in Dynamic Environments (SRM, SEW, JWS), pp. 1131–1136.
DAC-2007-Natale #analysis #challenge: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.
DATE-2007-HuangG #energy #optimisation #performance #realtime #scalability: Efficient and scalable compiler-directed energy optimization for realtime applications (PKH, SG), pp. 785–790.
DATE-2007-MathaikuttySKLD #design #fault #generative #testing #validation: Design fault directed test generation for microprocessor validation (DM, SKS, SVK, DJL, AD), pp. 761–766.
DATE-2007-SrivastavaR #agile: Rapid and accurate latch characterization via direct Newton solution of setup/hold times (SS, JSR), pp. 1006–1011.
ICDAR-2007-BhattacharyaGP #online #recognition: Direction Code Based Features for Recognition of Online Handwritten Characters of Bangla (UB, BKG, SKP), pp. 58–62.
ICDAR-2007-NguyenBML #classification #using #verification: Off-line Signature Verification Using Enhanced Modified Direction Features in Conjunction with Neural Classifiers and Support Vector Machines (VN, MB, VM, GL), pp. 734–738.
VLDB-2007-ChengYC #named: EntityRank: Searching Entities Directly and Holistically (TC, XY, KCCC), pp. 387–398.
TACAS-2007-KupferschmidDHFDPB #heuristic #model checking: Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
STOC-2007-AgarwalAC #approximate #problem: Improved approximation for directed cut problems (AA, NA, MC), pp. 671–680.
STOC-2007-ChuzhoyGKT #graph: Hardness of routing with congestion in directed graphs (JC, VG, SK, KT), pp. 165–178.
STOC-2007-ChuzhoyK #polynomial #problem: Polynomial flow-cut gaps and hardness of directed cut problems (JC, SK), pp. 179–188.
CIAA-2007-SteinbyT #morphism: Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms (MS, CIT), pp. 265–276.
ICALP-2007-AlonFGKS #algorithm #problem: Parameterized Algorithms for Directed Maximum Leaf Problems (NA, FVF, GG, MK, SS), pp. 352–362.
ICFP-2007-HarrisS #feedback #parallel: Feedback directed implicit parallelism (TH, SS), pp. 251–264.
ICFP-2007-Leijen #system f: A type directed translation of MLF to system F (DL), pp. 111–122.
CHI-2007-ForlinesWSB: Direct-touch vs. mouse input for tabletop displays (CF, DW, CS, RB), pp. 647–656.
CHI-2007-HartmannAMK #authoring #interactive #pattern matching #pattern recognition #recognition: Authoring sensor-based interactions by demonstration with direct manipulation and pattern recognition (BH, LA, MM, SRK), pp. 145–154.
CHI-2007-IqbalH #analysis #case study: Disruption and recovery of computing tasks: field study, analysis, and directions (STI, EH), pp. 677–686.
CHI-2007-SchrammelGST #exclamation #quote #using: “Look!”: using the gaze direction of embodied agents (JS, AG, RS, MT), pp. 1187–1190.
HCI-IPT-2007-CharissisNPP #design #interface: Designing a Direct Manipulation HUD Interface for In-Vehicle Infotainment (VC, MN, SP, MP), pp. 551–559.
HCI-MIE-2007-ZhouZ #eye tracking #metric: Impact of Mental Rotation Strategy on Absolute Direction Judgments: Supplementing Conventional Measures with Eye Movement Data (RZ, KZ), pp. 789–798.
HIMI-IIE-2007-IkedaN: Case-Based Snow Clearance Directive Support System for Novice Directors (YI, YN), pp. 893–902.
HIMI-IIE-2007-IshiiYIN #navigation #using: A Navigation System Using Ultrasonic Directional Speaker with Rotating Base (KI, YY, MI, KN), pp. 526–535.
HIMI-MTT-2007-SongQXZC #named: ActiveScrollbar: A Scroll Bar with Direct Scale Ratio Control (HS, YQ, LX, TZ, EPC), pp. 354–358.
ICEIS-HCI-2007-IshikawaYY #multi #novel #using: Novel View Telepresence with High-Scalability Using Multi-Casted Omni-Directional Videos (TI, KY, NY), pp. 148–156.
ICML-2007-ChanVL: Direct convex relaxations of sparse SVM (ABC, NV, GRGL), pp. 145–153.
ICML-2007-JohnsM #approximate #graph: Constructing basis functions from directed graphs for value function approximation (JJ, SM), pp. 385–392.
KDD-2007-TongFK #graph #mining #performance #proximity: Fast direction-aware proximity for graph mining (HT, CF, YK), pp. 747–756.
MLDM-2007-Holness #network: A Direct Measure for the Efficacy of Bayesian Network Structures Learned from Data (GH), pp. 601–615.
MLDM-2007-WuW #graph #kernel #parametricity: Choosing the Kernel Parameters for the Directed Acyclic Graph Support Vector Machines (KPW, SDW), pp. 276–285.
ECOOP-2007-LinB #data flow #domain-specific language #named: DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.
TOOLS-EUROPE-2007-LanoC #semantics #state machine: Direct Semantics of Extended State Machines (KL, DC), pp. 35–51.
PPDP-2007-Charatonik #logic programming #source code: Regular directional types for logic programs (WC), p. 209.
SAC-2007-ZhangMC #fuzzy #image #retrieval #set: Directed filter for dominant direction fuzzy set in content-based image retrieval (GZ, ZMM, ZC), pp. 76–77.
ESEC-FSE-2007-MajumdarX #generative #testing #using: Directed test generation using symbolic grammars (RM, RGX), pp. 553–556.
ESEC-FSE-2007-Potena #composition #non-functional #research #trade-off: Composition and tradeoff of non-functional attributes in software systems: research directions (PP), pp. 583–586.
ICSE-2007-PachecoLEB #generative #random testing #testing: Feedback-Directed Random Test Generation (CP, SKL, MDE, TB), pp. 75–84.
CGO-2007-OzturkCKK #latency #problem: Compiler-Directed Variable Latency Aware SPM Management to CopeWith Timing Problems (ÖÖ, GC, MTK, MK), pp. 232–243.
HPCA-2007-ShaferCMRCZW #concurrent #monitoring #network #virtual machine: Concurrent Direct Network Access for Virtual Machine Monitors (JS, DC, AM, SR, ALC, WZ, PW), pp. 306–317.
HPCA-2007-SrinathMKP #feedback #hardware #performance: Feedback Directed Prefetching: Improving the Performance and Bandwidth-Efficiency of Hardware Prefetchers (SS, OM, HK, YNP), pp. 63–74.
HPDC-2007-HildebrandH #file system #named #parallel #scalability: Direct-pNFS: scalable, transparent, and versatile access to parallel file systems (DH, PH), pp. 199–208.
HPDC-2007-SongMD #concurrent #memory management #scheduling #thread: Feedback-directed thread scheduling with memory considerations (FS, SM, JD), pp. 97–106.
LCTES-2007-ChenLK #multi: Compiler-directed application mapping for NoC based chip multiprocessors (GC, FL, MTK), pp. 155–157.
DAC-2006-GoraiBBTM #protocol #verification: Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.
DAC-2006-WongB #multi #performance #polynomial: Multi-shift quadratic alternating direction implicit iteration for high-speed positive-real balanced truncation (NW, VB), pp. 257–260.
SIGMOD-2006-DoanRV #information management #research #state of the art: Managing information extraction: state of the art and research directions (AD, RR, SV), pp. 799–800.
VLDB-2006-ApaydinCFT #approximate #encoding #query: Approximate Encoding for Direct Access and Query Processing over Compressed Bitmaps (TA, GC, HF, AST), pp. 846–857.
ITiCSE-2006-Ellis06a #approach #learning #named #self: Self-grading: an approach to supporting self-directed learning (HJCE), p. 349.
ESOP-2006-Pierce #programming: The Weird World of Bi-directional Programming (BCP), p. 342.
PEPM-2006-WangCK #aspect-oriented #functional #higher-order #weaving: Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.
PLDI-2006-ChenLKI #energy #scalability: Reducing NoC energy consumption through compiler-directed channel voltage scaling (GC, FL, MTK, MJI), pp. 193–203.
STOC-2006-AmbainisSW #bound #quantum #theorem #trade-off: A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs (AA, RS, RdW), pp. 618–633.
STOC-2006-AndrewsZ #problem: Logarithmic hardness of the directed congestion minimization problem (MA, LZ), pp. 517–526.
STOC-2006-ChuzhoyK #graph #problem: Hardness of cut problems in directed graphs (JC, SK), pp. 527–536.
ICALP-v1-2006-DyerGP #graph #morphism #on the: On Counting Homomorphisms to Directed Acyclic Graphs (MED, LAG, MP), pp. 38–49.
ICALP-v1-2006-HariharanKM #algorithm #graph #performance: A Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs (RH, TK, KM), pp. 250–261.
ICGT-2006-BerwangerJ #automaton #graph: Automata on Directed Graphs: Edge Versus Vertex Marking (DB, DJ), pp. 46–60.
CHI-2006-JiangOMS #interactive #pointer #using: Direct pointer: direct manipulation for large-display interaction using handheld cameras (HJ, EO, NM, YS), pp. 1107–1110.
CIKM-2006-PengH #comparison #retrieval: Direct comparison of commercial and academic retrieval system: an initial study (YP, DH), pp. 806–807.
ICML-2006-MaggioniM #analysis #evaluation #markov #multi #performance #policy #process #using: Fast direct policy evaluation using multiscale analysis of Markov diffusion processes (MM, SM), pp. 601–608.
ICPR-v2-2006-MakiharaSMEY #adaptation #identification: Adaptation to Walking Direction Changes for Gait Identification (YM, RS, YM, TE, YY), pp. 96–99.
ICPR-v2-2006-MatsakisNW #2d #locality: Object Localization Based on Directional Information: Case of 2D Raster Data (PM, JN, XW), pp. 142–146.
ICPR-v2-2006-Strand #3d #distance #fourier #grid #image #re-engineering #using: Using the Hexagonal Grid for Three-Dimensional Images: Direct Fourier Method Reconstruction and Weighted Distance Transform (RS), pp. 1169–1172.
ICPR-v2-2006-SunV #detection #linear #multi #performance #using: Fast Linear Feature Detection Using Multiple Directional Non-Maximum Suppression (CS, PV), pp. 288–291.
ICPR-v2-2006-ZhouBS #image #using: Extracting Lines in Noisy Image Using Directional Information (JZ, WFB, GASA), pp. 215–218.
ICPR-v3-2006-AssabieB #recognition #using: Ethiopic Character Recognition Using Direction Field Tensor (YA, JB), pp. 284–287.
ICPR-v4-2006-ArmandBM #verification: Off-line Signature Verification based on the Modified Direction Feature (SA, MB, VM), pp. 509–512.
ICPR-v4-2006-NeubertF #visual notation: Direct Mapping of Visual Input to Motor Torques (JJN, NJF), pp. 634–638.
ICPR-v4-2006-ReisertB #3d #data-driven #database #integration #invariant #using: Invariant Features for 3D-Data based on Group Integration using Directional Information and Spherical Harmonic Expansion (MR, HB), pp. 206–209.
ICPR-v4-2006-SatohS #development: Development of Omni-directional Stereo Vision-based Intelligent Electric Wheelchair (YS, KS), pp. 799–804.
ICPR-v4-2006-SatoTIM #coordination #detection #image #sequence: Change detection in streetscapes from GPS coordinated omni-directional image sequences (JS, TT, II, HM), pp. 935–938.
ICPR-v4-2006-YaoZDLX #correlation #identification #matrix #modelling: Directly Modeling of Correlation Matrices for GMM in Speaker Identification (ZY, XZ, BD, ML, YX), pp. 306–309.
KR-2006-RagniW #constraints: Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.
POPL-2006-ChenLK #network: Compiler-directed channel allocation for saving power in on-chip networks (GC, FL, MTK), pp. 194–205.
SAC-2006-RothF #information management #recommendation: Trust-decisions on the base of maximal information of recommended direct-trust (UR, VF), pp. 1898–1901.
CGO-2006-ChuM #clustering #multi: Compiler-directed Data Partitioning for Multicluster Processors (MLC, SAM), pp. 208–220.
HPDC-2006-OrtizJM #data transformation #towards: Toward a New Direction on Data Management in Grids (AO, JJ, AM), pp. 377–378.
LCTES-2006-MutyamLNKI #functional: Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.
VMCAI-2006-JabbarE #linear #model checking #parallel: Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
ASE-2005-GotliebDB #constraints #generative #pointer #testing: Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.
CASE-2005-ViswanadhamB #outsourcing: Foreign direct investment or outsourcing: a supply chain decision model (NV, KB), pp. 232–237.
DAC-2005-GopeCJ #3d #multi #named #performance: DiMES: multilevel fast direct solver based on multipole expansions for parasitic extraction of massively coupled 3D microelectronic structures (DG, IC, VJ), pp. 159–162.
DATE-2005-BlazquezLWGPC #architecture: Direct Conversion Pulsed UWB Transceiver Architecture (RB, FSL, DDW, BPG, JP, AC), pp. 94–95.
DATE-2005-HuLDKVI #detection #fault: Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.
DATE-2005-VorwerkK #framework #multi: An Improved Multi-Level Framework for Force-Directed Placement (KV, AAK), pp. 902–907.
ICDAR-2005-BaiH #case study #online #recognition: A Study On the Use of 8-Directional Features For Online Handwritten Chinese Character Recognition (ZLB, QH), pp. 262–266.
ICDAR-2005-OkumurUS #coordination #implementation #online #recognition: An HMM Implementation for On-line Handwriting Recognition — Based on Pen-Coordinate Feature and Pen-Direction Feature (DO, SU, HS), pp. 26–30.
ICDAR-2005-ZhuN #network #online #recognition #segmentation: Segmentation of On-line Handwritten Japanese Text of Arbitrary Line Direction by a Neural Network for Improving Text Recognition (BZ, MN), pp. 157–161.
CSEET-2005-SaiedianLP #challenge #education #re-engineering #research: Software Engineering Education (SEE) Research and Publication: Issues, Challenges and Directions (HS, TCL, DP), p. 258.
ITiCSE-2005-KollingH #game studies #programming: Game programming in introductory courses with direct state manipulation (MK, PH), pp. 59–63.
PLDI-2005-GodefroidKS #automation #named #random testing #testing: DART: directed automated random testing (PG, NK, KS), pp. 213–223.
STOC-2005-AgarwalCMM #algorithm #approximate #problem: O(sqrt(log n)) approximation algorithms for min UnCut, min 2CNF deletion, and directed cut problems (AA, MC, KM, YM), pp. 573–581.
STOC-2005-HajiaghayiKLR #graph #random: Oblivious routing in directed graphs with random demands (MTH, JHK, TL, HR), pp. 193–201.
ICALP-2005-Kavitha #algorithm #graph #random: An Õ(m2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph (TK), pp. 273–284.
ICALP-2005-KowalukL #graph #query: LCA Queries in Directed Acyclic Graphs (MK, AL), pp. 241–248.
ICALP-2005-RodittyZ #graph: Replacement Paths and k Simple Shortest Paths in Unweighted Directed Graphs (LR, UZ), pp. 249–260.
CHI-2005-KhanMFK #named #scalability: Spotlight: directing users’ attention on large displays (AK, JM, GWF, GK), pp. 791–798.
CHI-2005-LindemanSMPP #effectiveness: Effectiveness of directional vibrotactile cuing on a building-clearing task (RWL, JLS, EMM, SP, DP), pp. 271–280.
ICEIS-v1-2005-YangLOA #generative #graph #named #xml: DWG2XML: Generating XML Nested Tree Structure from Directed Weighted Graph (KYY, ACWL, TÖ, RA), pp. 19–26.
ICEIS-v3-2005-MenkhausA #analysis #embedded #metric: Metric Suite Directing the Failure Mode Analysis of Embedded Software Systems (GM, BA), pp. 266–273.
ICML-2005-WangWGSC #markov #modelling #random #semantics: Exploiting syntactic, semantic and lexical regularities in language modeling via directed Markov random fields (SW, SW, RG, DS, LC), pp. 948–955.
ICML-2005-ZhouHS #graph #learning: Learning from labeled and unlabeled data on a directed graph (DZ, JH, BS), pp. 1036–1043.
MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability: Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability: Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
PPDP-2005-GuoJGL #optimisation: Optimization with mode-directed preferences (HFG, BJ, GG, ML), pp. 242–251.
PADL-2005-HeerenH: Type Class Directives (BH, JH), pp. 253–267.
POPL-2005-FosterGMPS #approach #combinator #problem: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
SAC-2005-GuoJ #logic programming #source code: Mode-directed preferences for logic programs (HFG, BJ), pp. 1414–1418.
ICSE-2005-DemskyR #data type #reasoning #using: Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.
HPCA-2005-JonesOAG #queue #reduction: Software Directed Issue Queue Power Reduction (TMJ, MFPO, JA, AG), pp. 144–153.
VMCAI-2005-JabbarE #model checking #performance: I/O Efficient Directed Model Checking (SJ, SE), pp. 313–329.
DATE-DF-2004-PortoA #2d #architecture #implementation: Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation (RECP, LVA), pp. 224–229.
DATE-v1-2004-GarciaMSN #scalability: A Direct Bootstrapped CMOS Large Capacitive-Load Driver Circuit (JCG, JAMN, JS, HN), pp. 680–681.
DATE-v2-2004-FengZCZF #analysis #order #reduction: Direct Nonlinear Order Reduction with Variational Analysis (LF, XZ, CC, DZ, QF), pp. 1316–1321.
HT-2004-LeggettS #communication #design #hypermedia #interactive #research: Directions for hypertext research: exploring the design space for interactive scholarly communication (JJL, FMSI), pp. 2–11.
SIGMOD-2004-BohannonBCF #evaluation #incremental #xml: Incremental Evaluation of Schema-Directed XML Publishing (PB, PB, BC, WF), pp. 503–514.
SIGMOD-2004-RosenthalW #research #scalability #security #state of the art: Security of Shared Data in Large Systems: State of the Art and Research Directions (AR, MW), pp. 962–964.
VLDB-2004-RosenthalW #research #scalability #security #state of the art: Security of Shared Data in Large Systems: State of the Art and Research Directions (AR, MW), p. 1242.
STOC-2004-RodittyZ #algorithm #graph #linear #reachability: A fully dynamic reachability algorithm for directed graphs with an almost linear update time (LR, UZ), pp. 184–191.
FLOPS-2004-Kikuchi #calculus #normalisation #proving: A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.
DLT-2004-DowneyM #complexity: Some New Directions and Questions in Parameterized Complexity (RGD, CM), pp. 12–26.
ICALP-2004-BjorklundHK #approximate: Approximating Longest Directed Paths and Cycles (AB, TH, SK), pp. 222–233.
CHI-2004-HeerGRDM: Presiding over accidents: system direction of human action (JH, NG, AR, MD, JM), pp. 463–470.
CHI-2004-TeevanAAK #behaviour #case study: The perfect search engine is not enough: a study of orienteering behavior in directed search (JT, CA, MSA, DRK), pp. 415–422.
CSCW-2004-MatsushitaIOSKN #collaboration: Lumisight table: a face-to-face collaboration support system that optimizes direction of projected information to each stakeholder (MM, MI, TO, YS, YK, TN), pp. 274–283.
CIKM-2004-ChitrapuraK #graph #ranking: Node ranking in labeled directed graphs (KPC, SRK), pp. 597–606.
ICPR-v1-2004-ShenB #analysis #kernel #recognition: Gabor Wavelets and Kernel Direct Discriminant Analysis for Face Recognition (LS, LB), pp. 284–287.
ICPR-v2-2004-NakagawaZO #constraints #formal method #online #recognition: A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint (MN, BZ, MO), pp. 359–362.
ICPR-v2-2004-SoiferKK #analysis #fuzzy: Fuzzy Direction Field Method for Fringe and Tree-like Patterns Analysis (VAS, AGK, AOK), pp. 779–782.
ICPR-v2-2004-SunWTC #estimation #recognition #robust: Robust Direction Estimation of Gradient Vector Field for Iris Recognition (ZS, YW, TT, JC), pp. 783–786.
ICPR-v3-2004-KatoW #algorithm #classification #nearest neighbour #performance: Direct Condensing: An Efficient Voronoi Condensing Algorithm for Nearest Neighbor Classifiers (TK, TW), pp. 474–477.
ICPR-v3-2004-ShimizuYWSTN #detection #mobile: Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction (SS, KY, CW, YS, HT, YN), pp. 248–251.
ICPR-v3-2004-TsujiZHK #analysis #correlation: Levels of Detail Control Based on Correlation Analysis Between Surface Position and Direction (TT, HZ, TH, RK), pp. 622–625.
ICPR-v4-2004-KimPL #bound #using: Object Boundary Edge Selection Using Normal Direction Derivatives of a Contour in a Complex Scene (TYK, JP, SWL), pp. 755–758.
ICPR-v4-2004-LiuWP #classification #composition #empirical: Texture Classification Through Directional Empirical Mode Decomposition (ZL, HW, SP), pp. 803–806.
ICPR-v4-2004-UkitaSK: Extracting a Gaze Region with the History of View Directions (NU, AS, MK), pp. 957–960.
ICPR-v4-2004-WuWZ #energy #recognition #using: Palmprint Recognition Using Directional Line Energy Feature (XW, KW, DZ), pp. 475–478.
ICPR-v4-2004-Xiao-JunKYMW #algorithm #feature model #recognition: A New Direct LDA (D-LDA) Algorithm for Feature Extraction in Face Recognition (XW, JK, JYY, KM, SW), pp. 545–548.
UML-2004-StrawGSFB #composition: Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.
POPL-2004-BalatCF #normalisation #partial evaluation #λ-calculus: Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.
SAC-2004-DemetrescuF #debugging #virtual machine: A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
ICSE-2004-BustardHS #named #re-engineering #research: BoF: New Directions in UK Software Engineering Research (DWB, MH, IS), pp. 693–694.
ICSE-2004-Rajan #integration: One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.
ASPLOS-2004-LiLDZZAK #energy #in memory #memory management #performance: Performance directed energy management for main memory and disks (XL, ZL, FMD, PZ, YZ, SVA, SK), pp. 271–283.
CSL-2004-MetcalfeOG #logic: Goal-Directed Methods for Lukasiewicz Logic (GM, NO, DMG), pp. 85–99.
DAC-2003-BozorgzadehGTS #graph #integer: Optimal integer delay budgeting on directed acyclic graphs (EB, SG, AT, MS), pp. 920–925.
DAC-2003-FineZ #functional #generative #network #testing #using #verification: Coverage directed test generation for functional verification using bayesian networks (SF, AZ), pp. 286–291.
DAC-2003-HurCRPCTH #constraints #physics: Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.
DAC-2003-LauP #algorithm #design #using: Fractional-N frequency synthesizer design at the transfer function level using a direct closed loop realization algorithm (CYL, MHP), pp. 526–531.
DAC-2003-SoDH #behaviour #design #synthesis #tool support #using: Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using: Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.
DATE-2003-LeeC #3d #grid #linear #power management #simulation: The Power Grid Transient Simulation in Linear Time Based on 3D Alternating-Direction-Implicit Method (YML, CCPC), pp. 11020–11025.
DATE-2003-PillaiJ #clustering #scheduling: Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling (SP, MFJ), pp. 10422–10427.
DATE-2003-SeidlEJ #using: Performance-Directed Retiming for FPGAs Using Post-Placement Delay Information (US, KE, FMJ), pp. 10770–10777.
DATE-2003-SokolovBY #optimisation: STG Optimisation in the Direct Mapping of Asynchronous Circuits (DS, AVB, AY), pp. 10932–10939.
DocEng-2003-SimskeA #analysis #image: User-directed analysis of scanned images (SJS, JA), pp. 212–221.
DRR-2003-AradhyeHM #analysis #detection #recognition: Syntax-directed content analysis of videotext: application to a map detection recognition system (HBA, JAH, GKM), pp. 57–66.
DRR-2003-SuwaN #algorithm #composition #image #using: Separation algorithm of superimposed pattern using directional decomposition of an image (MS, SN), pp. 278–285.
ICDAR-2003-BulacuSV #identification #using: Writer Identification Using Edge-Based Directional Features (MB, LS, LV), pp. 937–941.
ICDAR-2003-FujisawaL #pattern matching #recognition #revisited: Directional Pattern Matching for Character Recognition Revisited (HF, CLL), pp. 794–798.
ICDAR-2003-NakagawaO #online #recognition: On-line Handwritten Japanese Text Recognition free from Constrains on Line Direction and Character Orientation (MN, MO), pp. 519–523.
ICDAR-2003-WangDL #identification #linear #using: Writer Identification Using Directional Element Features and Linear Transform (XW, XD, HL), pp. 942–945.
ICDAR-2003-WangXTL #approach #documentation #image: Directional Wavelet Approach to Remove Document Image Interference (QW, TX, CLT, LL), pp. 736–740.
STOC-2003-AlonS #graph #testing: Testing subgraphs in directed graphs (NA, AS), pp. 700–709.
CIAA-2003-MiyamotoITS #graph #word: Ternary Directed Acyclic Word Graphs (SM, SI, MT, AS), pp. 120–130.
ICALP-2003-ElkinK #algorithm #approximate #multi #problem: Approximation Algorithm for Directed Telephone Multicast Problem (ME, GK), pp. 212–223.
ICALP-2003-JainRS #communication #complexity #theorem: A Direct Sum Theorem in Communication Complexity via Message Compression (RJ, JR, PS), pp. 300–315.
CHI-2003-VertegaalWSC #named #using #video: GAZE-2: conveying eye contact in group video conferencing using eye-controlled camera direction (RV, IW, CS, CC), pp. 521–528.
CIKM-2003-BallesterosS #retrieval: Addressing the lack of direct translation resources for cross-language retrieval (LB, MS), pp. 147–152.
ECIR-2003-Jones #documentation #retrieval: Document Retrieval: Shallow Data, Deep Theories; Historical Reflections, Potential Directions (KSJ), pp. 1–11.
ICML-2003-IsaacS #learning: Goal-directed Learning to Fly (AI, CS), pp. 258–265.
ICML-2003-YamadaSU #network: Cross-Entropy Directed Embedding of Network Data (TY, KS, NU), pp. 832–839.
KDD-2003-BanerjeeDGS #clustering #generative #modelling: Generative model-based clustering of directional data (AB, ISD, JG, SS), pp. 19–28.
KDD-2003-TsamardinosAS #markov #performance: Time and sample efficient discovery of Markov blankets and direct causal relations (IT, CFA, ARS), pp. 673–678.
ECOOP-2003-ZibinG #2d #layout: Two-Dimensional Bi-directional Object Layout (YZ, JYG), pp. 329–350.
ICSE-2003-AbrahamssonWSR #agile #analysis #comparative: New Directions on Agile Methods: A Comparative Analysis (PA, JW, MTS, JR), pp. 244–254.
CSL-2003-MetcalfeOG #logic: Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.
LICS-2003-GanzingerK #proving #theorem proving: New Directions in Instantiation-Based Theorem Proving (HG, KK), pp. 55–64.
RTA-2003-MoserW: Relating Derivation Lengths with the Slow-Growing Hierarchy Directly (GM, AW), pp. 296–310.
DAC-2002-BartleyGB #comparison #pseudo #random testing #testing #verification: A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.
DAC-2002-KandemirC #design #memory management: Compiler-directed scratch pad memory hierarchy design and management (MTK, ANC), pp. 628–633.
DATE-2002-AbkeB #automaton #implementation: A Direct Mapping System for Datapath Module and FSM Implementation into LUT-Based FPGAs (JA, EB), p. 1085.
DATE-2002-KapurWM #logic: Directed-Binary Search in Logic BIST Diagnostics (RK, TWW, MRM), p. 1121.
VLDB-2002-BenediktCFRZZ: DTD-Directed Publishing with Attribute Translation Grammars (MB, CYC, WF, RR, SZ, AZ), pp. 838–849.
ASIA-PEPM-2002-SheardL #analysis #search-based #using: Search-based binding time analysis using type-directed pruning (TS, NL), pp. 20–31.
PLDI-2002-JoshiNR #named: Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.
PLDI-2002-KosekiKN #graph: Preference-Directed Graph Coloring (AK, HK, TN), pp. 33–44.
PLDI-2002-RajagopalanDHS #optimisation #source code: Profile-Directed Optimization of Event-Based Programs (MR, SKD, MAH, RDS), pp. 106–116.
STOC-2002-ElkinK #algorithm #approximate #combinator #problem: Combinatorial logarithmic approximation algorithm for directed telephone broadcast problem (ME, GK), pp. 438–447.
DLT-2002-PetkovicCB #automaton: Characteristic Semigroups of Directable Automata (TP, MC, SB), pp. 417–427.
ICFP-2002-GasbichlerS #implementation: Final shift for call/cc: : direct implementation of shift and reset (MG, MS), pp. 271–282.
ICEIS-2002-CesareLP #modelling #research #uml: Business Modelling with UML: Distilling Directions for Future Research (SdC, ML, DP), pp. 570–579.
ICEIS-2002-ViaeneBDVP #pattern matching #pattern recognition #proving #recognition #state of the art: Proof Running Two State-Of-The-Art Pattern Recognition Techniques in the Field of Direct Marketing (SV, BB, GD, JV, DVdP), pp. 446–454.
CIKM-2002-Faloutsos #data mining #mining #network #self: Future directions in data mining: streams, networks, self-similarity and power laws (CF), p. 93.
ICML-2002-GuestrinPS #learning #modelling: Algorithm-Directed Exploration for Model-Based Reinforcement Learning in Factored MDPs (CG, RP, DS), pp. 235–242.
ICML-2002-StrensBE #markov #monte carlo #optimisation #using: Markov Chain Monte Carlo Sampling using Direct Search Optimization (MJAS, MB, NE), pp. 602–609.
ICPR-v1-2002-ArakiSS #detection: Detection of Faces of Various Directions in Complex Backgrounds (YA, NS, YS), pp. 409–412.
ICPR-v1-2002-PengYW #detection #image #similarity: Images Similarity Detection Based on Directional Gradient Angular Histogram (JP, BY, DW), pp. 147–150.
ICPR-v1-2002-WuWZ #energy #fuzzy #identification: Fuzzy Directional Element Energy Feature (FDEEF) Based Palmprint Identification (XW, KW, DZ), pp. 95–98.
ICPR-v2-2002-AlhichriK #image #using: Image Registration Using Virtual Circles and Edge Direction (HSA, MK), pp. 969–972.
ICPR-v2-2002-YonemotoT #3d #interactive #interface: Vision-Based 3D Direct Manipulation Interface for Smart Interaction (SY, RiT), pp. 655–654.
ICPR-v3-2002-ShihL #interface #visual notation: A Bi-Directional Visual Stereo Interface for Accessing Stereo Matching Results from a Human Brain (SWS, THL), pp. 1039–1042.
ICPR-v3-2002-SugimotoNM #detection #visual notation: Detecting a Gazing Region by Visual Direction and Stereo Cameras (AS, AN, TM), pp. 278–282.
ICPR-v4-2002-WangTSHNY #image: Registering Panoramic Range Data and Omni-directional Color Image Based on Edge Histograms (CW, HT, YS, HH, YN, KY), pp. 355–358.
OOPSLA-2002-ArnoldHR #java #online #optimisation: Online feedback-directed optimization of Java (MA, MH, BGR), pp. 111–129.
GPCE-2002-BalatD #partial evaluation: Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.
ICSE-2002-ErdogmusBHRS #re-engineering: Software engineering economics: background, current practices, and future directions (MHE, BWB, WH, DJR, KJS), pp. 683–684.
ICSE-2002-Knight #challenge #safety: Safety critical systems: challenges and directions (JCK), pp. 547–550.
ASPLOS-2002-CookseyJG: A stateless, content-directed data prefetching mechanism (RC, SJ, DG), pp. 279–290.
LCTES-SCOPES-2002-HuKVISZ #morphism #polymorphism: Compiler-directed cache polymorphism (JSH, MTK, NV, MJI, HS, WZ), pp. 165–174.
CADE-2002-ArecesH #hybrid #logic: HyLoRes 1.0: Direct Resolution for Hybrid Logics (CA, JH), pp. 156–160.
CSL-2002-Kanovich: Bijections between Partitions by Two-Directional Rewriting Techniques (MIK), pp. 44–58.
DAC-2001-JaniszewskiHM #design #performance #reuse: VHDL-Based Design and Design Methodology for Reusable High Performance Direct Digital Frequency Synthesizers (IJ, BH, HM), pp. 573–578.
DAC-2001-SchenkelPZSGA #analysis #optimisation: Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search (FS, MP, SZ, RS, HEG, KA), pp. 858–863.
DocEng-2001-Villard #adaptation #authoring #multi: Authoring transformations by direct manipulation for adaptable multimedia presentations (LV), pp. 125–134.
ICDAR-2001-GaoJYH #approach #feature model #recognition: A New Stroke-Based Directional Feature Extraction Approach for Handwritten Chinese Character Recognition (XG, LJ, JY, JH), pp. 635–639.
ICDAR-2001-IwataYYKIM #identification #library #using: Book Cover Identification by Using Four Directional Features Filed for a Small-Scale Library System (KI, KY, MY, KK, MI, KM), pp. 582–586.
ICDAR-2001-WatanabeS #estimation: Estimation of Home-Address Numbers on the Basis of Relationships and Directions among House Blocks (TW, TS), p. 1245–?.
ICDAR-2001-ZhengLDP #detection: Form Frame Line Detection with Directional Single-Connected Chain (YZ, CL, XD, SP), pp. 699–703.
ESOP-2001-KatsumataO #decompiler #low level: Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
ICSM-2001-ByersKP #dependence #graph: Syntax-Directed Construction of Value Dependence Graphs (DB, MK, TP), p. 692–?.
IWPC-2001-CordySDM #design #named #source code: HSML: Design Directed Source Code Hot Spots (JRC, KAS, TRD, AJM), pp. 145–154.
WCRE-2001-MycroftOK #decompiler #type system: Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.
FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code: A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
FME-2001-ArditiBCS #generative #testing #validation: Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System (LA, HB, AC, VS), pp. 449–464.
CHI-2001-KierasMB #execution #modelling #towards: Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.
CHI-2001-RuiGC: Viewing meeting captured by an omni-directional camera (YR, AG, JJC), pp. 450–457.
ICML-2001-StrensM #policy #statistics #testing #using: Direct Policy Search using Paired Statistical Tests (MJAS, AWM), pp. 545–552.
SIGIR-2001-AllenL #distributed #query #web: Searching the Deep Web — Distributed Explorit Directed Query Applications (VSA, AL), p. 456.
GCSE-2001-WashizakiF #component #distance #using: Retrieving Software Components Using Directed Replaceability Distance (HW, YF), pp. 153–162.
PPDP-2001-HengleinMN #approach #control flow #memory management: A Direct Approach to Control-Flow Sensitive Region-Based Memory Management (FH, HM, HN), pp. 175–186.
PPDP-2001-RychlikowskiT #logic programming #polymorphism: Polymorphic Directional Types for Logic Programming (PR, TT), pp. 61–72.
SAIG-2001-DanvyGR #approach #evaluation: A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.
SAC-2001-Jeffery #object-oriented #programming: Goal-directed object-oriented programming in unicon (CLJ), pp. 306–308.
CC-2001-AycockH #earley #parsing: Directly-Executable Earley Parsing (JA, RNH), pp. 229–243.
CC-2001-WattersonD #profiling: Goal-Directed Value Profiling (SAW, SKD), pp. 319–333.
HPCA-2001-DelaluzKVSI #energy #hardware #using: DRAM Energy Management Using Software and Hardware Directed Power Mode Control (VD, MTK, NV, AS, MJI), pp. 159–169.
RTA-2001-LynchM: Goal-Directed E-Unification (CL, BM), pp. 231–245.
DATE-2000-YalagandulaAS #automation #generative: Automatic Lighthouse Generation for Directed State Space Search (PY, AA, VS), pp. 237–242.
VLDB-2000-Schnase #research: Research Directions in Biodiversity Informatics (JLS), pp. 697–700.
ITiCSE-2000-YooSLL #education: Present status and direction of information curriculum of Korea (IHY, SBS, CHL, TWL), p. 195.
ESOP-2000-CejtinJW: Flow-Directed Closure Conversion for Typed Languages (HC, SJ, SW), pp. 56–71.
ESOP-2000-Charatonik #logic programming #source code #type checking: Directional Type Checking for Logic Programs: Beyond Discriminative Types (WC), pp. 72–87.
IWPC-2000-CorritoreW #empirical #object-oriented #process: Direction and Scope of Comprehension-Related Activities by Procedural and Object-Oriented Programmers: An Empirical Study (CLC, SW), pp. 139–148.
PEPM-2000-GrobauerY #partial evaluation: The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.
PLDI-2000-Das #analysis #pointer: Unification-based pointer analysis with directional assignments (MD), pp. 35–46.
CIAA-2000-MihovM #transducer: Direct Construction of Minimal Acyclic Subsequential Transducers (SM, DM), pp. 217–229.
CIAA-2000-Watson #algorithm: Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
ICALP-2000-BenderR #graph #sublinear #testing: Testing Acyclicity of Directed Graphs in Sublinear Time (MAB, DR), pp. 809–820.
WLC-2000-PopovicBPC #automaton: Generalized Directable Automata (ZP, SB, TP, MC), pp. 378–395.
ICEIS-2000-FredF #modelling #multi: Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling (ALNF, JF), pp. 132–138.
ICML-2000-BaxterB #learning: Reinforcement Learning in POMDP’s via Direct Gradient Ascent (JB, PLB), pp. 41–48.
ICML-2000-RychetskySG: Direct Bayes Point Machines (MR, JST, MG), pp. 815–822.
ICPR-v1-2000-HeydenK #re-engineering: Direct Affine Reconstruction (AH, FK), pp. 1885–1888.
ICPR-v1-2000-Oliensis #multi: Direct Multi-Frame Structure from Motion for Hand-Held Cameras (JO), pp. 1889–1895.
ICPR-v3-2000-CarreiraMTH #using: Grouping of Directional Features Using an Extended Hough Transform (MJC, MM, BTT, JFH), pp. 7002–7005.
ICPR-v3-2000-HangaiYH #using #verification: Writer Verification Using Altitude and Direction of Pen Movement (SH, SY, TH), pp. 3483–3486.
ICPR-v3-2000-KimCL #detection #feature model #performance #using: Fast Scene Change Detection Using Direct Feature Extraction from MPEG Compressed Videos (YMK, SWC, SWL), pp. 3178–3181.
ICPR-v3-2000-MalkiMZB #composition: Directional Relations Composition by Orientation Histogram Fusion (JM, LM, EHZ, PB), pp. 3766–3765.
ICPR-v3-2000-Silvan-CardenasE #information management: Optic-Flow Information Extraction with Directional Gaussian-Derivatives (JLSC, BER), pp. 3194–3197.
ICPR-v4-2000-Bimbo #information retrieval #visual notation: Issues and Directions in Visual Information Retrieval (ADB), pp. 4031–4038.
ICPR-v4-2000-MurakamiTK #interactive: An Interactive Facial Caricaturing System Based on the Gaze Direction of Gallery (KM, MT, HK), pp. 4710–4713.
ICPR-v4-2000-RataTQS #3d #multi: Multi-Directional Camera 3-D Vision System for Micro-Operation (SH, DT, SG, KS), pp. 4583–4588.
KDD-2000-Bhattacharyya #algorithm #data mining #mining #modelling #multi #performance: Evolutionary algorithms in data mining: multi-objective performance modeling for direct marketing (SB), pp. 465–473.
KDD-2000-GerstenWA #case study #experience #modelling #predict #roadmap #tool support: Predictive modeling in automotive direct marketing: tools, experiences and open issues (WG, RW, DA), pp. 398–406.
ASPLOS-2000-ConnorsHCH #hardware #reuse: Hardware Support for Dynamic Management of Compiler-Directed Computation Reuse (DAC, HCH, BCC, WmWH), pp. 222–233.
ASPLOS-2000-HillSWHCP #architecture: System Architecture Directions for Networked Sensors (JLH, RS, AW, SH, DEC, KSJP), pp. 93–104.
ISMM-2000-FitzgeraldT #garbage collection: The Case for Profile-Directed Selection of Garbage Collectors (RPF, DT), pp. 111–120.
CL-2000-HarlandLW #logic #multi #proving: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.
ASE-1999-Stirewalt #user interface: Separating Concerns in Direct Manipulation User Interfaces (KS), p. 199–?.
DAC-1999-StevensRBCGKR #performance: CAD Directions for High Performance Asynchronous Circuits (KSS, SR, SMB, JC, RG, MK, MR), pp. 116–121.
DAC-1999-UrY #architecture #generative #source code: Micro Architecture Coverage Directed Generation of Test Programs (SU, YY), pp. 175–180.
DATE-1999-DhanwadaNV #constraints #synthesis #using: Hierarchical Constraint Transformation Using Directed Interval Search for Analog System Synthesis (NRD, ANA, RV), p. 328–?.
ICDAR-1999-NishimuraKMN #algorithm #feature model #multi #recognition #using: Off-line Character Recognition using HMM by Multiple Directional Feature Extraction and Voting with Bagging Algorithm (HN, MK, MM, YN), pp. 49–52.
ICDAR-1999-OkamotoY #online #recognition #using: On-line Handwritten Character Recognition Method using Directional Features and Clockwise/Counterwise Direction-Change Features (MO, KY), pp. 491–494.
SIGMOD-1999-Kohler #information management: EMC Information Sharing: Direct Access to MVS Data from Unix and NT (WK), pp. 523–524.
ITiCSE-1999-WryczaUGV #challenge #development #education #requirements: The challenges and directions of MIS curriculum development in respect of transformation of business requirements (SW, TWU, AG, BV), pp. 177–178.
PEPM-1999-Rhiger #static typing: Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.
FM-v1-1999-ReffelE #detection #fault #model checking: Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
ICFP-1999-OhoriY #compilation #ml #morphism #polymorphism #rank #type inference: Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.
CHI-1999-HollandO: Direct Combination (SH, DO), pp. 262–269.
CHI-1999-JohnsonWBKB #interface #using: Sympathetic Interfaces: Using a Plush Toy to Direct Synthetic Characters (MPJ, ADW, BB, CK, AFB), pp. 152–158.
HCI-CCAD-1999-GrundelS #communication #process #user interface: A direct manipulation user interface for the control of communication processes — making call handling manageable (CG, MSH), pp. 8–13.
HCI-CCAD-1999-HickeyKA #distributed #mobile #using: Mobile virtual participation in a distributed meeting using an omni-directional camera system (SH, KK, SA), pp. 533–537.
HCI-CCAD-1999-OshibaT #3d #modelling: Three-dimensional modeling environment “claymore” based on augmented direct manipulation technique (TO, JT), pp. 1075–1079.
HCI-EI-1999-ElzerFB #internet #user interface: A Direct Manipulation User Interface for a Telerobot on the Internet (PFE, HF, RB), pp. 585–589.
ICEIS-1999-Stamper #analysis #design #paradigm: Information-Field Paradigm and New Directions for Systems Analysis and Design (RKS), p. VI.
TOOLS-USA-1999-Fowler #user interface: Direct Mapping and User Interface (RF), pp. 574–583.
PPDP-1999-Filinski #partial evaluation #semantics: A Semantic Account of Type-Directed Partial Evaluation (AF), pp. 378–395.
HPCA-1999-HongMSKAW #effectiveness #memory management #order: Access Order and Effective Bandwidth for Streams on a Direct Rambus Memory (SIH, SAM, MHS, RHK, JHA, WAW), pp. 80–89.
HPDC-1999-LowekampOG #distributed #network #query: Direct Queries for Discovering Network Resource Properties in a Distributed Environment (BL, DRO, TRG), pp. 38–46.
CSL-1999-Marcinkowski #game studies #reachability: Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.
IWTCS-1999-Willcock #syntax #towards: New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
IWPC-1998-Lakhotia #development #named: DIME: A Direct Manipulation Environment for Evolutionary Development of Software (AL), pp. 72–79.
PLDI-1998-PiumartaR #optimisation #thread: Optimizing Direct-threaded Code by Selective Inlining (IP, FR), pp. 291–300.
SAS-1998-CharatonikP #logic programming #source code #type inference: Directional Type Inference for Logic Programs (WC, AP), pp. 278–294.
STOC-1998-BenderFRSV #graph #power of: The Power of a Pebble: Exploring and Mapping Directed Graphs (MAB, AF, DR, AS, SPV), pp. 269–278.
FLOPS-1998-Danvy #online #partial evaluation: Online Type-Directed Partial Evaluation (OD), pp. 271–295.
WIA-1998-Poibeau #automaton: Bi-directional Automata to Extract Complex Phrases from Texts (TP), pp. 110–120.
ICFP-1998-FinneLMJ #haskell #interface #named: H/Direct: A Binary Foreign Language Interface for Haskell (SF, DL, EM, SLPJ), pp. 153–162.
ICFP-1998-MinamideG #complexity #on the #runtime: On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
CHI-1998-Fogg #persuasion #research: Persuasive Computers: Perspectives and Research Directions (BJF), pp. 225–232.
CSCW-1998-BanavarDMM #collaboration: Rapidly Building Synchronous Collaborative Applications by Direct Manipulation (GB, SD, KM, BM), pp. 139–148.
CIKM-1998-Horvitz #policy: Continual Computation Policies for Utility-Directed Prefetching (EH), pp. 175–184.
CIKM-1998-Sanderson #tool support: Accurate User Directed Summarizatiion from Existing Tools (MS), pp. 45–51.
ICML-1998-PendrithM #analysis #learning #markov: An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
ICML-1998-ShatkayK: Heading in the Right Direction (HS, LPK), pp. 531–539.
ICPR-1998-HuTT #random: Direct triangle extraction by a randomized Hough technique (ZH, MT, HTT), pp. 717–719.
ICPR-1998-KaufmannB #fault #locality #using: Amount translation and error localization in check processing using syntax-directed translation (GK, HB), pp. 1530–1534.
ICPR-1998-KimKA #feature model: Feature extraction of edge by directional computation of gray-scale variation (KCK, DYK, JKA), pp. 1022–1027.
ICPR-1998-OkamotoNY #online #recognition: Direction-change features of imaginary strokes for on-line handwriting character recognition (MO, AN, KY), pp. 1747–1751.
KDD-1998-Bhattacharyya #algorithm #modelling #search-based #using: Direct Marketing Response Models Using Genetic Algorithms (SB), pp. 144–148.
KDD-1998-GuralnikWS #mining #sequence: Pattern Directed Mining of Sequence Data (VG, DW, JS), pp. 51–57.
KDD-1998-LingL #data mining #mining #problem: Data Mining for Direct Marketing: Problems and Solutions (CXL, CL), pp. 73–79.
KR-1998-Rintanen #algorithm: A Planning Algorithm not based on Directional Search (JR), pp. 617–625.
KR-1998-Sandewall #behaviour #logic #modelling: Logic Based Modelling of Goal-Directed Behavior (ES), pp. 304–315.
SAC-1998-AhmedDR #fuzzy #graph #memory management #performance #reuse #using: Fast recall of reusable fuzzy plans using acyclic directed graph memory (MA, ED, DCR), pp. 272–276.
ASPLOS-1998-MachanickSP #implementation #memory management #trade-off: Hardware-Software Trade-Offs in a Direct Rambus Implementation of the RAMpage Memory Hierarchy (PM, PS, LP), pp. 105–114.
CC-1998-Boyland #attribute grammar #dependence: Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.
ISSTA-1998-MitchellZ #empirical #reliability #testing: An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing (BM, SJZ), pp. 32–41.
ASE-1997-DevanbuS #automation #hardware #research #using #verification: Research Directions for Automated Software Verification: Using Trusted Hardware (PTD, SGS), pp. 274–279.
EDTC-1997-SeongK #clustering #design #layout: Two-way partitioning based on direction vector [layout design] (KSS, CMK), pp. 306–310.
ICDAR-1997-OhS #distance #recognition: A Feature for Character Recognition Based on Directional Distance Distributions (ISO, CYS), pp. 288–292.
ICDAR-1997-OkamotoY #online #recognition: On-line handwriting character recognition method with directional features and direction-change features (MO, KY), pp. 926–930.
ICDAR-1997-ShridharHK #recognition #using #word: Handwritten Word Recognition Using Lexicon Free and Lexicon Directed Word (MS, GFH, FK), pp. 861–865.
ICDAR-1997-SunS #documentation #image #using: Skew and Slant Correction for Document Images Using Gradient Direction (CS, DS), pp. 142–146.
PEPM-1997-GrantMPCE #c #runtime: Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
PEPM-1997-Sheard #online #polymorphism: A Type-directed, On-line, Partial Evaluator for a Polymorphic Language (TS), pp. 22–35.
PLDI-1997-LuehG: Call-Cost Directed Register Allocation (GYL, TRG), pp. 296–307.
PLDI-1997-Proebsting #evaluation: Simple Translation of Goal-Directed Evaluation (TAP), pp. 1–6.
SAS-1997-JagannathanWW #analysis: Type-Directed Flow Analysis for Typed Intermediate Languages (SJ, SW, AKW), pp. 232–249.
STOC-1997-McCuaigRST: Permanents, Pfaffian Orientations, and Even Directed Circuits (Extended Abstract) (WM, NR, PDS, RT), pp. 402–405.
STOC-1997-ParnafesRW #communication #modelling #problem: Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
ICALP-1997-GarganoHP #symmetry: Colouring Paths in Directed Symmetric Trees with Applications to WDM Routing (LG, PH, SP), pp. 505–515.
ICFP-1997-DimockMTW #representation: Strongly Typed Flow-Directed Representation Transformations (AD, RM, FAT, JBW), pp. 11–24.
CHI-1997-WilcoxABCC #debugging #feedback #programming #question #visual notation: Does Continuous Visual Feedback Aid Debugging in Direct-Manipulation Programming Systems? (EMW, JWA, MMB, JJC, CRC), pp. 258–265.
HCI-CC-1997-MetakidesGW #user interface: User Interface Software & Technology (UIST) Under ESPRIT: Current Work and Future Directions (GM, AG, JW), pp. 485–488.
HCI-CC-1997-VendaL #assembly #evaluation #using: Ergonomic Evaluation of Manual Assembly Operations Using Direct and Indirect Observation Workstations in Sitting and Standing Positions (VFV, SSL), pp. 855–858.
HCI-SEC-1997-BordegoniFR #flexibility #interactive #modelling: Direct Interaction with Flexible Material Models (MB, GF, CR), pp. 387–390.
HCI-SEC-1997-Cohen #self: Evaluating Effects of Self-Directed Ergonomics Training (BGFC), pp. 123–128.
HCI-SEC-1997-Ibrahim #editing #optimisation: Optimizing Cut-and-Paste Operations in Directed-Graph Editing (BI), pp. 359–362.
TOOLS-ASIA-1997-WuW #algebra #database #graph #object-oriented: Directed Graph Based Association Algebra for Object-Oriented Databases (SW, NW), pp. 53–59.
TOOLS-PACIFIC-1997-Weinreich #component #editing #framework: A Component Framework for Direct-Manipulation Editors (RW), pp. 99–112.
POPL-1997-Boudol #π-calculus: The π-calculus in Direct Style (GB), pp. 228–241.
SAC-1997-SabharwalQ #algorithm #performance: An efficient algorithm for direct computation of adjacent block coefficients in the transformed domain (CLS, BQ), pp. 515–520.
SAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic: Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
ICLP-1997-Codish #bottom-up #evaluation #logic programming #performance #source code: Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.
RTA-1997-Lynch #graph #using: Goal-Directed Completion Using SOUR Graphs (CL), pp. 8–22.
DAC-1996-LeglWE #approach #design: A Boolean Approach to Performance-Directed Technology Mapping for LUT-Based FPGA Designs (CL, BW, KE), pp. 730–733.
PODS-1996-Manber #problem #research #web: Future Directions and Research Problems in the World Wide Web (Abstract) (UM), pp. 213–215.
PLDI-1996-JagannathanW: Flow-directed Inlining (SJ, AKW), pp. 193–205.
PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation: TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.
SAS-1996-Nielson #perspective #program analysis #semantics: Semantics-Directed Program Analysis: A Tool-Maker’s Perspective (FN), pp. 2–21.
Best-of-PLDI-1996-TarditiMCSHL96a #compilation #ml #named #optimisation: TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
AKDDM-1996-Uthurusamy #challenge #data mining #information management #mining: From Data Mining to Knowledge Discovery: Current Challenges and Future Directions (RU), pp. 561–569.
ICPR-1996-AblameykoFM #composition: Shape decomposition by (d1, d2)-weighted skeleton and directional information (SA, MF, AM), pp. 275–279.
ICPR-1996-BrancaTAD #composition #detection: Directionality detection in compositional textures (AB, MT, GA, AD), pp. 830–834.
ICPR-1996-FitzgibbonPF: Direct least squares fitting of ellipses (AWF, MP, RBF), pp. 253–257.
ICPR-1996-MoghaddamNP #image #similarity: A Bayesian similarity measure for direct image matching (BM, CN, AP), pp. 350–358.
ICPR-1996-Nagao #2d #using: Direct methods for evaluating the planarity and rigidity of a surface using only 2D views (KN), pp. 417–422.
ICPR-1996-SilvaS #estimation: Direct egomotion estimation (CS, JSV), pp. 702–706.
ICPR-1996-SoiferKKS #identification #using: Fingerprint identification using the directions field (VAS, VVK, SNK, RVS), pp. 586–590.
ICPR-1996-TanakaI96a #recognition #using: Curvature-based face surface recognition using spherical correlation-principal directions for curved object recognition (HTT, MI), pp. 638–642.
SEKE-1996-ZengTW #specification #testing #verification: Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.
OOPSLA-1996-DriesenH #c++: The Direct Cost of Virtual Function Calls in C++ (KD, UH), pp. 306–323.
PLILP-1996-DanvyV #case study #compilation #partial evaluation #semantics: Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.
POPL-1996-Danvy #partial evaluation: Type-Directed Partial Evaluation (OD), pp. 242–257.
POPL-1996-GhiyaH #analysis #c #graph #pointer: Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.
ICSE-1996-MitchellZ #reliability #testing: A Reliability Model Combining Representative and Directed Testing (BM, SJZ), pp. 506–514.
ASPLOS-1996-BugnionAMRL #multi: Compiler-Directed Page Coloring for Multiprocessors (EB, JAMA, TCM, MR, MSL), pp. 244–255.
HPCA-1996-QiaoM #multi #network #on the #permutation: On the Multiplexing Degree Required to Embed Permutations in a Class of Networks with Direct Interconnects (CQ, YM), pp. 118–129.
CSL-1996-DanosPR #reduction: Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
DAC-1995-LampaertGS: Direct Performance-Driven Placement of Mismatch-Sensitive Analog Circuits (KL, GGEG, WMCS), pp. 445–449.
ICDAR-v1-1995-LuoAD #approach #string: Directional mathematical morphology approach for line thinning and extraction of character strings from maps and line drawings (HL, GA, ID), pp. 257–260.
ICDAR-v2-1995-DrouhardSG #case study #classification #comparative #nearest neighbour #network #using #verification: Comparative study of the k nearest neighbour, threshold and neural network classifiers for handwritten signature verification using an enhanced directional PDF (JPD, RS, MG), pp. 807–810.
ICDAR-v2-1995-YuanTS #graph: Four directional adjacency graphs (FDAG) and their application in locating fields in forms (JY, YYT, CYS), pp. 752–755.
PODS-1995-ChangH #database #generative #using: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases (TPC, RH), pp. 196–207.
VLDB-1995-Lindsay: DB2 Common Server: Technology, Progress, & Directions (BGL0), pp. 694–695.
STOC-1995-EdmondsP #bound: A nearly optimal time-space lower bound for directed st-connectivity on the NNJAG model (JE, CKP), pp. 147–156.
PLILP-1995-ShimajiriSI #database #logic #query: Goal-Directed Query Processing in Disjunctive Logic Databases (YS, HS, HI), pp. 415–430.
RE-1995-LamsweerdeDM #lessons learnt #problem #requirements: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.
ICSE-1995-GautierLST #case study #experience #integration #tool support: Tool Integration: Experiences and Directions (BG, CWL, ES, LT), pp. 315–324.
HPDC-1995-Kotz: Disk-Directed I/O for an Out-of-Core Computation (DK), pp. 159–166.
ICLP-1995-BoyeM #aspect-oriented: Two Aspects of Directional Types (JB, JM), pp. 747–761.
ICLP-1995-ShimajiriSI #database #logic #query: Making Query Processing Goal-Directed in Disjunctive Logic Databases (YS, HS, HI), p. 820.
EDAC-1994-LinKL #approach #synthesis: Direct Synthesis of Hazard-Free Asynchronous Circuits from STGs Based on Lock Relation and BG-Decomposition Approach (KJL, JWK, CSL), pp. 178–183.
VLDB-1994-ZemankovaI #database #state of the art: Scientific Databases — State of the Art and Future Directions (MZ, YEI), pp. 752–753.
CSEE-1994-BrueggeC #collaboration #design #education: Teaching Iterativ & Collaborative Design: Lessons and Directions (BB, RFC), pp. 411–427.
CSEE-1994-PurtiloS #case study #experience: Experiences with CCB-Directed Projects in the Classroom (JMP, SS), pp. 285–302.
ESOP-J-1992-Danvy94: Back to Direct Style (OD), pp. 183–195.
SAS-1994-AikenL #logic programming #source code #type checking: Directional Type Checking of Logic Programs (AA, TKL), pp. 43–60.
ICALP-1994-GargVY #graph #multi: Multiway Cuts in Directed and Node Weighted Graphs (NG, VVV, MY), pp. 487–498.
LFP-1994-KfouryW #algorithm #higher-order #type inference #λ-calculus: A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus (AJK, JBW), pp. 196–207.
CHI-1994-AdlerH94a #case study #experience: A room of our own: experiences from a direct office share (AA, DAHJ), pp. 138–144.
CHI-1994-CardPM94a #evaluation #information management #visualisation: The cost-of-knowledge characteristic function: display evaluation for direct-walk dynamic information visualizations (SKC, PP, JDM), pp. 238–244.
CHI-1994-MurakamiN94a #3d: Direct and intuitive input device for 3-D shape deformation (TM, NN), pp. 465–470.
KR-1994-DechterR #revisited: Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.
SAC-1994-Takaoka #graph #parallel #verification: Parallel program verification with directed graphs (TT), pp. 462–466.
ASPLOS-1994-BershadLRC #scalability: Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches (BNB, DL, THR, JBC), pp. 158–170.
CC-1994-FauthHKM #graph: Global Code Selection of Directed Acyclic Graphs (AF, GH, AK, CM), pp. 128–142.
ILPS-1994-Marchiori #unification: Localizations of Unification Freedom through Matching Directions (MM), pp. 392–406.
ISSTA-1994-Marcus #composition #correctness #testing #verification: The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract) (LM), p. 197.
DAC-1993-SawkarT #performance: Performance Directed Technology Mapping for Look-Up Table Based FPGAs (PS, DET), pp. 208–212.
ICDAR-1993-KimuraSC #algorithm #recognition #word: Improvements of a lexicon directed algorithm for recognition of unconstrained handwritten words (FK, MS, ZC), pp. 18–22.
ICDAR-1993-Lambert #constraints: A projection reducing the constraint of direction (GL), pp. 557–560.
CSM-1993-Biggerstaff #development #maintenance: Directions in Software Development and Maintenance (TJB), pp. 2–10.
WSA-1993-BoyePM #functional #logic programming #source code #synthesis: Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.
FPCA-1993-AdityaC #polymorphism #re-engineering: Compiler-directed Type Reconstruction for Polymorphic Languages (SA, AC), pp. 74–82.
FPCA-1993-Hicks #case study #experience: Experiences with Compiler-Directed Storage Reclamation (JH), pp. 95–105.
HCI-ACS-1993-GipsOT: Direct Control of the Computer Through Electrodes Placed Around the Eyes (JG, PO, JT), pp. 630–635.
HCI-ACS-1993-SotoyamaSTSS: Gaze Direction and Ocular Surface Area in VDT Work (MS, SS, ST, TS, SS), pp. 750–755.
HCI-SHI-1993-ChaseC #object-oriented: The Effect of Direction on Object-Oriented Cursor Control Actions (JDC, SPC), pp. 231–236.
HCI-SHI-1993-ShibuyaT #communication #image: Use of Bi-Directional Image Exchange in Facilitating Precontact Communication (YS, HT), pp. 943–948.
HCI-SHI-1993-SonodaMOK #coordination #interface: Coordinating an Interface Agent with Direct Manipulation Environments (TS, FM, KO, MK), pp. 927–932.
INTERCHI-1993-Venolia #3d: Facile 3D direct manipulation (DV), pp. 31–36.
INTERCHI-1993-Zhao #diagrams #editing #gesture #incremental #recognition: Incremental recognition in gesture-based and syntax-directed diagram editors (RZ), pp. 95–100.
ICRE-1993-AliagaS #composition #prototype #tool support #user interface: Prototyping of Graphing Tools by Direct GUI Composition (DGA, MSH), pp. 317–334.
SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction: On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.
SAC-1993-KhwajaU #editing: Syntax-Directed Editing Environments: Issues and Features (AAK, JEU), pp. 230–237.
FSE-1993-Griswold #data flow: Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.
ILPS-1993-ChenSW #evaluation: Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.
ILPS-1993-Harland #logic #on the: On Goal-Directed Provability in Classical Logic (JH), p. 677.
ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code: Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
ILPS-1993-Shilcrat #framework #logic: Id Est, A Logic Based Framework for Direct Manipulation Systems (EDS), p. 646.
ILPS-1993-Zhou #compilation #on the #parametricity #prolog: On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
DAC-1992-Langeler #design #tutorial: Directions to Watch in Design Technology (Tutorial Abstract) (GL), p. 298.
SIGMOD-1992-MerzK #database #multi #named #query: DIRECT: A Query Facility for Multiple Databases (UM, RK), p. 2.
ESOP-1992-Danvy: Back to Direct Style (OD), pp. 130–150.
PLDI-1992-Sosic #named: Dynascope: A Tool for Program Directing (RS), pp. 12–21.
LFP-1992-DanvyL #continuation: Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.
CHI-1992-BallasHP #aspect-oriented: Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.
CHI-1992-Houde #3d #design #interface: Iterative Design of an Interface for Easy 3-D Direct Manipulation (SH), pp. 135–142.
CHI-1992-Rubine #gesture: Combining Gestures and Direct Manipulation (DR), pp. 659–660.
CHI-1992-ShneidermanWA #database #query: Dynamic Queries: Database Searching by Direct Manipulation (BS, CW, CA), pp. 669–670.
SEKE-1992-Ameur #evaluation: Formal Program Developments Directed by Operational Properties Evaluation (YAA), pp. 1–8.
ASPLOS-1992-FisherF #branch #predict: Predicting Conditional Branch Directions From Previous Runs of a Program (JAF, SMF), pp. 85–95.
CC-1992-BrownMW #action semantics #compilation #generative #named #semantics: Actress: An Action Semantics Directed Compiler Generator (DFB, HM, DAW), pp. 95–109.
CC-1992-Griesemer #scheduling: Scheduling Instructions by Direct Placement (RG), pp. 229–235.
CC-1992-Melichar #lr #parsing #syntax: Syntax Directed Translation with LR Parsing (BM), pp. 30–36.
CC-1992-Muller #parsing #top-down: Attribute-Directed Top-Down Parsing (KM), pp. 37–43.
IWMM-1992-LamWM #garbage collection #locality: Object Type Directed Garbage Collection To Improve Locality (MSL, PRW, TGM), pp. 404–425.
JICSLP-1992-BronsardLR #framework #logic programming #proving #source code #termination: A Framework of Directionality for Proving Termination of Logic Programs (FB, TKL, USR), pp. 321–335.
DAC-1991-ShihK #approach #equation #named #performance #using: ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
KBSE-1991-DeBellisSC #research: Directions for Future KBSA Research (MD, WCS, GC), pp. 84–89.
KBSE-1991-Liao #automation #generative #monitoring: Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring (YL), pp. 144–150.
SIGMOD-1991-GuntzerKT #database #deduction #nondeterminism #reasoning: New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.
ICALP-1991-Furer #algorithm #graph #performance: An Efficient NC Algorithm for Finding Hamiltonian Cycles in Dense Directed Graphs (MF), pp. 429–440.
CHI-1991-BauersfeldS #design #interface: User-oriented color interface design: direct manipulation of color in context (PB, JLS), pp. 417–418.
CHI-1991-Stasko #algorithm #animation #using: Using direct manipulation to build algorithm animations by demonstration (JTS), pp. 307–314.
LOPSTR-1991-Ameur #evaluation #functional #program transformation: Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract) (YAA), pp. 297–299.
PLILP-1991-ConselK #compilation #generative #prolog #semantics: Semantics-Directed Generation of a Prolog Compiler (CC, SCK), pp. 135–146.
POPL-1991-KleinmanMPS #communication #logic: Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.
ICSE-1991-WerthW #education #re-engineering: Directions in Software Engineering Education (JW, LHW), pp. 353–357.
RTA-1991-ChabinR #graph: Narrowing Directed by a Graph of Terms (JC, PR), pp. 112–123.
RTA-1991-SnyderL: Goal Directed Strategies for Paramodulation (WS, CL), pp. 150–161.
PODS-1990-Kim #database #object-oriented #research: Research Directions in Object-Oriented Database Systems (WK), pp. 1–15.
SIGMOD-1990-Kuntz #interface #knowledge base #named #visual notation: Pasta-3: A Graphical Direct Manipulation Interface for Knowledge Base Management Systems (MK), p. 391.
PLDI-1990-PughW #inheritance #layout #multi: Two-Directional Record Layout for Multiple Inheritance (WP, GEW), pp. 85–91.
GG-1990-Sleep #graph grammar #research: Applications of Graph Grammars and Directions for Research (MRS), pp. 57–60.
SIGIR-1990-AnickBFHAR #information retrieval #interface #natural language #query: A Direct Manipulation Interface for Boolean Information Retrieval via Natural Language Query (PGA, JDB, RAF, DRH, BA, JMR), pp. 135–150.
CC-1990-Pfahler #execution #lr #optimisation #parsing: Optimizing Directly Executable LR Parsers (PP), pp. 179–192.
CLP-1990-SchreyeVB90 #detection #graph #horn clause #query #strict #using: A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs (DDS, KV, MB), pp. 649–663.
CSL-1990-Burgard #logic programming #performance #source code: Efficiency Considerations on Goal-Directed Chaining for Logic Programs (WB), pp. 80–94.
CSL-1990-Ranaivoson #bound #graph #problem: Nontrivial Lower Bounds for some NP-Problems on Directed Graphs (SR), pp. 318–339.
VLDB-1989-Apers #research: Future research directions: Evidence from this conference (PMGA), p. 465.
VLDB-1989-KuntzM #query #visual notation: Pasta-3’s Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power (MK, RM), pp. 97–105.
STOC-1989-AggarwalAK #graph #parallel: Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.
STOC-1989-Bshouty #on the: On the Extended Direct Sum Conjecture (NHB), pp. 177–185.
CHI-1989-CohenDMPSGST #natural language: Synergistic use of direct manipulation and natural language (PRC, MD, DBM, FCNP, JWS, RAGJ, JLS, SWT), pp. 227–233.
CHI-1989-KnoxBL #design #protocol #user interface: Directed dialogue protocols: verbal data for user interface design (STK, WAB, EFL), pp. 283–287.
CHI-1989-MaulsbyW #source code: Inducing programs in a direct-manipulation environment (DLM, IHW), pp. 57–62.
CAiSE-1989-Welter #development #roadmap: Application Development Trends and Directions (MW).
CSL-1989-Stark #proving: A Direct Proof for the Completeness of SLD-Resolution (RFS), pp. 382–383.
LICS-1989-Middeldorp #term rewriting #termination: A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems (AM), pp. 396–401.
NACLP-1989-MadanPS #lisp #on the #prolog: On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns (VSM, CJP, GSS), pp. 888–906.
RTA-1989-ToyamaKB #linear #term rewriting #termination: Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (YT, JWK, HPB), pp. 477–491.
DAC-1988-Adler #logic #simulation: A Dynamically-Directed Switch Model for MOS Logic Simulation (DA), pp. 506–511.
DAC-1988-BorrielloD #synthesis: High-Level Synthesis: Current Status and Future Directions (GB, ED), pp. 477–482.
ICALP-1988-VaziraniY #graph: Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs (VVV, MY), pp. 667–681.
ECOOP-1988-HedinM #abstraction #interactive: The Mjølner Environment: Direct Interaction with Abstractions (GH, BM), pp. 41–54.
PPEALS-1988-GoldmanG #experience #named: Qlisp: Experience and New Directions (RG, RPG), pp. 111–123.
CADE-1988-Plaisted #proving #theorem proving: A Goal Directed Theorem Prover (DAP), p. 737.
JICSCP-1988-ParkerM88 #formal method #logic programming #source code: A Theory of Directed Logic Programs and Streams (DSPJ, RRM), pp. 620–650.
DAC-1987-Forbes #heuristic: Heuristic Acceleration of Force-Directed Placement (RF), pp. 735–740.
DAC-1987-McDermottS #network #paradigm: Switch Directed Dynamic Causal Networks — a Paradigm for Electronic System Diagnosis (RMM, DS), pp. 258–264.
DAC-1987-PaulinK #automation #scheduling #synthesis: Force-Directed Scheduling in Automatic Data Path Synthesis (PGP, JPK), pp. 195–202.
SIGMOD-1987-Mohan #architecture #transaction: Directions in System Architectures for High Transaction Rates (CM), p. 6.
VLDB-1987-AgrawalJ #algorithm #database #transitive: Direct Algorithms for Computing the Transitive Closure of Database Relations (RA, HVJ), pp. 255–266.
PLDI-1987-Clark #editing #interpreter #syntax: The JADE interpreter: a RISC interpreter for syntax directed editing (CFC), pp. 222–228.
HCI-CE-1987-Owen #reasoning: Direct Manipulation and Procedural Reasoning (DO), pp. 349–356.
ECOOP-1987-Riekert #interface #knowledge base #object-oriented: The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases (WFR), pp. 131–139.
ESEC-1987-Christ-NeumannS #named #object-oriented #specification: ASDL — An Object-Oriented Specification Language for Syntax-Directed Environments (MLCN, HWS), pp. 71–79.
ESEC-1987-TichyN #editing #graph #knowledge-based: Knowledge-based Editors for Directed Graphs (WFT, FJN), pp. 101–109.
ASPLOS-1987-HayesFWZ #architecture #execution #programming language: An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
SLP-1987-SchmidtKGB87 #compilation #deduction: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.
LFP-1986-NielsonN #compilation #functional #semantics: Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.
SIGMOD-1985-RoussopoulosL #database #using: Direct Spatial Search on Pictorial Databases Using Packed R-Trees (NR, DL), pp. 17–31.
POPL-1985-Appel #code generation #semantics: Semantics-Directed Code Generation (AWA), pp. 315–324.
ICSE-1985-Tavendale #prototype #specification: A Technique for Prototyping Directly from a Specification (RDT), pp. 224–229.
SOSP-1985-MalkawiP #compilation #memory management #policy #source code: Compiler Directed Memory Management Policy For Numerical Programs (MM, JHP), pp. 97–106.
SLP-1985-Kowalski85 #logic programming: Directions for Logic Programming (RAK), pp. 2–7.
DAC-1984-Haas: Computervision’s direction in workstation technology (GDH), pp. 606–609.
DAC-1984-WardleWWMN #approach #declarative #design: A declarative design approach for combining macrocells by directed placement and constructive routing (CLW, CRW, CAW, JCM, BJN), pp. 594–601.
POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification: Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
ICSE-1984-Donzeau-GougeLM #syntax: Practical Applications of a Syntax Directed Program Manipulation Environment (VDG, BL, BM), pp. 346–357.
DAC-1983-Vida-TorkuH #generative #heuristic #petri net #testing: Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
SIGIR-1983-Rijsbergen83a #information retrieval: Information Retrieval: New Directions, Old Solutions (CJvR), pp. 264–265.
SCC-1982-Baker #ada: A Single-Pass Syntax-Directed Front End for Ada (TPB), pp. 318–326.
SCC-1982-GanzingerGMW #compilation #generative #semantics: A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.
SCC-1982-Sethi #aspect-oriented #compilation #control flow #semantics #summary: Control Flow Aspects of Semantics Directed Compiling (Summary) (RS), pp. 245–260.
POPL-1982-Paulson #compilation #generative #semantics: A Semantics-Directed Compiler Generator (LCP), pp. 224–233.
POPL-1982-Reps #analysis #editing #incremental #semantics: Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors (TWR), pp. 169–176.
POPL-1982-Wand #architecture #semantics: Semantics-Directed Machine Architecture (MW), pp. 234–241.
ASPLOS-1982-SansonnetCPBP #architecture #execution #lisp: Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
ICALP-1981-Ullman #database #relational: A View of Directions in Relational Database Theory (JDU), pp. 165–176.
POPL-1981-DemersRT #attribute grammar #editing #evaluation #incremental: Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.
VLDB-1980-DeutschC #standard: DBMS Standards: Current Status and Future Directions (DRD, EKC), pp. 431–433.
SDCG-1980-Watt #parsing: Rule splitting and attribute-directed parsing (DAW), pp. 363–392.
SIGMOD-1979-DeWitt #execution #query: Query Execution in DIRECT (DJD), pp. 13–22.
ICSE-1978-Wegner #research: Research Directions in Software Technology (PW), pp. 243–259.
VLDB-1977-Heard #memory management: A Direct Access Terabit Archival Memory (HGH), pp. 254–258.
DAC-1976-PerskyDS #automation #design #named: LTX — a system for the directed automatic design of LSI circuits (GP, DND, DGS), pp. 399–407.
POPL-1976-LaLonde #lr #on the #parsing #reduction: On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.
POPL-1976-Wegbreit #program transformation: Goal-Directed Program Transformation (BW), pp. 153–170.
DAC-1974-WilsonS #comparison: An experimental comparison of force directed placement techniques (DCW, RJSI), pp. 194–199.
SIGFIDET-1974-BehymerOM #analysis: Analysis of Indexed Sequential and Direct Access File Organizations (JAB, RAO, AGM), pp. 389–417.
STOC-1974-Rackoff #complexity #on the: On the Complexity of the Theories of Weak Direct Products: A Preliminary Report (CR), pp. 149–160.
ICALP-1974-Reynolds #continuation #on the #semantics: On the Relation between Direct and Continuation Semantics (JCR), pp. 141–156.
STOC-1970-MartinV #on the #transducer: On Syntax-Directed Transduction and Tree Transducers (DFM, SAV), pp. 129–135.
DAC-1968-AllenGHS #logic: A syntax-directed logic simulator (CMA, DDG, WMH, RWS).