Stem frame$ (all stems)

201 papers:

CASE-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.

DATE-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.

DATE-2015-NiemannHGW #formal method #generative #modelling

Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.

DUXU-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.

HIMI-IKD-2015-YoshinoO #using

Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.

SEKE-2015-CaoHH #design #evaluation #quality #using

Experimental Frame Design Using E-DEVSML for Software Quality Evaluation (BC, LH, JH), pp. 310–313.

MoDELS-2015-NiemannHGW #contract

Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.

CHI-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.

CHI-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.

CHI-2014-NoorRHRWM #predict

28 frames later: predicting screen touches from back-of-device grip changes (MFMN, AR, SH, SR, JW, RMS), pp. 2005–2008.

CSCW-2014-SaidBHK #facebook

Framing the conversation: the role of facebook conversations in shopping for eyeglasses (KS, MAB, AH, SKK), pp. 652–661.

DUXU-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.

CIKM-2014-HinneburgRPO #documentation #topic

Exploring Document Collections with Topic Frames (AH, FR, SP, CO), pp. 2084–2086.

ICPR-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.

ICPR-2014-MoriKNK #detection #using #video

Video Content Detection with Single Frame Level Accuracy Using Dynamic Thresholding Technique (MM, TK, HN, KK), pp. 2560–2565.

SIGIR-2014-QvarfordtTGD #named

SearchPanel: framing complex search needs (PQ, ST, GG, TD), pp. 495–504.

SAC-2014-MotaB #algorithm #anti #internet

A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things (RPBM, DMB), pp. 686–691.

ICDAR-2013-SharmaCPB #identification #video

Word-Wise Script Identification from Video Frames (NS, SC, UP, MB), pp. 867–871.

CSEET-2013-KumarW #problem #testing

Guidance for exploratory testing through problem frames (SK, CW), pp. 284–288.

CHI-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.

HCI-III-2013-ParkCKSK

Emotion Sharing with the Emotional Digital Picture Frame (KSP, YC, MK, KYS, DK), pp. 339–345.

HCI-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.

ICEIS-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.

ICEIS-v3-2013-HsuK #case study

A Study of Cognitive Effort of Decision Makers with Different NC under Framing (CWH, ClK), pp. 75–82.

LICS-2013-Lahav #logic

From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.

CASE-2012-ShinPKA #analysis #linear

Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.

DATE-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.

ICPR-2012-LiuSZWBCT #bound #detection

Joint shot boundary detection and key frame extraction (XL, MS, LZ, SW, JB, CC, DT), pp. 2565–2568.

ICPR-2012-LuKT #recognition #representation

Action recognition via sparse representation of characteristic frames (GL, MK, JT), pp. 3268–3271.

ICPR-2012-MansurMY #invariant #recognition

View-invariant gait recognition from low frame-rate videos (AM, YM, YY), pp. 2383–2386.

ICPR-2012-PrabhuR #multi

Joint multi-frame super-resolution and matting (SMP, ANR), pp. 1924–1927.

ICPR-2012-VaradarajanZV #3d #video

RGB and depth intra-frame Cross-Compression for low bandwidth 3D video (KMV, KZ, MV), pp. 955–958.

ICPR-2012-WechtitschFS #detection #fault #robust

Robust detection of single-frame defects in archived film (SW, HF, PS), pp. 2647–2650.

ICPR-2012-XuLYWSL

Key frame selection based on Jensen-Rényi divergence (QX, XL, ZY, JW, MS, JL), pp. 1892–1895.

ICPR-2012-ZhuW #gesture #kernel #recognition #using

Single-frame hand gesture recognition using color and depth kernel descriptors (XZ, KYKW), pp. 2989–2992.

KR-2012-BaralL #declarative #reasoning #representation

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).

SEKE-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.

ICLP-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.

CASE-2011-DAngeloLL

A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.

ICDAR-2011-NtirogiannisGP #video

Binarization of Textual Content in Video Frames (KN, BG, IP), pp. 673–677.

ESOP-2011-ParkinsonS #logic

The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.

TACAS-2011-GarbervetskyGN #invariant #using

Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.

IDGD-2011-YuehLLC #design

Menu Design of Digital Photo Frame for Older Users (HPY, WJL, TYL, YLC), pp. 265–272.

OCSC-2011-YoshinoM #communication #using

GAZO GAZO KUN: Photo-Sharing System Using an Anthropomorphic Photo Frame for Communication Support (TY, TM), pp. 297–305.

