Stem form$ (all stems)

487 papers:

DAC-2015-VasudevanR #algorithm #performance

An efficient algorithm for frequency-weighted balanced truncation of VLSI interconnects in descriptor form (VV, MR), p. 6.

DATE-2015-ErolOSPB #metric #using

On-chip measurement of bandgap reference voltage using a small form factor VCO based zoom-in ADC (OEE, SO, CKHS, RAP, LB), pp. 1559–1562.

ICPC-2015-ButlerWY #bibliography #java

A survey of the forms of Java reference names (SB, MW, YY), pp. 196–206.

STOC-2015-SunW #canonical #performance

Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.

ICFP-2015-YangCAEKN #communication #normalisation #performance

Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.

CHI-2015-CaramiauxAPT #design #interactive

Form Follows Sound: Designing Interactions from Sonic Memories (BC, AA, SGP, AT), pp. 3943–3952.

CSCW-2015-FreitasD15a #detection #multi #using

Using Multiple Contexts to Detect and Form Opportunistic Groups (AAdF, AKD), pp. 1612–1621.

HCI-IT-2015-SakamotoT #communication #interactive

Stage of Subconscious Interaction for Forming Communication Relationship (TS, YT), pp. 376–384.

HIMI-IKD-2015-ChangH15a #case study

A Study of the Feature of the Lovely Product Forms (WcC, CAH), pp. 571–581.

ICML-2015-HeinrichLS #game studies #self

Fictitious Self-Play in Extensive-Form Games (JH, ML, DS), pp. 805–813.

SEKE-2015-WangKN #feature model #re-engineering

Stability of Three Forms of Feature Selection Methods on Software Engineering Data (HW, TMK, AN), pp. 385–390.

OOPSLA-2015-GveroK #java #query

Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.

ICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named #testing

FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.

ICSE-v2-2015-GveroK #interactive #query #synthesis #using

Interactive Synthesis Using Free-Form Queries (TG, VK), pp. 689–692.

CSL-2015-MogaveroP #first-order #logic

Binding Forms in First-Order Logic (FM, GP), pp. 648–665.

LICS-2015-BallePP #approximate #automaton #canonical

A Canonical Form for Weighted Automata and Applications to Approximate Minimization (BB, PP, DP), pp. 701–712.

DocEng-2014-BarrusS #documentation

Image-based document management: aggregating collections of handwritten forms (JWB, ELS), pp. 117–120.

DocEng-2014-Lynch #evolution

The evolving scholarly record: new uses and new forms (CAL), pp. 1–2.

DRR-2014-KleberDS #classification #retrieval #using #word

Form classification and retrieval using bag of words with shape features of line structures (FK, MD, RS), pp. 902107–9.

DRR-2014-NagyL #distance #similarity

Form similarity via Levenshtein distance between ortho-filtered logarithmic ruling-gap ratios (GN, DPL), pp. 902106–8.

PODS-2014-AmelootKNZ #declarative #fine-grained #network

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture (TJA, BK, FN, DZ), pp. 64–75.

CIAA-2014-AmorimMR #canonical #finite #linear #transducer #using

Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.

CHI-2014-GilliotCR

Impact of form factors and input conditions on absolute indirect-touch pointing tasks (JG, GC, NR), pp. 723–732.

CHI-2014-SecklerHBOT #design #empirical #evaluation #guidelines #web

Designing usable web forms: empirical evaluation of web form improvement guidelines (MS, SH, JABA, KO, ANT), pp. 1275–1284.

DHM-2014-OtaWKTGH #comparison #process

Comparison of Different Tea Whisk Influence on Bubble Form in Processes of “The Way of Tea” (TO, ZW, SK, YT, AG, HH), pp. 197–203.

DUXU-DI-2014-Schranz #artificial reality #design #hybrid #physics

Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.

DUXU-TMT-2014-FaroughiM #design #idea #on the

On the Idea of Design: Analyzing the Ideal Form of Cars (AF, SM), pp. 64–73.

HCI-AIMT-2014-WuttkeM #adaptation #behaviour #communication

Natural Forms of Communication and Adaptive Behaviour in Human-Computer-Interaction (MW, KUM), pp. 641–647.

HIMI-DE-2014-JingLCYH #case study #design #framework #parametricity #representation

Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.

LCT-NLE-2014-IbanezN #analysis #architecture #interactive

An Interactive Installation for the Architectural Analysis of Space and Form in Historical Buildings (LAHI, VBN), pp. 43–52.

CAiSE-2014-MalhotraMNL #database #towards

Towards a Form Based Dynamic Database Schema Creation and Modification System (KM, SM, SBN, MDDL), pp. 595–609.

ICPR-2014-TegenWHOJMNA #image #segmentation #semantics #using

Image Segmentation and Labeling Using Free-Form Semantic Annotation (AT, RW, LH, MO, FJ, DM, PN, KÅ), pp. 2281–2286.

ICSE-2014-XiaoCK #architecture #design

Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.

CC-2014-Dinechin #code generation #using

Using the SSA-Form in a Code Generator (BDdD), pp. 1–17.

CC-2014-SurendranBZS #array #using

Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.

CGO-2014-DingEO #architecture #compilation #congruence

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes (SD, JE, SÖ), p. 196.

DATE-2013-MishchenkoEBCCS

A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.

DRR-2013-DelayeL #documentation #modelling #online

Context modeling for text/non-text separation in free-form online handwritten documents (AD, CLL).

HT-2013-ZhangZLM #collaboration #framework #matrix

A general collaborative filtering framework based on matrix bordered block diagonal forms (YZ, MZ, YL, SM), pp. 219–224.

STOC-2013-BabaiW #canonical #design

Quasipolynomial-time canonical form for steiner designs (LB, JW), pp. 261–270.

GT-VMT-2013-MantzTL #co-evolution #migration

Well-formed Model Co-evolution with Customizable Model Migration (FM, GT, YL).

CHI-2013-ONeillRGM #crowdsourcing #outsourcing #question

Form digitization in BPO: from outsourcing to crowdsourcing? (JO, SR, AG, DBM), pp. 197–206.

CSCW-2013-LeeT #matter

Form factor matters (JSL, DGT), pp. 1481–1486.

HCI-UC-2013-Kampf #configuration management #design #mobile #online

Reconfiguring the Corporate and Commons: Mobile and Online Activism as a Form of Socio-technical Design (CK), pp. 388–395.

HIMI-LCCB-2013-Tanaka-YamawakiI #prototype

Finding a Prototype Form of Sustainable Strategies for the Iterated Prisoners Dilemma (MTY, RI), pp. 616–624.

SIGIR-2013-ZhangZLM #collaboration #matrix

Improve collaborative filtering through bordered block diagonal form matrices (YZ, MZ, YL, SM), pp. 313–322.

ECOOP-2013-LernerELK #source code #static typing

Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.

CC-2013-BraunBHLMZ #performance

Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.

CADE-2013-AzmyW #normalisation

Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.

CADE-2013-BlanchetteP #first-order #morphism #named #polymorphism

TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism (JCB, AP), pp. 414–420.

LICS-2013-HeimbergKS #bound #normalisation

An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LH, DK, NS), pp. 63–72.

CBSE-2012-KarolBA #attribute grammar #composition #towards

Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.

DRR-2012-Bianne-BernardMLMK #modelling #recognition #word

Variable length and context-dependent HMM letter form models for Arabic handwritten word recognition (ALBB, FM, LLS, CM, CK).

ITiCSE-2012-MehtaKP #algorithm #learning #network

Forming project groups while learning about matching and network flows in algorithms (DPM, TMK, IP), pp. 40–45.

CSMR-2012-HottaHK #dependence #graph #identification #refactoring

Identifying, Tailoring, and Suggesting Form Template Method Refactoring Opportunities with Program Dependence Graph (KH, YH, SK), pp. 53–62.

ICPC-2012-HottaHIK #named #refactoring

CRat: A refactoring support tool for Form Template Method (KH, YH, HI, SK), pp. 250–252.

FLOPS-2012-BiernackiL #bisimulation #normalisation

Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.

LATA-2012-Genova #normalisation #set

Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems (DG), pp. 289–300.

CHI-2012-Feinberg #design #experience #information retrieval

Writing the experience of information retrieval: digital collection design as a form of dialogue (MF), pp. 357–366.

CHI-2012-OdomZFCMP #behaviour

