20 papers:
DHM-EH-2015-GieserBM #artificial reality #gesture #realtime #recognition #using- Real-Time Static Gesture Recognition for Upper Extremity Rehabilitation Using the Leap Motion (SNG, AB, FM), pp. 144–154.
- HCI-AIMT-2014-JakusGTS #artificial reality #evaluation #precise
- Evaluation of Leap Motion Controller with a High Precision Optical Tracking System (GJ, JG, ST, JS), pp. 254–263.
CAV-2014-SanchezS #concurrent #data type #named #verification- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
- HIMI-D-2013-HungCLC #human-computer #interface #novel #web
- A Novel Human-Computer Interface for Browsing Web Data by Leaping Up Web Pages (CLH, CC, CCL, HCC), pp. 197–202.
SAS-2012-BiallasBKK- Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.
CASE-2011-LeeLNCC #design #optimisation- Design optimization of one-time-use leaping mechanism for sensor node relocation (GL, GL, YN, NYC, DC), pp. 749–754.
- CASE-2010-HassanzadehMB #algorithm #mobile #optimisation
- Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
SAC-2010-BlackshearV- R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks (SB, RMV), pp. 1985–1992.
FSE-2010-HuangLZ #concurrent #java #lightweight #multi #named #source code- LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
- FSE-2010-HuangLZ10a #concurrent #java #lightweight #multi #named #source code
- LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.
SIGMOD-2008-YanCHY #graph #mining- Mining significant graph patterns by leap search (XY, HC, JH, PSY), pp. 433–444.
- CAV-2007-BallKS #abstraction
- Leaping Loops in the Presence of Abstraction (TB, OK, MS), pp. 491–503.
DAC-2002-PilarskiH #satisfiability- SAT with partial clauses and back-leaps (SP, GH), pp. 743–746.
ICSE-2000-Moore #education #lessons learnt #re-engineering #tool support #using- Lessons learned from teaching reflective software engineering using the Leap toolkit (CAM), pp. 672–675.
- HCI-EI-1999-Moore #bibliography #metric #perspective
- Project Leap: Addressing Measurement Dysfunction in Review (CM), pp. 871–874.
- ICSE-1999-Johnson #named
- Leap: A “Personal Information Environment” for Software Engineers (PMJ), pp. 654–657.
- ICSE-1999-Moore #process
- Project LEAP: Personal Process Improvement for the Differently Disciplined (CAM), pp. 726–727.
- DAC-1996-SawantG #verification
- RTL Emulation: The Next Leap in System Verification (SS, PG), pp. 233–235.
CHI-1989-Raskin- Systemic implications of leap and an improved two-part cursor (JR), pp. 167–170.
- ICSE-1976-DolottaLMR
- The LEAP Load and Test Driver (TAD, JSL, REM, WDR), pp. 182–186.
