Stem step$ (all stems)

239 papers:

FoSSaCS-2015-BizjakB #logic #probability

Step-Indexed Logical Relations for Probability (AB, LB), pp. 279–294.

SANER-2015-RoehmNB #automation #interactive

Automated extraction of failure reproduction steps from user interaction traces (TR, SN, BB), pp. 121–130.

CHI-2015-SchmidtKMUKCB #artificial reality #named #simulation

Level-Ups: Motorized Stilts that Simulate Stair Steps in Virtual Reality (DS, RK, VM, UU, SK, LPC, PB), pp. 2157–2160.

HCI-DE-2015-MullerT #evaluation #framework

Analytical Steps for the Calibration of an Emotional Framework — Pre-test and Evaluation Procedures (NHM, MT), pp. 512–519.

HCI-IT-2015-KabilK #named #navigation

RICHIE: A Step-by-step Navigation Widget to Enhance Broad Hierarchy Exploration on Handheld Tactile Devices (AK, SK), pp. 196–207.

HIMI-IKC-2015-ChangH15b

Next Step of Cultural and Creative Products — Embracing Users Creativity (CLC, MHH), pp. 409–419.

ICEIS-v2-2015-SouzaVS #analysis #semantics

Semantically Enriching the Detrending Step of Time Series Analysis (LdS, MSMGV, MSS), pp. 475–481.

RTA-2015-LepperW #performance #towards

A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.

ESOP-2014-PoulsenM #semantics

Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.

FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.

CHI-2014-KimNWGMG #crowdsourcing #information management

Crowdsourcing step-by-step information extraction to enhance existing how-to videos (JK, PTN, SAW, PJG, RCM, KZG), pp. 4017–4026.

CHI-2014-MillerM #health #named #pervasive #social

StepStream: a school-based pervasive social fitness system for everyday adolescent health (ADM, EDM), pp. 2823–2832.

CHI-2014-SuhPHK #design #evaluation #twitter #using

@BabySteps: design and evaluation of a system for using twitter for tracking children’s developmental milestones (HS, JRP, AH, JAK), pp. 2279–2288.

HIMI-AS-2014-MeghiniB #experience #library #towards #user interface

Steps towards Enhancing the User Experience in Accessing Digital Libraries (CM, VB), pp. 555–566.

HIMI-DE-2014-TavaresB #interactive #user interface #visualisation

A Step Beyond Visualization: Applying User Interface Techniques to Improve Satellite Data Interaction (TAT, HB), pp. 98–107.

ICEIS-v2-2014-KhashabGAK #comprehension #towards

Scoping Customer Relationship Management Strategy in HEI — Understanding Steps towards Alignment of Customer and Management Needs (BK, SRG, AA, MK), pp. 267–274.

ICML-c1-2014-TaiebH #multi

Boosting multi-step autoregressive forecasts (SBT, RJH), pp. 109–117.

ICML-c2-2014-RomanoBNV #clustering #standard

Standardized Mutual Information for Clustering Comparisons: One Step Further in Adjustment for Chance (SR, JB, XVN, KV), pp. 1143–1151.

ICPR-2014-YuCK #distance #recognition #set #using

Pill Recognition Using Imprint Information by Two-Step Sampling Distance Sets (JY, ZC, SiK), pp. 3156–3161.

KMIS-2014-Grim-Yefsah #case study #information management #process #requirements #using

A First Step in Improving the Requirements Engineering Process by Using the Knowledge Management Perspective — Case Study from French Public Institute (MGY), pp. 280–288.

MoDELS-2014-ChavarriagaNCJ #detection #multi #process

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.

MoDELS-2014-ChavarriagaNCJ #detection #multi #process

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.

CC-2014-PrinzSA #compilation #process #towards

A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.

DAC-2013-Fang #simulation

A new time-stepping method for circuit simulation (GPF), p. 10.

DATE-2013-ChangWB #design

Process-variation-aware Iddq diagnosis for nano-scale CMOS designs — the first step (CLC, CHPW, JB), pp. 454–457.