ICEIS-v4-2011-PereiraB #social

Valuation Framing for Social Software — A Culturally Aware Artifact (RP, MCCB), pp. 235–244.

ECMFA-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.

SPLC-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.

CASE-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.

CASE-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.

DATE-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.

DocEng-2010-Piotrowski #documentation #html #revisited

Document conversion for cultural heritage texts: FrameMaker to HTML revisited (MP), pp. 223–226.

ESOP-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.

CHI-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.

ICPR-2010-CanavanJRZYS #classification #evaluation #multi

Evaluation of Multi-frame Fusion Based Face Classification Under Shadow (SJC, BJ, MR, YZ, LY, JRS), pp. 1265–1268.

ICPR-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.

ICPR-2010-ChenWJ #hybrid #robust

Robust Frame-to-Frame Hybrid Matching (LC, ZW, YJ), pp. 1019–1022.

ICPR-2010-CuntoorBPH

Track Initialization in Low Frame Rate and Low Resolution Videos (NPC, AB, AGAP, AH), pp. 3640–3644.

ICPR-2010-KapotasS #sequence

Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.

ICPR-2010-MikulikMPC #precise

Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.

ICPR-2010-MoriMY #recognition #using

Gait Recognition Using Period-Based Phase Synchronization for Low Frame-Rate Videos (AM, YM, YY), pp. 2194–2197.

ICPR-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.

ICPR-2010-ShivakumaraT #classification #novel #video

Novel Edge Features for Text Frame Classification in Video (PS, CLT), pp. 3191–3194.

ICPR-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.

ICPR-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.

ICPR-2010-VillegasP #verification #video

Fusion of Qualities for Frame Selection in Video Face Verification (MV, RP), pp. 1302–1305.

ICPR-2010-WangY #detection

Detection Based Low Frame Rate Human Tracking (LW, NHCY), pp. 3529–3532.

ECMFA-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.

RE-2010-Gervasi #design #interactive #problem

Who Framed Roger User? Problem Frames as a User Interaction Design Tool (VG), pp. 377–378.

SPLC-2010-DaoK #approach #component #problem #reuse

Mapping Features to Reusable Components: A Problem Frames-Based Approach (TMD, KCK), pp. 377–392.

ICDAR-2009-SharmaL #bound

Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script (DVS, GSL), pp. 256–260.

ICDAR-2009-YiPX #integration #multi #recognition #using #video

Using Multiple Frame Integration for the Text Recognition of Video (JY, YP, JX), pp. 71–75.

CHI-2009-NguyenC #video

More than face-to-face: empathy effects of video framing (DTN, JFC), pp. 423–432.

CHI-2009-YliriskuHNJ #design #paradigm

Framing design in the third paradigm (SY, VH, JN, AJ), pp. 1131–1140.

HCI-AUII-2009-JeongSGKJ #using

Object Scanning Using a Sensor Frame (SJ, TS, GG, KHK, JWJ), pp. 433–439.

HCI-AUII-2009-Schmid

Enhancing the Accessibility of Maps with Personal Frames of Reference (FS), pp. 199–210.

ICEIS-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.

ECOOP-2009-SmansJP #logic

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.

RE-2009-Breaux #approach #requirements

Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach (TDB), pp. 225–230.

RE-2009-TunJLNY #problem #using

Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.

SAC-2009-AgentA #approach #problem

Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach (SS, LC), pp. 389–394.

SAC-2009-KangGC #predict #scalability

A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.

CSL-2009-SchwinghammerBRY #higher-order #hoare

Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.

ASE-2008-RakamaricH #automation #axiom #static analysis #using

Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.

FASE-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.

CHI-2008-HartmannAS #bias #experience #quality #user interface

Framing the user experience: information biases on website quality judgement (JH, ADA, AGS), pp. 855–864.

CHI-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.

ICPR-2008-AnlongH #detection

Frame-skipping tracking for single object with global motion detection (AM, HM), pp. 1–4.

ICPR-2008-CandamoG #detection #video

Wire detection in low-altitude, urban, and low-quality video frames (JC, DBG), pp. 1–4.

ICPR-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.

ICPR-2008-MohantaSC #detection #multi #using

Detection of representative frames of a shot using multivariate Wald-Wolfowitz test (PPM, SKS, BC), pp. 1–4.

ICPR-2008-ToyouraIFKM #3d #multi #re-engineering

3D shape reconstruction from incomplete silhouettes in multiple frames (MT, MI, TF, KK, MM), pp. 1–4.

