31 papers:
- CASE-2015-LiuFOCK #realtime
- A real-time passive vision system for robotic arc welding (JL, ZF, SIO, KHC, JKK), pp. 389–394.
- CASE-2015-ReisgenLMBW #modelling #process #quality
- Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
- CASE-2015-ShiZLGF
- Weld pool oscillation frequency in pulsed gas tungsten arc welding with varying weld penetration (YS, GZ, CL, YG, DF), pp. 401–406.
- CASE-2015-SikstromCL #case study #feedback #modelling
- Model based feedback control of gas tungsten arc welding — An experimental study (FS, AKC, BL), pp. 411–416.
- ICGT-2015-Padberg #configuration management #petri net
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
- ICPR-2014-JinIHS #approach #using
- A New Approach of Arc Skeletonization for Tree-like Objects Using Minimum Cost Path (DJ, KSI, EAH, PKS), pp. 942–947.
- SAC-2014-JungSWCP #difference #retrieval
- Similar MRI object retrieval based on modified contour to centroid triangulation with arc difference rate (BKJ, SYS, WW, HDC, JKP), pp. 31–32.
- HPDC-2014-LeeV #compilation #named #performance #research
- OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
- ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system
- ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
- SAC-2013-NguyenSB #consistency
- Dynamic virtual arc consistency (HN, TS, CB), pp. 98–103.
- CASE-2012-DinhamF #detection #using
- Weld seam detection using computer vision for robotic Arc Welding (MD, GF), pp. 771–776.
- TACAS-2012-DavidJJJMS #development #ide #petri net
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
- ICALP-v1-2012-LaekhanukitGS #approach #problem
- A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem (BL, SOG, MS), pp. 606–616.
- SAC-2012-MarthR #development #modelling
- Model-Driven Development with eUML-ARC (KM, SR), pp. 1877–1882.
- LICS-2012-HaddadSS #complexity #petri net #recursion
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
- KDIR-2011-DeruyverH #approach #consistency #graph #image #information management #semantics
- Semantic Graphs and Arc Consistency Checking — The Renewal of an Old Approach for Information Extraction from Images (AD, YH), pp. 515–522.
- ICPR-2008-TortorellaPM #approach #programming
- A Dynamic Programming approach for segmenting digital planar curves into line segments and circular arcs (FT, RP, MM), pp. 1–4.
- ICML-2007-Werner #algorithm #consistency #question #what
- What is decreased by the max-sum arc consistency algorithm? (TW), pp. 1007–1014.
- SAC-2007-MarthR #coordination #generative
- Extending the ARC model with generative coordination (KM, SR), pp. 366–367.
- ICPR-v3-2006-SalmonDW #detection
- A new method to detect arcs and segments from curvature profiles (JPS, IDR, LW), pp. 387–390.
- ICLP-2004-RuedaV #deduction
- Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.
- ICLP-2004-YouH #lookahead
- Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.
- ICALP-2001-LinCJW #problem #sequence
- The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.
- ICPR-v2-2000-DoschMT #detection #recognition
- Improving Arc Detection in Graphics Recognition (PD, GM, KT), pp. 2243–2246.
- CL-2000-Gennari #algorithm #consistency
- Arc Consistency Algorithms via Iterations of Subsumed Functions (RG), pp. 358–372.
- ICDAR-1997-DoriW #algorithm #segmentation
- Arc Segmentation from Complex Line Environments: A Vector-Based Stepwise Recovery Algorithm (DD, LW), pp. 76–80.
- ICALP-1997-Vogler #performance #petri net
- Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
- ICALP-1996-KloksKW #graph
- Minimum Fill-In on Circle and Circular-Arc Graphs (TK, DK, CKW), pp. 256–267.
- ICPR-1996-StefanoFTV #distance #using
- A distance measure for structural descriptions using circular arcs as primitives (CDS, PF, FT, MV), pp. 290–294.
- ICDAR-1993-YoshimuraSY #locality #recognition #using
- A zip code recognition system using the localized arc pattern method (MY, TS, IY), pp. 183–186.
- ESEC-1991-Schefstrom #experience
- The Arcs Experience (DS), pp. 443–464.