PODS-2013-BeameKS #communication #parallel #query

Communication steps for parallel query processing (PB, PK, DS), pp. 273–284.

CSEET-2013-LuukkainenV #education #re-engineering #web

Bringing undergraduates to the web: Baby steps in webifying a software engineering curriculum (ML, AV), pp. 294–298.

ESOP-2013-Chargueraud #semantics

Pretty-Big-Step Semantics (AC), pp. 41–60.

ESOP-2013-CollingbourneDKQ #analysis #gpu #kernel #semantics #verification

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (PC, AFD, JK, SQ), pp. 270–289.

WCRE-2013-DurfinaKZ #case study #decompiler

PsybOt malware: A step-by-step decompilation case study (LD, JK, PZ), pp. 449–456.

IFM-2013-Ciobaca #automation #semantics

From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.

CHI-2013-Yarosh

Shifting dynamics or breaking sacred traditions?: the role of technology in twelve-step fellowships (SY), pp. 3413–3422.

HIMI-HSM-2013-JonesJ #design #mobile #navigation #performance

Assessing the Effects of Mobile OS Design on Single-Step Navigation and Task Performance (BMJ, NJ), pp. 383–390.

KDIR-KMIS-2013-LiLL #integration #towards

Semiotic Interoperability — A Critical Step towards Systems Integration (WL, KL, SL), pp. 508–513.

SIGIR-2013-YinYHH #detection #image #retrieval #robust

Accurate and robust text detection: a step-in for text retrieval in natural scene images (XCY, XY, KH, HWH), pp. 1091–1092.

PPDP-2013-Garcia-PerezNM #order #semantics

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.

ICSE-2013-Kukreja #approach #requirements #towards

Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.

LCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.

LICS-2013-FacchiniMS #automaton #problem

Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.

PEPM-2012-CaretteS #towards #type system

Towards typing for small-step direct reflection (JC, AS), pp. 93–96.

CHI-2012-BorningM #design

Next steps for value sensitive design (AB, MM), pp. 1125–1134.

ICPR-2012-BoumaizaT #recognition

Impact of a codebook filtering step on a galois lattice structure for graphics recognition (AB, ST), pp. 278–281.

ICPR-2012-ShaoS #analysis #distance #reduction

Fractional-step max-min distance analysis for dimension reduction (GS, NS), pp. 396–400.

ICPR-2012-ThanhMNMY #detection #recognition #robust #using

Inertial-sensor-based walking action recognition using robust step detection and inter-class relationships (TNT, YM, HN, YM, YY), pp. 3811–3814.

ECOOP-2012-Ancona #induction #object-oriented #semantics

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.

SAC-2012-TaherHP #adaptation #approach #web #web service

A three step based approach for Web Service adaptation (YT, WJvdH, MP), pp. 1992–1993.

ICSE-2012-Faghih #modelling

Model translations among big-step modeling languages (FF), pp. 1555–1558.

ISSTA-2012-ZhangJWLZ #algorithm #detection #towards

A first step towards algorithm plagiarism detection (FZ, YcJ, DW, PL, SZ), pp. 111–121.

LICS-2012-Hoshino #call-by #combinator #semantics

Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (NH), pp. 385–394.

TAP-2012-CarlierDG #constraints #design #testing

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.

DAC-2011-BayrakRBSI #analysis #automation #towards

A first step towards automatic application of power analysis countermeasures (AGB, FR, PB, FXS, PI), pp. 230–235.

ITiCSE-2011-Hijon-NeiraV11a #design #learning

A first step mapping IMS learning design and Merlin-Mo (RHN, JÁVI), p. 365.

FASE-2011-EsmaeilsabzaliD #modelling #quality #semantics

Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.

FASE-2011-GattiBC #approach #development

A Step-Wise Approach for Integrating QoS throughout Software Development (SG, EB, CC), pp. 217–231.

FoSSaCS-2011-SchwinghammerBS #metric #recursion

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.

SFM-2011-Tretmans #modelling #testing #towards

Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.

KDD-2011-BoleyLPG #performance #random

Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.