Investigating the presence, form and behavior of virtual possessions in the context of a teen bedroom (WO, JZ, JF, HC, SM, AP), pp. 327–336.

CSCW-2012-LeeTPC #challenge #communication #design

Loosely formed patient care teams: communication challenges and technology design (SL, CT, SYP, YC), pp. 867–876.

CIKM-2012-AnHS #learning #ontology #web

Learning to discover complex mappings from web forms to ontologies (YA, XH, IYS), pp. 1253–1262.

ICML-2012-LanctotGBB #game studies #learning

No-Regret Learning in Extensive-Form Games with Imperfect Recall (ML, RGG, NB, MB), p. 135.

ICPR-2012-CaoSPCPN

Extracting information from handwritten content in census forms (HC, KS, XP, JC, RP, PN), pp. 306–309.

ICPR-2012-Nielsen #statistics

Closed-form information-theoretic divergences for statistical mixtures (FN), pp. 1723–1726.

MLDM-2012-KhanCDE #3d #case study #correlation #incremental #symmetry

Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.

SAC-2012-KokaANSY #graph #grid

Row manipulation in the heterogeneous tabular forms with a hexadecimal grid graph model (SK, KA, KN, YS, TY), pp. 792–793.

SAC-2012-LaineSV

Extending XForms with server-side functionality (ML, DS, PV), pp. 688–695.

CASE-2011-HaoD #incremental #optimisation #using

Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.

DAC-2011-FuketaIYTNSS #logic

A closed-form expression for estimating minimum operating voltage (VDDmin) of CMOS logic gates (HF, SI, TY, MT, MN, HS, TS), pp. 984–989.

DocEng-2011-Warnock #documentation #evolution

The evolving form of documents (JEW), pp. 1–2.

ICDAR-2011-EmilieBA #constraints #network #physics #recognition #semantics

Use of Semantic and Physical Constraints in Bayesian Networks for Form Recognition (EP, YB, AB), pp. 946–950.

ICDAR-2011-HirayamaSTN #development #recognition

Development of Template-Free Form Recognition System (JH, HS, TT, TN), pp. 237–241.

ICDAR-2011-SmithGSL #evaluation

Evaluation of Voting with Form Dropout Techniques for Ballot Vote Counting (EHBS, SG, RS, DPL), pp. 473–477.

ICDAR-2011-TanakaTH #documentation #optimisation #robust

Robust Cell Extraction Method for Form Documents Based on Intersection Searching and Global Optimization (HT, HT, YH), pp. 354–358.

VLDB-2011-RameshSJ #keyword

Keyword Search on Form Results (AR, SS, PJ), pp. 1189–1200.

WCRE-2011-YingM #refactoring

Refactoring Traditional Forms into Ajax-enabled Forms (MY, JM), pp. 367–371.

DLT-J-2010-FrieseSM11 #bottom-up #normalisation #transducer

Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.

CIAA-2011-BechetDF #strict

Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (DB, AJD, AF), pp. 42–52.

CIAA-2011-Gawrychowski #normalisation

Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.

CIAA-2011-HanK #automaton

A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule (YSH, SKK), pp. 154–165.

LATA-2011-JansenHKN #normalisation

A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.

CHI-2011-WoelferIHFG #mobile #people #safety

Improving the safety of homeless young people with mobile phones: values, form and function (JPW, AI, DGH, BF, BTG), pp. 1707–1716.

CSCW-2011-AspinR #3d #approach #gpu #multi

A GPU based, projective multi-texturing approach to reconstructing the 3D human form for application in tele-presence (RAA, DJR), pp. 105–112.

HCD-2011-KimKK #people

The Impact of Robots Language Form on People’s Perception of Robots (YK, SSK, MK), pp. 253–261.

IDGD-2011-ZhangFZ #feedback #visual notation

Effects of Different Visual Feedback Forms on Eye Cursor’s Stabilities (XZ, WF, HZ), pp. 273–282.

CIKM-2011-KrulisLBSS #architecture #distance #gpu #manycore #polynomial

Processing the signature quadratic form distance on many-core GPU architectures (MK, JL, CB, TS, TS), pp. 2373–2376.

CIKM-2011-LiuNSC #classification #comprehension #query #transaction

Unsupervised transactional query classification based on webpage form understanding (YL, XN, JTS, ZC), pp. 57–66.

ECIR-2011-Tjin-Kam-JetTH #web

Free-Text Search versus Complex Web Forms (KTKJ, DT, DH), pp. 670–674.

KEOD-2011-TripodiD #logic

Linguistically based Qa by Dynamic Lod Access from Logical Forms (RT, RD), pp. 5–14.

PADL-2011-Hinrichs #compilation #interactive #named #web

Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.

CC-2011-RimsadP #analysis #source code

Tainted Flow Analysis on e-SSA-Form Programs (AR, Md, FMQP), pp. 124–143.

SAT-2011-BuningZB #normalisation #quantifier

Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.

SAT-2011-KullmannZ #normalisation #on the

On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.

SAT-2011-MundhenkZ #equivalence #how #normalisation

How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.

DAC-2010-JoshiSTASB #modelling

Closed-form modeling of layout-dependent mechanical stress (VJ, VS, AT, KA, DS, DB), pp. 673–678.

DocEng-2010-DenoueACCC #interactive #named

FormCracker: interactive web-based form filling (LD, JA, SC, PC, FC), pp. 235–238.

SIGMOD-2010-BarbosaNNPF #repository #web

Creating and exploring web form repositories (LB, HN, THN, RP, JF), pp. 1175–1178.

VLDB-2010-WuLLZ #named

Seaform: Search-As-You-Type in Forms (HW, GL, CL, LZ), pp. 1565–1568.

VLDB-2011-TodaCSM10 #approach #automation #interface #probability #web

A Probabilistic Approach for Automatically Filling Form-Based Web Interfaces (GAT, EC, ASdS, ESdM), pp. 151–160.

PASTE-2010-CalmanZ #analysis #induction #information retrieval #interprocedural

Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.

CSCW-2010-AntinC #wiki

Readers are not free-riders: reading as a form of participation on wikipedia (JA, CC), pp. 127–130.

CIKM-2010-AnagnostopoulosBCGL #community #scalability

Power in unity: forming teams in large-scale community systems (AA, LB, CC, AG, SL), pp. 599–608.

CIKM-2010-NguyenNF #approach #named #web

PruSM: a prudent schema matching approach for web forms (THN, HN, JF), pp. 1385–1388.

ICPR-2010-PhilippotBB #algorithm #classification #learning #network #online

Bayesian Networks Learning Algorithms for Online Form Classification (EP, YB, AB), pp. 1981–1984.

SIGIR-2010-CaiZDC #algorithm #similarity

Closed form solution of similarity algorithms (YC, MZ, CHQD, SC), pp. 709–710.

CC-2010-RoyS #optimisation

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.

CGO-2010-WimmerF #linear

Linear scan register allocation on SSA form (CW, MF), pp. 170–179.

CSL-2010-BarthwalN #context-free grammar #formal method #normalisation

A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 (AB, MN), pp. 95–109.

RTA-2010-EndrullisGHKO #normalisation #orthogonal

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.

RTA-2010-KollerT #normalisation

Underspecified computation of normal forms (AK, ST), pp. 177–192.

HT-2009-VitaliIB

New forms of Xanalogical storage and function (FV, ADI, JB), pp. 389–390.

ICDAR-2009-ArlandisPU #identification

Identification of Very Similar Filled-in Forms with a Reject Option (JA, JCPC, EU), pp. 246–250.

ICDAR-2009-NavonBO #approach #scalability

A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.

ICDAR-2009-SharmaL #bound

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

SIGMOD-2009-ChuBCDN #ad hoc #database #keyword #query

Combining keyword search and forms for ad hoc querying of databases (EC, AB, XC, AD, JFN), pp. 349–360.

SIGMOD-2009-MaitiDZD #interface #named #web

HDSampler: revealing data behind web form interfaces (AM, AD, NZ, GD), pp. 1131–1134.

FASE-2009-ChatterjeeJS #java #named #query #using

SNIFF: A Search Engine for Java Using Free-Form Queries (SC, SJ, KS), pp. 385–400.

CIAA-2009-VuilleminG #automaton #normalisation #regular expression

Compact Normal Form for Regular Languages as Xor Automata (JV, NG), pp. 24–33.

CHI-2009-Guiard #consistency #design #distance #problem

