19 papers:
- ICPR-2014-SantoshWAT #detection #image #scalability
- Scalable Arrow Detection in Biomedical Images (KCS, LW, SA, GRT), pp. 3257–3262.
- ICALP-v1-2013-DuanM #algorithm #combinator #linear #polynomial
- A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market (RD, KM), pp. 425–436.
- FLOPS-2012-Hamana #category theory #haskell
- Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
- IFL-2011-Megacz #design #hardware
- Hardware Design with Generalized Arrows (AM), pp. 164–180.
- PADL-2010-LiuH
- An Ode to Arrows (HL, PH), pp. 152–166.
- ICFP-2009-LiuCH #commutative #optimisation
- Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.
- 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.
- ICGT-2008-BrugginkK #graph #on the
- On the Recognizability of Arrow and Graph Languages (HJSB, BK), pp. 336–350.
- MoDELS-2008-BatoryAS #design
- The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
- MoDELS-2008-BatoryAS #design
- The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
- PADL-2007-HuangHP #named #parallel #process #using
- HPorter: Using Arrows to Compose Parallel Processes (LH, PH, JP), pp. 275–289.
- AFP-2004-Hughes04 #programming
- Programming with Arrows (JH), pp. 73–129.
- ICDAR-2003-WendlingT #geometry #recognition #using
- Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria using the Choquet Integral (LW, ST), pp. 299–303.
- AFP-2002-HudakCNP02 #functional #programming
- Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.
- ICFP-2001-Paterson
- A New Notation for Arrows (RP), pp. 229–240.
- ICALP-1999-PelegR #complexity #distributed
- A Variant of the Arrow Distributed Directory with Low Average Complexity (DP, ER), pp. 615–624.
- RTA-1999-VermaS #agile #graph grammar #named
- LarrowR2: A Laboratory fro Rapid Term Graph Rewriting (RMV, SS), pp. 252–255.
- ICALP-1996-Mossakowski #framework #logic
- Different Types of Arrow Between Logical Frameworks (TM), pp. 158–169.
- ICLP-1991-Monin #compilation #prolog #using
- Real-size Compiler Writing Using Prolog with Arrows (JFM), pp. 188–201.