Stem format$ (all stems)

192 papers:

SIGMOD-2015-RoyLL #recommendation

From Group Recommendations to Group Formation (SBR, LVSL, RL), pp. 1603–1616.

ICSME-2015-MedicherlaKN #specification #using #verification

Program specialization and verification using file format specifications (RKM, RK, SN), pp. 191–200.

CHI-2015-HaraI #lessons learnt

Effect of Machine Translation in Interlingual Conversation: Lessons from a Formative Study (KH, STI), pp. 3473–3482.

CHI-2015-StawarzCB #design #self #smarttech

Beyond Self-Tracking and Reminders: Designing Smartphone Apps That Support Habit Formation (KS, ALC, AB), pp. 2653–2662.

LCT-2015-CastilloDSTC #detection #student

Model for Detecting Student Difficulties in Solving Formative Assessments (CC, NDD, AS, VT, DAOC), pp. 199–207.

KDD-2015-0002PGM #network #on the

On the Formation of Circles in Co-authorship Networks (TC, SP, PG, AM), pp. 109–118.

CADE-2015-Baumgartner #named #proving #theorem proving

SMTtoTPTP — A Converter for Theorem Proving Formats (PB), pp. 285–294.

CAV-2015-BabiakBDKKM0S

The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.

CASE-2014-BiswasBN #design

Mechanism design for sustainable virtual power plant formation (SB, DB, YN), pp. 67–72.

SIGMOD-2014-BlanasWBDS #data analysis #parallel

Parallel data analysis directly on scientific file formats (SB, KW, SB, BD, AS), pp. 385–396.

FoSSaCS-2014-AvniKT #game studies

Network-Formation Games with Regular Objectives (GA, OK, TT), pp. 119–133.

CSMR-WCRE-2014-Bos #lightweight #reverse engineering #runtime

Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.

CHI-2014-GrauHRP #interactive

Mechanical force redistribution: enabling seamless, large-format, high-accuracy surface interaction (AMG, CH, JRR, KP), pp. 4137–4146.

DUXU-TMT-2014-MasipOG #evaluation #heuristic #industrial #user interface

Common Industry Format (CIF) Report Customization for UX Heuristic Evaluation (LM, MO, TG), pp. 475–483.

LCT-NLE-2014-LaugassonK #open source #security

File Formats Security — Proprietary vs. Open-Source (EL, KK), pp. 63–72.

CIKM-2014-CuiYH #independence

Non-independent Cascade Formation: Temporal and Spatial Effects (BC, SJY, CH), pp. 1923–1926.

KMIS-2014-Bures #aspect-oriented #case study #difference #xml

Technical Aspects of XML Format — Case Study — Differences between Saving Data into Element and Attribute (OB), pp. 354–359.

SIGIR-2014-VuSWTL #personalisation

Improving search personalisation with dynamic group formation (TTV, DS, AW, SNT, JL), pp. 951–954.

ICSE-2014-MiyashitaTA #modelling #spreadsheet #using

Controlled modeling environment using flexibly-formatted spreadsheets (HM, HT, SA), pp. 978–988.

OSDI-2014-BangertZ #generative #named #parsing

Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.

ISSTA-2014-WeitzKSE #string #type system

A type system for format strings (KW, GK, SS, MDE), pp. 127–137.

ISSTA-2014-WeitzSKE #java #string

A format string checker for Java (KW, SS, GK, MDE), pp. 441–444.

RTA-TLCA-2014-FuhsK #first-order

First-Order Formative Rules (CF, CK), pp. 240–256.

CASE-2013-MoubarakAB #composition #configuration management #multi #scheduling

Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies (PMM, EJA, PBT), pp. 687–692.

DocEng-2013-FerilliER #documentation #html #multi

Hi-Fi HTML rendering of multi-format documents in DoMinUS (SF, FE, DR), pp. 173–176.

ITiCSE-2013-KyrilovN #assessment #automation #first-order #information management #logic #representation

Automatic formative assessment of exercises on knowledge representation in first-order logic (AK, DCN), p. 343.

STOC-2013-BhawalkarGM #game studies