The problem of consistency in the design of Fitts’ law experiments: consider either target distance and width or movement form and scale (YG), pp. 1809–1818.

CHI-2009-ZimmermanRHTM #communication #effectiveness

User-created forms as an effective method of human-agent communication (JZ, KR, IH, AT, KM), pp. 1869–1878.

HCI-NT-2009-Trujillo

Paper to Electronic Questionnaires: Effects on Structured Questionnaire Forms (AT), pp. 362–371.

HIMI-II-2009-LevaKCLKSM #performance #safety

Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System (MCL, AMK, JC, GL, SK, DS, NM), pp. 806–815.

ICEIS-HCI-2009-TroianoBAC #algorithm #layout #mobile #optimisation #search-based #web

Web Form Page in Mobile Devices — Optimization of Layout with a Simple Genetic Algorithm (LT, CB, RA, GC), pp. 118–123.

KDD-2009-OzonatY #classification #multi #statistics #towards #web

Towards a universal marketplace over the web: statistical multi-label classification of service provider forms with simulated annealing (KMO, DY), pp. 1295–1304.

CC-2009-BraunH #source code

Register Spilling and Live-Range Splitting for SSA-Form Programs (MB, SH), pp. 174–189.

ISMM-2009-NaeemL #alias #analysis #performance #set #using

Efficient alias set analysis using SSA form (NAN, OL), pp. 79–88.

SAT-2009-Traxler #normalisation

Variable Influences in Conjunctive Normal Forms (PT), pp. 101–113.

TLCA-2009-HerbelinZ #call-by #deduction #λ-calculus

An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (HH, SZ), pp. 142–156.

CASE-2008-HouZWCT #adaptation #approach #fuzzy #nondeterminism #using

Adaptive dynamic surface control of a class of uncertain nonlinear systems in pure-feedback form using fuzzy backstepping approach (ZGH, AMZ, FXW, LC, MT), pp. 821–826.

DRR-2008-ReddyG #classification

Form classification (KVUR, VG), p. 68150.

VLDB-2008-JayapandianJ #automation #database #interface #query

Automated creation of a forms-based database query interface (MJ, HVJ), pp. 695–709.

VLDB-2008-NguyenNF #learning

Learning to extract form labels (HN, THN, JF), pp. 684–694.

MSR-2008-HerraizGGR #debugging #eclipse #towards

Towards a simplification of the bug report form in eclipse (IH, DMG, JMGB, GR), pp. 145–148.

ICALP-A-2008-FrandsenS #normalisation #polynomial

Dynamic Normal Forms and Dynamic Characteristic Polynomial (GSF, PS), pp. 434–446.

SEFM-2008-Spoto #analysis

Nullness Analysis in Boolean Form (FS), pp. 21–30.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.

ICEIS-HCI-2008-LevisHB #empirical #validation

Form Input Validation — An Empirical Study on Irish Corporate Websites (ML, MH, MB), pp. 148–153.

ICEIS-J-2008-KangasharjuK08a #mobile

Binary Serialization for Mobile XForms Services (JK, OK), pp. 241–252.

ICEIS-SAIC-2008-KangasharjuK #data transfer #mobile #using #xml

Using Bit-Efficient XML to Optimize Data Transfer of XForms-Based Mobile Services (JK, OK), pp. 5–11.

ICML-2008-RishGCPG #linear #modelling #reduction

Closed-form supervised dimensionality reduction with generalized linear models (IR, GG, GAC, FP, GJG), pp. 832–839.

ICPR-2008-KinoshenkoMY #distance #image #matrix #retrieval

Block-diagonal form of distance matrix for region-based image retrieval (DK, VM, EY), pp. 1–4.

CGO-2008-BoissinotHGDR #liveness #performance #source code

Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.

HPDC-2008-GuptaBG #framework #grid #ontology #query

Ontological framework for a free-form query based grid search engine (CG, RB, MG), pp. 205–208.

LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism

Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.

CASE-2007-CheongS #independence

Computing All Independent Form-Closure Grasp Regions of a Rectilinear Polyhedron (JSC, AFvdS), pp. 288–294.

DAC-2007-AgostaBPS #approach #canonical

A Unified Approach to Canonical Form-based Boolean Matching (GA, FB, GP, DS), pp. 841–846.

ICDAR-2007-CaoG #modelling #retrieval

Vector Model Based Indexing and Retrieval of Handwritten Medical Forms (HC, VG), pp. 88–92.

ICDAR-2007-MinagawaFTF #analysis #image #layout #logic

Logical Structure Analysis for Form Images with Arbitrary Layout by Belief Propagation (AM, YF, HT, KF), pp. 714–718.

ICDAR-2007-RosmanTT #motivation

A New Physically Motivated Warping Model for Form Drop-Out (GR, AT, DT), pp. 774–778.

SCAM-2007-JuilleratH #implementation #refactoring #towards

Toward an Implementation of the “Form Template Method” Refactoring (NJ, BH), pp. 81–90.

WCRE-2007-StaigerVKW #interprocedural

Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.

DHM-2007-NiuLS #3d #analysis #bibliography #comparison #perspective

Mathematical Methods for Shape Analysis and form Comparison in 3D Anthropometry: A Literature Review (JN, ZL, GS), pp. 161–170.

HCI-IDU-2007-YangLZ #case study #representation

A Study on the Form of Representation of the User’s Mental Model-Oriented Ancient Map of China (RY, DL, WZ), pp. 1001–1010.

HIMI-MTT-2007-DingL #automation #interactive #modelling #research

Research of Model-Driven Interactive Automatic / Semi-automatic Form Building (XD, XL), pp. 613–622.

ICEIS-SAIC-2007-Trzcielinski #enterprise

Forms of Enterprise’s Agility (ST), pp. 397–406.

SIGIR-2007-Kettunen #generative #information retrieval #keyword #word

Management of keyword variation with frequency based generation of word forms in IR (KK), pp. 691–692.

LOPSTR-2007-DegraveV #normalisation #source code #towards

Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.

RE-2007-MaidenNKSG #requirements

Exploring Scenario Forms and Ways of Use to Discover Requirements on Airports that Minimize Environmental Impact (NAMM, CN, SK, NS, PG), pp. 29–38.

SAC-2007-NevesCFB

A table-form extraction with artefact removal (LAPN, JMdC, JF, FB), pp. 622–626.

LCTES-2007-BouchezDR #complexity #on the

On the complexity of spill everywhere under SSA form (FB, AD, FR), pp. 103–112.

CSL-2007-LassenL #bisimulation #normalisation

Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.

LICS-2007-BonsangueK #logic #π-calculus

π-Calculus in Logical Form (MMB, AK), pp. 303–312.

ASE-2006-HalfondO #database #testing

Command-Form Coverage for Testing Database Applications (WGJH, AO), pp. 69–80.

DATE-2006-McConaghyG #canonical #modelling #performance

Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.

SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing

A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.

FLOPS-2006-PlasmeijerA #programming #web

iData for the World Wide Web — Programming Interconnected Web Forms (RP, PA), pp. 242–258.

CSCW-2006-Danis #collaboration #learning #performance

Forms of collaboration in high performance computing: exploring implications for learning (CD), pp. 501–504.

ICPR-v1-2006-ChavarriaS #3d #estimation #representation

Local Representation of 3D Free-Form Contours for Pose Estimation (MAC, GS), pp. 751–754.

ICPR-v1-2006-GayuboGFMP #detection #fault #online #process

On-line machine vision system for detect split defects in sheet-metal forming processes (FG, JLG, EdlFL, FMT, JRP), pp. 723–726.

ICPR-v1-2006-QiuGDC #image #optimisation #using

Tone Mapping for HDR Image using Optimization A New Closed Form Solution (GQ, JG, JD, MC), pp. 996–999.

ICPR-v2-2006-BoccignoneMN

Inference of moving forms via Belief Propagation (GB, AM, PN), pp. 191–194.

ICPR-v4-2006-FeiLWL #image

Discontinuity-Based Simplification of Free Form Surface From a Range Image (GF, YL, BW, LL), pp. 13–16.

ICPR-v4-2006-SunYMW #energy #segmentation

Better Foreground Segmentation for Static Cameras via New Energy Form and Dynamic Graph-cut (YS, BY, ZM, CW), pp. 49–52.

PPDP-2006-GnaedigK #source code

Computing constructor forms with non terminating rewrite programs (IG, HK), pp. 121–132.

SPLC-2006-KolbM #architecture #product line #quality