OOPSLA-2011-TianZS #integration #optimisation #towards

A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.

GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring

Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.

POPL-2011-BirkedalRSSTY #modelling #recursion

Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.

RE-2011-PuhlF #how #requirements #towards

How to assign cost to “avoidable requirements creep”: A step towards the waterfall’s agilization (SP, RF), pp. 307–312.

ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards

Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.

CSL-2011-SchwinghammerB #nondeterminism #reasoning #relational

Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.

LICS-2011-BirkedalMSS

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.

ASE-2010-BavotaLMO #refactoring

A two-step technique for extract class refactoring (GB, ADL, AM, RO), pp. 151–154.

CASE-2010-XuXZC #3d #realtime

Real-time 3D shape inspection system for manufacturing parts based on three-step stripe pattern (JX, NX, CZ, HC), pp. 228–233.

DAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability

Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.

ESOP-2010-NakataU #hoare #induction #logic #semantics

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.

FASE-2010-EsmaeilsabzaliD #modelling #semantics

Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.

TACAS-2010-BaslerHKOWZ #model checking #named

Boom: Taking Boolean Program Model Checking One Step Further (GB, MH, DK, CHLO, TW, HZ), pp. 145–149.

ICPR-2010-TasdizenH #algorithm #estimation #recursion #video

Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.

KEOD-2010-KezadriP #ontology #towards #validation #verification

First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.

SAC-2010-HarshCN #generative #network #towards

Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.

CASE-2009-SathiR #automation #generative

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

ICALP-v1-2009-ChekuriK #graph #reduction

A Graph Reduction Step Preserving Element-Connectivity and Applications (CC, NK), pp. 254–265.

ICFP-2009-BentonH #compilation #correctness

Biorthogonality, step-indexing and compiler correctness (NB, CKH), pp. 97–108.

CHI-2009-KientzAA #evaluation

Baby steps: evaluation of a system to support record-keeping for parents of young children (JAK, RIA, GDA), pp. 1713–1722.

DHM-2009-MobusE #approach #modelling #programming #towards

Further Steps towards Driver Modeling According to the Bayesian Programming Approach (CM, ME), pp. 413–422.

HCI-NIMT-2009-CaffiauGGS #design #interactive

Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model (SC, PG, LG, DLS), pp. 664–673.

HIMI-II-2009-Matsak #logic #representation

Representing Logical Inference Steps with Digital Circuits (EM), pp. 178–184.

ICEIS-AIDSS-2009-BratuP #data mining #mining #preprocessor #towards

Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.

ICEIS-DISI-2009-ClaypoolMHSR #integration #named

ESpace — Web-scale Integration One Step at a Time (KTC, JLM, DVH, MS, EAR), pp. 247–252.

ICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling

A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.

ECOOP-2009-SchaferVEM #refactoring

Stepping Stones over the Refactoring Rubicon (MS, MV, TE, OdM), pp. 369–393.

RE-2009-EsmaeilsabzaliDAN #modelling #semantics

Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.

RE-2009-GotelM #how #requirements

How to Select a Requirements Management Tool: Initial Steps (OG, PM), pp. 365–367.

SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation

Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.

SPLC-2009-WhiteDSB #automation #feature model #multi #problem #reasoning

Automated reasoning for multi-step feature model configuration problems (JW, BD, DCS, DB), pp. 11–20.

LICS-2009-DreyerAB #logic

Logical Step-Indexed Logical Relations (DD, AA, LB), pp. 71–80.

RTA-2009-Schubert #parallel

The Existential Fragment of the One-Step Parallel Rewriting Theory (AS), pp. 78–92.

ASE-2008-MartinhoVD #approach #flexibility #modelling #process

A Two-Step Approach for Modelling Flexibility in Software Processes (RM, JV, DD), pp. 427–430.

DAC-2008-ZhangYZDKDKC #optimisation #power management #using

Low power passive equalizer optimization using tritonic step response (LZ, WY, HZ, AD, GAK, DMD, ESK, CKC), pp. 570–573.

