BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
dimension (78)
base (38)
model (33)
use (28)
level (27)

Stem three$ (all stems)

315 papers:

CASECASE-2015-WangSH #concurrent
A three-stage deadlock prevention strategy for S3PR nets (SW, CS, LH), pp. 286–291.
SIGMODSIGMOD-2015-Widom
Three Favorite Results (JW), p. 659.
FoSSaCSFoSSaCS-2015-AntonopoulosHRW #logic #realtime
Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
CIAACIAA-2015-Hulden #automaton #finite #regular expression
From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
HCIDHM-HM-2015-KanazawaOWTTGH #experience #performance #research
Research on the Performance of Three Tea Whisks of “The Way of Tea” with Different Experience (SK, TO, ZW, AT, YT, AG, HH), pp. 95–103.
HCIDUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #modelling #simulation #tool support
Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education (STF, LF, BAdA, JRLdS, HW, ABR, CJPdL), pp. 662–671.
HCIHCI-DE-2015-SantosFD #case study #evaluation #heuristic #set #using #visualisation
Heuristic Evaluation in Information Visualization Using Three Sets of Heuristics: An Exploratory Study (BSS, BQF, PD), pp. 259–270.
HCIHIMI-IKC-2015-KajitaTMI #3d #design #using
Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.
HCIHIMI-IKC-2015-SotokawaMNSI #detection #evaluation
Driving Evaluation of Mild Unilateral Spatial Neglect Patients-Three High-Risk Cases Undetected by BIT After Recovery (TS, TM, JN, YS, MI), pp. 253–261.
HCILCT-2015-LorenzBK #case study
Impacting the Digital Divide on a Global Scale — Six Case Studies from Three Continents (BL, SIB, KK), pp. 687–696.
CAiSECAiSE-2015-LwakatareKHT #bibliography #challenge #empirical #implementation
Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies (LEL, PK, HH, AT), pp. 453–467.
SEKESEKE-2015-WangKN #feature model #re-engineering
Stability of Three Forms of Feature Selection Methods on Software Engineering Data (HW, TMK, AN), pp. 385–390.
SACSAC-2015-SantosM #detection
Exploring decision drivers on god class detection in three controlled experiments (JAMS, MGM), pp. 1472–1479.
CASECASE-2014-YanZJCC #3d #metric
Hall-sensor-based orientation measurement method in three-dimensional space for electromagnetic actuators (LY, BZ, ZJ, CYC, IMC), pp. 182–187.
DATEDATE-2014-ChenLLSHC #3d
Yield and timing constrained spare TSV assignment for three-dimensional integrated circuits (YGC, KYL, MCL, YS, WKH, SCC), pp. 1–4.
DocEngDocEng-2014-FerreiraLFSR #assessment #representation #similarity
A new sentence similarity assessment measure based on a three-layer sentence representation (RF, RDL, FF, SJS, MR), pp. 25–34.
ITiCSEITiCSE-2014-FeasterAZH #concept #education
Serious toys: three years of teaching computer science concepts in K-12 classrooms (YF, FA, JZ, JOH), pp. 69–74.
ITiCSEITiCSE-2014-SettleVS #motivation #programming
Three views on motivation and programming (AS, AV, JS), pp. 321–322.
MSRMSR-2014-WilliamsRMRK #dataset #modelling
Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.
STOCSTOC-2014-HaitnerT #protocol
An almost-optimally fair three-party coin-flipping protocol (IH, ET), pp. 408–416.
HCIDHM-2014-Luo #artificial reality #case study #metric #re-engineering #using
Study on Three Dimensions Body Reconstruction and Measurement by Using Kinect (QL), pp. 35–42.
HCIHCI-TMT-2014-PhotiadisZ #3d #design #experience #user interface #visualisation
The Formulation and Visualization of 3D Avatar Design, Including Three Basic Theoretical Elements: Aesthetic, User Experience and Psychology (TP, PZ), pp. 134–144.
HCIHIMI-DE-2014-ItoW #challenge #communication
Three Key Challenges in ARM-COMS for Entrainment Effect Acceleration in Remote Communication (TI, TW), pp. 177–186.
HCILCT-NLE-2014-BrayshawGNWB #analysis #case study #evaluation #heuristic
Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies (MB, NG, JTN, LW, AB), pp. 25–35.
ICPRICPR-2014-DongSFBC #3d
Three-Dimensional Deconvolution of Wide Field Microscopy with Sparse Priors: Application to Zebrafish Imagery (BD, LS, AFF, OB, MDC), pp. 865–870.
ICPRICPR-2014-MasselliZ #approach #geometry #performance #problem
A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
KEODKEOD-2014-TakahashiTTL #automation #industrial #standard #web
An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
ICSEICSE-2014-StolF #case study #crowdsourcing #development
Two’s company, three’s a crowd: a case study of crowdsourcing software development (KJS, BF), pp. 187–198.
CASECASE-2013-IsmailH #3d #anti #higher-order #using
Trajectory tracking and anti-sway control of three-dimensional offshore boom cranes using second-order sliding modes (RMTRI, QPH), pp. 996–1001.
VLDBVLDB-2013-LiuSW #performance #query
A Performance Study of Three Disk-based Structures for Indexing and Querying Frequent Itemsets (GL, AS, LW), pp. 505–516.
DLTDLT-2013-Jungers
Joint Spectral Characteristics: A Tale of Three Disciplines (RMJ), pp. 27–28.
ICALPICALP-v1-2013-Uppman #complexity
The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom (HU), pp. 804–815.
IFMIFM-2013-MoranHS #automation #verification
Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.
CHICHI-2013-BlytheBHWO
Unlimited editions: three approaches to the dissemination and display of digital art (MB, JB, JH, PCW, PO), pp. 139–148.
CHICHI-2013-DeckersWLA #behaviour #design
Designing for perceptual crossing: designing and comparing three behaviors (ED, SW, PL, RA), pp. 1901–1910.
CHICHI-2013-HoloneH #design
Three tensions in participatory design for inclusion (HH, JH), pp. 2903–2906.
CHICHI-2013-TanenbaumAR #behaviour #game studies
Three perspectives on behavior change for serious games (JT, ANA, JR), pp. 3389–3392.
HCIDHM-SET-2013-MoriK #3d #evaluation #simulation
Ergonomics Study of Direct and Indirect Visibility Evaluation at Uncontrolled Intersections Based on Three-Dimensional Computer Simulation (MM, NK), pp. 70–77.
HCIDUXU-NTE-2013-DonovanSS #gesture #interactive #research
Gestural, Emergent and Expressive: Three Research Themes for Haptic Interaction (JD, GS, JS), pp. 352–361.
HCIOCSC-2013-JiangB #approach #case study #multi #network #social
A Three-Level Approach to the Study of Multi-cultural Social Networking (YJ, OdB), pp. 365–374.
KDIRKDIR-KMIS-2013-LaneL #concept #prototype
Managing Knowledge in the Three States of Conceptual Discovery, Prototype Invention — Commercial Innovation (JPL, RML), pp. 539–542.
ICMTICMT-2013-WillinkHK #qvt
Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
RERE-2013-Terzakis #quality #requirements
The impact of requirements on software quality across three product generations (JT), pp. 284–289.
HPDCHPDC-2013-RajachandrasekarMMP #file system
A 1 PB/s file system to checkpoint three million MPI tasks (RR, AM, KM, DKP), pp. 143–154.
CSLCSL-2013-Girard #logic
Three lightings of logic (Invited Talk) (JYG), pp. 11–23.
ICSTICST-2013-FarooqQA #effectiveness #empirical #performance #testing
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ASEASE-2012-JacobsonSJK #re-engineering
Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.
CASECASE-2012-FantiIMU #case study #design #evaluation #performance
A three level strategy for the design and performance evaluation of Hospital Departments: A case study (MPF, GI, AMM, WU), pp. 323–328.
CASECASE-2012-TohNT #3d #automation #flexibility #multi
Three dimensional adjustable cavity for flexible singulation of multiple medications in an automated medication dispenser (CKT, SLJN, YOT), pp. 347–352.
CASECASE-2012-TuanKL #3d #feedback
Partial Feedback Linearization Control of the three dimensional overhead crane (LAT, GHK, SGL), pp. 1198–1203.
DATEDATE-2012-ChenSZX #3d #named #physics #synthesis
3DHLS: Incorporating high-level synthesis in physical planning of three-dimensional (3D) ICs (YC, GS, QZ, YX), pp. 1185–1190.
CHICHI-2012-BoonsukGK #interface #video
The impact of three interfaces for 360-degree video on spatial cognition (WB, SBG, JWK), pp. 2579–2588.
CIKMCIKM-2012-GaoZLH #clustering #recommendation #twitter
Twitter hyperlink recommendation with user-tweet-hyperlink three-way clustering (DG, RZ, WL, YH), pp. 2535–2538.
ICPRICPR-2012-NaritaOWK #3d #case study #estimation #recognition
A study on three dimensional rotation-free character recognition and rotation angle estimation of characters (RN, WO, TW, FK), pp. 677–680.
ICPRICPR-2012-YabushitaSM #3d #framework #image #recognition
A framework of three-dimensional object recognition which needs only a few reference images (HY, JS, MM), pp. 1375–1378.
KDIRKDIR-2012-GarciaGG #information management #performance #predict #validation
Predicting the Efficiency with Knowledge Discovery of a Budgeted Company: A Cuban University — Validation through Three Semesters (LIG, IG, RG), pp. 315–318.
MODELSMoDELS-2012-BriandFNSY #modelling
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
MODELSMoDELS-2012-IqbalAYB #case study #experience #industrial #uml
Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
MODELSMoDELS-2012-BriandFNSY #modelling
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
MODELSMoDELS-2012-IqbalAYB #case study #experience #industrial #uml
Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
GPCEGPCE-2012-ZhangZUVH #component #development
A three-level component model in component based software development (H(Z, LZ, CU, SV, MH), pp. 70–79.
SACSAC-2012-TaherHP #adaptation #approach #web #web service
A three step based approach for Web Service adaptation (YT, WJvdH, MP), pp. 1992–1993.
SACSAC-2012-TsaiC #3d #manycore #realtime #scheduling
Thermal-aware real-time task scheduling for three-dimensional multicore chip (THT, YSC), pp. 1618–1624.
ICDARICDAR-2011-NaritaOWK #3d #recognition
Three Dimensional Rotation-Free Recognition of Characters (RN, WO, TW, FK), pp. 824–828.
CSCWCSCW-2011-MooreCK #interactive #internet #query
Three sequential positions of query repair in interactions with internet search engines (RJM, EFC, RGPK), pp. 415–424.
HCIDHM-2011-LiZ #evaluation
Ergonomics Evaluation of Three Operation Postures for Astronauts (DL, YZ), pp. 129–138.
HCIDHM-2011-Ng #3d #design
Three-Dimensional Grading of Virtual Garment with Design Signature Curves (RN), pp. 328–336.
HCIDHM-2011-QinTD #type system #using
The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.
HCIHCD-2011-HumayounDC #agile #design #development #framework #integration
A Three-Fold Integration Framework to Incorporate User-Centered Design into Agile Software Development (SRH, YD, TC), pp. 55–64.
HCIOCSC-2011-TsaiHT #network #social
An Investigation into the Social Network between Three Generations in a Household: Bridging the Interrogational Gaps between the Senior and the Youth (THT, YLH, KCT), pp. 277–286.
ICEISICEIS-v1-2011-NiknafsSRR #analysis #comparative #predict
Comparative Analysis of Three Techniques for Predictions in Time Series Having Repetitive Patterns (AN, BS, MMR, GR), pp. 177–182.
CIKMCIKM-2011-LinTC #classification #independence #sentiment #using #word
Language-independent sentiment classification using three common words (ZL, ST, XC), pp. 1041–1046.
ICMLICML-2011-NickelTK #learning #multi
A Three-Way Model for Collective Learning on Multi-Relational Data (MN, VT, HPK), pp. 809–816.
SACSAC-2011-BoscP #axiom #flexibility #fuzzy #on the #retrieval
On three fuzzy connectives for flexible data retrieval and their axiomatization (PB, OP), pp. 1114–1118.
CBSECBSE-2010-LoiretSDS #approach #composition #embedded #realtime
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.
ECSAECSA-2010-ZhangUV #architecture #component #development
Architecture-Centric Component-Based Development Needs a Three-Level ADL (H(Z, CU, SV), pp. 295–310.
CASECASE-2010-TaoW #3d #algorithm #constraints #heuristic #problem
A new packing heuristic based algorithm for Vehicle Routing Problem with Three-dimensional Loading constraints (YT, FW), pp. 972–977.
CASECASE-2010-XuXZC #3d #realtime
Real-time 3D shape inspection system for manufacturing parts based on three-step stripe pattern (JX, NX, CZ, HC), pp. 228–233.
DACDAC-2010-ZhaoDX #3d #cost analysis #design #manycore
Cost-aware three-dimensional (3D) many-core multiprocessor design (JZ, XD, YX), pp. 126–131.
DATEDATE-2010-Marinissen #3d #testing
Testing TSV-based three-dimensional stacked ICs (EJM), pp. 1689–1694.
DocEngDocEng-2010-ThaoM #data type #detection #using #version control #xml
Using versioned tree data structure, change detection and node identity for three-way XML merging (CT, EVM), pp. 77–86.
ICPCICPC-2010-BeronPOC #problem
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.
ICSMEICSM-2010-OlbrichCS #case study #evolution #open source #smell
Are all code smells harmful? A study of God Classes and Brain Classes in the evolution of three open source systems (SMO, DC, DIKS), pp. 1–10.
LATALATA-2010-Clark #modelling
Three Learnable Models for the Description of Language (AC), pp. 16–31.
CHICHI-2010-JensenST #behaviour #navigation
Studying driver attention and behaviour for three configurations of GPS navigation in real traffic driving (BSJ, MBS, NT), pp. 1271–1280.
CHICHI-2010-Olmsted-HawalaMHA #comparison #protocol #testing #usability #web
Think-aloud protocols: a comparison of three think-aloud protocols for use in testing data-dissemination web sites for usability (ELOH, EDM, SH, KTA), pp. 2381–2390.
CSCWCSCW-2010-TangPIBTB #collaboration #communication #comprehension #distributed
Three’s company: understanding communication channels in three-way distributed collaboration (AT, MP, KI, HB, JCT, BB), pp. 271–280.
ICEISICEIS-AIDSS-2010-VegettiLH #abstraction
A Three Level Abstraction Hierarchy to Represent Product Structural Information (MV, HPL, GPH), pp. 299–308.
ICEISICEIS-J-2010-KisilevichKLBR #case study
Developing Analytical GIS Applications with GEO-SPADE: Three Success Case Studies (SK, DAK, AL, LB, LR), pp. 495–511.
ICPRICPR-2010-DaiYW #classification #image
Three-layer Spatial Sparse Coding for Image Classification (DD, WY, TW), pp. 613–616.
ICPRICPR-2010-HuYLS #3d #locality #multi #novel #using
A Novel Facial Localization for Three-dimensional Face Using Multi-level Partition of Unity Implicits (YH, JY, WL, PS), pp. 682–685.
ICPRICPR-2010-KoskenkorvaKB
Quasi-dense Wide Baseline Matching for Three Views (PK, JK, SSB), pp. 806–809.
ICPRICPR-2010-MatsukawaK #recognition #using
Action Recognition Using Three-Way Cross-Correlations Feature of Local Moton Attributes (TM, TK), pp. 1731–1734.
ICPRICPR-2010-Porro-MunozDOTL #difference #representation
Classifying Three-way Seismic Volcanic Data by Dissimilarity Representation (DPM, RPWD, MOA, ITB, JMLB), pp. 814–817.
ICPRICPR-2010-SeyedhosseiniPT #classification #image #network #parsing
Image Parsing with a Three-State Series Neural Network Classifier (MS, ARCP, TT), pp. 4508–4511.
KRKR-2010-ArieliAZ #logic
Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).
SIGIRSIGIR-2010-SchedlSSWS #heuristic
Three web-based heuristics to determine a person’s or institution’s country of origin (MS, KS, DS, GW, CS), pp. 801–802.
LOPSTRLOPSTR-2010-DanvyZ #combinator #graph #reduction
Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.
SACSAC-2010-WelferSM #approach #detection #image
A morphologic three-stage approach for detecting exudates in color eye fundus images (DW, JS, DRM), pp. 964–968.
DATEDATE-2009-JiangHX #3d #architecture #design #optimisation
Test architecture design and optimization for three-dimensional SoCs (LJ, LH, QX), pp. 220–225.
DLTDLT-2009-Saarela #complexity #equation #on the #satisfiability #theorem
On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (AS), pp. 443–453.
FMFM-2009-SchriebWW #abstraction
Three-Valued Spotlight Abstractions (JS, HW, DW), pp. 106–122.
CHICHI-2009-BruunGHS #comparison #testing #usability
Let your users do the testing: a comparison of three remote asynchronous usability testing methods (AB, PG, LH, JS), pp. 1619–1628.
CHICHI-2009-DucheneautWYW #case study #personalisation
Body and mind: a study of avatar personalization in three virtual worlds (ND, MHW, NY, GW), pp. 1151–1160.
CHICHI-2009-SauroD #comparison #usability
Comparison of three one-question, post-task usability questionnaires (JS, JSD), pp. 1599–1608.
CHICHI-2009-WaernMS #design #game studies #pervasive
The three-sixty illusion: designing for immersion in pervasive games (AW, MM, JS), pp. 1549–1558.
HCIHCD-2009-SiekKR #health #usability
A Usability Inspection of Medication Management in Three Personal Health Applications (KAS, DUK, SER), pp. 129–138.
HCIHCI-VAD-2009-Yarlikas #analysis #automation
A New Automatic Teller Machine (ATM) Proposal through the Analysis of ATMs of Three Banks (SY), pp. 641–650.
HCIHIMI-II-2009-ZhouH #3d #multi #research #visualisation
Multi-hierarchy Information Visualization Research Based on Three-Dimensional Display of Products System (HZ, WH), pp. 287–294.
HCIOCSC-2009-GhineaBS #case study #community #experience #multi #online
Multi-dimensional Moderation in Online Communities: Experiences with Three Norwegian Sites (GG, BB, CS), pp. 191–196.
ECMFAECMDA-FA-2009-GronmoMO #comparison #model transformation
Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
OOPSLAOOPSLA-2009-QuillienRW #agile #architecture
Agile anthropology and Alexander’s architecture: an essay in three voices (JQ, PR, DW), pp. 529–546.
ICLPICLP-2009-HolldoblerR #logic programming #semantics #source code
Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.
DACDAC-2008-HanSE #3d #equation #modelling
Electric field integral equation combined with cylindrical conduction mode basis functions for electrical modeling of three-dimensional interconnects (KJH, MS, EE), pp. 421–424.
LATALATA-2008-BaumeisterR #problem #reduction
The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions (DB, JR), pp. 76–87.
SOFTVISSOFTVIS-2008-PilgrimD #3d #editing #framework #named #visual notation
Gef3D: a framework for two-, two-and-a-half-, and three-dimensional graphical editors (JvP, KD), pp. 95–104.
ICPRICPR-2008-LuiC #multi
Three related types of multi-value association patterns (TWHL, DKYC), pp. 1–4.
ICPRICPR-2008-MartinezFRS #3d
Three-dimensional cell counting for in-situ microscopy (GM, JGF, GR, TS), pp. 1–4.
ICPRICPR-2008-ZhaoC #geometry
Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.
RecSysRecSys-2008-OostendorpR #interface #recommendation #reduction
Three recommender approaches to interface controls reduction (NO, PR), pp. 235–242.
SIGIRSIGIR-2008-PengL #analysis #evolution #topic #using
Author-topic evolution analysis using three-way non-negative Paratucker (WP, TL), pp. 819–820.
SACSAC-2008-BabarZCT #integration #requirements
Three integration approaches for map and B-SCP requirements engineering techniques (AB, DZ, KC, VT), pp. 650–655.
ICSTICST-2008-TappendenM #testing
A Three-Tiered Testing Strategy for Cookies (AFT, JM), pp. 131–140.
CASECASE-2007-FukuiNSMMF #automation #safety
Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications (TF, MN, YS, IM, AM, TF), pp. 111–116.
CASECASE-2007-VahediS #geometry
Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons (MV, AFvdS), pp. 404–411.
HTHT-2007-Hall #hypermedia
Back to the future with hypertext: a tale of two or three conferences (WH), pp. 179–180.
ICDARICDAR-2007-JlaielKAM #difference
Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
ICPCICPC-2007-AlwisMR #case study #comparative #tool support
A Comparative Study of Three Program Exploration Tools (BdA, GCM, MPR), pp. 103–112.
CIAACIAA-J-2006-CzeizlerK07 #equation #independence #on the #word
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.
CHICHI-2007-AndreasenNSS #empirical #testing #usability #what
What happened to remote usability testing?: an empirical study of three methods (MSA, HVN, SOS, JS), pp. 1405–1414.
CHICHI-2007-HancockCC #3d #design #evaluation #interactive
Shallow-depth 3d interaction: design and evaluation of one-, two- and three-touch techniques (MSH, MSTC, AC), pp. 1147–1156.
HCIDHM-2007-HuDYY #3d
Investigation on Ergonomics Characteristics of Protective Clothing Based on Capture of Three-Dimensional Body Movements (HH, LD, CY, XY), pp. 856–864.
HCIDHM-2007-ThomasCRMM #3d #modelling #navigation
Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment (MDT, DWC, BR, JAM, AM), pp. 205–214.
HCIHCI-AS-2007-MorDML #approach #behaviour
A Three-Level Approach for Analyzing User Behavior in Ongoing Relationships (EM, MGD, JM, SL), pp. 971–980.
HCIHCI-IPT-2007-FallmanMY #design
The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.
HCIHCI-MIE-2007-HwangLK #interactive
Three Way Relationship of Human-Robot Interaction (JHH, KWL, DSK), pp. 321–330.
ICMLICML-2007-MnihH #modelling #statistics #visual notation
Three new graphical models for statistical language modelling (AM, GEH), pp. 641–648.
SEKESEKE-2007-SotoVPP #architecture #information management #multi
A Three Level Multi-agent Architecture to Foster Knowledge Exchange (JPS, AV, JPR, MP), pp. 565–569.
PADLPADL-2007-MorimotoTI #performance
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning (TM, YT, HI), pp. 65–79.
SACSAC-2007-MilsztajnG #3d #algorithm #markov #random #search-based #segmentation #using
Three-dimensional segmentation of brain tissues using Markov random fields and genetic algorithms (FM, KdG), pp. 745–746.
CAVCAV-2007-KatoenKLW #abstraction #markov
Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
ICLPICLP-2007-GrecoM #consistency #database #query #semantics
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.
DACDAC-2006-HuaMSSMJD #3d
Exploring compromises among timing, power and temperature in three-dimensional integrated circuits (HH, CM, KS, AMS, SM, RJ, WRD), pp. 997–1002.
DATEDATE-2006-HosangadiFK #optimisation #using
Optimizing high speed arithmetic circuits using three-term extraction (AH, FF, RK), pp. 1294–1299.
DocEngDocEng-2006-GodlewskiPS #recognition
Application of syntactic properties to three-level recognition of polish hand-written medical texts (GG, MP, JS), pp. 115–121.
ITiCSEITiCSE-2006-CrescenziLP #experience #java
Assessing CS1 java skills: a three-year experience (PC, ML, RP), p. 348.
DLTDLT-2006-Borel #3d #complexity #word
Complexity of Degenerated Three Dimensional Billiard Words (JPB), pp. 386–396.
ICALPICALP-v1-2006-Reichardt #fault tolerance #quantum
Fault-Tolerance Threshold for a Distance-Three Quantum Code (BR), pp. 50–61.
CIKMCIKM-2006-AhlgrenG #case study #comparative #evaluation #metric #retrieval
Retrieval evaluation with incomplete relevance data: a comparative study of three measures (PA, LG), pp. 872–873.
ICPRICPR-v1-2006-Morita #3d #image #memory management
Three Dimensional Short-term Memory Image (SM), pp. 1226–1230.
ICPRICPR-v1-2006-Sun #approach #constraints #estimation
A Three-Frame Approach to Constraint-Consistent Motion Estimation (ZS), pp. 35–38.
ICPRICPR-v2-2006-MizunoN #comprehension #constraints #prototype
Constraint-Based Prototyping for Understanding Three Orthographic Views (KM, SN), pp. 1090–1093.
ICPRICPR-v2-2006-Strand #3d #distance #fourier #grid #image #re-engineering #using
Using the Hexagonal Grid for Three-Dimensional Images: Direct Fourier Method Reconstruction and Weighted Distance Transform (RS), pp. 1169–1172.
ICPRICPR-v3-2006-KawanakaFI #3d
Human Head Tracking in Three Dimensional Voxel Space (HK, HF, YI), pp. 826–829.
ICPRICPR-v3-2006-OngCB #3d #invariant
Scale Invariants of Three-Dimensional Legendre Moments (LYO, CWC, RB), pp. 141–144.
MBTMBT-2006-KervinenMK #architecture #testing #using
Controlling Testing Using Three-Tier Model Architecture (AK, MM, MK), pp. 53–66.
HTHT-2005-Matias #3d #case study #hypermedia
Philadelphia fullerine: a case study in three-dimensional hypermedia (JNM), pp. 7–14.
ICDARICDAR-2005-PervouchineLM
Three-stage Handwriting Stroke Extraction Method with Hidden Loop Recovery (VP, GL, KM), pp. 307–311.
IWPCIWPC-2005-CeccatoMMMTT #comparison #mining
A Qualitative Comparison of Three Aspect Mining Techniques (MC, MM, KM, LM, PT, TT), pp. 13–22.
ECOOPECOOP-2005-Meyer #object-oriented #problem #programming
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming (BM), pp. 1–32.
RERE-2005-DorrKKOS #case study #industrial #non-functional #requirements
Non-Functional Requirements in Industry — Three Case Studies Adopting an Experience-based NFR Method (JD, DK, TK, TO, TS), pp. 373–384.
SACSAC-2005-QuagliaR #coordination #persistent #reliability
Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.
DocEngDocEng-2004-Lindholm #documentation #xml
A three-way merge for XML documents (TL), pp. 1–10.
ICEISICEIS-v2-2004-LoucaRGM #3d #multi #research
Multi-Agent Propositions to Manage Organizational Knowledge: Position Paper Concerning a Three-Dimensional Research Project (JL, CR, FG, VM), pp. 436–441.
ICPRICPR-v1-2004-BowyerCF #3d #bibliography #recognition
A Survey Of Approaches To Three-Dimensional Face Recognition (KWB, KIC, PJF), pp. 358–361.
ICPRICPR-v1-2004-LuCJ #3d #modelling #recognition
Three-Dimensional Model Based Face Recognition (XL, DC, AKJ), pp. 362–366.
ICPRICPR-v3-2004-IshiiO #3d #using
Perfect Perspective Projection using a Varifocal Mirror and Its Application to Three-Dimensional Close-Up Imaging (AI, RO), pp. 270–273.
ICPRICPR-v4-2004-GorgevikC #classification #performance #recognition
An Efficient Three-Stage Classifier for Handwritten Digit Recognition (DG, DC), pp. 507–510.
ICPRICPR-v4-2004-LucenaFB #evaluation #modelling
Evaluation of Three Optical Flow-Based Observation Models for Tracking (MJL, JMF, NPdlB), pp. 236–239.
ATEMATEM-2003-CoxC04 #modelling #source code
Three-Layered Source-Code Modelling (AC, CLAC), pp. 71–79.
LICSLICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
ASEASE-2003-ShehataE #detection #framework #interactive #requirements
Detecting Requirements Interactions: A Three-Level Framework (MS, AE), pp. 352–355.
STOCSTOC-2003-AronovPST
Distinct distances in three and higher dimensions (BA, JP, MS, GT), pp. 541–546.
STOCSTOC-2003-CoppersmithS #higher-order #semistructured data
Reconstructing curves in three (and higher) dimensional space from noisy data (DC, MS), pp. 136–142.
DLTDLT-2003-FreundMOP #on the
On Three Classes of Automata-Like P Systems (RF, CMV, AO, GP), pp. 292–303.
CAiSECAiSE-2003-ChiuCL #adaptation #collaboration
A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems (DKWC, SCC, HfL), pp. 226–241.
ICEISICEIS-v2-2003-Abdel-WahaabBHH #3d #invariant #network #recognition #using
Three-Dimensional Object Recognition Using Support Vector Machine Neural Network Based on Moment Invariant Features (MSAW, SFB, ASH, DMH), pp. 583–588.
ICEISICEIS-v3-2003-AndreouZP #3d #component #development #elicitation #requirements
A Three-Dimensional Requirements Elicitation and Management Decision-Making Scheme for the Development of New Software Components (ASA, ACZ, GAP), pp. 3–13.
ICEISICEIS-v3-2003-Gittoes #approach #implementation #quality
A Three Perspective Approach to Groupware Implementation Quality Management: Within an Australian University (DG), pp. 307–312.
ICEISICEIS-v4-2003-EspinosaRGG #modelling #personalisation
Users-Tailored E-Bussines Through a Three-Layer Personalization Model Based on Agents (ELE, ILR, GCG, MÁGN), pp. 444–447.
ECIRECIR-2003-HeeschR #feedback #image #question #retrieval #what
Relevance Feedback for Content-Based Image Retrieval: What Can Three Mouse Clicks Achieve? (DH, SMR), pp. 363–376.
SACSAC-2003-FurhtGHM #3d #adaptation #analysis
An Adaptive Three-Dimensional DCT Compression Based on Motion Analysis (BF, KG, HH, OM), pp. 765–768.
LICSLICS-2003-PistoreV #infinity
The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
DACDAC-2002-BartleyGB #comparison #pseudo #random testing #testing #verification
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.
DACDAC-2002-BernasconiCLP #logic #performance #symmetry
Fast three-level logic minimization based on autosymmetry (AB, VC, FL, LP), pp. 425–430.
CIAACIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.
ICPRICPR-v3-2002-IpFC #3d #image #re-engineering
Three-Dimensional Enhancement of Confocal Scanning Laser Fluorescence Microscope Images for Vascular Reconstruction (HHSI, JJF, SHC), pp. 863–866.
ICPRICPR-v3-2002-KawaiT #3d #interface #using #visual notation
A Support System for Visually Impaired Persons to Understand Three-dimensional Visual Information Using Acoustic Interface (YK, FT), pp. 974–977.
ICPRICPR-v3-2002-ManabePJC #3d #metric #using
Three Dimensional Measurement using Color Structured Patterns and Imaging Spectrograph (YM, JP, TJ, KC), pp. 649–652.
ICPRICPR-v4-2002-QuanL
Structure from Motion from Three Affine Views (LQ, ML), pp. 1–6.
ICPRICPR-v4-2002-Yang02a
Tetrahedron Mapping of Points from N-Space to Three-Space (LY), p. 343–?.
SACSAC-2002-BergentiR #coordination #multi
Three approaches to the coordination of multiagent systems (FB, AR), pp. 367–372.
DATEDATE-2001-NicoliciA #3d #design #testing #trade-off
Testability trade-offs for BIST RTL data paths: the case for three dimensional design space (NN, BMAH), p. 802.
ICDARICDAR-2001-KleinGKD #industrial
Three Approaches to “Industrial” Table Spotting (BK, SG, TK, AD), pp. 513–517.
ICDARICDAR-2001-PerroudSBH #clustering #documentation
Text Extraction from Color Documents — Clustering Approaches in Three and Four Dimensions (TP, KS, HB, LOH), pp. 937–941.
ESOPESOP-2001-HuthJS #program analysis
Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.
ICALPICALP-2001-FerencziHZ #combinator
Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.
LSOLSO-2001-LindvallFCT #experience #lessons learnt
Lessons Learned about Structuring and Describing Experience for Three Experience Bases (ML, MF, PC, RT), pp. 106–119.
TOOLSTOOLS-USA-2001-HayaseIM #framework #object-oriented
A Three-View Model for Developing Object-Oriented Frameworks (TH, NI, KM), pp. 108–119.
DATEDATE-2000-DubrovaEMM #algorithm #named #optimisation
TOP: An Algorithm for Three-Level Optimization of PLDs (ED, PE, DMM, JCM), p. 751.
DATEDATE-2000-VermeulenCMV #embedded #reuse
Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications (FV, FC, HDM, DV), pp. 92–98.
CSEETCSEET-2000-MengelCF
A Perspective on Three Cooperating Courses (SAM, LMC, JF), pp. 265–272.
ITiCSEITiCSE-2000-OdekirkJJ #case study #experience #java #using
Three semesters of CSO using Java: assignments and experiences (EO, DJ, PJ), pp. 144–147.
STOCSTOC-2000-Istrail #3d #statistics
Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract) (SI), pp. 87–96.
IFLIFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code
Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.
CHICHI-2000-FrohlichP #3d #polynomial
The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.
ICPRICPR-v1-2000-BrandM #assessment #comparative #detection
A Comparative Assessment of Three Approaches to Pixel-Level Human Skin-Detection (JB, JSDM), pp. 5056–5059.
ICPRICPR-v1-2000-HabedB #3d #re-engineering
Three-Dimensional Projective Reconstruction from Three Views (AH, BB), pp. 1415–1418.
ICPRICPR-v2-2000-VarstaHMM #human-computer #interface #performance #set
Evaluating the Performance of Three Feature Sets for Brain-Computer Interfaces with an Early Stopping MLP Committee (MV, JH, JdRM, JM), pp. 2907–2910.
ICPRICPR-v3-2000-RuanFBX #3d #image #segmentation
Unsupervised Segmentation of Three-Dimensional Brain Images (SR, MJF, DB, JHX), pp. 3409–3412.
ICPRICPR-v4-2000-MatsumotoOHT #3d #fuzzy #image #logic #testing
Three-Dimensional Image Construction for Non-Destructive Testing Aided by Fuzzy Logic (TM, KO, YH, KT), pp. 4603–4606.
SACSAC-2000-Caraca-ValenteLM #modelling
Functions, Rules and Models: Three Complementary Techniques for Analyzing Strength Data (JPCV, ILC, CM), pp. 60–64.
ICSEICSE-2000-DangK #approximate #infinity #model checking #realtime
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.
DATEDATE-1999-IkedaKNSYMNO #architecture #scalability #video
An MPEG-2 Video Encoder LSI with Scalability for HDTV based on Three-layer Cooperative Architecture (MI, TK, KN, KS, TY, TM, JN, TO), p. 44–?.
HCIHCI-CCAD-1999-ElzerB #3d #process #representation
Three-dimensional representation of process values (PFE, CB), pp. 1296–1300.
HCIHCI-CCAD-1999-OshibaT #3d #modelling
Three-dimensional modeling environment “claymore” based on augmented direct manipulation technique (TO, JT), pp. 1075–1079.
HCIHCI-EI-1999-ChenMRK #empirical #evaluation #metric
The Physiological Measurement of User Comfort Levels: An Evaluation Experiment for Comparing Three Types of CRTs (SC, YM, XR, HK), pp. 193–196.
HCIHCI-EI-1999-SkybergSWVLD #health #reduction
Health Improvements Among VDU Workers after Reduction of the Airborne Dust in the Office. — Three Double-blind Intervention Studies (KS, KS, EW, AIV, FL, PD), pp. 61–64.
EDOCEDOC-1999-AleksyST #component #middleware #state of the art
Interoperability and interchangeability of middleware components in a three-tier CORBA-environment-state of the art (MA, MS, CT), pp. 204–213.
ICEISICEIS-1999-RossiterNH #architecture #database #query
Three-Level Architecture for Query Closure in Database Systems (BNR, DAN, MAH), p. 760.
UMLUML-1999-GogollaRR #3d #animation #diagrams #towards #uml
Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.
TOOLSTOOLS-EUROPE-1999-Roubine #repository
Two or Three Things I Have Learnt about Repositories (OR), p. 7.
DACDAC-1998-ZhaoDKL #3d #performance
Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green’s Functions (JZ, WWMD, SK, DEL), pp. 224–229.
CHICHI-1998-MacKenzieO #comparison
A Comparison of Three Selection Techniques for Touchpads (ISM, AO), pp. 336–343.
CSCWCSCW-1998-ZhangWDT #comparison #web
Talking to Customers on the Web: A Comparison of Three Voice Alternatives (QZ, CGW, SD, MT), pp. 109–117.
ICPRICPR-1998-HiranoHOMTE #3d #image
Three dimensional concentration index-a local feature for analyzing three dimensional digital line patterns and its application to chest X-ray CT images (YH, JiH, HO, YM, JiT, KE), pp. 1040–1043.
ICSEICSE-1998-GilK #3d #modelling
Three Dimensional Software Modeling (JYG, SK), pp. 105–114.
ICDARICDAR-1997-TsengC #documentation #recognition
The Recognition of Form Documents Based on Three Types of Line Segments (LYT, RCC), pp. 71–75.
ITiCSEITiCSE-WGR-1997-SajaniemiK #education #implementation
Three-level teaching material and its implementation in a teaching situation (poster) (JS, MK), p. 153.
ITiCSEITiCSE-WGR-1997-SajaniemiK97a #education #named
SHOW: a system for the presentation of three-level teaching material during lectures (demonstration) (JS, MK), p. 153.
HCIHCI-CC-1997-AarasHBRT #bibliography #multi #perspective
A Three Years Follow-up Multidisciplinary Ergonomic Interventions. Overview (AA, GH, HHB, OR, MT), pp. 631–634.
HCIHCI-SEC-1997-BaconS #3d #representation
Hybridization of Classical Documentary Techniques and Techniques of Three Dimensional Representation in Space: Dynamical Constitution of Virtual Scenes (JB, XS), pp. 925–928.
HCIHCI-SEC-1997-KoikeC #3d #using #version control #visualisation
Integrating Version Control and Module Management Using Three-Dimensional Visualization (HK, HCC), pp. 853–856.
HCIHCI-SEC-1997-ShirabeB #3d #game studies #interface #question #realtime
Do Three Dimensional Realtime Interfaces Really Play Important Roles? (MS, YB), pp. 849–852.
KDDKDD-1997-WangWSSDRZ #3d #automation
Automated Discovery of Active Motifs in Three Dimensional Molecules (XW, JTLW, DS, BAS, SD, IR, KZ), pp. 89–95.
TOOLSTOOLS-ASIA-1997-BinjunWK #3d #object-oriented
Three-Dimensional Object-Oriented Model (WB, GW, HK), pp. 22–27.
SACSAC-1997-Julstrom #adaptation #algorithm #search-based
Adaptive operator probabilities in a genetic algorithm that applies three operators (BAJ), pp. 233–238.
DACDAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using
Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.
DACDAC-1996-TutuianuDP #approximate
An Explicit RC-Circuit Delay Approximation Based on the First Three Moments of the Impulse Response (BT, FD, LTP), pp. 611–616.
ITiCSEITiCSE-1996-Baldwin #experience
Three years’ experience with gateway labs (DB), pp. 6–7.
SASSAS-1996-CrnogoracKS #comparison
A Comparison of Three Occur-Check Analysers (LC, ADK, HS), pp. 159–173.
STOCSTOC-1996-BergerKL #3d #fault
Reconstructing a Three-Dimensional Model with Arbitrary Errors (BB, JMK, FTL), pp. 449–458.
ICPRICPR-1996-HarukiHYY #3d #automation #using #verification
Automatic seal verification using three-dimensional reference seals (HH, TH, HY, KY), pp. 199–203.
ICPRICPR-1996-KimHN #3d #algebra #modelling
Reconstructing 3D models with algebraic curved surfaces from three-view drawings (CHK, MWH, SN), pp. 854–858.
ICPRICPR-1996-MaL #re-engineering
Ellipsoid reconstruction from three perspective views (SM, LL), pp. 344–348.
ICPRICPR-1996-MoriHTAK #3d #image #recognition
Recognition of bronchus in three-dimensional X-ray CT images with applications to virtualized bronchoscopy system (KM, JiH, JiT, HA, KK), pp. 528–532.
ICPRICPR-1996-TozakiKNOEM #3d #analysis #image #using
Three-dimensional analysis of lung areas using thin-slice CT images (TT, YK, NN, HO, KE, NM), pp. 548–552.
ICPRICPR-1996-ZribiFG #3d #analysis #invariant #set
Set of invariant features for three-dimensional gray-level objects by harmonic analysis (MZ, HF, FG), pp. 549–553.
REICRE-1996-Hudlicka #comparison #elicitation #requirements
Requirements Elicitation with Indirect Knowledge Elicitation Techniques: Comparison of Three Methods (EH), pp. 4–11.
HPDCHPDC-1996-LuO #algorithm #parallel #performance
A Massively Parallel Fast Multipole Algorithm in Three Dimensions (EJLL, DIO), pp. 40–48.
DACDAC-1995-ChouKW #3d #approach #simulation #using
Transient Simulations of Three-Dimensional Integrated Circuit Interconnect Using a Mixed Surface-Volume Approach (MC, TK, JW), pp. 485–490.
STOCSTOC-1995-BellareR
Provably secure session key distribution: the three party case (MB, PR), pp. 57–66.
STOCSTOC-1995-HartI #performance
Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract) (WEH, SI), pp. 157–168.
STOCSTOC-1995-MillerTTW #generative
A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.
SACSAC-1995-AbualiWS95a #algorithm #morphism #problem #search-based #using
Solving the three-star tree isomorphism problem using genetic algorithms (FNA, RLW, DAS), pp. 337–344.
SACSAC-1995-GrimRP #3d #algorithm #re-engineering #search-based
Use of genetic algorithms in three-dimensional reconstruction in carbon black aggregates (RJG, JRR, LDP), pp. 288–292.
ESECESEC-1995-KamstiesL #detection #empirical #evaluation
An Empirical Evaluation of Three Defect-Detection Techniques (EK, CML), pp. 362–383.
ICSEICSE-1995-ChungN #approach #non-functional #requirements
Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.
DACDAC-1994-YuBS #3d #algorithm #aspect-oriented
Algorithmic Aspects of Three Dimensional MCM Routing (QY, SB, NAS), pp. 397–401.
FMFME-1994-GuttmanJ #formal method
Three Applications of Formal Methods at MITRE (JDG, DMJ), pp. 55–65.
TOOLSTOOLS-EUROPE-1994-Tomek #smalltalk #tool support
Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.
PPDPALP-1994-Teusink #abduction #logic programming #source code
Three-Valued Completion for Abductive Logic Programs (FT), pp. 150–167.
ISSTAISSTA-1994-Corbett #ada #analysis #concurrent #empirical #evaluation #source code
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs (JCC), pp. 204–215.
ICSMECSM-1993-FoleyC #case study #quality #testing
Improving the Quality of Three Products Through Improved Testing: A Case Study (DF, FWC), pp. 180–189.
STOCSTOC-1993-MatousekS #3d #algorithm #problem
A deterministic algorithm for the three-dimensional diameter problem (JM, OS), pp. 478–484.
HCIHCI-ACS-1993-HouwingWA #evaluation #metric #usability
Usability Evaluation From Users’ Point of View: Three Complementary Measures (EMH, MW, AGA), pp. 475–480.
HCIHCI-SHI-1993-BiasGT #interface #usability
Three Usability Enhancements to the Human Factors-Design Interface (RGB, DJG, TST), pp. 169–174.
CAiSECAiSE-1993-Pohl #requirements
The Three Dimensions of Requirements Engineering (KP), pp. 275–292.
SACSAC-1993-ONeal #complexity #empirical #metric
An Empirical Study of Three Common Software Complexity Measures (MBO), pp. 203–207.
DACDAC-1992-LingKW #3d #approach #bound #simulation
A Boundary-Element Approach to Transient simulation of Three-Dimensional Integrated Circuit Interconnect (DDL, SK, JW), pp. 93–98.
SIGMODSIGMOD-1992-Biliris #database #performance #scalability
The Performance of Three Database Storage Structures for Managing Large Objects (AB), pp. 276–285.
CSCWCSCW-1992-ShuF #3d #case study #design #experience
Groupware Experiences in Three-Dimensional Computer-Aided Design (LS, WF), pp. 179–186.
DACDAC-1990-GidwaniS #named
MISER: An Integrated Three Layer Gridless Channel Router and Compactor (RAG, NAS), pp. 698–703.
PODSPODS-1990-YouY #formal method #logic programming #question
Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.
VLDBVLDB-1990-DeWittFMV #architecture #case study #database #object-oriented
A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems (DJD, PF, DM, FV), pp. 107–121.
STOCSTOC-1990-MillerT
Separators in Two and Three Dimensions (GLM, WPT), pp. 300–309.
ICMLML-1990-GenestMP #approach #learning
Explanation-Based Learning with Incomplete Theories: A Three-step Approach (JG, SM, BP), pp. 286–294.
DACDAC-1989-Keutzer #architecture #design #generative #logic #synthesis
Three Competing Design Methodologies for ASIC’s: Architectual Synthesis, Logic Synthesis, Logic Synthesis and Module Generation (KK), pp. 308–313.
FPCAFPCA-1989-Argo
Improving the Three Instruction Machine (GA), pp. 100–115.
KRKR-1989-Przymusinski #formal method #logic programming #reasoning
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
OOPSLAOOPSLA-1989-ShillingS #object-oriented #paradigm
Three Steps to Views: Extending the Object-Oriented Paradigm (JJS, PFS), pp. 353–361.
ICSEICSE-1989-Curtis #behaviour #development #modelling #problem #process
Three Problems Overcome with Behavioral Models of the Software Development Process (BC), pp. 398–399.
ISSTATAV-1989-RowlandZ #comparison
Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.
VLDBVLDB-1988-Bhide #analysis #architecture #transaction
An Analysis of Three Transaction Processing Architectures (AB), pp. 339–350.
FMVDME-1988-Blikle #specification #validation
Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.
FMVDME-1988-KonikowskaTB #logic #specification #validation
A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
ICLPJICSCP-1988-FittingB88 #logic programming #semantics
Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.
DACDAC-1987-Polkl
A Three-Layer Gridless Channel Router with Compaction (DBP), pp. 146–151.
FMVDME-1987-Pedersen
VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.
CADECADE-1986-Schmitt #aspect-oriented #logic
Computational Aspects of Three-Valued Logic (PHS), pp. 190–198.
STOCSTOC-1985-BakerFG
Stable Prehension with Three Fingers (BSB, SF, EG), pp. 114–120.
STOCSTOC-1985-FichHRW #bound #infinity #parallel
One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.
STOCSTOC-1985-GacsR #3d #array #realtime #reliability
A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
ICALPICALP-1984-Karhumaki #on the
On Three-Element Codes (JK), pp. 292–302.
ICSEICSE-1984-Blum #information management #paradigm
Three Paradigms for Developing Information Systems (BIB), pp. 534–544.
DACDAC-1982-McDermott #modelling
Transmission gate modeling in an existing three-value simulator (RMM), pp. 678–681.
SIGMODSIGMOD-1979-YuLSO #analysis #performance #problem
Performance Analysis of three Related Assignment Problems (CTY, KL, MKS, ZMÖ), pp. 82–92.
ICSEICSE-1979-Martin
PEARL At the Age of Three (TM), pp. 100–110.
DACDAC-1978-AliaCMB #component #functional #modelling #simulation
LSI components modelling in a three-valued functional simulation (GA, PC, EM, FB), pp. 428–438.
DACDAC-1978-AllisonG #3d #architecture #visual notation
The three-dimensional graphical input method for architecture (HCA, DPG), pp. 133–137.
SIGMODSIGMOD-1978-MalkinA
A Case Management System: Three Views of an Application (JGM, BFA), pp. 89–100.
VLDBVLDB-1978-Berg #framework #implementation
Implementing a Three Schema DBMS Framework (JLB), pp. 128–129.
ICALPICALP-1977-DikovskyM #ambiguity #context-free grammar #on the
On Three Types of Unambiguity of Context-Free Languages (AJD, LSM), pp. 193–205.
VLDBVLDB-J-1975-NavatheF76 #abstraction #database #scalability
Restructuring for Large Data Bases: Three Levels of Abstraction (SBN, JPF), pp. 138–158.
DACDAC-1975-Sherman #testing #using
Program function test definition using a three-value simulator (WJS), pp. 189–194.
DACDAC-1975-ThompsonS #fault #simulation
Three levels of accuracy for the simulation of different fault types in digital systems (EWT, SAS), pp. 105–113.
VLDBVLDB-1975-NavatheF #abstraction #database #scalability
Restructuring for Large Data Bases: Three Levels of Abstraction (SBN, JPF), p. 174.
SOSPSOSP-1973-Scheffler #memory management
Optimal Folding of a Paging Drum in a Three Level Memory System (LJS), pp. 58–65.
DACDAC-1971-Lerman #architecture #automation #design
The three dimensions of architectural design automation (HNL), pp. 250–258.
STOCSTOC-1970-Ullian #product line #theorem
Three Theorems on Abstract Families of Languages (JSU), pp. 226–230.
SOSPSOSP-1967-Horn68 #debugging #design
Three criteria for designing computing systems to facilitate debugging (ECVH), pp. 360–365.
DACSHARE-1965-Frayne #problem
Three levels of the wiring interconnection problem (DKF).
DACSHARE-1964-Morrill #3d #visual notation
Three dimensional graphical display system (CBM).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.