Stem style$ (all stems)

336 papers:

DRR-2015-FengPL #process #recognition

Gaussian process style transfer mapping for historical Chinese character recognition (JF, LP, FL).

SIGMOD-2015-PsallidasDCC #named #query

S4: Top-k Spreadsheet-Style Search for Query Discovery (FP, BD, KC, SC), pp. 2001–2016.

ITiCSE-2015-AlshammariAH #adaptation #education #learning #security

The Impact of Learning Style Adaptivity in Teaching Computer Security (MA, RA, RJH), pp. 135–140.

CHI-2015-LeeHCK #game studies #video #visual notation

VIZMO Game Browser: Accessing Video Games by Visual Style and Mood (JHL, S(H, HC, YSK), pp. 149–152.

KDD-2015-WeiLMCRS #predict #using

Predicting Serves in Tennis using Style Priors (XW, PL, SM, PC, MR, SS), pp. 2207–2215.

SEKE-2015-GoswamiWS #learning #performance #using

Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.

SIGIR-2015-McAuleyTSH #recommendation

Image-Based Recommendations on Styles and Substitutes (JJM, CT, QS, AvdH), pp. 43–52.

ICSE-v1-2015-KalliamvakouDBS #collaboration #development #git #open source #using

Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub (EK, DED, KB, LS, DMG), pp. 574–585.

ICLP-2015-LeeMW #logic #markov #semantics

Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).

CASE-2014-LiY #scheduling

ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.

DAC-2014-JungSWPL #3d #on the #perspective

On Enhancing Power Benefits in 3D ICs: Block Folding and Bonding Styles Perspective (MJ, TS, YW, YP, SKL), p. 6.

DATE-2014-TenaceCMP #logic

Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.

DocEng-2014-BoschGL #automation #css #reduction #refactoring

Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.

CSMR-WCRE-2014-LammelLSV #comparison #implementation

Comparison of feature implementations across languages, technologies, and styles (RL, ML, TS, AV), pp. 333–337.

PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming

Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.

FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.

ICFP-2014-Pottier #functional

Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.

CHI-2014-DixonLF #implementation #runtime

Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.

CHI-2014-YueLCSBGSZ #experience #research