Architecture-Centric Quality Engineering form Software Product Lines (RK, DM), p. 226.

CC-2006-HackGG #source code

Register Allocation for Programs in SSA-Form (SH, DG, GG), pp. 247–262.

LICS-2006-Lassen #bisimulation #normalisation #λ-calculus #μ-calculus

Head Normal Form Bisimulation for Pairs and the λμ-Calculus (SBL), pp. 297–306.

SAT-2006-KullmannLM #agile #categorisation #kernel #normalisation #satisfiability

Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel (OK, IL, JMS), pp. 22–35.

VMCAI-2006-BozzelliTP #communication #recursion #state machine #verification

Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.

DAC-2005-AbdollahiP #canonical #logic #performance #synthesis #verification

A new canonical form for fast boolean matching in logic synthesis and verification (AA, MP), pp. 379–384.

DATE-2005-McConaghyEG #canonical #generative #named #programming #search-based

CAFFEINE: Template-Free Symbolic Model Generation of Analog Circuits via Canonical Form Functions and Genetic Programming (TM, TE, GGEG), pp. 1082–1087.

DocEng-2005-KuoSTH #generative #user interface #xml

Generating form-based user interfaces for XML vocabularies (YSK, NCS, LT, HCH), pp. 58–60.

DRR-2005-LiuD #automation #clustering #image

Automatic style clustering of printed characters in form images (CL, XD), pp. 175–182.

ICDAR-2005-MandalCDC #automation #identification #segmentation

A Hierarchical Method for Automated Identification and Segmentation of Forms (SM, SPC, AKD, BC), pp. 705–709.

ICDAR-2005-MilewskiSG #reduction

A Lexicon Reduction Strategy in the Context of Handwritten Medical Forms (RM, SS, VG), pp. 1146–1150.

ICDAR-2005-Narayanaswami #mobile

Form Factors for Mobile Computing and Device Symbiosis (CN), p. 335.

ICDAR-2005-NwoguK #word

Word Separation of Unconstrained Handwritten Text Lines in PCR Forms (IN, GK), pp. 715–719.

ICDAR-2005-ShimaOY

A Form Dropout Method based on Line-elimination and Image-subtraction (YS, HO, MY), pp. 126–130.

ICDAR-2005-TuganbaevPD

Universal Data Capture Technology from Semi-structured Form (DT, AP, DD), pp. 458–462.

VLDB-2005-ZhangHC #database #on the fly #query #web

Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.

ITiCSE-2005-Clark #self

Hacking as a form of “self-improvement” (EC), p. 397.

IWPC-2005-MurrayL #comprehension

Presenting Micro-Theories of Program Comprehension in Pattern Form (AM, TCL), pp. 45–54.

SCAM-2005-BinkleyDGHKK #slicing

Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.

STOC-2005-AlonMMN #graph #polynomial

Quadratic forms on graphs (NA, KM, YM, AN), pp. 486–493.

CIAA-2005-BastienCFR #equivalence #normalisation

Prime Normal Form and Equivalence of Simple Grammars (CB, JC, WF, WR), pp. 78–89.

CHI-2005-XieLGM #image #learning

Learning user interest for image browsing on small-form-factor devices (XX, HL, SG, WYM), pp. 671–680.

ICML-2005-GeurtsW #modelling

Closed-form dual perturb and combine for tree-based models (PG, LW), pp. 233–240.

SAC-2005-BeszteriV #adaptation #documentation #editing

An XForms based solution for adaptable documents editing (IB, PV), pp. 769–775.

SAC-2005-HeI #distributed #resource management #self

Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids (LH, TRI), pp. 84–91.

GTTSE-2005-AndradeGAEK #dot-net #migration #named

Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.

GTTSE-2005-HuYT #optimisation

Program Optimizations and Transformations in Calculation Form (ZH, TY, MT), pp. 144–168.

COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.

COCV-J-2005-GalPF05a #encoding

Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.

SAT-J-2004-JacksonS05

Clause Form Conversions for Boolean Circuits (PJ, DS), pp. 183–198.

LICS-2005-Lassen #bisimulation #normalisation

Eager Normal Form Bisimulation (SL), pp. 345–354.

DAC-2004-TanjiA #analysis #distributed

Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects (YT, HA), pp. 810–813.

DRR-2004-PengHL #automation #clustering #component #image

Automatic content extraction of filled-form images based on clustering component block projection vectors (HP, XH, FL), pp. 204–214.

DRR-2004-SeniRM #online #recognition

Online handwriting recognition in a form-filling task: evaluating the impact of context awareness (GS, KR, EM), pp. 109–115.

WCRE-2004-DraheimLW #generative #modelling #web

Generator Code Opaque Recovery of Form-Oriented Web Site Models (DD, CL, GW), pp. 302–303.

SAS-2004-AmtoftB #analysis #data flow #logic

Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.

ICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion

Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.

IFL-2004-EversAK #functional #programming #user interface #visual notation

A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.

ICEIS-v2-2004-KooptiwootS #mining #set #using

Mining the Relationships in the Form of the Predisposing Factors and Coincident Factors Among Numerical Dynamic Attributes in Time Series Data Set by Using the Combination of Some Existing Techniques (SK, MAS), pp. 327–334.

ICEIS-v2-2004-KooptiwootS04a #idea #mining #set #using

Mining the Relationships in the Form of Predisposing Factor and Coincident Factor in Time Series Data Set by Using the Combination of some Existing Ideas with a new Idea from the Fact in the Chemical Reaction (SK, MAS), pp. 531–534.

ICPR-v2-2004-AmanoAM #generative #recognition

Modification Table Form Generation System based on the Form Recognition (AA, NA, MM), pp. 659–662.

ICPR-v2-2004-LiuLW #using

Free Form Shape Matching Using Deterministic Annealing and Softassign (YL, LL, YW), pp. 128–131.

ICPR-v2-2004-OhteraH #identification #using

Faxed Form Identification using Histogram of the Hough-Space (RO, TH), pp. 566–569.

ICPR-v2-2004-TakiS #3d #re-engineering #symmetry

3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.

ICPR-v3-2004-ChenB #3d #image #recognition #using

3D Free-Form Object Recognition in Range Images Using Local Surface Patches (HC, BB), pp. 136–139.

ICPR-v3-2004-MizoguchiTSKN #array #visual notation

Visually Steerable Sound Beam Forming System based on Face Tracking and Speaker Array (HM, YT, KS, SK, KN), pp. 977–980.

ICPR-v4-2004-IkeuchiNHO #representation

Representing Cultural Heritage in Digital Forms for VR Systems through Computer Vision Techniques (KI, AN, KH, TO), pp. 1–6.

SIGIR-2004-SandersonJ

Forming test collections with no system pooling (MS, HJ), pp. 33–40.

ICSE-2004-Matinlassi #architecture #comparison #design #performance #product line

Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA (MM), pp. 127–136.

DocEng-2003-ZhuN #encoding

Information encoding into and decoding from dot texture for active forms (BZ, MN), pp. 105–114.

DRR-2003-OgataWIYFSF #identification #implementation

Form-type identification for banking applications and its implementation issues (HO, SW, AI, TY, NF, HS, HF), pp. 208–218.

HT-2003-MillardDWAB #exclamation #hypermedia

AHA! meets Auld Linky: integrating designed and free-form hypertext systems (DEM, HCD, MJW, KA, PDB), pp. 161–169.

ICDAR-2003-AmanoA #analysis #documentation #grammarware #graph grammar

Graph Grammar Based Analysis System of Complex Table Form Document (AA, NA), pp. 916–920.

ICDAR-2003-NielsonB #recognition

Consensus-Based Table Form Recognition (HEN, WAB), pp. 906–910.

ICDAR-2003-SakoSFII #identification #recognition

Form Reading based on Form-type Identification and Form-data Recognition (HS, MS, NF, HI, AI), p. 926–?.

ICDAR-2003-ShimamuraZMOSNK #prototype

A Prototype of an Active Form System (TS, BZ, AM, MO, TS, MN, YK), pp. 921–925.

ICDAR-2003-XiL #documentation

Reference Line Extraction from Form Documents with Complicated Backgrounds (DX, SWL), p. 1080–?.

PODS-2003-ArenasL #approach #normalisation #relational #xml

An information-theoretic approach to normal forms for relational and XML data (MA, LL), pp. 15–26.

ICFP-2003-BeffaraD #exception #normalisation

Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.