Coevolutionary opinion formation games (KB, SG, KM), pp. 41–50.

CHI-2013-SettlesD #online

Let’s get together: the formation and success of online creative collaborations (BS, SD), pp. 2009–2018.

CSCW-2013-MarlowDH #git #online #process

Impression formation in online peer production: activity traces and personal profiles in github (JM, LD, JDH), pp. 117–128.

HCI-AMTE-2013-Bevan #documentation #industrial #using

Using the Common Industry Format to Document the Context of Use (NB), pp. 281–289.

HCI-AMTE-2013-YanagidaUGTHY #experience

Method Format for Experience Vision (KY, YU, KG, KT, SH, KY), pp. 531–539.

ICEIS-v1-2013-FominaEV #concept #induction #modelling

Noise Models in Inductive Concept Formation (MVF, APE, VNV), pp. 444–450.

SAC-2013-PengWR #multi

Leader-follower formation control of multiple nonholonomic robots based on backstepping (ZP, GW, AR), pp. 211–216.

SLE-2013-BaggeH #pipes and filters #pretty-printing

A Pretty Good Formatting Pipeline (AHB, TH), pp. 177–196.

CASE-2012-ChowdhuryTWSLG #automation #biology #using

Automated indirect transport of biological cells with optical tweezers using planar gripper formations (SC, AT, CW, PS, WL, SKG), pp. 267–272.

DocEng-2012-MarinaiQ #game studies

Displaying chemical structural formulae in ePub format (SM, SQ), pp. 125–128.

DRR-2012-NagyT #named #performance #verification

VeriClick: an efficient tool for table format verification (GN, MT).

CHI-2012-RabanDRG #people

Impression formation in corporate people tagging (DRR, AD, IR, IG), pp. 569–578.

KDD-2012-MajumderDN #network #problem #social

Capacitated team formation problem on social networks (AM, SD, KVMN), pp. 1005–1013.

PADL-2012-ZhuFW #ad hoc #incremental

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.

SAC-2012-MontagnaPV #development

A model for drosophila melanogaster development from a single cell to stripe pattern formation (SM, DP, MV), pp. 1406–1412.

ICSE-2012-Sassen

Digital formations of the powerful and the powerless (Keynote) (SS), p. 961.

DocEng-2011-BilaucaH #pretty-printing #tool support

Building table formatting tools (MB, PH), pp. 13–22.

DocEng-2011-Brailsford #automation #layout

Automated conversion of web-based marriage register data into a printed format with predefined layout (DFB), pp. 61–64.

ICDAR-2011-Fan #segmentation

Text Segmentation of Consumer Magazines in PDF Format (JF), pp. 794–798.

ICDAR-2011-MarinaiMS

Conversion of PDF Books in ePub Format (SM, EM, GS), pp. 478–482.

ICDAR-2011-Srihari

Evaluating the Rarity of Handwriting Formations (SNS), pp. 618–622.

ICPC-2011-AlawnehH #named #performance #scalability

MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems (LA, AHL), pp. 181–184.

LATA-2011-AcetoCIMR

Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.

CHI-2011-ChilanaGF #multi #process

Modern software product support processes and the usage of multimedia formats (PKC, TG, GWF), pp. 3093–3102.

CSCW-2011-MarshallRP #interactive #physics #using

Using F-formations to analyse spatial patterns of interaction in physical environments (PM, YR, NP), pp. 445–454.

RecSys-2011-BourkeMS #people #recommendation #social

Power to the people: exploring neighbourhood formations in social recommender system (SB, KM, BS), pp. 337–340.

SIGIR-2011-YinHXD #analysis #microblog

Link formation analysis in microblogs (DY, LH, XX, BDD), pp. 1235–1236.

PPoPP-2011-KourtisKGK #memory management #named

CSX: an extended compression format for spmv on shared memory systems (KK, VK, GIG, NK), pp. 247–256.

DAC-2010-WangLPW #modelling #multi #named

MFTI: matrix-format tangential interpolation for modeling multi-port systems (YW, CUL, GKHP, NW), pp. 683–686.