Photographing information needs: the role of photos in experience sampling method-style research (ZY, EL, CJC, JS, KB, ZG, NS, G(Z), pp. 1545–1554.

DHM-2014-GotoYTWS

Application of E-learning System Reality in Kyoto-style Earthen Wall Training (AG, HY, YT, ZW, HS), pp. 247–253.

DUXU-DI-2014-Barros #gesture #interactive #interface #sketching

Extending ActionSketch for New Interaction Styles: Gestural Interfaces and Interactive Environments (GB), pp. 509–520.

DUXU-DP-2014-AlTaboli #design #interface #visual notation

Further Investigation of the Effects of Font Styles on Perceived Visual Aesthetics of Website Interface Design (AA), pp. 199–207.

HIMI-AS-2014-ItouMM #chat #communication #development

Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.

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.

ICPR-2014-BertoliniOJS #identification

Assessing Textural Features for Writer Identification on Different Writing Styles and Forgeries (DB, LSO, EJRJ, RS), pp. 268–272.

ICPR-2014-ShivramRG #case study #comparative #identification #modelling #online

Data Sufficiency for Online Writer Identification: A Comparative Study of Writer-Style Space vs. Feature Space Models (AS, CR, VG), pp. 3121–3125.

KDD-2014-HuHA #e-commerce #modelling #scalability #social

Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.

KEOD-2014-GavrilovaL #design #ontology #visual notation

Cognitive Style Affecting Visual Ontology Design — KOMET Project Results (TAG, IAL), pp. 207–214.

PPDP-2014-Ilik #continuation #normalisation #proving #tutorial

Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.

FSE-2014-Marmsoler #architecture #formal method #towards

Towards a theory of architectural styles (DM), pp. 823–825.

FSE-2014-MazinanianTM #css #refactoring

Discovering refactoring opportunities in cascading style sheets (DM, NT, AM), pp. 496–506.

HT-2013-ChengC #how

How annotation styles influence content and preferences (JC, DC), pp. 214–218.

ICDAR-2013-YinZWL #consistency #recognition

Style Consistent Perturbation for Handwritten Chinese Character Recognition (FY, MKZ, QFW, CLL), pp. 1051–1055.

SAS-2013-DOsualdoKO #automation #concurrent #verification

Automatic Verification of Erlang-Style Concurrency (ED, JK, CHLO), pp. 454–476.

ICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning

Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.

ICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.

CHI-2013-MonserratZMP13a #named #navigation

NoteVideo: facilitating navigation of blackboard-style lecture videos (TJKPM, SZ, KM, AVP), pp. 1139–1148.

DUXU-CXC-2013-WangTKS #evaluation #eye tracking #performance #predict

Banner Evaluation Predicted by Eye Tracking Performance and the Median Thinking Style (MYW, DLT, CTK, VCS), pp. 129–138.

HCI-AMTE-2013-AlTaboli #design #interface #visual notation

Investigating the Effects of Font Styles on Perceived Visual Aesthetics of Website Interface Design (AA), pp. 549–554.

HCI-III-2013-MattarW #adaptation

Strangers and Friends — Adapting the Conversational Style of an Artificial Agent (NM, IW), pp. 102–111.

SPLC-2013-Taylor #architecture #ecosystem

The role of architectural styles in successful software ecosystems (RNT), pp. 2–4.

RTA-2013-FujitaS #decidability

Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.

WICSA-ECSA-2012-GorlickST #architecture #distributed #named #on-demand

COAST: An Architectural Style for Decentralized On-Demand Tailored Services (MMG, KS, RNT), pp. 71–80.

WICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.

DRR-2012-DaherGEBV #categorisation #recognition

Unsupervised categorization method of graphemes on handwritten manuscripts: application to style recognition (HD, DG, VE, SB, NV).

DRR-2012-RamaiahKG #classification #documentation

Handwritten document age classification based on handwriting styles (CR, GK, VG).

DRR-2012-ZhangN

Style comparisons in calligraphy (XZ, GN).

VLDB-2012-LamLPRVD #named #performance

Muppet: MapReduce-Style Processing of Fast Data (WL, LL, SP, AR, ZV, AD), pp. 1814–1825.

ICPC-2012-SharafiSGA #identifier #source code #women

Women and men — Different but equal: On the impact of identifier style on source code reading (ZS, ZS, YGG, GA), pp. 27–36.

ICPR-2012-AroraE #automation #case study #classification #comparative #towards

Towards automated classification of fine-art painting style: A comparative study (RSA, AME), pp. 3541–3544.

ICPR-2012-HagiyaK #adaptation #probability

Probabilistic keyboard adaptable to user and operating style based on syllable HMMs (TH, TK), pp. 65–68.

SAC-2012-AnwarF #data access #network #policy #social #visualisation

A visualization tool for evaluating access control policies in facebook-style social network systems (MMA, PWLF), pp. 1443–1450.

ICSE-2012-MesbahM #analysis #automation #css #maintenance

Automated analysis of CSS rules to support style maintenance (AM, SM), pp. 408–418.

PPoPP-2012-JiangPOJ #manycore #parallel

OpenMP-style parallelism in data-centered multicore computing with R (LJ, PBP, GO, FJ), pp. 335–336.

ICLP-2012-OetschPT #constraints #semantics #source code

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.

ECSA-2011-NavarroCPR #architecture #model transformation #using

Using Model Transformation Techniques for the Superimposition of Architectural Styles (EN, CEC, DEP, CR), pp. 379–387.

WICSA-2011-BaresiG #architecture #component #coordination #distributed #named

A-3: An Architectural Style for Coordinating Distributed Components (LB, SG), pp. 161–170.

WICSA-2011-BonettaP #architecture #web #web service

An Architectural Style for Liquid Web Services (DB, CP), pp. 232–241.

WICSA-2011-Koziolek #architecture #multitenancy

The SPOSAD Architectural Style for Multi-tenant Software Applications (HK), pp. 320–327.

DRR-2011-LiuZ11a #detection #documentation #effectiveness

A simple and effective figure caption detection system for old-style documents (ZL, HZ), pp. 1–10.

ICDAR-2011-CoustatyO #documentation #image #using

Discrimination of Old Document Images Using Their Style (MC, JMO), pp. 389–393.

ICDAR-2011-Wen #documentation #pattern matching #pattern recognition #recognition

Chinese Paleography, Calligraphy, and Pattern Recognition: Styles and Scripts in Excavated Ancient Chinese Documents (XW), pp. 951–956.

VLDB-2012-AmsterdamerDDMST11 #workflow

Putting Lipstick on Pig: Enabling Database-style Workflow Provenance (YA, SBD, DD, TM, JS, VT), pp. 346–357.

ICFP-2011-AhnS #combinator #data type #induction #recursion

A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.

HCI-UA-2011-HsuC #approach #behaviour #navigation

Associating Learners’ Cognitive Style with Their Navigation Behaviors: A Data-Mining Approach (YCH, SYC), pp. 27–34.

HCI-UA-2011-Huseyinov #adaptation #fuzzy #learning #modelling #multi

Fuzzy Linguistic Modelling Cognitive / Learning Styles for Adaptation through Multi-level Granulation (IH), pp. 39–47.

HCI-UA-2011-KallinenKR #case study #experience #multi #tablet #user interface

The Effects of Content Type and Presentation Style on User Experiences of Multimedia Content on a Tablet PC (KK, JK, NR), pp. 466–475.

HIMI-v1-2011-AhmadWHK #people #web

Different People Different Styles: Impact of Personality Style in Web Sites Credibility Judgement (RA, JW, KH, AK), pp. 521–527.

HIMI-v2-2011-StegmanLS #comparison #monitoring #performance

A Comparison between Single and Dual Monitor Productivity and the Effects of Window Management Styles on Performance (AS, CL, RLS), pp. 84–93.

CAiSE-2011-BiderJS #architecture #case study #communication #experience #process #using

Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture (IB, PJ, RS), pp. 299–313.

MoDELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

MoDELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

GPCE-2011-Asai

Reflection in direct style (KA), pp. 97–106.

SAC-2011-LimJLW #c #education #visualisation

Style Avatar: a visualization system for teaching C coding style (JSL, JHJ, YJL, GW), pp. 1210–1211.

ESEC-FSE-2011-CsallnerFL #source code #testing

New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.

ECSA-2010-EsfahaniM #adaptation #architecture #middleware #on the

On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms (NE, SM), pp. 433–440.

ASE-2010-BagheriSS #architecture #independence

Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.

DATE-2010-HuangFLYSSC #design #flexibility #named #novel #pseudo

Pseudo-CMOS: A novel design style for flexible electronics (TCH, KF, CML, YHY, TS, TS, KTC), pp. 154–159.

DATE-2010-Kheradmand-BoroujeniPL #independence #novel #process

AVGS-Mux style: A novel technology and device independent technique for reducing power and compensating process variations in FPGA fabrics (BKB, CP, YL), pp. 339–344.

DocEng-2010-JiaoLBXL

Style and branding elements extraction from businessweb sites (LJ, SHL, NB, YX, JL), pp. 231–234.

ICPC-2010-SharifM #eye tracking #identifier

An Eye Tracking Study on camelCase and under_score Identifier Styles (BS, JIM), pp. 196–205.

WCRE-2010-GanesanLRWLT #analysis #architecture

Architectural Analysis of Systems Based on the Publisher-Subscriber Style (DG, ML, LR, RW, VL, TT), pp. 173–182.

FLOPS-2010-RemyY

A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.

CHI-2010-JankowskiSIJD #3d #readability #video

Integrating Text with Video and 3D Graphics: The Effects of Text Drawing Styles on Text Readability (JJ, KS, II, MJ, SD), pp. 1321–1330.

ICEIS-ISAS-2010-ArtignanH #graph #named #tool support #visualisation

STOOG — Style-Sheets-based Toolkit for Graph Visualization (GA, MH), pp. 123–131.

CIKM-2010-Otterbacher #gender #metadata

Inferring gender of movie reviewers: exploiting writing style, content and metadata (JO), pp. 369–378.

ECIR-2010-GottronL #comparison #identification

A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.

ICPR-2010-HeLS #automation #recognition #verification

Automatic Discrimination between Confusing Classes with Writing Styles Verification in Arabic Handwritten Numeral Recognition (CLH, LL, CYS), pp. 2045–2048.

RecSys-2010-HammerKA #named #recommendation

MED-StyleR: METABO diabetes-lifestyle recommender (SH, JK, EA), pp. 285–288.

SEKE-2010-GoaerTO #architecture #evolution

Evolution Styles to Capitalize Evolution Expertise within Software Architectures (OLG, DT, MO), pp. 159–164.

SIGIR-2010-WangLG #information retrieval #multi #web

Multi-style language model for web scale information retrieval (KW, XL, JG), pp. 467–474.

PPDP-2010-Serrano #compilation #css #named

HSS: a compiler for cascading style sheets (MS), pp. 109–118.

LDTA-J-2007-ScottJ #parsing #polynomial #recognition

Recognition is not parsing — SPPF-style parsing from cubic recognisers (ES, AJ), pp. 55–70.

LDTA-2009-BaggeH10 #concept #matter #why

Interfacing Concepts: Why Declaration Style Shouldn’t Matter (AHB, MH), pp. 37–50.

IJCAR-2010-Schack-NielsenS #linear #λ-calculus

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.

RTA-2010-FujitaS #problem #system f

The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.

CBSE-2009-LiCHMC #component #fault tolerance #model checking

Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.

WICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support

Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.

WICSA-ECSA-2009-RooSA #adaptation #architecture #embedded #multi #optimisation #using

An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization (AdR, HS, MA), pp. 349–352.

WICSA-ECSA-2009-TaylorMO #adaptation #architecture #runtime

Architectural styles for runtime software adaptation (RNT, NM, PO), pp. 171–180.

DATE-2009-MendlerHT #algebra #interface

WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.

DRR-2009-ShenLD #documentation

Text line extraction in free-style document (XS, CL, XD), pp. 1–10.

ICDAR-2009-BharathM #clustering #framework

A Framework Based on Semi-Supervised Clustering for Discovering Unique Writing Styles (AB, SM), pp. 891–895.

ICDAR-2009-CaoPSN #adaptation #clustering #using

Unsupervised HMM Adaptation Using Page Style Clustering (HC, RP, SS, PN), pp. 1091–1095.

ICDAR-2009-EynardE #documentation #recognition #word

Italic or Roman: Word Style Recognition without A Priori Knowledge for Old Printed Documents (LE, HE), pp. 823–827.

ICDAR-2009-TerasawaT #documentation #image #word

Slit Style HOG Feature for Document Image Word Spotting (KT, YT), pp. 116–120.

ICDAR-2009-XiaJ

A Kai Style Calligraphic Beautification Method for Handwriting Chinese Character (WX, LJ), pp. 798–802.

ICDAR-2009-XiuLBNS #recognition

Style-Based Ballot Mark Recognition (PX, DPL, HSB, GN, EHBS), pp. 216–220.

ITiCSE-2009-ZanderTSMMHF #learning

Learning styles: novices decide (CZ, LT, BS, LM, RM, BH, SF), pp. 223–227.

CHI-2009-WangFS #adaptation #communication #difference

Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.

HCD-2009-KuDC #architecture #education #usability

The Effects of Information Architecture and Atmosphere Style on the Usability of an Ecology Education Website (CjK, JLD, LCC), pp. 749–757.

CAiSE-2009-HaoCZ #performance #web #web service

Efficient IR-Style Search over Web Services (YH, JC, YZ), pp. 305–318.

ICML-2009-PanT #modelling

Unsupervised hierarchical modeling of locomotion styles (WP, LT), pp. 785–792.

ICML-2009-TaylorH #modelling #strict

Factored conditional restricted Boltzmann Machines for modeling motion style (GWT, GEH), pp. 1025–1032.

SEKE-2009-MoavenAHK #architecture

Decision Support System Environment for Software Architecture Style Selection (DESAS v1.0) (SM, HA, JH, AK), pp. 147–151.

SAC-2009-MacielH #architecture #rest #transaction #using

An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.

QoSA-2008-MalletR #analysis #distributed #model transformation

Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.

WICSA-2008-CimpanC #design pattern #question #reuse

Can Styles Improve Architectural Pattern Reuse? (SC, VC), pp. 263–266.

WICSA-2008-Malek #architecture #aspect-oriented #effectiveness

Effective Realization of Software Architectural Styles with Aspects (SM), pp. 313–316.

WICSA-2008-SeoEMM #architecture #distributed #energy #framework #impact analysis

A Framework for Estimating the Impact of a Distributed Software System’s Architectural Style on its Energy Consumption (CS, GE, SM, NM), pp. 277–280.

WICSA-2008-SozerT #modelling

Introducing Recovery Style for Modeling and Analyzing System Recovery (HS, BT), pp. 167–176.

DATE-2008-BadelGIMVGL #design #difference #standard

A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.

DATE-2008-StefanoBBM #design #multi #pipes and filters #process

Process Variation Tolerant Pipeline Design Through a Placement-Aware Multiple Voltage Island Design Style (BS, DB, LB, EM), pp. 967–972.

SIGMOD-2008-SaitoM #query #xml

Relational-style XML query (TLS, SM), pp. 303–314.

VLDB-2008-NeumannW #named #rdf

RDF-3X: a RISC-style engine for RDF (TN, GW), pp. 647–659.

ITiCSE-2008-Burrell #learning #object-oriented #process #programming #source code #visualisation

Learning object oriented programming: unique visualizations of individuals learning styles, activities and the programs produced (CJB), p. 339.

ICPR-2008-RodriguezPSL #adaptation #word

Unsupervised writer style adaptation for handwritten word spotting (JAR, FP, GS, JL), pp. 1–4.

SEKE-2008-GoaerOTS #architecture #evolution

Evolution Shelf: Exploiting Evolution Styles within Software Architectures (OLG, MCO, DT, AS), pp. 387–392.

LDTA-2007-Scott08 #earley #parsing

SPPF-Style Parsing From Earley Recognisers (ES), pp. 53–67.

LICS-2008-Pottier #anti #higher-order

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

VMCAI-2008-Mendez-LojoH #analysis #precise #set #source code

Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.

ECSA-2007-CorderoS #architecture #composition #perspective

Analyzing Styles of the Modular Software Architecture View (RNLC, IRS), pp. 275–278.

ECSA-2007-LoulouKJD #architecture #design

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.

ECSA-2007-MolesiniGCB #on the

On the Interplay of Crosscutting and MAS-Specific Styles (AM, AG, CC, TVB), pp. 317–320.

ECSA-2007-PahlGH #approach #architecture #modelling #ontology

An Ontology-Based Approach for Modelling Architectural Styles (CP, SG, WH), pp. 60–75.

WICSA-2007-GieseckeBH #architecture #middleware #modelling

Middleware-Induced Architectural Style Modelling for Architecture Exploration (SG, JB, WH), p. 21.

WICSA-2007-MesbahD #ajax #architecture

An Architectural Style for Ajax (AM, AvD), p. 9.

DAC-2007-MalyLM #design

OPC-Free and Minimally Irregular IC Design Style (WM, YWL, MMS), pp. 954–957.

DocEng-2007-QuintV #editing

Editing with style (VQ, IV), pp. 151–160.

DRR-2007-HarringtonW #documentation

Presentation of structured documents without a style sheet (SJH, EW).

DRR-2007-VeeramachaneniN #interactive

Interaction for style-constrained OCR (SV, GN).

HT-2007-BrownFB #learning

Real users, real results: examining the limitations of learning styles within AEH (EJB, TF, TJB), pp. 57–66.

ICDAR-2007-ChenMT #documentation #layout #logic #recognition

Simultaneous Layout Style and Logical Entity Recognition in a Heterogeneous Collection of Documents (SC, SM, GT), pp. 118–122.

ICDAR-2007-GuoMBSR #approach #clustering #geometry #web

A General Approach for Partitioning Web Page Content Based on Geometric and Style Information (HFG, JM, YB, AS, IVR), pp. 929–933.

ICDAR-2007-NielsV #consistency #generative

Generating Copybooks from Consistent Handwriting Styles (RN, LV), pp. 1009–1013.

VLDB-2007-ChaudhuriKRP #execution #query

Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.

ITiCSE-2007-GalpinSC #learning #student

Learning styles and personality types of computer science students at a South African university (VCG, IDS, PyC), pp. 201–205.

ICSM-2007-CorboGP #learning #source code

Smart Formatter: Learning Coding Style from Existing Source Code (FC, CDG, MDP), pp. 525–526.

PEPM-2007-Lammel #canonical #normalisation

Style normalization for canonical X-to-O mappings (RL), pp. 31–40.

ILC-2007-StrandhMHR #library #named

ESA: a CLIM library for writing Emacs-Style Applications (RS, DM, TH, CR), p. 24.

HCI-AS-2007-NahHCL #comparison #online

An Examination of Online Product Comparison Service: Fit Between Product Type and Disposition Style (FFHN, WH, LC, HHL), pp. 90–94.

HCI-AS-2007-ZamzuriW

The Role of Cognitive Styles in Groupware Acceptance (NZ, WW), pp. 835–845.

HCI-IDU-2007-BuurS #design #interactive #towards

Towards Generic Interaction Styles for Product Design (JB, MAS), pp. 30–39.

HCI-IPT-2007-AdnanNA #evaluation #visualisation

An Experimental Evaluation of Information Visualization Techniques and Decision Style (WAWA, NLMN, RA), pp. 143–150.

HCI-MIE-2007-Lee07b #3d #game studies #self

Emotion and Sense of Telepresence: The Effects of Screen Viewpoint, Self-transcendence Style, and NPC in a 3D Game Environment (JJL), pp. 393–400.

HCI-MIE-2007-TakashimaT #behaviour #low level #video

Sharing Video Browsing Style by Associating Browsing Behavior with Low-Level Features of Videos (AT, YT), pp. 518–526.

OCSC-2007-MaZ #case study

A Study on Content and Management Style of Corporate Blogs (SM, QZ), pp. 116–123.

ICEIS-EIS-2007-Egyhazy #architecture #comparison #design #security

Comparison of Five Architecture Description Languages on Design Focus, Security and Style (CJE), pp. 270–277.

ICML-2007-WangFH #modelling #multi #process

Multifactor Gaussian process models for style-content separation (JMW, DJF, AH), pp. 975–982.

SEKE-2007-AvolaFG #interactive #recognition #sketching

Sketch Style Recognition in Human Computer Interaction (DA, FF, PG), pp. 670–675.

OOPSLA-2007-KuhneS #multi #programming

Can programming be liberated from the two-level style: multi-level programming with deepjava (TK, DS), pp. 229–244.

ICSE-2007-Zualkernan #learning #programming #using

Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes (IAZ), pp. 723–726.

PPoPP-2007-Boehm #constraints #order #thread

Reordering constraints for pthread-style locks (HJB), pp. 173–182.

TLCA-2007-SantoMP #calculus #continuation #normalisation

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.

QoSA-2006-Szyperski #architecture #component

Composing with Style — Components Meet Architecture (CAS), p. 2.

DRR-2006-AndraZ #classification #consistency #nearest neighbour

Style consistent nearest neighbor classifier (SA, XZ).

DRR-2006-ZhangA #dataset #towards

Toward quantifying the amount of style in a dataset (XZ, SA).

CSMR-2006-Giesecke #enterprise #integration #middleware

Middleware-induced Styles for Enterprise Application Integration (SG), pp. 334–340.

ICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving

A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.

SOFTVIS-2006-Pietriga #graph #semantics #visualisation #web

Semantic web data visualization with graph style sheets (EP), pp. 177–178.

EDOC-2006-MiaoSC #architecture #formal method

Formalizing and analyzing service oriented software architecture style (HM, JS, XC), pp. 387–390.

ICPR-v1-2006-MaoXTT #documentation #image #logic #multi #recognition

Logical Entity Recognition in Multi-Style Document Page Images (SM, ZX, TT, GRT), pp. 876–879.

ICPR-v1-2006-WongLI #classification

Brush Writing Style Classification from Individual Chinese Characters (STSW, HL, HHSI), pp. 884–887.

ICPR-v2-2006-Lu #evaluation #similarity

Joint Distributions based on DFB and Gaussian Mixtures for Evaluation of Style Similarity among Paintings (XL), pp. 865–868.

ICPR-v2-2006-TongDXTL #analysis #recognition #video

Local Motion Analysis and Its Application in Video based Swimming Style Recognition (XT, LYD, CX, QT, HL), pp. 1258–1261.

ICPR-v2-2006-ZhangN #multi #quantifier

Style Quantification of Scanned Multi-source Digits (XZ, GN), pp. 1018–10121.

SEKE-2006-GokhaleY #analysis #architecture #pipes and filters #reliability

Reliability Analysis of Pipe and Filter Architecture Style (SSG, SMY), pp. 625–630.

SEKE-2006-OussalahTGS #architecture #challenge #component

Updating Styles Challenge Updating Needs within Component-based Software Architectures (MO, DT, OLG, AS), pp. 98–101.

SEKE-2006-ZhangCWH #component #evaluation #middleware #performance

Performance Evaluation of Component System based on Container style Middleware (YZ, NC, JW, TH), pp. 730–736.

ICSE-2006-WoollardM #architecture #parallel #symmetry

An architectural style for high-performance asymmetrical parallel computations (DW, NM), pp. 857–860.

WICSA-2005-BhattacharyaP #architecture #component #predict #specification

Predicting Architectural Styles from Component Specifications (SB, DEP), pp. 231–232.

DATE-2005-HuotDFR #architecture #logic #multi

FPGA Architecture for Multi-Style Asynchronous Logic (NH, HD, LF, MR), pp. 32–33.

DRR-2005-GarrisonDAS #database #fault

Study of style effects on OCR errors in the MEDLINE database (PG, DLD, TLA, EHBS), pp. 28–36.

DRR-2005-LiuD #automation #clustering #image

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

ICDAR-2005-BharathDM #approach #identification #online #recognition

An Approach to Identify Unique Styles in Online Handwriting Recognition (AB, VD, SM), pp. 775–779.

ICDAR-2005-LongJ #hybrid #recognition

Hybrid Recognition for One Stroke Style Cursive Handwriting Characters (TL, LJ), pp. 232–236.

ICDAR-2005-SongKCBKCJC #documentation #image #segmentation

Text Region Extraction and Text Segmentation on Cameracaptured Document Style Images (YJS, KCK, YWC, HRB, SHK, SYC, DKJ, YC), pp. 172–176.

ICDAR-2005-TanigakiHO #documentation

Push-Style Guidance System for Technical Document Writing (KT, TH, YO), pp. 725–729.

ICDAR-2005-YoonCCT #profiling #using

Writer Profiling Using Handwriting Copybook Styles (SY, SSC, SHC, CCT), p. 600.

ITiCSE-2005-ChamillardS #education #learning

Learning styles across the curriculum (ATC, RES), pp. 241–245.

CIAA-2005-HigueraPT #automaton #finite #learning #probability #recognition

Learning Stochastic Finite Automata for Musical Style Recognition (CdlH, FP, FT), pp. 345–346.

SOFTVIS-2005-NoackL #graph #layout #modelling

A space of layout styles for hierarchical graph models of software systems (AN, CL), pp. 155–164.

ECIR-2005-WangSDNCD #generative

Comparing Topiary-Style Approaches to Headline Generation (RW, NS, WPD, EN, JC, JD), pp. 157–168.

OOPSLA-2005-PaceC #architecture #modelling #named #object-oriented #tool support

ArchMatE: from architectural styles to object-oriented models through exploratory tool support (JADP, MRC), pp. 117–132.

PPDP-2005-EchahedP #declarative #policy #security

Security policy in a declarative style (RE, FP), pp. 153–163.

WICSA-2004-BaresiHTV #architecture #refinement

Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.

WICSA-2004-BashroushSKB #architecture #network #realtime

A Network Architectural Style for Real-time Systems: NaSr (RB, ITAS, PK, TJB), pp. 321–324.

WICSA-2004-SuryanarayanaEHT #architecture #distributed #named #trust

PACE: An Architectural Style for Trust Management in Decentralized Applications (GS, JRE, SAH, RNT), pp. 221–232.

DRR-2004-MaoKT #design #documentation #evaluation #independence #performance

Style-independent document labeling: design and performance evaluation (SM, JK, GRT), pp. 14–22.

FASE-2004-MucciniDR #architecture #testing

Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.

ICSM-2004-MohanGL #approach #complexity #comprehension #concept #using

An Approach to Understanding Program Comprehensibility Using Spatial Complexity, Concept Assignment and Typographical Style (AM, NG, PJL), p. 530.

ICSM-2004-XingS #comprehension #evolution #object-oriented

Understanding Phases and Styles of Object-Oriented Systems’ Evolution (ZX, ES), pp. 242–251.

IWPC-2004-MohanG #evolution #programming #source code

Programming Style Changes in Evolving Source Code (AM, NG), pp. 236–240.

WCRE-2004-MohanGL #approach #complexity #concept #using

An Initial Approach to Assessing Program Comprehensibility Using Spatial Complexity, Number of Concepts and Typographical Style (AM, NG, PJL), pp. 246–255.

CHI-2004-RobertsonPBCRBP #debugging

Impact of interruption style on end-user debugging (TJR, SP, MMB, CRC, JRR, LB, AP), pp. 287–294.

ICEIS-v1-2004-ZhouNB #c++ #implementation #performance #using

An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.

CIKM-2004-LiO #identification #learning #music

Semi-supervised learning for music artists style identification (TL, MO), pp. 152–153.

ECIR-2004-ChristensenKGR #summary

From Text Summarisation to Style-Specific Summarisation for Broadcast News (HC, BK, YG, SR), pp. 223–237.

ICPR-v2-2004-MaD #adaptation #classification #using #word

Adaptive Word Style Classification Using a Gaussian Mixture Model (HM, DSD), pp. 606–609.

ICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel

A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.

ICSE-2004-KhareT #architecture #distributed #rest

Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems (RK, RNT), pp. 428–437.

ICSE-2004-SchmerlG #architecture #development #named

AcmeStudio: Supporting Style-Centered Architecture Development (BRS, DG), pp. 704–705.

RTA-2004-GeuversN #deduction

Rewriting for Fitch Style Natural Deductions (HG, RN), pp. 134–154.

ASE-2003-Wile #architecture #calculus #non-functional

Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.

DAC-2003-MaideeAB #clustering #performance

Fast timing-driven partitioning-based placement for island style FPGAs (PM, CA, KB), pp. 598–603.

DATE-2003-SirisantanaR #logic #power management

Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies (NS, KR), pp. 11160–11161.

VLDB-2003-HristidisGP #database #keyword #performance #relational

Efficient IR-Style Keyword Search over Relational Databases (VH, LG, YP), pp. 850–861.

ITiCSE-2003-Rasala #maturity #object-oriented

Embryonic object versus mature object: object-oriented style and pedagogical theme (RR), pp. 89–93.

ITiCSE-2003-RedmondWP

Equilibriating instructional media for cognitive styles (JAR, CW, AP), pp. 55–59.

ICFP-2003-LohCJ #haskell

Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.

CAiSE-2003-CastroSM #architecture #modelling #uml

Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.

ECIR-2003-TianC #collaboration #learning #rating #recommendation #similarity

Learning User Similarity and Rating Style for Collaborative Recommendation (LFT, KWC), pp. 135–145.

KDD-2003-ArgamonSS #mining #multi

Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.

UML-2003-Rouquette #architecture #uml

UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.

REFSQ-J-2002-KamstiesKR03 #empirical #how #requirements #specification

A controlled experiment to evaluate how styles affect the understandability of requirements specifications (EK, AvK, RHR), pp. 955–965.

ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation

Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.

ESEC-FSE-2003-MehtaM #architecture

Composing architectural styles from architectural primitives (NRM, NM), pp. 347–350.

LDTA-2003-Hufflen #bibliography

Mixing Two Bibliography Style Languages (JMH), pp. 628–642.

WICSA-2002-ChengGSSSS #architecture #self #using

Using Architectural Style as a Basis for System Self-repair (SWC, DG, BRS, JPS, BS, PS), pp. 45–59.

WICSA-2002-YoderJ #adaptation #architecture

The Adaptive Object-Model Architectural Style (JWY, REJ), pp. 3–27.

CBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling

Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.

ITiCSE-2002-ParkinsonR #learning #performance #question

Do cognitive styles affect learning performance in different computer media? (AP, JAR), pp. 39–43.

TACAS-2002-KimSC #functional #requirements #specification #using #verification

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.

ICSM-2002-Arsanjani #architecture #compilation #configuration management #towards

Business Compilers: Towards Supporting a Highly Re-Configurable Architectural Style for Service-Oriented Architecture (AA), p. 287.

ICSM-2002-ArsanjaniAZ #architecture #component #configuration management #maintenance

Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style (AA, JJA, HZ), pp. 628–637.

CSCW-2002-IsaacsWWSK

The character, functions, and styles of instant messaging in the workplace (EI, AW, SW, DJS, CAK), pp. 11–20.

ICPR-v2-2002-VeeramachaneniFLN #classification #polynomial

Style-Conscious Quadratic Field Classifier (SV, HF, CLL, GN), pp. 72–75.

ICPR-v4-2002-Sarkar #algorithm #classification

An Iterative Algorithm for Optimal Style Conscious Field Classification (PS), p. 243–?.

ICSE-2002-PaceC #architecture #aspect-oriented #framework #object-oriented

An object-oriented bridge among architectural styles, aspects and frameworks (JADP, MRC), p. 717.

CADE-2002-Hurd #first-order #interface #logic

An LCF-Style Interface between HOL and First-Order Logic (JH), pp. 134–138.

CSL-2002-Ogata #continuation #proving

A Proof Theoretical Account of Continuation Passing Style (IO), pp. 490–505.

CBSE-2001-Wile #architecture #using

Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.

WICSA-2001-Schwanke #architecture

Layers, Decisions, Patterns, Styles, and Architectures (RWS), pp. 137–147.

ICDAR-2001-SarkarN

Style-Consistency in Isogenous Patterns (PS, GN), pp. 1169–1175.

FLOPS-2001-Sulzmann #framework #type inference

A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.

EDOC-2001-AnderssonJ #architecture #enterprise #integration #scalability

Architectural Integration Styles for Large-Scale Enterprise Software Systems (JA, PJ), pp. 224–236.

ESEC-FSE-2001-MorisawaT #architecture #distributed #product line

An architectural style of product lines for distributed processing systems, and practical selection method (YM, KT), pp. 11–20.

ICSE-2001-EmmerichEF #architecture #enterprise #integration #named

TIGRA — An Architectural Style for Enterprise Application Integration (WE, EE, HF), pp. 567–576.

VLDB-2000-ChaudhuriW #architecture #database #self #towards

Rethinking Database System Architecture: Towards a Self-Tuning RISC-Style Database System (SC, GW), pp. 1–10.

ITiCSE-2000-BlandL #learning

Agents, profiles, learning styles and tutors (poster session) (CGB, PBL), p. 185.

AdaEurope-2000-CloshenH #ada #implementation #programming #using

An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.

ICPR-v2-2000-SarkarN #classification

Classification of Style-Constrained Pattern-Fields (PS, GN), pp. 2855–2858.

PPDP-2000-Ayala-RinconK #unification

Unification via se-style of explicit substitution (MAR, FK), pp. 163–174.

ICSE-2000-BirbilisKKTV #architecture #named #programming

E-Slate: a software architectural style for end-user programming (GB, MK, KK, GT, GV), pp. 684–687.

WICSA-1999-BatorySC #adaptation #architecture

Architectural Styles as Adaptors (DSB, YS, LC), pp. 203–224.

WICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving

Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (DH, PI, UM), pp. 127–144.

WICSA-1999-KleinKBCBL #architecture

Attribute-Based Architecture Styles (MHK, RK, LJB, SJC, MB, HFL), pp. 225–244.

DAC-1999-HemaniMKPONOEL #design #power management #using

Lowering Power Consumption in Clock by Using Globally Asynchronous Locally Synchronous Design Style (AH, TM, SK, AP, TO, PN, JÖ, PE, DL), pp. 873–878.

HT-1999-RutledgeHOB #hypermedia

Mix’n’match: Exchangeable Modules of Hypermedia Style (LR, LH, JvO, DCAB), pp. 179–188.

ICDAR-1999-GarainC #documentation

Extraction of Type Style based Meta-Information from Imaged Documents (UG, BBC), pp. 341–344.

ICFP-1999-GanzFW

Trampolined Style (SEG, DPF, MW), pp. 18–27.

CHI-1999-BruckmanE #analysis #fault #programming language

Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.

CHI-1999-FukumotoT #named #smarttech

Whisper: A Wristwatch Style Wearable Handset (MF, YT), pp. 112–119.

SAC-1999-LeavensWB #data flow #diagrams #semantics #specification

Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.

ESEC-FSE-1999-Gafni #architecture #named #realtime

Robots: A Real-Time Systems Architectural Style (VG), pp. 57–74.

ICSE-1999-NittoR #architecture #middleware

Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.

ICSE-1999-RoodynE #architecture #multi #realtime

An Architectural Style for Multiple Real-Time Data Feeds (NR, WE), pp. 564–572.

ICFP-1998-Kiselyov98a #abstraction #c++ #functional

Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.

POPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification

Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.

REFSQ-1998-LauesenY #requirements #usability

Six Styles for Usability Requirements (SL, HY), pp. 155–166.

CADE-1998-Ohlbach #framework #reasoning #semantics

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.

EDTC-1997-SurtiCT #automaton #design #encoding #power management #using

Low power FSM design using Huffman-style encoding (PS, LFC, AT), pp. 521–525.

HT-1997-HirataMOLH #integration #navigation

Object-based Navigation: An Intuitive Navigation Style for Content-Oriented Integration Environment (KH, SM, YO, WSL, YH), pp. 75–86.

HT-1997-OssenbruggenHRE #documentation #hypermedia

Style Sheet Support for Hypermedia Documents (JvO, LH, LR, AE), pp. 216–217.

HCI-SEC-1997-HolstCG #analysis #constraints #interface

Transporting Honey Bears: A Cognitive Analysis of the Effects of Interface Manipulation Style on a Constraint-Based Planning Task (SJH, EFC, DJG), pp. 169–172.

HCI-SEC-1997-RuyterV #interactive #modelling #multimodal

Modeling and Evaluating Multimodal Interaction Styles (BERdR, JHMdV), pp. 711–714.

TOOLS-ASIA-1997-Coplien97a #c++ #programming #using

Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.

TOOLS-PACIFIC-1997-Coplien #c++ #programming

Advanced C++ Programming Styles and Idioms (JC), p. 352.

POPL-1997-Boudol #π-calculus

The π-calculus in Direct Style (GB), pp. 228–241.

ICSE-1997-MedvidovicOT #architecture #component #off the shelf #reuse

Reuse of Off-the-Shelf Components in C2-Style Architectures (NM, PO, RNT), pp. 692–700.

TLCA-1997-MalolepszyMZ #decidability

Schwichtenberg-Style λ Definability Is Undecidable (JM, MM, MZ), pp. 267–283.

HT-1996-HaakeH #hypermedia #named #towards #version control

VerSE: Towards Hypertext Versioning Styles (AH, DLH), pp. 224–234.

ESOP-1996-SmithV #c #polymorphism #towards #type system

Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.

ICALP-1996-ChengK #axiom #constraints #set

A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.

CHI-1996-Gale #approach #collaboration

A Collaborative Approach to Developing Style Guides (SG), pp. 362–367.

ICPR-1996-ZhaNN #3d #algorithm #image #modelling #recognition #using

3-D object recognition from range images by using a model-based Hopfield-style matching algorithm (HZ, HN, TN), pp. 111–116.

FSE-1996-MedvidovicORT #architecture #design #object-oriented #type system #using

Using Object-Oriented Typing to Support Architectural Design in the C2 Style (NM, PO, JER, RNT), pp. 24–32.

FSE-1996-Metayer #architecture #graph grammar

Software Architecture Styles as Graph Grammars (DLM), pp. 15–23.

ICSE-1996-GodartCCMS #architecture #design #implementation #lessons learnt #process

Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned (CG, GC, FC, PM, HS), pp. 342–352.

CADE-1996-SchmittK #matrix #proving

Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.

ISSTA-1996-JacksonD #design #detection

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector (DJ, CD), pp. 239–249.

DAC-1995-LavagnoMSS #design #power management #synthesis

Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (LL, PCM, AS, ALSV), pp. 254–260.

ICDAR-v1-1995-Crettez #product line #recognition #set

A set of handwriting families: style recognition (JPC), pp. 489–494.

ICDAR-v1-1995-WangY #editing #image

Block selection: a method for segmenting a page image of various editing styles (SYW, TY), pp. 128–133.

RE-1995-HeitmeyerLK #consistency #requirements #specification

Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.

ICSE-1995-TaylorMAWR #architecture #component #message passing #user interface

A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.

CAV-1995-DingelF #abstraction #infinity #model checking #proving #reasoning #theorem proving #using

Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving (JD, TF), pp. 54–69.

ESOP-J-1992-Danvy94

Back to Direct Style (OD), pp. 183–195.

CHI-1994-VoraHS94a #hypermedia #interface #multi

Evaluating the influence of interface styles and multiple access paths in hypertext (PRV, MH, VLS), pp. 323–329.

SEKE-1994-Kalnins

Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.

PLILP-1994-BelkhirN #functional #logic #towards #using

Towards Integrating Functional and Logic Styles Using Relation (AB, NN), pp. 463–464.

POPL-1994-HatcliffD #continuation

A Generic Account of Continuation-Passing Styles (JH, OD), pp. 458–471.

SAC-1994-BosschereT #continuation #performance #prolog

High performance continuation passing style Prolog-to-C mapping (KDB, PT), pp. 383–387.

SAC-1994-LeeA #c++

C++ style class support under FIG Forth (YML, DJA), pp. 341–345.

FSE-1994-GarlanAO #architecture #design

Exploiting Style in Architectural Design Environments (DG, RA, JO), pp. 175–188.

CADE-1994-Portoraro #automation #named #proving

Symlog: Automated Advice in Fitch-style Proof Construction (FDP), pp. 802–806.

ILPS-1994-Lindgren #continuation #prolog

A Continuation-Passing Style for Prolog (TL), pp. 603–617.

ICDAR-1993-FrankeO #classification #detection #statistics

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

HCI-SHI-1993-AndersonJBA

The Use of Computer Simulated Cases to Study Factors that Influence Clinical Practice Styles (JGA, SJJ, CB, MMA), pp. 742–747.

POPL-1993-LawallD #continuation

Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.

FSE-1993-AbowdAG #architecture #using

Using Style to Understand Descriptions of Software Architecture (GDA, RA, DG), pp. 9–20.

DAC-1992-FujiiMMY #multi

A Multi-Layer Channel Router with New Style of Over-the-Cell Routing (TF, YM, TM, TY), pp. 585–588.

DAC-1992-OkudaO #algorithm #generative #layout #performance

An Efficient Routing Algorithm for SOG Cell Generation on a Dense Gate-Isolated Layout Style (RO, SO), pp. 676–681.

HT-ECHT-1992-OgawaTTH #design #hypermedia

Design Strategies for Scenario-Based Hypermedia: Description of its Structure, Dynamics, and Style (RO, ET, DT, KH), pp. 71–80.

ESOP-1992-Danvy

Back to Direct Style (OD), pp. 130–150.

WSA-1992-Queinnec

Value Transforming Style (CQ), pp. 20–28.

LFP-1992-DanvyL #continuation

Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.

LFP-1992-SabryF #continuation #reasoning #source code

Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.

PLILP-1992-Tarau #continuation #named #prolog

BinProlog: a Continuation Passing Style Prolog Engine (PT), pp. 479–480.

POPL-1992-Ohori #calculus #compilation #polymorphism

A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.

DAC-1991-HwangHLH #automation #generative #layout #performance

An Efficient Layout Style for 2-Metal CMOS Leaf Cells And Their Automatic Generation (CYH, YCH, YLL, YCH), pp. 481–486.

VDME-1991-1-Stolen #concurrent

An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.

LICS-1991-Hungar #bound #complexity #hoare #proving

Complexity Bounds of Hoare-style Proof Systems (HH), pp. 120–126.

DAC-1989-AdamsS #generative #layout

Template Style Considerations for Sea-of-Gates Layout Generation (GDA, CHS), pp. 31–36.

SEKE-1989-ChengHH #object-oriented #programming #visual notation

Visual Programming in Object-oriented Style (KYC, WHH, MSH), pp. 93–97.

POPL-1989-AppelJ #continuation

Continuation-Passing, Closure-Passing Style (AWA, TJ), pp. 293–302.

OOPSLA-1988-LieberherrHR #object-oriented #programming

Object-Oriented Programming: An Objective Sense of Style (KJL, IMH, AJR), pp. 323–334.

CADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog

Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.

LICS-1987-MitchellM #modelling #λ-calculus

Kripke-Style models for typed λ calculus (JCM, EM), pp. 303–314.

LFP-1986-DybvigFH #metaprogramming

Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.

DAC-1985-Bergmann #design #independence

Generalised CMOS-a technology independent CMOS IC design style (NB), pp. 273–278.

DAC-1984-TsengS #design #named

Emerald: A bus style designer (CJT, DPS), pp. 315–321.

SCC-1984-AigrainGHMP #code generation #experience

Experience with a Graham-Glanville style code generator (PA, SLG, RRH, MKM, EPL), pp. 13–24.

SCC-1984-ChristopherHK #code generation #programming #using

Using dynamic programming to generate optimized code in a Graham-Glanville style code generator (TWC, PJH, RCK), pp. 25–36.

POPL-1984-Wand #morphism #polymorphism #semantics

A Types-as-Sets Semantics for Milner-Style Polymorphism (MW), pp. 158–164.

SLP-1984-BroughE84 #data flow #logic #programming

Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.