ICPR-2008-ZhaoE #process #recognition #representation

Human activity recognition from frame’s spatiotemporal representation (ZZ, AME), pp. 1–4.

MoDELS-2008-HateburHS #metamodelling #problem

A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.

MoDELS-2008-HateburHS #metamodelling #problem

A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.

RE-2008-LencastreMAC #aspect-oriented #composition #problem

Aspects Composition in Problem Frames (ML, AMDM, JA, JC), pp. 343–344.

LICS-2008-Pottier #anti #higher-order

Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule (FP), pp. 331–340.

CASE-2007-AramakiNKHT #interface #knowledge base #using

Human-Robot Interface by using frame like knowledge base (SA, TN, MK, YH, TT), pp. 729–734.

HCI-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.

HIMI-MTT-2007-PakKH #adaptation #multi

An Adaptive Frame-Based Admission Control for Multimedia Traffic in Wireless LAN (JP, YK, KH), pp. 720–727.

ECIR-2007-CioccaS #video

Hierarchical Browsing of Video Key Frames (GC, RS), pp. 691–694.

CSEET-2006-WallaceWB #analysis #problem

Instruction in Problem Structuring and Analysis Through Problem Frames (CW, XW, VB), pp. 185–186.

ITiCSE-2006-CostaTBS #metric #quality #sequence

Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.

FASE-2006-LavazzaB #problem #requirements #uml

Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.

FM-2006-Kassios #dependence #strict

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.

ICPR-v1-2006-SibiryakovB #analysis #multi #realtime

Real-Time Multi-Frame Analysis of Dominant Translation (AS, MB), pp. 55–58.

ICPR-v1-2006-Sun #approach #constraints #estimation

A Three-Frame Approach to Constraint-Consistent Motion Estimation (ZS), pp. 35–38.

ICPR-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.

ICPR-v3-2006-LiPKZ #multimodal #using

Multimodal Registration using the Discrete Wavelet Frame Transform (SL, JP, JTK, JZ), pp. 877–880.

POPL-2006-Thielecke #pointer

Frame rules from answer types for code pointers (HT), pp. 309–319.

RE-2006-LiuJ #analysis #problem #requirements

Integrating Goals and Problem Frames in Requirements Analysis (LL, ZJ), pp. 342–343.

RE-2006-Potts #requirements

Re-Framing Requirements Engineering (CP), pp. 278–283.

RE-2006-SeaterJ #problem

Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.

HT-2005-Hunter #hypermedia

Technical hypertext accessibility: information structures and rhetorical framing (LH), pp. 282–283.

ICLP-2005-DuanYK #logic programming #semantics #source code

Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.

LICS-2005-BirkedalTY #higher-order #semantics #type system

Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.

LICS-2005-DawarO #theorem

Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.

LICS-2005-HondaYB #higher-order #imperative #logic

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.

PASTE-2004-Leavens #exclamation #ml

Invited Talk: JML framed! (GTL), p. 1.

CHI-2004-McCarthySM #video

Sharp or smooth?: comparing the effects of quantization vs. frame rate for streamed video (JDM, MAS, DM), pp. 535–542.

ICEIS-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.

ICPR-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.

ICPR-v2-2004-EwerthF #detection #difference #normalisation

Improving Cut Detection in MPEG Videos by GOP-Oriented Frame Difference Normalization (RE, BF), pp. 807–810.

ICPR-v2-2004-GimelfarbGZ #modelling #probability #question

To FRAME or not to FRAME in Probabilistic Texture Modelling? (GLG, LJVG, AZ), pp. 707–711.

ICPR-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.

ICPR-v4-2004-JungHH #re-engineering

Frame Grouping Measure for Factorization-Based Projective Reconstruction (YYJ, YHH, HKH), pp. 112–115.

ICPR-v4-2004-SangiHS #analysis #difference #metric #using

Motion Analysis Using Frame Differences with Spatial Gradient Measures (PS, JH, OS), pp. 733–736.

ICPR-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.

RE-2004-LaneyBJN #problem #requirements #using

Composing Requirements Using Problem Frames (RCL, LB, MJ, BN), pp. 122–131.

RE-2004-LinNIJ #bound #problem #security #using

Using Abuse Frames to Bound the Scope of Security Problems (LL, BN, DCI, MJ), pp. 354–355.

CC-2004-LindigR #composition #declarative #stack