DocEng-2010-MarinaiMS #documentation #recognition

Table of contents recognition for converting PDF documents in e-book formats (SM, EM, GS), pp. 73–76.

DRR-2010-ChenMT #automation #performance #using #validation #word

Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.

CSMR-2010-KnieselBHFCGT #design pattern #detection #tool support

DPDX--Towards a Common Result Exchange Format for Design Pattern Detection Tools (GK, AB, PH, LJF, AC, YGG, NT), pp. 232–235.

CIKM-2010-LeungLLW #mining #network #social

Mining interesting link formation rules in social networks (CWkL, EPL, DL, JW), pp. 209–218.

ICPR-2010-ChevionNR #approach #image

Image Processing Based Approach for Retrieving Data from a Seismic Section in Bitmap Format (DC, YN, DR), pp. 4444–4447.

ICPR-2010-LiH #image

A Full-View Spherical Image Format (SL, YH), pp. 2337–2340.

ICPR-2010-PletschacherA #analysis #framework

The PAGE (Page Analysis and Ground-Truth Elements) Format Framework (SP, AA), pp. 257–260.

SAC-2010-RubegniBPS #communication #design #multi

A format to design narrative multimedia applications for cultural heritage communication (ER, NDB, PP, AS), pp. 1238–1239.

SLE-2010-ZaytsevL #documentation

A Unified Format for Language Documents (VZ, RL), pp. 206–225.

DocEng-2009-BoyerW #documentation #experience #interactive #user interface

Enriching the interactive user experience of open document format (JMB, CW), pp. 153–156.

DocEng-2009-BoyerWA #documentation #interactive #protocol #rest #web

A REST protocol and composite format for interactive web documents (JMB, CW, RPA), pp. 139–148.

DocEng-2009-HurstLM #automation #bibliography #documentation #pretty-printing

Review of automatic document formatting (NH, WL, KM), pp. 99–108.

ICDAR-2009-BloechleLI #canonical #documentation #named

OCD: An Optimized and Canonical Document Format (JLB, DL, RI), pp. 236–240.

VLDB-2009-KoloniariP #clustering #game studies #peer-to-peer

A Recall-Based Cluster Formation Game in Peer-to-Peer Systems (GK, EP), pp. 455–466.

IFM-2009-StockerLG #parallel #process #realtime

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.

CHI-2009-SellenMLTB #comprehension #interactive #problem #prototype

The people-prototype problem: understanding the interaction between prototype format and user group (KMS, MM, DML, KNT, SAB), pp. 635–638.

CHI-2009-WuRT #requirements #social

An exploration of social requirements for exercise group formation (MW, AR, KNT), pp. 79–82.

HCI-NT-2009-Yang #design #development #evaluation #interface

Website Designer as an Evaluator: A Formative Evaluation Method for Website Interface Development (CYY), pp. 372–381.

CIKM-2009-QianLLXSS #community #development #topic #what

What’s behind topic formation and development: a perspective of community core groups (TQ, QL, BL, HX, JS, PCYS), pp. 1843–1846.

KEOD-2009-CastroA

Cognitive Object Format (HC, APA), pp. 351–358.

CASE-2008-AnisHM #array #automation

Automated vision-based selection and placement of single cells in microwell array formats (YHA, MH, DRM), pp. 315–320.

CASE-2008-PonnambalamPMS #network #using

Modified ART1 neural networks for cell formation using production data (SGP, RSP, SSM, SS), pp. 603–608.

DATE-2008-NovoBLPC #energy #fixpoint #refinement

Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.

ICSM-2008-Lo #execution #mining #specification

Mining specifications in diversified formats from execution traces (DL), pp. 420–423.

ICEIS-AIDSS-2008-ZimbresBO #automaton #evolution #modelling #network #social

Cellular Automata Based Modeling of the Formation and Evolution of Social Networks: A Case in Dentistry (RAZ, EPZB, PPBdO), pp. 333–339.

BX-2008-Fisher1

Format Inference (KF), p. 37.

SAC-2008-AveglianoS #named #simulation

RePart: a reputation-based simulation tool for partnership formation (PA, JSS), pp. 46–47.

