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:
base (31)
video (30)
use (30)
problem (24)
system (18)

Stem frame$ (all stems)

201 papers:

CASECASE-2015-UenoGATIK #video
Motion-blur-free microscopic video shooting based on frame-by-frame intermittent tracking (TU, QG, TA, TT, II, TK), pp. 837–842.
DATEDATE-2015-HerberRWH #realtime #scheduling #using
Real-time capable CAN to AVB ethernet gateway using frame aggregation and scheduling (CH, AR, TW, AH), pp. 61–66.
DATEDATE-2015-NiemannHGW #formal method #generative #modelling
Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
HCIDUXU-UI-2015-BrahnamW #design #paradigm #towards
Re/Framing Virtual Conversational Partners: A Feminist Critique and Tentative Move Towards a New Design Paradigm (SB, MW), pp. 172–183.
HCIHIMI-IKD-2015-YoshinoO #using
Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.
SEKESEKE-2015-CaoHH #design #evaluation #quality #using
Experimental Frame Design Using E-DEVSML for Software Quality Evaluation (BC, LH, JH), pp. 310–313.
MoDELSMoDELS-2015-NiemannHGW #contract
Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
CHICHI-2014-BroySAS #3d #design #guidelines #interface #prototype #tool support
FrameBox and MirrorBox: tools and guidelines to support designers in prototyping interfaces for 3D displays (NB, SS, FA, AS), pp. 2037–2046.
CHICHI-2014-LeeSS #analysis #bound #design #research
Stay on the boundary: artifact analysis exploring researcher and user framing of robot design (HRL, SS, ES), pp. 1471–1474.
CHICHI-2014-NoorRHRWM #predict
28 frames later: predicting screen touches from back-of-device grip changes (MFMN, AR, SH, SR, JW, RMS), pp. 2005–2008.
CSCWCSCW-2014-SaidBHK #facebook
Framing the conversation: the role of facebook conversations in shopping for eyeglasses (KS, MAB, AH, SKK), pp. 652–661.
HCIDUXU-TMT-2014-SchmidtKGSGW #education
Bridging the Gap — Methods and Teaching of F-A-S-T — Framing-Art-Science- Technology (DS, GK, SG, CS, RG, MW), pp. 589–600.
CIKMCIKM-2014-HinneburgRPO #documentation #topic
Exploring Document Collections with Topic Frames (AH, FR, SP, CO), pp. 2084–2086.
ICPRICPR-2014-IoannidisCL #clustering #modelling #multi #using
Key-Frame Extraction Using Weighted Multi-view Convex Mixture Models and Spectral Clustering (AI, VC, AL), pp. 3463–3468.
ICPRICPR-2014-MoriKNK #detection #using #video
Video Content Detection with Single Frame Level Accuracy Using Dynamic Thresholding Technique (MM, TK, HN, KK), pp. 2560–2565.
SIGIRSIGIR-2014-QvarfordtTGD #named
SearchPanel: framing complex search needs (PQ, ST, GG, TD), pp. 495–504.
SACSAC-2014-MotaB #algorithm #anti #internet
A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things (RPBM, DMB), pp. 686–691.
ICDARICDAR-2013-SharmaCPB #identification #video
Word-Wise Script Identification from Video Frames (NS, SC, UP, MB), pp. 867–871.
CSEETCSEET-2013-KumarW #problem #testing
Guidance for exploratory testing through problem frames (SK, CW), pp. 284–288.
CHICHI-2013-BeyerKSHB #behaviour #how
Squaring the circle: how framing influences user behavior around a seamless cylindrical display (GB, FK, MS, IH, AB), pp. 1729–1738.
HCIHCI-III-2013-ParkCKSK
Emotion Sharing with the Emotional Digital Picture Frame (KSP, YC, MK, KYS, DK), pp. 339–345.
HCIHCI-IMT-2013-LeeBN #visual notation
Use of Reference Frame in Haptic Virtual Environments: Implications for Users with Visual Impairments (JYL, SB, CSN), pp. 610–617.
ICEISICEIS-v2-2013-RibeiroSFO #concept #constraints #ocl #validation
Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model (AAdAR, SMS, JLF, ILO), pp. 286–293.
ICEISICEIS-v3-2013-HsuK #case study
A Study of Cognitive Effort of Decision Makers with Different NC under Framing (CWH, ClK), pp. 75–82.
LICSLICS-2013-Lahav #logic
From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.
CASECASE-2012-ShinPKA #analysis #linear
Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.
DATEDATE-2012-XhakoniBG #3d #image #performance
Impact of TSV area on the dynamic range and frame rate performance of 3D-integrated image sensors (AX, DSSB, GGEG), pp. 836–839.
ICPRICPR-2012-LiuSZWBCT #bound #detection
Joint shot boundary detection and key frame extraction (XL, MS, LZ, SW, JB, CC, DT), pp. 2565–2568.
ICPRICPR-2012-LuKT #recognition #representation
Action recognition via sparse representation of characteristic frames (GL, MK, JT), pp. 3268–3271.
ICPRICPR-2012-MansurMY #invariant #recognition
View-invariant gait recognition from low frame-rate videos (AM, YM, YY), pp. 2383–2386.
ICPRICPR-2012-PrabhuR #multi
Joint multi-frame super-resolution and matting (SMP, ANR), pp. 1924–1927.
ICPRICPR-2012-VaradarajanZV #3d #video
RGB and depth intra-frame Cross-Compression for low bandwidth 3D video (KMV, KZ, MV), pp. 955–958.
ICPRICPR-2012-WechtitschFS #detection #fault #robust
Robust detection of single-frame defects in archived film (SW, HF, PS), pp. 2647–2650.
ICPRICPR-2012-XuLYWSL
Key frame selection based on Jensen-Rényi divergence (QX, XL, ZY, JW, MS, JL), pp. 1892–1895.
ICPRICPR-2012-ZhuW #gesture #kernel #recognition #using
Single-frame hand gesture recognition using color and depth kernel descriptors (XZ, KYKW), pp. 2989–2992.
KRKR-2012-BaralL #declarative #reasoning #representation
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).
SEKESEKE-2012-ChenL #approach #behaviour #elicitation #ontology #requirements #security
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach (XC, JL), pp. 61–65.
ICLPICLP-2012-BaralVL #how #knowledge base #why
Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report (CB, NHV, SL), pp. 26–36.
CASECASE-2011-DAngeloLL
A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.
ICDARICDAR-2011-NtirogiannisGP #video
Binarization of Textual Content in Video Frames (KN, BG, IP), pp. 673–677.
ESOPESOP-2011-ParkinsonS #logic
The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.
TACASTACAS-2011-GarbervetskyGN #invariant #using
Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
HCIIDGD-2011-YuehLLC #design
Menu Design of Digital Photo Frame for Older Users (HPY, WJL, TYL, YLC), pp. 265–272.
HCIOCSC-2011-YoshinoM #communication #using
GAZO GAZO KUN: Photo-Sharing System Using an Anthropomorphic Photo Frame for Communication Support (TY, TM), pp. 297–305.
ICEISICEIS-v4-2011-PereiraB #social
Valuation Framing for Social Software — A Culturally Aware Artifact (RP, MCCB), pp. 235–244.
ECMFAECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
SPLCSPLC-2011-DaoLK #approach #problem #product line #quality
Problem Frames-Based Approach to Achieving Quality Attributes in Software Product Line Engineering (TMD, HL, KCK), pp. 175–180.
CASECASE-2010-IshiiONTOTM #analysis #image #using
Cardiac motion analysis of a rat model for myocardial infarction using high-frame-rate stereo images (II, TO, YN, TT, KO, AT, HM), pp. 780–785.
CASECASE-2010-XuSY #algorithm #problem
Exact algorithms for non-overlapping 2-frame problem with non-partial coverage for networked robotic cameras (YX, DS, JY), pp. 503–508.
DATEDATE-2010-AkinSH #configuration management #estimation #hardware #multi
A reconfigurable hardware for one bit transform based multiple reference frame Motion Estimation (AA, GS, IH), pp. 393–398.
DocEngDocEng-2010-Piotrowski #documentation #html #revisited
Document conversion for cultural heritage texts: FrameMaker to HTML revisited (MP), pp. 223–226.
ESOPESOP-2010-NaumannB #bound #first-order #higher-order #information management
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
CHICHI-2010-LiCEDL #automation #interactive #logic #named #prototype #testing
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests (YL, XC, KE, MD, JAL), pp. 503–512.
ICPRICPR-2010-CanavanJRZYS #classification #evaluation #multi
Evaluation of Multi-frame Fusion Based Face Classification Under Shadow (SJC, BJ, MR, YZ, LY, JRS), pp. 1265–1268.
ICPRICPR-2010-CetinH #adaptation #algorithm #estimation #video
An Adaptive True Motion Estimation Algorithm for Frame Rate Conversion of High Definition Video (MC, IH), pp. 4109–4112.
ICPRICPR-2010-ChenWJ #hybrid #robust
Robust Frame-to-Frame Hybrid Matching (LC, ZW, YJ), pp. 1019–1022.
ICPRICPR-2010-CuntoorBPH
Track Initialization in Low Frame Rate and Low Resolution Videos (NPC, AB, AGAP, AH), pp. 3640–3644.
ICPRICPR-2010-KapotasS #sequence
Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPRICPR-2010-MikulikMPC #precise
Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.
ICPRICPR-2010-MoriMY #recognition #using
Gait Recognition Using Period-Based Phase Synchronization for Low Frame-Rate Videos (AM, YM, YY), pp. 2194–2197.
ICPRICPR-2010-ShivakumaraDTP #classification #proximity #symmetry #video
A New Symmetry Based on Proximity of Wavelet-Moments for Text Frame Classification in Video (PS, AD, CLT, UP), pp. 129–132.
ICPRICPR-2010-ShivakumaraT #classification #novel #video
Novel Edge Features for Text Frame Classification in Video (PS, CLT), pp. 3191–3194.
ICPRICPR-2010-TaxHVP #clustering #concept #detection #learning #multi #using
The Detection of Concept Frames Using Clustering Multi-instance Learning (DMJT, EH, MFV, MP), pp. 2917–2920.
ICPRICPR-2010-TsaiHTC #detection #pipes and filters #predict #scalability #using
Learning-Based Vehicle Detection Using Up-Scaling Schemes and Predictive Frame Pipeline Structures (YMT, KYH, CCT, LGC), pp. 3101–3104.
ICPRICPR-2010-VillegasP #verification #video
Fusion of Qualities for Frame Selection in Video Face Verification (MV, RP), pp. 1302–1305.
ICPRICPR-2010-WangY #detection
Detection Based Low Frame Rate Human Tracking (LW, NHCY), pp. 3529–3532.
ECMFAECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.
RERE-2010-Gervasi #design #interactive #problem
Who Framed Roger User? Problem Frames as a User Interaction Design Tool (VG), pp. 377–378.
SPLCSPLC-2010-DaoK #approach #component #problem #reuse
Mapping Features to Reusable Components: A Problem Frames-Based Approach (TMD, KCK), pp. 377–392.
ICDARICDAR-2009-SharmaL #bound
Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script (DVS, GSL), pp. 256–260.
ICDARICDAR-2009-YiPX #integration #multi #recognition #using #video
Using Multiple Frame Integration for the Text Recognition of Video (JY, YP, JX), pp. 71–75.
CHICHI-2009-NguyenC #video
More than face-to-face: empathy effects of video framing (DTN, JFC), pp. 423–432.
CHICHI-2009-YliriskuHNJ #design #paradigm
Framing design in the third paradigm (SY, VH, JN, AJ), pp. 1131–1140.
HCIHCI-AUII-2009-JeongSGKJ #using
Object Scanning Using a Sensor Frame (SJ, TS, GG, KHK, JWJ), pp. 433–439.
HCIHCI-AUII-2009-Schmid
Enhancing the Accessibility of Maps with Personal Frames of Reference (FS), pp. 199–210.
ICEISICEIS-DISI-2009-StempliucFAB #concept #modelling #network
Extending the UML-GeoFrame Data Model for Conceptual Modeling of Network Applications (SMS, JLF, MVAA, KAVB), pp. 164–170.
ECOOPECOOP-2009-SmansJP #logic
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.
RERE-2009-Breaux #approach #requirements
Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach (TDB), pp. 225–230.
RERE-2009-TunJLNY #problem #using
Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.
SACSAC-2009-AgentA #approach #problem
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach (SS, LC), pp. 389–394.
SACSAC-2009-KangGC #predict #scalability
A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
CSLCSL-2009-SchwinghammerBRY #higher-order #hoare
Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.
ASEASE-2008-RakamaricH #automation #axiom #static analysis #using
Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
FASEFASE-2008-SmansJPS #automation #java #source code #verification
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.
CHICHI-2008-HartmannAS #bias #experience #quality #user interface
Framing the user experience: information biases on website quality judgement (JH, ADA, AGS), pp. 855–864.
CHICHI-2008-KarrerWLB #interface #named #navigation #video
DRAGON: a direct manipulation interface for frame-accurate in-scene video navigation (TK, MW, EL, JOB), pp. 247–250.
ICPRICPR-2008-AnlongH #detection
Frame-skipping tracking for single object with global motion detection (AM, HM), pp. 1–4.
ICPRICPR-2008-CandamoG #detection #video
Wire detection in low-altitude, urban, and low-quality video frames (JC, DBG), pp. 1–4.
ICPRICPR-2008-LiCS #kernel #optimisation #predict #video
An improved mean-shift tracker with kernel prediction and scale optimisation targeting for low-frame-rate video tracking (ZL, JC, NNS), pp. 1–4.
ICPRICPR-2008-MohantaSC #detection #multi #using
Detection of representative frames of a shot using multivariate Wald-Wolfowitz test (PPM, SKS, BC), pp. 1–4.
ICPRICPR-2008-ToyouraIFKM #3d #multi #re-engineering
3D shape reconstruction from incomplete silhouettes in multiple frames (MT, MI, TF, KK, MM), pp. 1–4.
ICPRICPR-2008-ZhaoE #process #recognition #representation
Human activity recognition from frame’s spatiotemporal representation (ZZ, AME), pp. 1–4.
MODELSMoDELS-2008-HateburHS #metamodelling #problem
A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.
MODELSMoDELS-2008-HateburHS #metamodelling #problem
A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.
RERE-2008-LencastreMAC #aspect-oriented #composition #problem
Aspects Composition in Problem Frames (ML, AMDM, JA, JC), pp. 343–344.
LICSLICS-2008-Pottier #anti #higher-order
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule (FP), pp. 331–340.
CASECASE-2007-AramakiNKHT #interface #knowledge base #using
Human-Robot Interface by using frame like knowledge base (SA, TN, MK, YH, TT), pp. 729–734.
HCIHCI-MIE-2007-HanKYJ #mobile #recursion #segmentation
Frame Segmentation Used MLP-Based X-Y Recursive for Mobile Cartoon Content (EH, KK, HY, KJ), pp. 872–881.
HCIHIMI-MTT-2007-PakKH #adaptation #multi
An Adaptive Frame-Based Admission Control for Multimedia Traffic in Wireless LAN (JP, YK, KH), pp. 720–727.
ECIRECIR-2007-CioccaS #video
Hierarchical Browsing of Video Key Frames (GC, RS), pp. 691–694.
CSEETCSEET-2006-WallaceWB #analysis #problem
Instruction in Problem Structuring and Analysis Through Problem Frames (CW, XW, VB), pp. 185–186.
ITiCSEITiCSE-2006-CostaTBS #metric #quality #sequence
Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.
FASEFASE-2006-LavazzaB #problem #requirements #uml
Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
FMFM-2006-Kassios #dependence #strict
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.
ICPRICPR-v1-2006-SibiryakovB #analysis #multi #realtime
Real-Time Multi-Frame Analysis of Dominant Translation (AS, MB), pp. 55–58.
ICPRICPR-v1-2006-Sun #approach #constraints #estimation
A Three-Frame Approach to Constraint-Consistent Motion Estimation (ZS), pp. 35–38.
ICPRICPR-v2-2006-RobertsMHVB #estimation #multi #network
Part-Based Multi-Frame Registration for Estimation of the Growth Of Cellular Networks in Plant Roots (TJR, SJM, JH, TAV, AGB), pp. 378–381.
ICPRICPR-v3-2006-LiPKZ #multimodal #using
Multimodal Registration using the Discrete Wavelet Frame Transform (SL, JP, JTK, JZ), pp. 877–880.
POPLPOPL-2006-Thielecke #pointer
Frame rules from answer types for code pointers (HT), pp. 309–319.
RERE-2006-LiuJ #analysis #problem #requirements
Integrating Goals and Problem Frames in Requirements Analysis (LL, ZJ), pp. 342–343.
RERE-2006-Potts #requirements
Re-Framing Requirements Engineering (CP), pp. 278–283.
RERE-2006-SeaterJ #problem
Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.
HTHT-2005-Hunter #hypermedia
Technical hypertext accessibility: information structures and rhetorical framing (LH), pp. 282–283.
ICLPICLP-2005-DuanYK #logic programming #semantics #source code
Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.
LICSLICS-2005-BirkedalTY #higher-order #semantics #type system
Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.
LICSLICS-2005-DawarO #theorem
Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.
LICSLICS-2005-HondaYB #higher-order #imperative #logic
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
PASTEPASTE-2004-Leavens #exclamation #ml
Invited Talk: JML framed! (GTL), p. 1.
CHICHI-2004-McCarthySM #video
Sharp or smooth?: comparing the effects of quantization vs. frame rate for streamed video (JDM, MAS, DM), pp. 535–542.
ICEISICEIS-v3-2004-Mirbel #development #information management #polymorphism #process #scalability
A Polymorphic Context Frame to Support Scalability and Evolvability of Information System Development Processes (IM), pp. 131–138.
ICPRICPR-v1-2004-WangJW #approach #detection #integration #multi #novel #using #video
A Novel Video Caption Detection Approach Using Multi-Frame Integration (RW, WJ, LW), pp. 449–452.
ICPRICPR-v2-2004-EwerthF #detection #difference #normalisation
Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.
ICPRICPR-v2-2004-GimelfarbGZ #modelling #probability #question
To FRAME or not to FRAME in Probabilistic Texture Modelling? (GLG, LJVG, AZ), pp. 707–711.
ICPRICPR-v3-2004-ShimizuYWSTN #detection #mobile
Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction (SS, KY, CW, YS, HT, YN), pp. 248–251.
ICPRICPR-v4-2004-JungHH #re-engineering
Frame Grouping Measure for Factorization-Based Projective Reconstruction (YYJ, YHH, HKH), pp. 112–115.
ICPRICPR-v4-2004-SangiHS #analysis #difference #metric #using
Motion Analysis Using Frame Differences with Spatial Gradient Measures (PS, JH, OS), pp. 733–736.
ICPRICPR-v4-2004-ViguerasBS #multi #on the
On the Influence of Fixing the Principal Point in Frame-by-Frame Multiplanar Calibration (JFV, MOB, GS), pp. 120–123.
RERE-2004-LaneyBJN #problem #requirements #using
Composing Requirements Using Problem Frames (RCL, LB, MJ, BN), pp. 122–131.
RERE-2004-LinNIJ #bound #problem #security #using
Using Abuse Frames to Bound the Scope of Security Problems (LL, BN, DCI, MJ), pp. 354–355.
CCCC-2004-LindigR #composition #declarative #stack
Declarative Composition of Stack Frames (CL, NR), pp. 298–312.
ICDARICDAR-2003-HullEGL #component #documentation #multi #video #visualisation
Visualizing Multimedia Content on Paper Documents: Components of Key Frame Selection for Video Paper (JJH, BE, JG, DSL), pp. 389–392.
ICDARICDAR-2003-NakamuraY #recognition #video
Caption Text Recognition in Video Frames by MAP Matching (AN, KY), pp. 650–654.
RERE-2003-LinNIJM #requirements #security
Introducing Abuse Frames for Analysing Security Requirements (LL, BN, DCI, MJ, JDM), pp. 371–372.
LCTESLCTES-2003-PopEP #clustering #distributed #embedded #multi
Schedulability-driven frame packing for multi-cluster distributed embedded systems (PP, PE, ZP), pp. 113–122.
CIKMCIKM-2002-RajaramanT #approach #concept #graph #information management
Knowledge discovery from texts: a concept frame graph approach (KR, AHT), pp. 669–671.
ICPRICPR-v2-2002-UdeA #detection #probability #using
Probabilistic Detection and Tracking at High Frame Rates Using Affine Warping (AU, CGA), pp. 6–9.
ICPRICPR-v2-2002-WuYSLK #3d #detection
Glasses Frame Detection with 3D Hough Transform (HW, GY, TS, SL, MK), pp. 346–349.
ICPRICPR-v3-2002-MaoCLS #detection #hybrid #image #video
Hybrid Chinese/English Text Detection in Images and Video Frames (WM, FLC, KKML, WCS), pp. 1015–1018.
ICPRICPR-v3-2002-SumiIT #locality #realtime
Hyper Frame Vision: A Real-Time Vision System for 6-DOF Object Localization (YS, YI, FT), pp. 577–580.
ICPRICPR-v4-2002-MatasOC
Local Affine Frames for Wide-Baseline Stereo (JM, SO, OC), pp. 363–366.
SEKESEKE-2002-Fernandez-CondeG #analysis #framework #object-oriented
Domain analysis of object-oriented frameworks in FrameDoc (CFC, PAGC), pp. 27–33.
RERE-2002-HallJLNR #architecture #problem #requirements #using
Relating Software Requirements and Architectures Using Problem Frames (JGH, MJ, RCL, BN, LR), pp. 137–144.
CSLCSL-2002-HodasLPSP #logic programming #proving #resource management
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
LICSLICS-2002-Bars #logic #satisfiability
The 0-1 law fails for frame satisfiability of propositional modal logic (JMLB), pp. 225–234.
ICDARICDAR-2001-OudotPM #recognition
Dynamic Recognition in the Omni-Writer Frame: Application to Hand-Printed Text Recognition (LO, LP, MM), pp. 1035–1039.
ICDARICDAR-2001-ZhengLDP #detection
Form Frame Line Detection with Directional Single-Connected Chain (YZ, CL, XD, SP), pp. 699–703.
TOOLSTOOLS-USA-2001-Abom
Frame-Working with RM-ODP (LA), p. 392.
RERE-2001-NelsonCA #problem
Geographic Problem Frames (MAVN, DDC, PSCA), pp. 306–307.
SACSAC-2001-Yfantis #algorithm #video
An algorithm for key-frame determination in digital video (EAY), pp. 312–314.
CSCWCSCW-2000-JacksonAMM #behaviour #video
Impact of video frame rate on communicative behaviour in two and four party groups (MJ, AHA, RM, JM), pp. 11–20.
ICPRICPR-v1-2000-Oliensis #multi
Direct Multi-Frame Structure from Motion for Hand-Held Cameras (JO), pp. 1889–1895.
ICPRICPR-v1-2000-SanchezB #normalisation #recognition #video
Color Normalization for Appearance Based Recognition of Video Key-Frames (JMS, XB), pp. 1815–1818.
ICPRICPR-v4-2000-MarianoK #video
Locating Uniform-Colored Text in Video Frames (VYM, RK), pp. 4539–4542.
TOOLSTOOLS-PACIFIC-2000-Taylor #architecture #object-oriented #problem
Problem Frames and Object-Oriented Software Architecture (PRT), pp. 70–81.
CSLCSL-2000-CoquandZ
Sequents, Frames, and Completeness (TC, GQZ), pp. 277–291.
DATEDATE-1999-JantschKH #analysis #case study #concept #modelling #synthesis
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems (AJ, SK, AH), pp. 256–262.
DATEDATE-1999-SantosoMRA #generative #named #testing #using
FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy (YS, MCM, EMR, MA), p. 747–?.
ICDARICDAR-1999-ArikiMT #detection
Telop and Flip Frame Detection and Character Extraction from TV News Articles (YA, KM, ST), pp. 701–704.
CHICHI-1999-SalzmanDL #multi #visualisation
VR’s Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information (MCS, CJD, RBL), pp. 489–495.
SACSAC-1999-KocberberC #information retrieval #multi #performance
Compressed Multi-Framed Signature Files: An Index Structure for Fast Information Retrieval (SK, FC), pp. 221–226.
CSLCSL-1999-HagiharaY #logic
Resolution Method for Modal Logic with Well-Founded Frames (SH, NY), pp. 277–291.
FASEFASE-1998-MargariaS #automation #backtracking #design #synthesis
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.
CSMRCSMR-1998-JakobiW #automation #database #evaluation #framework #maintenance #named #proving #theorem proving
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data (PJ, AW), pp. 185–188.
ICPRICPR-1998-JainY #automation #image #video
Automatic text location in images and video frames (AKJ, BY), pp. 1497–1499.
ICPRICPR-1998-LiD #automation #identification #video
Automatic identification of text in digital video key frames (HL, DSD), pp. 129–132.
ICPRICPR-1998-WouwerSD #invariant #using
Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.
TOOLSTOOLS-ASIA-1998-Hsiung #framework #named #object-oriented #realtime
RTFrame: An Object-Oriented Application Framework for Real-Time Applications (PAH), pp. 138–147.
REFSQREFSQ-1998-MaidenCPM #requirements #validation
CREWS Validation Frames: Patterns for Validating Systems Requirements (NAMM, MC, HP, DM), pp. 167–178.
ICDARICDAR-1997-LuoKAC
Interpretation of Lines in Distributing Frame Drawings (HL, RK, JFA, AKC), pp. 66–70.
ICDARICDAR-1997-ShinjoNKMSH #documentation
A method for connecting disappeared junction patterns on frame lines in form documents (HS, KN, MK, KM, YS, EH), pp. 667–670.
TACASTACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of
Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
ESECESEC-FSE-1997-MeijlerDE #adaptation #composition #design pattern
Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment (TDM, SD, RE), pp. 94–110.
HPDCHPDC-1997-ArmstrongWYBB #component
Frame-Based Components for Generalized Particle Methods (RCA, PW, CY, MBP, NB), pp. 50–59.
TACASTACAS-1996-KleinKKS #automaton #program analysis
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.
CSCWCSCW-1996-BiksonE #implementation
Groupware Implementation: Reinvention in the Sociotechnical Frame (TKB, JDE), pp. 428–437.
KRKR-1996-BorgidaM #query
Asking Queries about Frames (AB, DLM), pp. 340–349.
REICRE-1996-Ohnishi #database #requirements #specification
Software Requirements Specification Database Based on Requirements Frame Model (AO), pp. 221–228.
CAVCAV-1996-SteffenMCB
The METAFrame’95 Environment (BS, TMS, AC, VB), pp. 450–453.
SEKESEKE-1995-NourO #approach #information management #representation
An Approach Based on “Frames” for Knowledge Representation and Scenes Interpretation in a Robot-Vision System (MN, KO), pp. 275–282.
HPCAHPCA-1995-TheobaldHG #design #hybrid
A Design Frame for Hybrid Access Caches (KBT, HHJH, GRG), pp. 144–153.
HTHT-ECHT-1994-MasudaIU #automation #navigation
Frame-Axis Model for Automatic Information Organizing and Spatial Navigation (YM, YI, MU), pp. 146–157.
ICLPICLP-1994-Zhou #on the #prolog #stack
On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.
FMFME-1993-Bicarregui #algorithm #refinement
Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.
FMFME-1993-BicarreguiR #comparison #invariant
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
ICSEICSE-1993-BorgidaMR #problem #quote #specification
“...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.
DACDAC-1992-NouraniP #automation #scheduling #synthesis
Move Frame Scheduling and Mixed Scheduling-Allocation for the Automated Synthesis of Digital Systems (MN, CAP), pp. 99–105.
SEKESEKE-1992-ChanH #logic #towards
Towards Integrating Logic, Object, Frame, and Production (TWC, WRH), pp. 463–469.
SIGIRSIGIR-1992-GrandiTZ #parallel
Frame-Sliced Partitioned Parallel Signature Files (FG, PT, PZ), pp. 286–297.
KRKR-1991-Castaing #formal method #representation
A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
CAiSECAiSE-1989-Hemingstam #concept #documentation #named
FRAME: A Concept for Documentation at ABB Data (LH).
CAiSECAiSE-1989-Nilsson #classification #development #information management
Information Systems Development: A Frame Of Reference and Classifications (AGN).
OOPSLAOOPSLA-1989-AdamsN
Neural Agents — A Frame of Mind (SSA, AKN), pp. 139–149.
OOPSLAOOPSLA-1989-BlockC
An Extended Frame Language (FPB, NCC), pp. 151–157.
ICLPNACLP-1989-MarienD #on the
On the Management of Choicepoint and Environment Frames in the WAM (AM, BD), pp. 1030–1047.
STOCSTOC-1988-GabowW #algorithm #game studies
Forests, Frames and Games: Algorithms for Matroid Sums and Applications (HNG, HHW), pp. 407–421.
PLDIPLDI-1987-Moss #smalltalk #stack
Managing stack frames in Smalltalk (JEBM), pp. 229–240.
DACDAC-1986-AdolphRS #design #representation
A frame based system for representing knowledge about VLSI design: a proposal (WSA, HKR, AS), pp. 671–676.
DACDAC-1985-GiambiasiMLdDR #adaptation #modelling
An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons (NG, BM, RL, LDd, CD, PR), pp. 460–467.
DACDAC-1982-Robbins
Making the wire frame solid (DR), pp. 650–654.
DACDAC-1981-SaitoUK #design #logic
A CAD system for logic design based on frames and demons (TS, TU, NK), pp. 451–456.
DACSHARE-1964-SimpsonA #analysis
Space frame analysis and applications to other types of structures (HS, JA).

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.