ICEIS-v4-2003-HampelB #documentation #web

Combining Web Based Document Management and Event-Based Systems — Integrating MUDS and MOOS Together with DMS to Form a Cooperative Knowledge Space (TH, TB), pp. 218–223.

SEKE-2003-TongrungrojanaL #modelling #web

WebML+: a Web modeling language for forming a bridge between business modeling and information modeling (RT, DBL), pp. 17–24.

CC-2003-Danvy #monad #normalisation

A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.

CADE-2003-GanzingerS #equivalence #normalisation #reasoning

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.

DATE-2002-ChenM #design #metric #physics

Closed-Form Crosstalk Noise Metrics for Physical Design Applications (LHC, MMS), pp. 812–819.

PODS-2002-ArenasL #documentation #normalisation #xml

A Normal Form for XML Documents (MA, LL), pp. 85–96.

CIAA-2002-CaronF #normalisation

Star Normal Form, Rational Expressions, and Glushkov WFAs Properties (PC, MF), pp. 248–254.

ICPR-v2-2002-AbabsaRMD #2d #3d #automation

2D/3D Automatic Matching Technique for 3D Recovering of Free Form Objects (FA, DR, MM, JYD), pp. 430–433.

ICPR-v3-2002-BoyerSF #for free #multi #recognition

Multiscale Surface Organization and Description for Free Form bject Recognition (KLB, RS, PJF), pp. 569–572.

ICPR-v3-2002-CampbellF #recognition #using

Recognition of Free-Form Objects in Dense Range Data Using Local Features (RJC, PJF), pp. 607–610.

SIGIR-2002-MayfieldM #online

Converting on-line bilingual dictionaries from human-readable to machine-readable form (JM, PM), pp. 405–406.

PADL-2002-Thiemann #composition #named #web

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms (PT), pp. 192–208.

CC-2002-MossenbockP #constraints #linear

Linear Scan Register Allocation in the Context of SSA Form and Register Constraints (HM, MP), pp. 229–246.

CSL-2002-BaazM #on the

On Generalizations of Semi-terms of Particularly Simple Form (MB, GM), pp. 382–396.

CSL-2002-EsikL #algebra #normalisation

Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.

CSL-2002-Nivelle #normalisation #proving

Extraction of Proofs from the Clausal Normal Form Transformation (HdN), pp. 584–598.

SAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #standard #towards #using

Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.

ICDAR-2001-AmanoAMSS #analysis #documentation #grammarware #synthesis

Table Form Document Synthesis by Grammar-Based Structure Analysis (AA, NA, TM, TS, KS), pp. 533–539.

ICDAR-2001-BelaidBVK #adaptation #segmentation

Adaptive Technology for Mail-Order Form Segmentation (AB, YB, LNV, SK), pp. 689–693.

ICDAR-2001-CouasnonP #documentation #evaluation #recognition

A Real-World Evaluation of a Generic Document Recognition Method Applied to a Military Form of the 19th Century (BC, LP), pp. 779–783.

ICDAR-2001-FanCW #documentation #identification #using

Form Document Identification Using Line Structure Based Features (KCF, MLC, YKW), pp. 704–708.

ICDAR-2001-HiranoOY

Field Extraction Method from Existing Forms Transmitted by Facsimile (TH, YO, FY), pp. 738–742.

ICDAR-2001-ShinjoHMSS #analysis #recognition #recursion

A Recursive Analysis for Form Cell Recognition (HS, EH, KM, YS, HS), pp. 694–698.

ICDAR-2001-WongSA #recognition

Contextual Focus for Improved Recognition of Hand-Filled Forms (WSW, NS, TA), pp. 748–752.

ICDAR-2001-WongSA01a #analysis #layout

Use of Colour in Form Layout Analysis (WSW, NS, TA), pp. 942–946.

ICDAR-2001-ZhengLDP #detection

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

VLDB-2001-LuoN #web

Form-Based Proxy Caching for Database-Backed Web Sites (QL, JFN), pp. 191–200.

ITiCSE-2001-Rutherfoord #re-engineering #using

Using personality inventories to help form teams for software engineering class projects (RHR), pp. 73–76.

ICSM-2001-SouderMS #framework #named

Form: A Framework for Creating Views of Program Executions (TSS, SM, MS), p. 612–?.

PLDI-2001-AmmeDFR #named #representation #type safety

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.

AdaEurope-2001-Alves #ada #web #xml

Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.

ICEIS-v2-2001-HelmT #approach

An Approach for Totally Dynamic Forms Processing in Web-Based Applications (DJH, BWT), pp. 974–977.

LSO-2001-Trittmann #development

The Organic and the Mechanistic Form of Managing Knowledge in Software Development (RT), pp. 22–36.

SEKE-2001-Kla #object-oriented #specification

Semiautomatic extraction of Object-Oriented specifications form textual scenarios (RK), pp. 69–78.

RTA-2001-Woinowski #normalisation

A Normal Form for Church-Rosser Language Systems (JRW), pp. 322–337.

WRLA-2000-NakamuraO #evaluation #normalisation #on-demand

The evaluation strategy for head normal form with and without on-demand flags (MN, KO), pp. 212–228.

WLC-2000-Auinger #pseudo

Join Decompositions of Pseudovarieties of the Form DH ECom (KA), pp. 40–50.

ICPR-v1-2000-ClavierTLDL #classification #sorting

Classifiers Combination for Forms Sorting (EC, ÉT, ML, SD, JL), pp. 1932–1935.

ICPR-v1-2000-GrossmannV #re-engineering

A Closed-Form Solution for Paraperspective Reconstruction (EG, JSV), pp. 1864–1867.

ICPR-v1-2000-LiuRC #geometry #using

Using Geometric Properties of Correspondence Vectors for the Registration of Free-Form Shapes (YL, MAR, DC), pp. 5011–5014.

SAC-2000-ByunL #classification #using

Form Classification Using DP Matching (YB, YL), pp. 1–4.

CC-2000-AycockH #generative

Simple Generation of Static Single-Assignment Form (JA, RNH), pp. 110–124.

LCTES-2000-CintraA #array #using

Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.

RTA-2000-DoughertyG #normalisation #reduction

Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.

ICDAR-1999-AtalayA #documentation

An SGML based Viewer for Form Documents (VA, EA), pp. 201–204.

ICDAR-1999-Hirayama #framework #using

A Framework for Forms Processing using Enhanced-Line-Shared-Adjacent Format (YH), pp. 103–106.

ICDAR-1999-XingyuanGDO #analysis #robust

A Robust Method for Unknown Forms Analysis (XL, WG, DSD, WGO), pp. 531–534.

PLDI-1999-LeungG

Static Single Assignment Form for machine Code (AL, LG), pp. 204–214.

SAS-1999-SreedharJGS

Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.

DLT-1999-Platek

Weak cyclic forms of rw-automata (MP), pp. 115–124.

HCI-CCAD-1999-KofoedHB #women

A training model for women — new opportunities with new technologies and new forms of work organisation (LBK, IH, DB), pp. 568–572.

HCI-EI-1999-BrandlK #adaptation #generative #named

FormGen: A Generator for Adaptive Forms Based on EasyGUI (AB, GK), pp. 1172–1176.

UML-1999-BunseA #modelling

The Normal Object Form: Bridging the Gap from Models to Code (CB, CA), pp. 691–705.

SAC-1999-OwensS #approach #database #design #distributed

Tool-Based Approach to Distributed Database Design: Includes Web-Based Forms Design for Access to Academic Affairs Data (DAO, FTS), pp. 227–231.

SOSP-1999-Wetherall #network

Active network vision and reality: lessions form a capsule-based system (DW), pp. 64–79.

RTA-1999-NieuwenhuisR #constraints #order

Solved Forms for Path Ordering Constraints (RN, JMR), pp. 1–15.

DATE-1998-HiguchiS #design

Innovative System-level Design Environment Based on FORM for Transport Processing System (KH, KS), pp. 883–890.

FoSSaCS-1998-BottreauM #graph #normalisation

Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.

PLDI-1998-HastiH #analysis #pointer #using

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.

PLDI-1998-SastryJ #algorithm

A New Algorithm for Scalar Register Promotion based on SSA Form (AVSS, RDCJ), pp. 15–25.

SAS-1998-SarkarK #array #constant

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.

WIA-1998-AlbertGW #algorithm #context-free grammar #normalisation