SAC-2008-PracaAMCRV #multi

A multi-agent system for the support of producer coalition formation in electricity markets (IP, AA, HM, MC, CR, ZAV), pp. 78–79.

CASE-2007-ChandrashekarN #analysis #coordination #network

A Shapley Value Analysis to Coordinate the Formation of Procurement Networks (TSC, YN), pp. 664–669.

CASE-2007-KwokNH #mobile #multi

PSO-Based Cooperative Control of Multiple Mobile Robots in Parameter-Tuned Formations (NMK, VTN, QPH), pp. 332–337.

DocEng-2007-BultermanJCC #multi #performance

An efficient, streamable text format for multimedia captions and subtitles (DCAB, AJJ, PC, SCL), pp. 101–110.

DocEng-2007-Giannetti #multi #standard

A multi-format variable data template wrapper extending podis PPML-T standard (FG), pp. 37–43.

DocEng-2007-Giannetti07a #generative #multi

Anvil next generation: a multi-format variable data printtemplate based on PPML-T (FG), pp. 93–94.

DRR-2007-Giannetti #architecture #authoring #xml

Generic architecture for professional authoring environments to export XML-based formats (FG).

ICDAR-2007-HiranoOOY #analysis #documentation #information management #layout

Text and Layout Information Extraction from Document Files of Various Formats Based on the Analysis of Page Description Language (TH, YO, YO, FY), pp. 262–266.

ITiCSE-2007-Bower #analysis #concept #independence #online

Independent, synchronous and asynchronous an analysis of approaches to online concept formation (MB), pp. 141–145.

ITiCSE-2007-Sheridan-Ross #multi #student

Practical tips for engaging students in team formation for multi-discipline computing projects (JSR), p. 360.

ITiCSE-2007-Solomon #assessment #named

Linuxgym: software to automate formative assessment of unix command-line and scripting skills (AS), p. 353.

HCI-AS-2007-LinKTKT #design #development #process #verification #visual notation

Verification of Development of Scenarios Method and Visual Formats for Design Process (HL, MK, HT, HK, TT), pp. 1095–1101.

ICEIS-AIDSS-2007-ChanL #nondeterminism #rule-based

Rule Based Stability Criteria for Coalition Formation Under Uncertainty (CKC, HfL), pp. 171–177.

ICEIS-HCI-2007-Scaffidi

Unsupervised Inference of Data Formats in Human-Readable Notation (CS), pp. 236–244.

ICEIS-J-2007-GujoS07a #combinator

Bid Formation in a Combinatorial Auction for Logistics Services (OG, MS), pp. 303–315.

ECIR-2007-PanLZTC #retrieval #video

Retrieval Method for Video Content in Different Format Based on Spatiotemporal Features (XP, JL, YZ, ST, JC), pp. 728–731.

ECMDA-FA-2007-BrorkensK #abstraction #legacy #metamodelling #standard #tool support #xml

Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels (MB, MK), pp. 59–67.

TOOLS-EUROPE-2007-Vicente-ChicoteMA #modelling #named #pretty-printing #requirements #specification #validation

REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting (CVC, BM, JATÁ), pp. 437–454.

CASE-2006-ChenLS #case study #process

Study on Active Process Control of Burr Formation in Al-Alloy Milling Process (MC, GL, ZS), pp. 431–436.

ITiCSE-2006-HigginsB #assessment #diagrams

Formative computer based assessment in diagram based domains (CAH, BB), pp. 98–102.

CSMR-2006-BrandKVV #framework #independence #pretty-printing

A Language Independent Framework for Context-sensitive Formatting (MvdB, ATK, JJV, NPV), pp. 103–112.

WCRE-2006-LimRL #bytecode

Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.

CSCW-2006-WycheHHG #case study

Technology in spiritual formation: an exploratory study of computer mediated religious communications (SW, GRH, LDH, REG), pp. 199–208.

ICEIS-AIDSS-2006-Hanna #execution #nondeterminism

Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.

ICEIS-AIDSS-2006-SombattheeraG #algorithm #distributed #linear