Declarative Composition of Stack Frames (CL, NR), pp. 298–312.

ICDAR-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.

ICDAR-2003-NakamuraY #recognition #video

Caption Text Recognition in Video Frames by MAP Matching (AN, KY), pp. 650–654.

RE-2003-LinNIJM #requirements #security

Introducing Abuse Frames for Analysing Security Requirements (LL, BN, DCI, MJ, JDM), pp. 371–372.

LCTES-2003-PopEP #clustering #distributed #embedded #multi

Schedulability-driven frame packing for multi-cluster distributed embedded systems (PP, PE, ZP), pp. 113–122.

CIKM-2002-RajaramanT #approach #concept #graph #information management

Knowledge discovery from texts: a concept frame graph approach (KR, AHT), pp. 669–671.

ICPR-v2-2002-UdeA #detection #probability #using

Probabilistic Detection and Tracking at High Frame Rates Using Affine Warping (AU, CGA), pp. 6–9.

ICPR-v2-2002-WuYSLK #3d #detection

Glasses Frame Detection with 3D Hough Transform (HW, GY, TS, SL, MK), pp. 346–349.

ICPR-v3-2002-MaoCLS #detection #hybrid #image #video

Hybrid Chinese/English Text Detection in Images and Video Frames (WM, FLC, KKML, WCS), pp. 1015–1018.

ICPR-v3-2002-SumiIT #locality #realtime

Hyper Frame Vision: A Real-Time Vision System for 6-DOF Object Localization (YS, YI, FT), pp. 577–580.

ICPR-v4-2002-MatasOC

Local Affine Frames for Wide-Baseline Stereo (JM, SO, OC), pp. 363–366.

SEKE-2002-Fernandez-CondeG #analysis #framework #object-oriented

Domain analysis of object-oriented frameworks in FrameDoc (CFC, PAGC), pp. 27–33.

RE-2002-HallJLNR #architecture #problem #requirements #using

Relating Software Requirements and Architectures Using Problem Frames (JGH, MJ, RCL, BN, LR), pp. 137–144.

CSL-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.

LICS-2002-Bars #logic #satisfiability

The 0-1 law fails for frame satisfiability of propositional modal logic (JMLB), pp. 225–234.

ICDAR-2001-OudotPM #recognition

Dynamic Recognition in the Omni-Writer Frame: Application to Hand-Printed Text Recognition (LO, LP, MM), pp. 1035–1039.

ICDAR-2001-ZhengLDP #detection

Form Frame Line Detection with Directional Single-Connected Chain (YZ, CL, XD, SP), pp. 699–703.

TOOLS-USA-2001-Abom

Frame-Working with RM-ODP (LA), p. 392.

RE-2001-NelsonCA #problem

Geographic Problem Frames (MAVN, DDC, PSCA), pp. 306–307.

SAC-2001-Yfantis #algorithm #video

An algorithm for key-frame determination in digital video (EAY), pp. 312–314.

CSCW-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.

ICPR-v1-2000-Oliensis #multi

Direct Multi-Frame Structure from Motion for Hand-Held Cameras (JO), pp. 1889–1895.

ICPR-v1-2000-SanchezB #normalisation #recognition #video

Color Normalization for Appearance Based Recognition of Video Key-Frames (JMS, XB), pp. 1815–1818.

ICPR-v4-2000-MarianoK #video

Locating Uniform-Colored Text in Video Frames (VYM, RK), pp. 4539–4542.

TOOLS-PACIFIC-2000-Taylor #architecture #object-oriented #problem

Problem Frames and Object-Oriented Software Architecture (PRT), pp. 70–81.

CSL-2000-CoquandZ

Sequents, Frames, and Completeness (TC, GQZ), pp. 277–291.

DATE-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.

DATE-1999-SantosoMRA #generative #named #testing #using

FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy (YS, MCM, EMR, MA), p. 747–?.

ICDAR-1999-ArikiMT #detection

Telop and Flip Frame Detection and Character Extraction from TV News Articles (YA, KM, ST), pp. 701–704.

CHI-1999-SalzmanDL #multi #visualisation

VR’s Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information (MCS, CJD, RBL), pp. 489–495.

SAC-1999-KocberberC #information retrieval #multi #performance

Compressed Multi-Framed Signature Files: An Index Structure for Fast Information Retrieval (SK, FC), pp. 221–226.

CSL-1999-HagiharaY #logic

Resolution Method for Modal Logic with Well-Founded Frames (SH, NY), pp. 277–291.