DATE-2008-ZjajoG #analysis #fault #multi

Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.

ITiCSE-2008-Shaban-NejadH #education #learning #towards

Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education (ASN, VH), p. 375.

CSCW-2008-BalkaBW #health #towards

Steps toward a typology for health informatics (EB, PB, IW), pp. 515–524.

CIKM-2008-QianD #incremental #maintenance #towards

A step towards incremental maintenance of the composed schema mapping (GQ, YD), pp. 173–182.

CIKM-2008-SerdyukovRH #modelling #multi

Modeling multi-step relevance propagation for expert finding (PS, HR, DH), pp. 1133–1142.

ICPR-2008-BelleDS #detection #random #realtime #recognition

Randomized trees for real-time one-step face detection and recognition (VB, TD, SS), pp. 1–4.

SEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using

Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.

POPL-2008-MooreG #semantics #transaction

High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.

ICSE-2008-MichalikNO #architecture #case study #evaluation

3-step knowledge transition: a case study on architecture evaluation (BM, JRN, MO), pp. 741–748.

VLDB-2007-Minock #towards

A STEP Towards Realizing Codd’s Vision of Rendezvous with the Casual User (MM), pp. 1358–1361.

AGTIVE-2007-MolEP #proving #reduction

A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.

HCI-IPT-2007-DahlS #interactive #towards #visualisation

Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems (YD, DS), pp. 569–578.

ECIR-2007-ZhangQLBL #rank #web

N -Step PageRank for Web Search (LZ, TQ, TYL, YB, HL), pp. 653–660.

SAC-2007-AloisioCFMV #towards

GReIC data gather service: a step towards P2P production grids (GA, MC, SF, MM, SV), pp. 561–565.

CAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling

Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.

SAT-2007-JussilaBSKW #proving #towards

A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.

CASE-2006-ShangYQ #algorithm #equation #linear

Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.

SIGMOD-2006-ChoKS #metadata #xpath

Meta-data indexing for XPath location steps (SC, NK, DS), pp. 455–466.

ITiCSE-2006-BiancoT

One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8 (GMB, ST), pp. 207–211.

ITiCSE-2006-RobilaR #education

Don’t be a phish: steps in user education (SAR, JWR), pp. 237–241.

ESOP-2006-Ahmed #logic #quantifier #recursion

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.

ESOP-2006-Leroy #induction #semantics

Coinductive Big-Step Operational Semantics (XL), pp. 54–68.

ICPR-v2-2006-MekuzDT #adaptation #detection

Adaptive Step Size Window Matching for Detection (NM, KGD, JKT), pp. 259–262.

ICPR-v2-2006-TakiguchiOM #case study #comprehension #fault #recognition

A Study on Character Recognition Error Correction at Higher Level Recognition Step for Mathematical Formulae Understanding (YT, MO, YM), pp. 966–969.

MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.

MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.

SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards

Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.

SAC-2006-ShiJQ #named #towards

ALTER: first step towards dependable grids (XS, HJ, WQ), pp. 805–806.

ICLP-2006-MouraM

Logtalk Processing of STEP Part 21 Files (PM, VM), pp. 453–454.

DATE-2005-SukhwaniPW #design #named #statistics

Nano-Sim: A Step Wise Equivalent Conductance based Statistical Simulator for Nanotechnology Circuit Design (BBS, UP, JMW), pp. 758–763.

ICSM-IT-2005-WeberHK #effectiveness #maintenance #towards

Fit for Change: Steps towards Effective Software Maintenance (RW, TH, RKK), pp. 26–33.

ICFP-2005-AhmedFM

A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.

IFL-2005-HopeH

Accurate Step Counting (CH, GH), pp. 91–105.

ICEIS-v1-2005-Soley #architecture #modelling

Model Driven Architecture: Next Steps (RMS), p. 3.

CIKM-2005-Das-NevesFY #documentation #topic

Connecting topics in document collections with stepping stones and pathways (FADN, EAF, XY), pp. 91–98.

MLDM-2005-DerichsDN #integration #multi #recognition