A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.

ICEIS-DISI-2006-JiwaniASOA #database #fuzzy #relational #representation #xml

Fuzzy XML Model for Representing Fuzzy Relational Databases in Fuzzy XML Format (AJ, YA, KS, TÖ, RA), pp. 163–168.

KDD-2006-BackstromHKL #evolution #network #scalability #social

Group formation in large social networks: membership, growth, and evolution (LB, DPH, JMK, XL), pp. 44–54.

ECMDA-FA-2006-PagelB #generative

Definition and Generation of Data Exchange Formats in AUTOSAR (MP, MB), pp. 52–65.

SAC-2006-LinsR #image #network

Comparisons of file formats for image transmission through networks (RDL, CR), pp. 863–864.

LICS-2006-FioreS #calculus #congruence #process #semantics

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.

DocEng-2005-LemloumaL #interactive #mobile #pretty-printing

Content interaction and formatting for mobile devices (TL, NL), pp. 98–100.

DocEng-2005-LoureiroA #adaptation #documentation #pretty-printing

Constrained XSL formatting objects for adaptive documents (GL, FA), pp. 95–97.

ITiCSE-2005-Deibel #interactive

Team formation methods for increasing interaction during in-class group work (KD), pp. 291–295.

ICSM-2005-BrandKVV #architecture #pretty-printing

An Architecture for Context-Sensitive Formatting (MvdB, ATK, JJV, NPV), pp. 631–634.

ICLP-2005-Langevine #constraints #named #programming

Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.

HT-2004-HarperYGS #evaluation #how #hypermedia

How much is too much in a hypertext link?: investigating context and preview — a formative evaluation (SH, YY, CAG, RS), pp. 116–125.

HT-2004-King #case study #design

A format design case study: PDF (JCK), pp. 95–97.

CSCW-2004-HaakeHSBL

End-user controlled group formation and access rights management in a shared workspace system (JMH, AH, TS, MB, BL), pp. 554–563.

ICEIS-v2-2004-BleckerAKF #multi

Dynamic Multi-Agent Based Variety Formation and Steering in Mass Customization (TB, NA, GK, GF), pp. 3–13.

ICEIS-v4-2004-AndradeN #contract

Intelligent Electronic Inter-Systemic Contracting — Issues on Consent and Contract Formation (FA, JN), pp. 403–410.

ICEIS-v4-2004-OliveiraLNA #contract

Formation and Fulfillment of Electronic Contracts in the ICS (NRSO, SL, EN, CRBA), pp. 24–30.

RE-2004-HallZ #behaviour #named

OMML: A Behavioural Model Interchange Format (RJH, AZ), pp. 272–282.

SAC-2004-BelmonteCPR #robust

A robust deception-free coalition formation model (MVB, RC, JLPdlC, FTR), pp. 469–473.

DocEng-2003-BoulmaizRB #documentation #pretty-printing

Improving formatting documents by coupling formatting systems (FB, CR, FB), pp. 92–94.

ICDAR-2003-LenaghanM #distributed #named #online #recognition #xml

XPEN: An XML Based Format for Distributed Online Handwriting Recognition (APL, RRM), p. 1270–?.

ICDAR-2003-LiuS #recognition #word

A Format-Driven Handwritten Word Recognition System (XL, ZS), pp. 1118–1122.

ESOP-2003-Tini

Rule Formats for Non Interference (ST), pp. 129–143.

CSMR-2003-JiangS #case study #difference #tool support

Exploring Differences in Exchange Formats — Tool Support and Case Studies (JJ, TS), pp. 389–398.

SAC-2003-Blake #architecture #distributed #retrieval

An Architecture to Support Distributed Data Retrieval in Specialized Formats (MBB), pp. 803–810.

TestCom-2003-GecseD

An Intuitive TTCN-3 Data Presentation Format (RG, SD), pp. 63–78.

DocEng-2002-BesR #multi #pretty-printing #process

A presentation language for controlling the formatting process in multimedia presentations (FB, CR), pp. 2–9.

ITiCSE-2002-ClearF #3d #java