Extended Context-Free Grammars and Normal Form Algorithms (JA, DG, DW), pp. 1–12.

ICFP-1998-Kiselyov

LAND*: an AND with local bindings, a guarded LET* special form (OK), p. 336.

CHI-1998-SchilitGP

Beyond Paper: Supporting Active Reading with Free Form Digital Ink Annotations (BNS, GG, MNP), pp. 249–256.

ICPR-1998-ChenL #algorithm #documentation #using

Field-data grouping for form document processing using a gravitation-based algorithm (JLC, HJL), pp. 1095–1097.

ICPR-1998-CracknellD #comprehension #documentation #image #using

Document image understanding of handwritten forms using rule-trees (CC, ACD), pp. 936–938.

ICPR-1998-DuyguluAD #algorithm #documentation #heuristic #representation

A heuristic algorithm for hierarchical representation of form documents (PD, VA, ED), pp. 929–931.

ICPR-1998-FanC #documentation #identification #using

Form document identification using line structure based features (KCF, MLC), pp. 1098–1100.

ICPR-1998-HerouxDRT #automation #classification #identification

Classification method study for automatic form class identification (PH, SD, AR, ÉT), pp. 926–928.

ICPR-1998-LiuJ #documentation #retrieval

Image-based form document retrieval (JL, AKJ), pp. 626–628.

ICPR-1998-RodriguezMNZMP #classification

A two-stage classifier for broken and blurred digits in forms (CR, JM, MN, AZ, JIM, JMP), pp. 1101–1105.

ICPR-1998-SchutzJH #3d #algorithm #for free #multi

Multi-feature matching algorithm for free-form 3D surface registration (CS, TJ, HH), pp. 982–984.

OOPSLA-1998-Simons #canonical

Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form (AJHS), pp. 65–83.

POPL-1998-HuTC #parallel

Parallelization in Calculational Forms (ZH, MT, WNC), pp. 316–328.

POPL-1998-KnobeS #array #parallel

Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.

ICSE-1998-RothermelLDB #source code #testing #visual notation #what

What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs (GR, LL, CD, MMB), pp. 198–207.

CADE-1998-HortonS #canonical #named #process #rank

Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.

CADE-1998-NonnengartRW #generative #normalisation #on the

On Generating Small Clause Normal Forms (AN, GR, CW), pp. 397–411.

CSL-1998-Barthe #normalisation #type system

Existence and Uniqueness of Normal Forms in Pure Type Systems with βη-Conversion (GB), pp. 241–259.

JICSLP-1998-AntoniouBM #logic #normalisation

Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.

LICS-1998-PavlovicE #calculus #induction

Calculus in Coinductive Form (DP, MHE), pp. 408–417.

RTA-1998-Genet #approximate #decidability #normalisation #set

Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.

HT-1997-Glazier #hypermedia #quote #web #word

“Our Words Were the Form We Entered”: A Model of World Wide Web Hypertext (LPG), pp. 24–28.

ICDAR-1997-AraiO #analysis

Form Processing based on Background Region Analysis (HA, KO), pp. 164–169.

ICDAR-1997-BohnackerSY #heuristic

Matching form lines based on a heuristic search (UB, JS, TY), p. 86–?.

ICDAR-1997-CracknellDD #approach #object-oriented

An Object-Oriented form Description Language and Approach to Handwritten Form Processing (CC, ACD, LD), p. 180–?.

ICDAR-1997-DianaTJLL

From Acquisition to Modelisation of a Form Base to Retrieve Information (SD, ÉT, FJ, YL, JL), pp. 762–765.

ICDAR-1997-SafariNSA #approach

Form Registration: A Computer Vision Approach (RS, NN, MS, MA), pp. 758–761.

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.

ICDAR-1997-TangL #documentation #information management

Information Acquisition and Storage of Forms in Document Processing (YYT, JL), pp. 170–174.

ICDAR-1997-TsengC #documentation #recognition

The Recognition of Form Documents Based on Three Types of Line Segments (LYT, RCC), pp. 71–75.

ICDAR-1997-WolfN #locality

Form--Based Localization of the Destination Address Block on Complex Envelopes (MW, HN), p. 908–?.

ICDAR-1997-YooKHK #documentation

Line Removal and Restoration of Handwritten Characters on the Form Documents (JYY, MKK, SYH, YBK), pp. 128–131.

ITiCSE-WGR-1997-TengstrandH #assessment #case study #communication

Forms of assessment that develop communication skills in computer science and mathematics — a case study (AT, MH), pp. 135–136.

WCRE-1997-Mfourga #approach #database #relational

Extracting Entity-Relationship Schemas from Relational Databases: A Form-Driven Approach (NM), pp. 184–193.

PLDI-1997-ChowCKLLT #algorithm

A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.

DLT-1997-Raeva #ambiguity #logic #semantics

Semantic Interpretation of Ambiguous Statements, Represented in a Logical Form (IR), pp. 529–537.

ICALP-1997-DiekertMM #equation #normalisation #using

Solving Trace Equations Using Lexicographical Normal Forms (VD, YM, AM), pp. 336–346.

WIA-1997-Miller #algorithm #context-free grammar #normalisation #towards

Towards a Meta-Normal Form Algorithm for Context-Free Grammars (CLM), pp. 133–143.

FME-1997-SilvaSB #clustering #hardware #normalisation #reduction

A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.

HCI-SEC-1997-Borron #programming

A New Form of Programming in the Light of Cognitive Dimensions (HJB), pp. 315–318.

HCI-SEC-1997-Kazemian #flexibility #network

Networking and Urban Forms in the Electronic Age-Towards Flexible Location Decisions in Stockholm (RK), pp. 605–608.

HCI-SEC-1997-NishimuraN #interface

Form Input System by Pen Interface (YN, MN), pp. 431–434.

ICML-1997-Domingos #information management #modelling #multi

Knowledge Acquisition form Examples Vis Multiple Models (PMD), pp. 98–106.

POPL-1997-Middeldorp #call-by

Call by Need Computations to Root-Stable Form (AM), pp. 94–105.

CADE-1997-CryanR #normalisation

Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.

LICS-1997-Libkin #finite #locality #modelling #on the

On the Forms of Locality over Finite Models (LL), pp. 204–215.

HT-1996-Tolva #word

Ut Pictura Hyperpoesis: Spatial Form, Visuality, and the Digital Word (JT), pp. 66–73.

CHI-1996-WeisbandK

Self Disclosure on Computer Forms: Meta-Analysis and Implications (SPW, SBK), pp. 3–10.

AKDDM-1996-ZembowiczZ #database

From Contingency Tables to Various Forms of Knowledge in Databases (RZ, JMZ), pp. 329–349.

ICPR-1996-BrunnstromS #algorithm #for free #search-based

Genetic algorithms for free-form surface matching (KB, AJS), pp. 689–693.

ICPR-1996-ChenL96c #novel #using

A novel form structure extraction method using strip projection (JLC, HJL), pp. 823–827.

ICPR-1996-DoraiJ #3d #recognition

Recognition of 3D free-form objects (CD, AKJ), pp. 697–701.

ICPR-1996-HanM

Reconstructing free-form surfaces from sparse data (SH, GGM), pp. 100–104.

ICPR-1996-Hirayama #image #using

Analyzing form images by using line-shared-adjacent cell relations (YH), pp. 768–772.

ICPR-1996-KrebsSK #3d #algorithm #fuzzy #recognition

A fuzzy ICP algorithm for 3D free-form object recognition (BK, PS, BK), pp. 539–543.

ICPR-1996-LorieRT #automation

A system for automated data entry from forms (RAL, VPR, TKT), pp. 686–690.

ICPR-1996-MaoAM #modelling

A model-based form processing sub-system (JM, MA, KMM), pp. 691–695.

ICPR-1996-OkadaS #analysis

A morphological subtraction scheme for form analysis (MO, MS), pp. 190–194.

ICPR-1996-ShimotsujiA #identification

Form identification based on cell structure (SS, MA), pp. 793–797.

ICPR-1996-TingL #classification #string #using

Business form classification using strings (AT, MKHL), pp. 690–694.

ICPR-1996-YuJ

A form dropout system (BY, AKJ), pp. 701–705.

KR-1996-Morgenstern #network #semantics

Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network (LM), pp. 268–279.

ALP-1996-ManoO #higher-order #normalisation #term rewriting

Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.

LOPSTR-1996-LauO #case study #logic #specification