Cost Integration in Multi-step Viewpoint Selection for Object Recognition (CD, FD, HN), pp. 415–425.

DATE-v1-2004-BenabdenbiGPVT #named #testing

STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores (MB, AG, FP, EV, MT), pp. 712–713.

VLDB-2004-ChanFZ #query #xpath

Taming XPath Queries by Minimizing Wildcard Steps (CYC, WF, YZ), pp. 156–167.

VLDB-2004-HarizopoulosA #towards #transaction

STEPS towards Cache-resident Transaction Processing (SH, AA), pp. 660–671.

ICEIS-v1-2004-MagnussonNC #concept #enterprise #framework #implementation #towards

A Conceptual Framework for Forecasting ERP Implementation Success — A First Step Towards the Creation of an Implementation Support Tool (JM, AN, FC), pp. 447–453.

ICPR-v2-2004-DaiQJ #analysis #kernel #pattern matching #pattern recognition #recognition

A Kernel Fractional-Step Nonlinear Discriminant Analysis for Pattern Recognition (GD, YQ, SJ), pp. 431–434.

SAC-2004-Lagorio #compilation #java #towards

Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.

SAC-2004-MassonRB #database #induction #optimisation #query #set #towards

Optimizing subset queries: a step towards SQL-based inductive databases for itemsets (CM, CR, JFB), pp. 535–539.

SAC-2004-OBrienH #analysis #authoring

Training Needs Analysis: the first step in authoring e-learning content (EO, TH), pp. 935–939.

SAC-2004-Wang

The loop fallacy and serialization in tracing intrusion connections through stepping stones (XW), pp. 404–411.

ICSE-2004-Rajan #integration

One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.

DATE-2003-FornaciariMSZ #clustering #specification #towards #uml

A First Step Towards Hw/Sw Partitioning of UML Specifications (WF, PM, FS, LZ), pp. 10668–10673.

DATE-2003-KrsticWCLA #fault #modelling #statistics

Delay Defect Diagnosis Based Upon Statistical Timing Models — The First Step (AK, LCW, KTC, JJL, MSA), pp. 10328–10335.

VLDB-2003-GrustKT #education #relational

Staircase Join: Teach a Relational DBMS to Watch its (Axis) Steps (TG, MvK, JT), pp. 524–525.

ITiCSE-2003-BentleyDA

The stepping stones project (HB, JD, JA), p. 229.

IWPC-2003-Walenstein #evaluation #towards

Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering (AW), pp. 185–195.

SEFM-2003-Dromey #design #formal method #requirements

From Requirements to Design: Formalizing the Key Steps (RGD), p. 2–?.

ICFP-2003-HughesS #parsing

Polish parsers, step by step (RJMH, SDS), pp. 239–248.

ICEIS-v3-2003-LopezMFL #adaptation #generative #people #towards #user interface

Towards Adaptive User Interface Generation: One Step Closer to People (VLJ, FMS, AFC, MDL), pp. 97–103.

MLDM-2003-MiteranBB #approximate #bound #classification #image #realtime #segmentation #using

Classification Boundary Approximation by Using Combination of Training Steps for Real-Time Image Segmentation (JM, SB, EBB), pp. 141–155.

SEKE-2003-AbdullahS #framework #security #towards

A Step toward building Dynamic Security Infrastructure (ISA, EHS), pp. 483–488.

UML-2003-HaugenS #interactive #named #refinement #semantics

STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.

RE-2003-Catrava #quality #requirements #testing #towards #verification

Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification (SC), p. 303.

SAC-2003-MaI #using

Long Time Step Molecular Dynamics using Targeted Langevin Stabilization (QM, JAI), pp. 178–182.

SAC-2003-MaIS #multi

Nonlinear Instability in Multiple Time Stepping Molecular Dynamics (QM, JAI, RDS), pp. 167–171.

ICSE-2003-BatorySR #refinement #scalability

Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.

SIGMOD-2002-Grust #xpath

Accelerating XPath location steps (TG), pp. 109–120.

ESOP-2002-WandW #analysis #composition #proving