Avatars in cyberspace: a Java 3D application to support formation of virtual groups (TC, GF), p. 222.

ITiCSE-2002-MeisaloSTS #design #evaluation

Formative evaluation scheme for a web-based course design (VM, JS, ST, ES), pp. 130–134.

CAiSE-2002-PontieriUZ #approach #data flow #integration

An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats (LP, DU, EZ), pp. 752–756.

KR-2002-Gardenfors #concept #higher-order #induction #similarity

The Role of Higher Order Similarity in Induction and Concept Formation (PG), p. 629.

SAC-2002-SohnKCLKL #development #standard

Development of a standard format for eBooks (WSS, SKK, YCC, KHL, SHK, SBL), pp. 535–540.

ICDAR-2001-BottouHL #documentation #multi #performance

Efficient Conversion of Digital Documents to Multilayer Raster Formats (LB, PH, YL), pp. 444–449.

ICDAR-2001-JagerN #database #online

Two On-Line Japanese Character Databases in Unipen Format (SJ, MN), pp. 566–571.

SIGAda-2001-Barkstrom #ada

Ada 95 bindings for the NCSA hierarchical data format (BRB), pp. 27–30.

SAC-2001-PowerM #lalr #metric

Exploiting metrics to facilitate grammar transformation into LALR format (JFP, BAM), pp. 636–640.

HPDC-2001-KrintzC

Reducing Delay with Dynamic Selection of Compression Formats (CK, BC), p. 266–?.

HPDC-2001-WidenerES #communication #metadata #performance #xml

Open Metadata Formats: Efficient XML-Based Communication for High Performance Computing (PW, GE, KS), p. 371–?.

DAC-2000-EllerveeMCH #data type

System-level data format exploration for dynamically allocated data structures (PE, MM, FC, AH), pp. 556–559.

WCRE-2000-BoshernitsanG #design #xml

Designing an XML-based Exchange Format for Harmonia (MB, SLG), pp. 287–289.

WCRE-2000-HoltHLLL #java

E/R Schema for the Datrix C/C++/Java Exchange Format (RCH, AEH, BL, SL, CL), pp. 284–286.

WCRE-2000-HoltW

A Short Introduction to the GXL Software Exchange Format (RCH, AW), p. 299–?.

WCRE-2000-HoltWS #named #standard #towards

GXL: Toward a Standard Exchange Format (RCH, AW, AS), pp. 162–171.

WCRE-2000-Perelgut

The Case for a Single Data Exchange Format (SGP), pp. 281–283.

SAC-2000-PedryczVG #concept #information management

Information Granulation for Concept Formation (WP, AVV, AG), pp. 484–489.

ISMM-2000-ChilimbiJZ #design

Designing a Trace Format for Heap Allocation Events (TMC, REJ, BGZ), pp. 35–49.

CADE-2000-Belinfante #algorithm

Gödel’s Algorithm for Class Formation (JGFB), pp. 132–147.

LICS-2000-BloomFG

Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.

ICDAR-1999-Hirayama #framework #using

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

WCRE-1999-EbertKW #named #re-engineering #tool support

GraX — An Interchange Format for Reengineering Tools (JE, BK, AW), p. 89–?.

ICALP-1999-Galpin #algebra #comparison #process #using

Comparison of Process Algebra Equivalences Using Formats (VG), pp. 341–350.

HCI-EI-1999-GedigaH #evaluation #named #usability

IsoMetrics: An usability inventory supporting summative and formative evaluation of software systems (GG, KCH), pp. 1018–1022.

PADL-1999-Kahl #combinator #concept #documentation #pretty-printing

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.

WRLA-1998-BorovanskyJMR #source code

Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.

SAC-1998-NishimuraYKI #community #visualisation

Community viewer: visualizing community formation on personal digital assistants (TN, HY, TK, TI), pp. 433–438.

ASE-1997-SahraouiMLD #concept #identification

Applying Concept Formation Methods to Object Identification in Procedural Code (HAS, WLM, HL, FD), pp. 210–218.

EDTC-1997-LangDG #automation #design #modelling #parametricity #top-down