FASE-1998-MargariaS #automation #backtracking #design #synthesis

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.

CSMR-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.

ICPR-1998-JainY #automation #image #video

Automatic text location in images and video frames (AKJ, BY), pp. 1497–1499.

ICPR-1998-LiD #automation #identification #video

Automatic identification of text in digital video key frames (HL, DSD), pp. 129–132.

ICPR-1998-WouwerSD #invariant #using

Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.

TOOLS-ASIA-1998-Hsiung #framework #named #object-oriented #realtime

RTFrame: An Object-Oriented Application Framework for Real-Time Applications (PAH), pp. 138–147.

REFSQ-1998-MaidenCPM #requirements #validation

CREWS Validation Frames: Patterns for Validating Systems Requirements (NAMM, MC, HP, DM), pp. 167–178.

ICDAR-1997-LuoKAC

Interpretation of Lines in Distributing Frame Drawings (HL, RK, JFA, AKC), pp. 66–70.

ICDAR-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.

TACAS-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.

ESEC-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.

HPDC-1997-ArmstrongWYBB #component

Frame-Based Components for Generalized Particle Methods (RCA, PW, CY, MBP, NB), pp. 50–59.

TACAS-1996-KleinKKS #automaton #program analysis

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.

CSCW-1996-BiksonE #implementation

Groupware Implementation: Reinvention in the Sociotechnical Frame (TKB, JDE), pp. 428–437.

KR-1996-BorgidaM #query

Asking Queries about Frames (AB, DLM), pp. 340–349.

ICRE-1996-Ohnishi #database #requirements #specification

Software Requirements Specification Database Based on Requirements Frame Model (AO), pp. 221–228.

CAV-1996-SteffenMCB

The METAFrame’95 Environment (BS, TMS, AC, VB), pp. 450–453.

SEKE-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.

HPCA-1995-TheobaldHG #design #hybrid

A Design Frame for Hybrid Access Caches (KBT, HHJH, GRG), pp. 144–153.

HT-ECHT-1994-MasudaIU #automation #navigation

Frame-Axis Model for Automatic Information Organizing and Spatial Navigation (YM, YI, MU), pp. 146–157.

ICLP-1994-Zhou #on the #prolog #stack

On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.

FME-1993-Bicarregui #algorithm #refinement

Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.

FME-1993-BicarreguiR #comparison #invariant

Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.

ICSE-1993-BorgidaMR #problem #quote #specification

“...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.

DAC-1992-NouraniP #automation #scheduling #synthesis

Move Frame Scheduling and Mixed Scheduling-Allocation for the Automated Synthesis of Digital Systems (MN, CAP), pp. 99–105.

SEKE-1992-ChanH #logic #towards

Towards Integrating Logic, Object, Frame, and Production (TWC, WRH), pp. 463–469.

SIGIR-1992-GrandiTZ #parallel

Frame-Sliced Partitioned Parallel Signature Files (FG, PT, PZ), pp. 286–297.

KR-1991-Castaing #formal method #representation

A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.

CAiSE-1989-Hemingstam #concept #documentation #named

FRAME: A Concept for Documentation at ABB Data (LH).

CAiSE-1989-Nilsson #classification #development #information management

Information Systems Development: A Frame Of Reference and Classifications (AGN).

OOPSLA-1989-AdamsN

Neural Agents — A Frame of Mind (SSA, AKN), pp. 139–149.

OOPSLA-1989-BlockC

An Extended Frame Language (FPB, NCC), pp. 151–157.

NACLP-1989-MarienD #on the

On the Management of Choicepoint and Environment Frames in the WAM (AM, BD), pp. 1030–1047.

STOC-1988-GabowW #algorithm #game studies

Forests, Frames and Games: Algorithms for Matroid Sums and Applications (HNG, HHW), pp. 407–421.

PLDI-1987-Moss #smalltalk #stack

Managing stack frames in Smalltalk (JEBM), pp. 229–240.

DAC-1986-AdolphRS #design #representation

A frame based system for representing knowledge about VLSI design: a proposal (WSA, HKR, AS), pp. 671–676.

DAC-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.

DAC-1982-Robbins

Making the wire frame solid (DR), pp. 650–654.

DAC-1981-SaitoUK #design #logic

A CAD system for logic design based on frames and demons (TS, TU, NK), pp. 451–456.

SHARE-1964-SimpsonA #analysis

Space frame analysis and applications to other types of structures (HS, JA).