A Modular, Extensible Proof Method for Small-Step Flow Analyses (MW, GBW), pp. 213–227.

PASTE-2002-BrownDEHJVW #encoding #framework #named #performance

STEP: a framework for the efficient encoding of general trace data (RB, KD, DE, LJH, JJ, CV, QW), pp. 27–34.

ICALP-2002-KuskeL #formal method #monad #on the

On the Theory of One-Step Rewriting in Trace Monoids (DK, ML), pp. 752–763.

CSCW-2002-Jouppi #mobile #towards

First steps towards mutually-immersive mobile telepresence (NPJ), pp. 354–363.

ICML-2002-MusleaMK02a #adaptation #automation #detection #towards #validation

Adaptive View Validation: A First Step Towards Automatic View Detection (IM, SM, CAK), pp. 443–450.

ICPR-v2-2002-LiWZ #algorithm #network

Step Acceleration Based Training Algorithm for Feedforward Neural Networks (YL, KW, DZ), pp. 84–87.

ICPR-v3-2002-SongCLC02a #image #recognition

Graphics Recognition from Binary Images: One Step or Two Steps (JS, MC, MRL, SC), pp. 135–138.

SEKE-2002-DeshpandeCG #re-engineering #towards #web

Web site auditing: first step towards re-engineering (YD, AC, AG), pp. 731–737.

CC-2001-YunKM #control flow #pipes and filters #towards

A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows (HSY, JK, SMM), pp. 182–199.

DATE-2000-AdlerB #multi

Single Step Current Driven Routing of Multiterminal Signal Nets for Analog Applications (TA, EB), pp. 446–450.

ICPR-v2-2000-DesvignesRCDRD #automation #image #towards

First Steps toward Automatic Location of Landmarks on X-Ray Images (MD, BR, RC, RD, MR, MJD), pp. 2275–2278.

ICPR-v2-2000-TangXM00a #classification

Two-Step Classification Based on Scale Space (MT, JX, SM), pp. 2899–2902.

ICPR-v3-2000-MostafaPF #classification

A Two-Step Fuzzy-Bayesian Classification for High Dimensional Data (MGHM, TCP, AAF), pp. 3421–3424.

SAC-2000-HaffnerREM #documentation #modelling #predict

Modeling of Time and Document Aging for Request Prediction — One Step Further (EGH, UR, TE, CM), pp. 984–990.

WICSA-1999-Riemenschneider #architecture #correctness

Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures (RAR), pp. 65–82.

ICDAR-1999-NuijtG #probability #recognition #towards

A Probabilistic Model for Postcode Recognition: A First Step towards Probabilistic Address Interpretation (MRN, EvG), pp. 761–764.

ICDAR-1999-SuralD #algorithm #documentation #generative #image #parallel #segmentation

A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation (SS, PKD), pp. 173–176.

CSEET-1999-Tripp #re-engineering

Professionalization of Software Engineering: Next Steps (LLT), p. 4–?.

FM-v2-1999-KellomakiM #design #logic

Archived Design Steps in Temporal Logic (PK, TM), p. 1858.

ICML-1999-Talavera #clustering #feature model #preprocessor

Feature Selection as a Preprocessing Step for Hierarchical Clustering (LT), pp. 389–397.

TOOLS-EUROPE-1999-OrtigosaC #framework #named

SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.

TOOLS-USA-1999-GilHK #constraints #diagrams #uml

Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.

ESEC-FSE-1999-LevesonHR #design #lessons learnt #process #specification

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future (NGL, MPEH, JDR), pp. 127–145.

RTA-1999-CaronSTT #quantifier #satisfiability

Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting (ACC, FS, ST, MT), pp. 103–117.

RTA-1999-LimetR #decidability

A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.

SIGMOD-1998-SeidlK #multi #nearest neighbour

Optimal Multi-Step k-Nearest Neighbor Search (TS, HPK), pp. 154–165.

TACAS-1998-AjamiHI #linear #logic #model checking #symmetry

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.

CSMR-1998-EbertKP #towards