Forms of Logic Specifications: A Preliminary Study (KKL, MO), pp. 295–312.

PLILP-1996-HuIT

Cheap Tupling in Calculational Form (ZH, HI, MT), pp. 471–472.

CC-1996-ChoiSS #incremental

Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.

CC-1996-ChowCLLS #alias #effectiveness #memory management #representation

Effective Representation of Aliases and Indirect Memory Operations in SSA Form (FCC, SC, SML, RL, MS), pp. 253–267.

CADE-1996-EglyR #normalisation #on the

On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.

LICS-1996-BethkeKV #algebra #combinator #normalisation

Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.

RTA-1996-JouannaudR #higher-order #normalisation #recursion

A Recursive Path Ordering for Higher-Order Terms in η-Long β-Normal Form (JPJ, AR), pp. 108–122.

ICDAR-v1-1995-CherietSS #documentation #formal method

A formal model for document processing of business forms (MC, JNS, CYS), pp. 210–213.

ICDAR-v1-1995-HoriD #analysis #reasoning #robust

Robust table-form structure analysis based on box-driven reasoning (OH, DSD), pp. 218–221.

ICDAR-v1-1995-Ishitani #comprehension #graph #image

Model matching based on association graph for form image understanding (YI), pp. 287–292.

ICDAR-v1-1995-MadhvanathGRLS

Reading handwritten US census forms (SM, VG, VR, DSL, SNS), pp. 82–85.

ICDAR-v1-1995-SrihariSRL

Name and Address Block Reader system for tax form processing (SNS, YCS, VR, DSL), pp. 5–10.

ICDAR-v1-1995-TingLHC #classification

A syntactic business form classifier (AT, MKHL, SCH, KYC), pp. 301–304.

ICDAR-v2-1995-CesariniGMS

A system for data extraction from forms of known class (FC, MG, SM, GS), pp. 1136–1140.

ICDAR-v2-1995-DowntonHA #programming #recognition #tool support #visual notation

A visual programming toolkit demonstrator for offline handwritten forms recognition (ACD, SJH, AA), pp. 707–710.

ICDAR-v2-1995-FanLW #approach #clustering #documentation #segmentation

A feature point clustering approach to the segmentation of form documents (KCF, JML, JYW), pp. 623–626.

ICDAR-v2-1995-LeedhamM #evaluation #interactive

Evaluation of an Interactive Tool for Handwritten Form Description (GL, DM), p. 706.

ICDAR-v2-1995-LiH #robust

A Robust Method of Extracting Rectangle Blocks for Form Reading (XL, JH), p. 760–?.

ICDAR-v2-1995-LiuDW #automation #recognition

Description and recognition of form and automated form data entry (JL, XD, YW), pp. 579–582.

ICDAR-v2-1995-WatanabeF #comprehension #documentation #framework #image #validation

A framework for validating recognized results in understanding table-form document images (TW, TF), pp. 536–539.

ICDAR-v2-1995-WorringBS #evaluation #interactive

Evaluation of an interactive tool for handwritten form description (MW, RvdB, AWMS), p. 1185–?.

ICDAR-v2-1995-YuanTS #graph

Four directional adjacency graphs (FDAG) and their application in locating fields in forms (JY, YYT, CYS), pp. 752–755.

STOC-1995-NisanW #complexity #memory management #on the

On the complexity of bilinear forms: dedicated to the memory of Jacques Morgenstern (NN, AW), pp. 723–732.

DLT-1995-TipleaE #normalisation #petri net

Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.

FPCA-1995-TakanoM #deforestation

Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.

POPL-1995-AltucherL #alias #analysis

An Extended Form of Must Alias Analysis for Dynamic Allocation (RA, WL), pp. 74–84.

SAC-1995-SaiedianW #automation

An operational model for intelligent forms in office automation (HS, KWW), pp. 415–419.

CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.

RTA-1995-Boulton #higher-order #semantics #strict

A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics (RJB), pp. 309–323.

DAC-1994-TsaiM #using

Boolean Matching Using Generalized Reed-Muller Forms (CCT, MMS), pp. 339–344.

ESOP-1994-BohmPG #normalisation

λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.

ESOP-1994-Milner #named #visual notation #π-calculus

Pi-Nets: A Graphical Form of π-Calculus (RM), pp. 26–42.

CHI-1994-SmetsOG94a #named

Form-giving: expressing the nonobvious (GS, KO, WWG), pp. 79–84.

CAiSE-1994-CauvetS #abstraction #concept #locality #modelling #object-oriented

Abstraction Forms in Object-Oriented Conceptual Modeling: Localization, Aggregation and Generalization Extensions (CC, FS), pp. 149–171.

SAC-1994-SaiedianM

A routing model for active form objects (HS, RAM), pp. 31–35.

LICS-1994-BaazFL #proving

A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.

ICDAR-1993-DoermannR #documentation

The processing of form documents (DSD, AR), pp. 497–501.

ICDAR-1993-FrankeO #classification #detection #statistics

Writing style detection by statistical combination of classifiers in form reader applications (JF, MFO), pp. 581–584.

ICDAR-1993-LamJS

Anatomy of a form reader (SWKL, LJ, SNS), pp. 506–509.

ICDAR-1993-MongerLD #documentation #image #interactive

An interactive document image description for OCR of handwritten forms (DM, GL, ACD), pp. 524–527.

ICDAR-1993-WatanabeKS #interface #retrieval #visual notation

Visual interface for retrieval of electronic-formed books (TW, YK, NS), pp. 692–695.

ICDAR-1993-WatanabeLS #comprehension #documentation #framework #information management #representation #towards

Toward a practical document understanding of table-form documents: its framework and knowledge representation (TW, QL, NS), pp. 510–515.

PODS-1993-Wong #normalisation #query

Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.

PLDI-1993-CytronG #alias #performance

Efficient Accomodation of May-Alias Information in SSA Form (RC, RG), pp. 36–45.

HCI-ACS-1993-WeberU #evaluation

Psychological Criteria for the Evaluation of Different Forms of Group Work in Advanced Manufacturing Systems (WGW, EU), pp. 26–31.

HCI-SHI-1993-FujitaITFNW

Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.

HCI-SHI-1993-LeeWV #2d #interactive #interface

Interactive Haptic Interface: Two-Dimensional Form Perception for Blind Access to Computers (SL, SFW, GCV), pp. 190–195.

HCI-SHI-1993-OhiwaKST #collaboration #named

KJ-Editor: A Collaboration Environment for Brain Storming and Consensus Forming (HO, KK, AS, NT), pp. 939–942.

TOOLS-PACIFIC-1993-Jentzsch #approach #concept

Deriving a Conceptual Model: a Business Forms Approach (RJ), pp. 7–19.

ICALP-1992-Engelfriet #graph grammar #normalisation

A Greibach Normal Form for Context-free Graph Grammars (JE), pp. 138–149.

ML-1992-Hickey #algorithm #approach #evaluation #towards

Artificial Universes — Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples (RJH), pp. 196–205.

SIGIR-1992-RobertsonW #database #using

Searching for Historical Word-Forms in a Database of 17th-Century English Text Using Spelling-Correction Methods (AMR, PW), pp. 256–265.

ALP-1992-BundgenE #algorithm #analysis #normalisation #performance

A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.

CADE-1992-Fisher #first-order #normalisation

A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.

CSL-1992-BerarducciB #normalisation #self #λ-calculus

A Self-Interpreter of λ Calculus Having a Normal Form (AB, CB), pp. 85–99.

JICSLP-1992-Harland #equivalence #logic programming #normalisation #on the #source code

On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.

STOC-1991-Kaltofen #effectiveness

Effective Noether Irreducibility Forms and Applications (Extended Abstract) (EK), pp. 54–63.

VDME-1991-1-BednarczykB #recursion

CPO’s do not form a CPO, and yet Recursion Works (MAB, AMB), pp. 268–278.

FPCA-1991-Jensen #analysis #logic #strict

Strictness Analysis in Logical Form (TPJ), pp. 352–366.

CSL-1991-Mundici #logic #normalisation

Normal Forms in Infinite-Valued Logic: The Case of One Variable (DM), pp. 272–277.

ICLP-1991-Harland #logic programming #source code

A Clausal Form for the Completion of Logic Programs (JH), pp. 711–725.

VLDB-1990-Hulin #normalisation #on the

On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.

PODS-1989-MannilaR #algorithm #normalisation #testing

Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.