Automatic transfer of parametric FEM models into CAD-layout formats for top-down design of microsystems (ML, DD, MG), pp. 200–204.

HCI-SEC-1997-TanakaKN #email #prototype

Prototyping of Digital Ink E-Mail System Based on a Common Ink Format (HT, NK, MN), pp. 435–438.

CIKM-1996-AbdelguerfiCWSMBR #database #representation

A Terrain Database Representation Based on an Extended Vector Product Format (MA, EC, CW, KS, VM, RB, BR), pp. 27–33.

KDD-1995-GoldbergS #database #information management

Restructuring Databases for Knowledge Discovery by Consolidation and Link Formation (HGG, TES), pp. 136–141.

CIKM-1994-Jain #transaction

Group Formation Mechanisms for Transactions in ISIS (NKJ), pp. 203–210.

CIKM-1993-AzarbodP #concept #incremental #integration #using

Building Concept Hierarchies for Schema Integration in HDDBS Using Incremental Concept Formation (CA, WP), pp. 732–734.

DAC-1992-KahnG #design

The Electronic Design Interchange Format EDIF: Present and Future (HJK, RG), pp. 666–671.

CHI-1991-Myers91a #pretty-printing

Text formatting by demonstration (BAM), pp. 251–256.

KR-1991-Genesereth

Knowledge Interchange Format (MRG), pp. 599–600.

ML-1991-AllenT #concept #probability #relational

Probabilistic Concept Formation in Relational Domains (JAA, KT), pp. 375–379.

ML-1991-ThompsonLI #concept #using

Using Background Knowledge in Concept Formation (KT, PL, WI), pp. 554–558.

CHI-1990-LeMasterM #design

Design of a loading plan format for an expert cargo loading system (RL, UM), pp. 369–378.

ML-1989-Flann #abstraction #learning #problem

Learning Appropriate Abstractions for Planning in Formation Problems (NSF), pp. 235–239.

ML-1989-Gennari #concept

Focused Concept Formation (JHG), pp. 379–382.

ML-1989-ORorkeMS #abduction #case study

Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution (PO, SM, DS), pp. 266–271.

ML-1989-ThompsonL #concept #incremental

Incremental Concept Formation with Composite Objects (KT, PL), pp. 371–374.

SEKE-1989-WongW #hybrid #information management #representation

Object Formation in A Hybrid Knowledge Representation (STCW, JLW), pp. 42–47.

ASPLOS-1989-SohiV #architecture #design #trade-off

Tradeoffs in Instruction Format Design for Horizontal Architectures (GSS, SV), pp. 15–25.

ML-1988-FalkenhainerR

The Interdependencies of Theory Formation, Revision, and Experimentation (BF, SAR), pp. 353–366.

HCI-CE-1987-Springer #identification #pretty-printing #retrieval

Retrieval of Information from Complex Alphanumeric Displays: Screen Formatting Variables’ Effects on Target Identification Time (CJS), pp. 375–382.

DAC-1986-Eurich #design #tutorial

A tutorial introduction to the electronic design interchange format (tutorial session) (JPE), pp. 327–333.

CADE-1986-MannaW #how #logic

How to Clear a Block: Plan Formation in Situational Logic (ZM, RJW), pp. 622–640.

ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.

DAC-1984-Crawford #design

An electronic design interchange format (JDC), pp. 683–685.

DAC-1984-Parks #design

IGES as an interchange format for integrated circuit design (CHP), pp. 273–274.

PODS-1982-HullY #database #formal method

The Format Model: A Theory of Database Organization (RH, CKY), pp. 205–211.

DAC-1981-Lambert #design #physics

Graphics language / one — IBM Corporate-Wide physical design data format (DRL), pp. 713–719.

DAC-1980-Wilmore #representation

A hierarchical bit-map format for the representation of IC mask data (JAW), pp. 585–589.

POPL-1980-Reid #approach #documentation #pretty-printing

A High-Level Approach to Computer Document Formatting (BKR), pp. 24–31.

DAC-1978-Gross #database

File format for data exchange between graphic data bases (AGG), pp. 54–59.