The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE (JE, BK, AP), pp. 165–171.

IWPC-1998-CanforaCLL #legacy #migration #source code #towards

Decomposing Legacy Programs: A First Step Towards Migrating to Client-Server Platforms (GC, AC, ADL, GADL), pp. 136–144.

ICPR-1998-Szira #image #performance #preprocessor

Anisotropic diffusion as a preprocessing step for efficient image compression (TS, IK, BPT), pp. 1565–1567.

LOPSTR-1998-BaldanCLP #declarative #semantics #towards

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.

ICDAR-1997-KatoWN #recognition

Recognition of Essential Folding Operations: A Step for Interpreting Illustrated Books of Origami (JK, TW, TN), pp. 81–85.

ICSM-1997-GirardK #architecture #component #comprehension #towards

Finding Components in a Hierarchy of Modules: a Step towards Architectural Understanding (JFG, RK), pp. 58–65.

WIA-1997-Maout #automaton #tool support

Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.

ACIR-1997-Moulinier #feature model #preprocessor

Feature Selection: A Useful Preprocessing Step (IM).

RE-1997-LeiteRBMKHO #requirements #reuse #towards

Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.

CADE-1997-NiehrenPR #constraints #finite #on the #similarity #unification

On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (JN, MP, PR), pp. 34–48.

RTA-1997-Marcinkowski #first-order

Undecidability of the First Order Theory of One-Step Right Ground Rewriting (JM), pp. 241–253.

RTA-1997-Vorobyov #decidability #first-order #linear

The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable (SGV), pp. 254–268.

AdaEurope-1996-EmeryM #development #process

HCSD Unit Development Process: Step-Wise Process Improvement (DEE, JM), pp. 111–122.

ICPR-1996-SziranyiC #network #segmentation

Picture segmentation with introducing an anisotropic preliminary step to an MRF model with cellular neural networks (TS, LC), pp. 366–370.

ECOOP-1996-RinatM #morphism #polymorphism #reuse

Metaphoric Polymorphism: Taking Code Reuse One Step Further (RR, MM), pp. 449–471.

FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.

CAV-1996-BjornerBCCKMSU #named #realtime #verification

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.

RTA-1996-Treinen #decidability #first-order

The First-Order Theory of One-Step Rewriting is Undecidable (RT), pp. 276–286.

ICDAR-v1-1995-Ah-SoonT #3d #modelling #re-engineering #towards

A step towards reconstruction of 3-D CAD models from engineering drawings (CAS, KT), pp. 331–334.

WCRE-1995-Davis #named #reverse engineering

August-II: A Tool for Step-by-Step Data Model Reverse Engineering (KHD).

EDAC-1994-WangD #approximate #linear #optimisation #performance #using

An Efficient Yield Optimization Method Using A Two Step Linear Approximation of Circuit Performance (ZW, SWD), pp. 567–571.

SIGMOD-1994-BrinkhoffKSS #multi

Multi-Step Processing of Spatial Joins (TB, HPK, RS, BS), pp. 197–208.

TAGT-1994-KreowskiK #on the

On the Interleaving Sematics of Transformation Units — A Step into GRACE (HJK, SK), pp. 89–106.

CSCW-1994-StarR #collaboration #design #framework #problem #scalability #towards

Steps Towards an Ecology of Infrastructure: Complex Problems in Design and Access for Large-Scale Collaborative Systems (SLS, KR), pp. 253–264.

CIKM-1994-Al-AnziS #behaviour #concurrent #modelling #towards

Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering (FSAA, DLS), pp. 1–9.

ICML-1994-PengW #incremental #multi

Incremental Multi-Step Q-Learning (JP, RJW), pp. 226–232.

SIGMOD-1993-MoenkebergZHW #automation #database #performance #prototype #towards

The COMFORT Prototype: A Step Toward Automated Database Performance Tuning (AM, PZ, CH, GW), pp. 542–543.

HCI-SHI-1993-BenaliaDM #parallel #programming language #visual notation