ICALP-1989-DershowitzKP #infinity #normalisation

Infinite Normal Forms (Preliminary Version) (ND, SK, DAP), pp. 249–262.

ML-1989-Paredis #behaviour #learning

Learning the Behavior of Dynamical Systems form Examples (JP), pp. 137–140.

ML-1989-Redmond #learning #reasoning

Combining Case-Based Reasoning, Explanation-Based Learning, and Learning form Instruction (MR), pp. 20–22.

SEKE-1989-WangS #database #query

A Form-based Pictorial Query Language For Pictorial Database (JW, QYS), pp. 152–157.

POPL-1989-CytronFRWZ #performance

An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.

ICSE-1989-Ross

The NATO Conferences form the Perspective of an Active Software Engineer (DTR), pp. 101–102.

RTA-1989-Middeldorp #aspect-oriented #composition #normalisation #term rewriting

Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms (AM), pp. 263–277.

DAC-1988-Boehner #automation #logic #named

LOGEX — an Automatic Logic Extractor Form Transistor to Gate Level for CMOS Technology (MB), pp. 517–522.

DAC-1988-HelliwellP #algorithm #multi #performance

A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms (MH, MAP), pp. 427–432.

VLDB-1988-AdibaC

Management of Complex Objects as Dynamic Forms (MEA, CC), pp. 134–147.

ICALP-1988-Niemi

Maximal Dense Intervals of Grammar Forms (VN), pp. 424–438.

CSL-1988-OchozkaSS #complexity #logic programming #normalisation #source code

Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.

SIGMOD-1987-RothK #database #design #normalisation #relational

The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.

VLDB-1987-KingN #adaptation #named

Freeform: A User-Adaptable Form Management System (RK, MN), pp. 331–338.

VLDB-1987-WhangN #approach #logic #normalisation #optimisation #query #recursion

An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments (KYW, SBN), pp. 275–287.

HCI-SES-1987-AndersonJSA #empirical

Diffusion and Impact of Computer in Organizational Settings: Empirical Findings form a Hospital (JGA, SJJ, HMS, MMA), pp. 3–10.

LICS-1987-Abramsky #logic

Domain Theory in Logical Form (SA), pp. 47–53.

SLP-1986-HoddinottE86 #axiom #named #prolog #similarity

PROLOG: Subsumption of Equality Axioms by the Homogeneous Form (PH, EWE), pp. 115–126.

PODS-1985-OzsoyogluY #normalisation

A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.

VLDB-1985-Rowe #programming

“Fill-in-the-Form” Programming (LAR), pp. 394–404.

PODS-1984-AbiteboulB #normalisation

Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.

LFP-1984-CointeR #composition #music #named #synthesis

Formes: an Object and Time Oriented System for Music Composition and Synthesis (PC, XR), pp. 85–95.

SIGIR-1984-LaenderS #database #interactive

An Interactive Database End-User Facility for the Definition and Manipulation of Forms (AHFL, PMS), pp. 41–54.

CADE-1984-Chenadec #algebra #canonical

Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.

SIGMOD-1983-ShuWL #approach #database #design #requirements #specification

Forms Approach to Requirements Specification for Database Design (NCS, HKTW, VYL), pp. 161–172.

VLDB-1983-ArisawaMM #database #relational

Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.

VLDB-1983-GrahneR #composition #database #normalisation

Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.

STOC-1983-FurerSS #bound #graph #normalisation

Normal Forms for Trivalent Graphs and Graphs of Bounded Valence (MF, WS, ES), pp. 161–170.

POPL-1983-FerranteO #dependence

A Program Form Based on Data Dependency in Predicate Regions (JF, KJO), pp. 217–236.

PODS-1982-JaeschkeS #algebra #normalisation

Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.

SIGMOD-1982-RoweS #development #named

FADS — A Form Application Development System (LAR, KAS), pp. 28–38.

VLDB-1982-LeDouxP #normalisation

Reflections on Boyce-Codd Normal Form (CHL, DSPJ), pp. 131–141.

ICSE-1982-KuoLR #approach

A Form-Based Approach to Human Engineering Methodologies (HCCK, CHL, JR), pp. 254–271.

SIGMOD-1981-LuoY #information management

Form Operation By Example: A Language For Office Information Processing (DL, SBY), pp. 212–223.

STOC-1981-Chew #normalisation #term rewriting

Unique Normal Forms in Term Rewriting Systems with Repeated Variables (PC), pp. 7–18.

ICSE-1981-Lewis

Beyond ALBE/P: Language Neutral Form (JWL), pp. 422–429.

VLDB-1980-BernsteinG #normalisation #question #what

What does Boyce-Codd Normal Form Do? (PAB, NG), pp. 245–259.

VLDB-1980-Tsichritzis #named

OFS: An Integrated Form Management System (DT), pp. 161–166.

ICALP-1980-Bini #approximate #rank

Border Rank of a p×q×2 Tensor and the Optimal Approximation of a Pair of Bilinear Forms (DB), pp. 98–108.

LISP-1980-Lakin

Computing with Text-Graphics Forms (FL), pp. 100–106.

LISP-1980-Pitman #lisp

Special Forms in LISP (KMP), pp. 179–187.

CADE-1980-Hullot #canonical #unification

Canonical Forms and Unification (JMH), pp. 318–334.

SIGMOD-1979-Fagin #database #normalisation #relational

Normal Forms and Relational Database Operators (RF), pp. 153–160.

STOC-1979-JaJa #commutative #complexity #on the

On the Complexity of Bilinear Forms with Commutativity (JJ), pp. 197–208.

DAC-1978-Moffat #design #named

FORMPLOT — a forms design system (DVM), pp. 235–239.

VLDB-1978-Smith78b #normalisation #syntax

A Normal Form for Abstract Syntax (JMS), pp. 156–162.

STOC-1978-JaJa #evaluation

Optimal Evaluation of Pairs of Bilinear Forms (JJ), pp. 173–183.

ICALP-1978-AlbertMR #generative

Simple EOL Forms under Uniform Interpretation Generating CF Languages (JA, HAM, GR), pp. 1–14.

ICALP-1978-Zilli #combinator #logic #normalisation

Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.

VLDB-1977-Makinouchi #normalisation #relational

A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model (AM), pp. 447–453.

ICALP-1977-Walter #context-free grammar #decidability #equivalence

Structural Equivalence of Context-Free Grammar Forms is Decidable (HKGW), pp. 539–553.

SIGMOD-1976-Sharman #normalisation

A Constructive Definition of Third Normal Form (GCHS), pp. 91–99.

ICALP-1976-BerryC #canonical #equivalence

Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.

VLDB-1975-Zloof #named

Query-by-Example: the Invocation and Definition of Tables and Forms (MMZ), pp. 1–24.

STOC-1975-GinsburgL #comparative #complexity

Comparative Complexity of Grammar Forms (SG, NAL), pp. 153–158.

STOC-1975-LiptonD #complexity #evaluation #integer #metric

Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms (RJL, DPD), pp. 1–5.

STOC-1975-Yao #on the #polynomial

On Computing the Minima of Quadratic Forms (Preliminary Report) (ACCY), pp. 23–26.

STOC-1974-Chandra #canonical

Degrees of Translatability and Canonical Forms in Program Schemas: Part I (AKC), pp. 1–12.

STOC-1974-Hammer #ll

A New Grammatical Transformation into LL(k) Form (Extended Abstract) (MH), pp. 266–275.

ICALP-1974-Blattner #context-free grammar #set

Transductions of Context-Free Languages into Sets of Sentential Forms (MB), pp. 511–522.

ICALP-1974-BohmD #combinator #equation #normalisation #problem

Combinatorial Problems, Combinator Equations and Normal Forms (CB, MDC), pp. 185–199.

ICALP-1974-CremersG #context-free grammar

Context-Free Grammar Forms (ABC, SG), pp. 364–382.

STOC-1973-BrockettD #evaluation #on the #set

On the Optimal Evaluation of a Set of Bilinear Forms (RWB, DPD), pp. 88–95.

STOC-1973-HopcroftM #complexity #matrix #multi

Duality Applied to the Complexity of Matrix Multiplications and other Bilinear Forms (JEH, JM), pp. 73–87.

DAC-1971-Mitchell #architecture #automation #generative

The automated generation of architectural form (WJM0), pp. 193–207.

SHARE-1965-Moore

Conversion of engineering drawings to digital form (ACM).