BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
avoid (12)
system (11)
use (7)
detect (6)
multipl (4)

Stem collis$ (all stems)

41 papers:

CASECASE-2015-ZonEHJVSB #detection #multi #realtime #using
Real-time collision detection for multiple packaging robots using monotonicity of configuration subspaces (RvZ, DE, DH, IJ, RV, RIS, KB), pp. 1638–1643.
TACASTACAS-2015-JeanninGKGSZP #hybrid
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
CASECASE-2014-AfaghaniA #concurrent #online
Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands (AYA, YA), pp. 1244–1251.
TACASTACAS-2014-EssenG #generative
Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
DLTDLT-2014-GloannecO
Knight Tiles: Particles and Collisions in the Realm of 4-Way Deterministic Tilings (BLG, NO), pp. 227–238.
SACSAC-2014-MotaB #algorithm #anti #internet
A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things (RPBM, DMB), pp. 686–691.
CASECASE-2013-BjorkenstamGBCL #energy #industrial #performance #using
Energy efficient and collision free motion of industrial robots using optimal control (SB, DG, RB, JSC, BL), pp. 510–515.
HCIDHM-SET-2013-AokiTUOIA #design
Human Centered Design of a Pre-collision System (HA, HT, SU, TO, HI, MA), pp. 3–10.
HCIHIMI-HSM-2013-SuzukiM #fault
Acceptable System Error of Collision Avoidance System Based on the Integrated Error of Driver and System (KS, MM), pp. 568–576.
RERE-2013-MahauxC #interactive
Creative collisions: Meet and create: And other “RE interactive” suggestions (MM, DC), pp. 371–372.
CASECASE-2012-JungCKM #detection #using
Collision detection using band designed Disturbance Observer (BjJ, HRC, JK, HM), pp. 1080–1085.
SIGMODSIGMOD-2012-GanFFN
Locality-sensitive hashing scheme based on dynamic collision counting (JG, JF, QF, WN), pp. 541–552.
ICALPICALP-v1-2012-JefferyKM #complexity #graph #matrix #multi #quantum #query #using
Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision (SJ, RK, FM), pp. 522–532.
HCIHCI-MIIE-2011-CharissisPMA #evaluation #interface #prototype
Evaluation of Collision Avoidance Prototype Head-Up Display Interface for Older Drivers (VC, SP, LMM, SA), pp. 367–375.
CASECASE-2010-ShoaeiLM #automation #flexibility #generative
Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
CASECASE-2010-ZengB #mobile #predict
Collision avoidance for nonholonomic mobile robots among unpredictable dynamic obstacles including humans (LZ, GMB), pp. 940–947.
DACDAC-2010-LiuKLC #bound #concurrent #multi #thread
Multi-threaded collision-aware global routing with bounded-length maze routing (WHL, WCK, YLL, KYC), pp. 200–205.
CHICHI-2010-WangZC #gesture #mobile #named #predict #problem
SHRIMP: solving collision and out of vocabulary problems in mobile predictive input with motion gesture (JW, SZ, JFC), pp. 15–24.
SACSAC-2010-DongD #analysis #probability
Analysis of collision probability in unsaturated situation (QD, WD), pp. 772–777.
FMFM-2009-PlatzerC #case study #verification
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.
HCIDHM-2009-LandryL #assurance
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance (SJL, AVL), pp. 394–402.
HCIHIMI-II-2009-DwyerL #assurance #concept #generative
Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
ICALPICALP-C-2008-ShrimptonS
Building a Collision-Resistant Compression Function from Non-compressing Primitives (TS, MS), pp. 643–654.
KRKR-2008-Chetcuti-SperandioL #how #logic #strict
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic (NCS, SL), pp. 340–347.
SACSAC-2008-RochaR #animation #evaluation #using
An evaluation of a collision handling system using sphere-trees for plausible rigid body animation (RdSR, MAFR), pp. 1241–1245.
HCIDHM-2007-Su #detection #performance #precise
Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.
HCIDHM-2007-ZhuXYM #detection #novel
A Novel Method for Cloth-Body Collision Detection (XZ, SX, YY, TM), pp. 1056–1063.
HCIHCI-IPT-2007-ZhouYLLXWCS #specification #visual notation
Visual and Auditory Information Specifying an Impending Collision of an Approaching Object (LZ, JY, QL, HL, CX, YW, JLC, HjS), pp. 720–729.
DATEDATE-DF-2006-RaabeHAZ #detection #prototype
Space-efficient FPGA-accelerated collision detection for virtual prototyping (AR, SH, JKA, GZ), pp. 206–211.
ICALPICALP-v2-2006-LyubashevskyM
Generalized Compact Knapsacks Are Collision Resistant (VL, DM), pp. 144–155.
CASECASE-2005-WangLWK #architecture #distributed #simulation #using
Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DATEDATE-2005-RaabeBAZ #architecture #detection #hardware #simulation
Hardware Accelerated Collision Detection — An Architecture and Simulation Results (AR, BB, JKA, GZ), pp. 130–135.
CHICHI-2004-LeeHH #design
Collision warning design to mitigate driver distraction (JDL, JDH, EH), pp. 65–72.
AGTIVEAGTIVE-2003-Klempien-HinrichsMT #3d
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes (RKH, TM, CvT), pp. 383–397.
STOCSTOC-2002-Aaronson #bound #problem #quantum
Quantum lower bound for the collision problem (SA), pp. 635–642.
ECOOPECOOP-1997-Mezini #evolution
Dynamic Object Evolution without Name Collisions (MM), pp. 190–219.
ICPRICPR-1996-LiuHHC #image #visual notation
Image gradient evolution-a visual cue for collision avoidance (HL, THH, MH, RC), pp. 446–450.
CAVCAV-1996-BengtssonGKLLPY #protocol #using #verification
Verification of an Audio Protocol with Bus Collision Using UPPAAL (JB, WODG, KJK, KGL, FL, PP, WY), pp. 244–256.
ICMLICML-1995-Pomerleau #learning
Learning for Automotive Collision Avoidance and Autonomous Control (DP), p. 589.
ICALPICALP-1992-Schmid #algorithm #multi
The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects (US), pp. 223–234.
ECOOPECOOP-1988-Knudsen #classification #multi
Name Collision in Multiple Classification Hierarchies (JLK), pp. 93–109.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.