HelpDraw Graphical Environment: A Step Beyond Data Parallel Programming Languages (ADB, JLD, PM), pp. 591–596.

SAC-1993-GrahamI #incremental #linear

Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.

CAiSE-1992-Comyn-WattiauB #constraints #integration

Constraint Confrontation: An Important Step in View Integration (ICW, MB), pp. 507–523.

CSL-1992-Schiermeyer #satisfiability

Solving 3-Satisfiability in Less Then 1, 579n Steps (IS), pp. 379–394.

ML-1991-Nedellec

A Smallest Generalization Step Strategy (CN), pp. 529–533.

PLILP-1991-Davison

From Parlog to Polka in two easy Steps (AD), pp. 171–182.

SIGMOD-1990-KiernanMS #database #deduction

Making Deductive Databases a Practical Technology: A Step Forward (GK, CdM, ES), pp. 237–246.

CAiSE-1990-Davies #quality #towards

Quality Auditing: The Necessary Step Towards the Required Quality Objectives (DD), p. 286.

ML-1990-GenestMP #approach #learning

Explanation-Based Learning with Incomplete Theories: A Three-step Approach (JG, SM, BP), pp. 286–294.

NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards

Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.

ECOOP-1989-MullerP #object-oriented #programming #rest

Four Steps and a Rest in Putting an Object-Oriented Programming Environment to Practical Use (GM, AKP), pp. 271–282.

ECOOP-1989-Yelland #object-oriented #semantics #towards

First Steps Towards Fully Abstract Semantics for Object-Oriented Languages (PMY), pp. 347–364.

OOPSLA-1989-ShillingS #object-oriented #paradigm

Three Steps to Views: Extending the Object-Oriented Paradigm (JJS, PFS), pp. 353–361.

ESEC-1989-FloydRS #development

STEPS to Software Development with Users (CF, FMR, GS), pp. 48–64.

NACLP-1989-DevilleB #logic programming #source code #towards

Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.

SIGMOD-1988-Fischer #question

Nested Relations: A Step Forward — or Backward? (PCF), p. 2.

OOPSLA-1987-McCullough

Transparent Forwarding: First Steps (PLM), pp. 331–341.

DAC-1985-HennionSC #algorithm #generative

A new algorithm for third generation circuit simulators: the one-step relaxation method (BH, PS, DC), pp. 137–143.

STOC-1984-AdlerM #algorithm #bound #polynomial

A Simplex Algorithm Whose Average Number of Steps is Bounded between Two Quadratic Functions of the Smaller Dimension (IA, NM), pp. 312–323.

LFP-1984-Lieberman #debugging #lisp #tool support #towards

Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.

ICSE-1984-MaibaumT #on the #what

On What Exactly Is Going On When Software Is Developed Step-by-Step (TSEM, WMT), pp. 528–533.

ICSE-1984-TaylorS #ada #programming

Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.

DAC-1982-Heyns #algorithm

The 1-2-3 routing algorithm or the single channel 2-step router on 3 interconnection layers (WH), pp. 113–120.

ICSE-1982-PetroneLS #interactive #named #source code

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements (LP, ADL, FS), pp. 350–359.

DAC-1981-SoleckyP #testing #verification

Test data verification — not just the final step for test data before release for production testing (PS, RLP), pp. 881–890.

ICSE-1981-BaerGGR #modelling #protocol #proving #specification

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology (JLB, GG, CG, GR), pp. 363–373.

SOSP-1981-HerbertN #network

Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.

STOC-1979-FilottiMR #graph #on the

On Determining the Genus of a Graph in O(v^O(g)) Steps (ISF, GLM, JHR), pp. 27–37.

STOC-1977-KintalaF #nondeterminism #strict

Computations with a Restricted Number of Nondeterministic Steps (Extended Abstract) (CMRK, PCF), pp. 178–185.

STOC-1970-Ausiello #bound #on the

On Bounds on the Number of Steps to Compute Functions (GA), pp. 41–47.

SHARE-1965-Falkoff #automation #design #process

Formal description of processes — the first step in design automation (ADF).