Stem three$ (all stems)

315 papers:

CASE-2015-WangSH #concurrent

A three-stage deadlock prevention strategy for S3PR nets (SW, CS, LH), pp. 286–291.

SIGMOD-2015-Widom

Three Favorite Results (JW), p. 659.

FoSSaCS-2015-AntonopoulosHRW #logic #realtime

Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.

CIAA-2015-Hulden #automaton #finite #regular expression

From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.

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

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

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

HIMI-IKC-2015-KajitaTMI #3d #design #using

Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.

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

LCT-2015-LorenzBK #case study

Impacting the Digital Divide on a Global Scale — Six Case Studies from Three Continents (BL, SIB, KK), pp. 687–696.

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

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

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

SAC-2015-SantosM #detection

Exploring decision drivers on god class detection in three controlled experiments (JAMS, MGM), pp. 1472–1479.

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

DATE-2014-ChenLLSHC #3d

Yield and timing constrained spare TSV assignment for three-dimensional integrated circuits (YGC, KYL, MCL, YS, WKH, SCC), pp. 1–4.

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

ITiCSE-2014-FeasterAZH #concept #education

Serious toys: three years of teaching computer science concepts in K-12 classrooms (YF, FA, JZ, JOH), pp. 69–74.

ITiCSE-2014-SettleVS #motivation #programming

Three views on motivation and programming (AS, AV, JS), pp. 321–322.

MSR-2014-WilliamsRMRK #dataset #modelling

Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.

STOC-2014-HaitnerT #protocol

An almost-optimally fair three-party coin-flipping protocol (IH, ET), pp. 408–416.

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

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

HIMI-DE-2014-ItoW #challenge #communication

Three Key Challenges in ARM-COMS for Entrainment Effect Acceleration in Remote Communication (TI, TW), pp. 177–186.

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

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

ICPR-2014-MasselliZ #approach #geometry #performance #problem

A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.

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

MoDELS-2014-BergerNRACW #industrial #modelling #variability

Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.

MoDELS-2014-BergerNRACW #industrial #modelling #variability

Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.

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

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

VLDB-2013-LiuSW #performance #query

A Performance Study of Three Disk-based Structures for Indexing and Querying Frequent Itemsets (GL, AS, LW), pp. 505–516.

DLT-2013-Jungers

Joint Spectral Characteristics: A Tale of Three Disciplines (RMJ), pp. 27–28.

ICALP-v1-2013-Uppman #complexity

The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom (HU), pp. 804–815.

IFM-2013-MoranHS #automation #verification

Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.

CHI-2013-BlytheBHWO

Unlimited editions: three approaches to the dissemination and display of digital art (MB, JB, JH, PCW, PO), pp. 139–148.

CHI-2013-DeckersWLA #behaviour #design

Designing for perceptual crossing: designing and comparing three behaviors (ED, SW, PL, RA), pp. 1901–1910.

CHI-2013-HoloneH #design

Three tensions in participatory design for inclusion (HH, JH), pp. 2903–2906.

CHI-2013-TanenbaumAR #behaviour #game studies

Three perspectives on behavior change for serious games (JT, ANA, JR), pp. 3389–3392.

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

DUXU-NTE-2013-DonovanSS #gesture #interactive #research

Gestural, Emergent and Expressive: Three Research Themes for Haptic Interaction (JD, GS, JS), pp. 352–361.

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

KDIR-KMIS-2013-LaneL #concept #prototype

Managing Knowledge in the Three States of Conceptual Discovery, Prototype Invention — Commercial Innovation (JPL, RML), pp. 539–542.

ICMT-2013-WillinkHK #qvt

Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.

RE-2013-Terzakis #quality #requirements

The impact of requirements on software quality across three product generations (JT), pp. 284–289.

HPDC-2013-RajachandrasekarMMP #file system

A 1 PB/s file system to checkpoint three million MPI tasks (RR, AM, KM, DKP), pp. 143–154.

CSL-2013-Girard #logic

Three lightings of logic (Invited Talk) (JYG), pp. 11–23.

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

ASE-2012-JacobsonSJK #re-engineering

Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.

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

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

CASE-2012-TuanKL #3d #feedback

Partial Feedback Linearization Control of the three dimensional overhead crane (LAT, GHK, SGL), pp. 1198–1203.

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

CHI-2012-BoonsukGK #interface #video

The impact of three interfaces for 360-degree video on spatial cognition (WB, SBG, JWK), pp. 2579–2588.

CIKM-2012-GaoZLH #clustering #recommendation #twitter

Twitter hyperlink recommendation with user-tweet-hyperlink three-way clustering (DG, RZ, WL, YH), pp. 2535–2538.

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

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

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

MoDELS-2012-BriandFNSY #modelling

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.

MoDELS-2012-IqbalAYB #case study #experience #industrial #uml

Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.

MoDELS-2012-BriandFNSY #modelling

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.

MoDELS-2012-IqbalAYB #case study #experience #industrial #uml

Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.

GPCE-2012-ZhangZUVH #component #development

A three-level component model in component based software development (H(Z, LZ, CU, SV, MH), pp. 70–79.

SAC-2012-TaherHP #adaptation #approach #web #web service

A three step based approach for Web Service adaptation (YT, WJvdH, MP), pp. 1992–1993.

SAC-2012-TsaiC #3d #manycore #realtime #scheduling

Thermal-aware real-time task scheduling for three-dimensional multicore chip (THT, YSC), pp. 1618–1624.

ICDAR-2011-NaritaOWK #3d #recognition

Three Dimensional Rotation-Free Recognition of Characters (RN, WO, TW, FK), pp. 824–828.

CSCW-2011-MooreCK #interactive #internet #query

Three sequential positions of query repair in interactions with internet search engines (RJM, EFC, RGPK), pp. 415–424.

DHM-2011-LiZ #evaluation

Ergonomics Evaluation of Three Operation Postures for Astronauts (DL, YZ), pp. 129–138.

DHM-2011-Ng #3d #design

Three-Dimensional Grading of Virtual Garment with Design Signature Curves (RN), pp. 328–336.

DHM-2011-QinTD #type system #using

The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.

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

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

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

CIKM-2011-LinTC #classification #independence #sentiment #using #word

Language-independent sentiment classification using three common words (ZL, ST, XC), pp. 1041–1046.

ICML-2011-NickelTK #learning #multi

A Three-Way Model for Collective Learning on Multi-Relational Data (MN, VT, HPK), pp. 809–816.

SAC-2011-BoscP #axiom #flexibility #fuzzy #on the #retrieval

On three fuzzy connectives for flexible data retrieval and their axiomatization (PB, OP), pp. 1114–1118.

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

ECSA-2010-ZhangUV #architecture #component #development

Architecture-Centric Component-Based Development Needs a Three-Level ADL (H(Z, CU, SV), pp. 295–310.

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

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

DAC-2010-ZhaoDX #3d #cost analysis #design #manycore

Cost-aware three-dimensional (3D) many-core multiprocessor design (JZ, XD, YX), pp. 126–131.

DATE-2010-Marinissen #3d #testing

Testing TSV-based three-dimensional stacked ICs (EJM), pp. 1689–1694.

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

ICPC-2010-BeronPOC #problem

SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.

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

LATA-2010-Clark #modelling

Three Learnable Models for the Description of Language (AC), pp. 16–31.

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

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

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

ICEIS-AIDSS-2010-VegettiLH #abstraction

A Three Level Abstraction Hierarchy to Represent Product Structural Information (MV, HPL, GPH), pp. 299–308.

ICEIS-J-2010-KisilevichKLBR #case study

Developing Analytical GIS Applications with GEO-SPADE: Three Success Case Studies (SK, DAK, AL, LB, LR), pp. 495–511.

ICPR-2010-DaiYW #classification #image

Three-layer Spatial Sparse Coding for Image Classification (DD, WY, TW), pp. 613–616.

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

ICPR-2010-KoskenkorvaKB

Quasi-dense Wide Baseline Matching for Three Views (PK, JK, SSB), pp. 806–809.

ICPR-2010-MatsukawaK #recognition #using

Action Recognition Using Three-Way Cross-Correlations Feature of Local Moton Attributes (TM, TK), pp. 1731–1734.

ICPR-2010-Porro-MunozDOTL #difference #representation

Classifying Three-way Seismic Volcanic Data by Dissimilarity Representation (DPM, RPWD, MOA, ITB, JMLB), pp. 814–817.

ICPR-2010-SeyedhosseiniPT #classification #image #network #parsing

Image Parsing with a Three-State Series Neural Network Classifier (MS, ARCP, TT), pp. 4508–4511.

KR-2010-ArieliAZ #logic

Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).

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

LOPSTR-2010-DanvyZ #combinator #graph #reduction

Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.

SAC-2010-WelferSM #approach #detection #image

A morphologic three-stage approach for detecting exudates in color eye fundus images (DW, JS, DRM), pp. 964–968.

DATE-2009-JiangHX #3d #architecture #design #optimisation

Test architecture design and optimization for three-dimensional SoCs (LJ, LH, QX), pp. 220–225.

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

FM-2009-SchriebWW #abstraction

Three-Valued Spotlight Abstractions (JS, HW, DW), pp. 106–122.

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

CHI-2009-DucheneautWYW #case study #personalisation

Body and mind: a study of avatar personalization in three virtual worlds (ND, MHW, NY, GW), pp. 1151–1160.

CHI-2009-SauroD #comparison #usability

Comparison of three one-question, post-task usability questionnaires (JS, JSD), pp. 1599–1608.

CHI-2009-WaernMS #design #game studies #pervasive

The three-sixty illusion: designing for immersion in pervasive games (AW, MM, JS), pp. 1549–1558.

HCD-2009-SiekKR #health #usability

A Usability Inspection of Medication Management in Three Personal Health Applications (KAS, DUK, SER), pp. 129–138.

HCI-VAD-2009-Yarlikas #analysis #automation

A New Automatic Teller Machine (ATM) Proposal through the Analysis of ATMs of Three Banks (SY), pp. 641–650.

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

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

ECMDA-FA-2009-GronmoMO #comparison #model transformation

Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.

OOPSLA-2009-QuillienRW #agile #architecture

Agile anthropology and Alexander’s architecture: an essay in three voices (JQ, PR, DW), pp. 529–546.

ICLP-2009-HolldoblerR #logic programming #semantics #source code

Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.

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

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

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

ICPR-2008-LuiC #multi

Three related types of multi-value association patterns (TWHL, DKYC), pp. 1–4.

ICPR-2008-MartinezFRS #3d

Three-dimensional cell counting for in-situ microscopy (GM, JGF, GR, TS), pp. 1–4.

ICPR-2008-ZhaoC #geometry

Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.

RecSys-2008-OostendorpR #interface #recommendation #reduction

Three recommender approaches to interface controls reduction (NO, PR), pp. 235–242.

SIGIR-2008-PengL #analysis #evolution #topic #using

Author-topic evolution analysis using three-way non-negative Paratucker (WP, TL), pp. 819–820.

SAC-2008-BabarZCT #integration #requirements

Three integration approaches for map and B-SCP requirements engineering techniques (AB, DZ, KC, VT), pp. 650–655.

ICST-2008-TappendenM #testing

A Three-Tiered Testing Strategy for Cookies (AFT, JM), pp. 131–140.

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

CASE-2007-VahediS #geometry

Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons (MV, AFvdS), pp. 404–411.

HT-2007-Hall #hypermedia

Back to the future with hypertext: a tale of two or three conferences (WH), pp. 179–180.

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

ICPC-2007-AlwisMR #case study #comparative #tool support

A Comparative Study of Three Program Exploration Tools (BdA, GCM, MPR), pp. 103–112.

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

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

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

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

DHM-2007-ThomasCRMM #3d #modelling #navigation

Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment (MDT, DWC, BR, JAM, AM), pp. 205–214.

HCI-AS-2007-MorDML #approach #behaviour

A Three-Level Approach for Analyzing User Behavior in Ongoing Relationships (EM, MGD, JM, SL), pp. 971–980.

HCI-IPT-2007-FallmanMY #design

The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.

HCI-MIE-2007-HwangLK #interactive

Three Way Relationship of Human-Robot Interaction (JHH, KWL, DSK), pp. 321–330.

ICML-2007-MnihH #modelling #statistics #visual notation

Three new graphical models for statistical language modelling (AM, GEH), pp. 641–648.

SEKE-2007-SotoVPP #architecture #information management #multi

A Three Level Multi-agent Architecture to Foster Knowledge Exchange (JPS, AV, JPR, MP), pp. 565–569.

PADL-2007-MorimotoTI #performance

Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning (TM, YT, HI), pp. 65–79.

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

CAV-2007-KatoenKLW #abstraction #markov

Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.

ICLP-2007-GrecoM #consistency #database #query #semantics

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.

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

DATE-2006-HosangadiFK #optimisation #using

Optimizing high speed arithmetic circuits using three-term extraction (AH, FF, RK), pp. 1294–1299.

DocEng-2006-GodlewskiPS #recognition

Application of syntactic properties to three-level recognition of polish hand-written medical texts (GG, MP, JS), pp. 115–121.

ITiCSE-2006-CrescenziLP #experience #java

Assessing CS1 java skills: a three-year experience (PC, ML, RP), p. 348.

DLT-2006-Borel #3d #complexity #word

Complexity of Degenerated Three Dimensional Billiard Words (JPB), pp. 386–396.

ICALP-v1-2006-Reichardt #fault tolerance #quantum

Fault-Tolerance Threshold for a Distance-Three Quantum Code (BR), pp. 50–61.

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

ICPR-v1-2006-Morita #3d #image #memory management

Three Dimensional Short-term Memory Image (SM), pp. 1226–1230.

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

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

ICPR-v2-2006-MizunoN #comprehension #constraints #prototype

Constraint-Based Prototyping for Understanding Three Orthographic Views (KM, SN), pp. 1090–1093.

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

ICPR-v3-2006-KawanakaFI #3d

Human Head Tracking in Three Dimensional Voxel Space (HK, HF, YI), pp. 826–829.

ICPR-v3-2006-OngCB #3d #invariant

Scale Invariants of Three-Dimensional Legendre Moments (LYO, CWC, RB), pp. 141–144.

MBT-2006-KervinenMK #architecture #testing #using

Controlling Testing Using Three-Tier Model Architecture (AK, MM, MK), pp. 53–66.

HT-2005-Matias #3d #case study #hypermedia

Philadelphia fullerine: a case study in three-dimensional hypermedia (JNM), pp. 7–14.

ICDAR-2005-PervouchineLM

Three-stage Handwriting Stroke Extraction Method with Hidden Loop Recovery (VP, GL, KM), pp. 307–311.

IWPC-2005-CeccatoMMMTT #comparison #mining

A Qualitative Comparison of Three Aspect Mining Techniques (MC, MM, KM, LM, PT, TT), pp. 13–22.

ECOOP-2005-Meyer #object-oriented #problem #programming

Attached Types and Their Application to Three Open Problems of Object-Oriented Programming (BM), pp. 1–32.

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

SAC-2005-QuagliaR #coordination #persistent #reliability

Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.

DocEng-2004-Lindholm #documentation #xml

A three-way merge for XML documents (TL), pp. 1–10.

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

ICPR-v1-2004-BowyerCF #3d #bibliography #recognition

A Survey Of Approaches To Three-Dimensional Face Recognition (KWB, KIC, PJF), pp. 358–361.

ICPR-v1-2004-LuCJ #3d #modelling #recognition

Three-Dimensional Model Based Face Recognition (XL, DC, AKJ), pp. 362–366.

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

ICPR-v4-2004-GorgevikC #classification #performance #recognition

An Efficient Three-Stage Classifier for Handwritten Digit Recognition (DG, DC), pp. 507–510.

ICPR-v4-2004-LucenaFB #evaluation #modelling

Evaluation of Three Optical Flow-Based Observation Models for Tracking (MJL, JMF, NPdlB), pp. 236–239.

ATEM-2003-CoxC04 #modelling #source code

Three-Layered Source-Code Modelling (AC, CLAC), pp. 71–79.

LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise

Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.

ASE-2003-ShehataE #detection #framework #interactive #requirements

Detecting Requirements Interactions: A Three-Level Framework (MS, AE), pp. 352–355.

STOC-2003-AronovPST

Distinct distances in three and higher dimensions (BA, JP, MS, GT), pp. 541–546.

STOC-2003-CoppersmithS #higher-order #semistructured data

Reconstructing curves in three (and higher) dimensional space from noisy data (DC, MS), pp. 136–142.

DLT-2003-FreundMOP #on the

On Three Classes of Automata-Like P Systems (RF, CMV, AO, GP), pp. 292–303.

CAiSE-2003-ChiuCL #adaptation #collaboration

A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems (DKWC, SCC, HfL), pp. 226–241.

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

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

ICEIS-v3-2003-Gittoes #approach #implementation #quality

A Three Perspective Approach to Groupware Implementation Quality Management: Within an Australian University (DG), pp. 307–312.

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

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

SAC-2003-FurhtGHM #3d #adaptation #analysis

An Adaptive Three-Dimensional DCT Compression Based on Motion Analysis (BF, KG, HH, OM), pp. 765–768.

LICS-2003-PistoreV #infinity

The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.

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

DAC-2002-BernasconiCLP #logic #performance #symmetry

Fast three-level logic minimization based on autosymmetry (AB, VC, FL, LP), pp. 425–430.

CIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression

Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.

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

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

ICPR-v3-2002-ManabePJC #3d #metric #using

Three Dimensional Measurement using Color Structured Patterns and Imaging Spectrograph (YM, JP, TJ, KC), pp. 649–652.

ICPR-v4-2002-QuanL

Structure from Motion from Three Affine Views (LQ, ML), pp. 1–6.

ICPR-v4-2002-Yang02a

Tetrahedron Mapping of Points from N-Space to Three-Space (LY), p. 343–?.

SAC-2002-BergentiR #coordination #multi

Three approaches to the coordination of multiagent systems (FB, AR), pp. 367–372.

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

ICDAR-2001-KleinGKD #industrial

Three Approaches to “Industrial” Table Spotting (BK, SG, TK, AD), pp. 513–517.

ICDAR-2001-PerroudSBH #clustering #documentation

Text Extraction from Color Documents — Clustering Approaches in Three and Four Dimensions (TP, KS, HB, LOH), pp. 937–941.

ESOP-2001-HuthJS #program analysis

Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.

ICALP-2001-FerencziHZ #combinator

Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.

LSO-2001-LindvallFCT #experience #lessons learnt

Lessons Learned about Structuring and Describing Experience for Three Experience Bases (ML, MF, PC, RT), pp. 106–119.

TOOLS-USA-2001-HayaseIM #framework #object-oriented

A Three-View Model for Developing Object-Oriented Frameworks (TH, NI, KM), pp. 108–119.

DATE-2000-DubrovaEMM #algorithm #named #optimisation

TOP: An Algorithm for Three-Level Optimization of PLDs (ED, PE, DMM, JCM), p. 751.

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

CSEET-2000-MengelCF

A Perspective on Three Cooperating Courses (SAM, LMC, JF), pp. 265–272.

ITiCSE-2000-OdekirkJJ #case study #experience #java #using

Three semesters of CSO using Java: assignments and experiences (EO, DJ, PJ), pp. 144–147.

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

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

CHI-2000-FrohlichP #3d #polynomial

The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.

ICPR-v1-2000-BrandM #assessment #comparative #detection

A Comparative Assessment of Three Approaches to Pixel-Level Human Skin-Detection (JB, JSDM), pp. 5056–5059.

ICPR-v1-2000-HabedB #3d #re-engineering

Three-Dimensional Projective Reconstruction from Three Views (AH, BB), pp. 1415–1418.

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

ICPR-v3-2000-RuanFBX #3d #image #segmentation

Unsupervised Segmentation of Three-Dimensional Brain Images (SR, MJF, DB, JHX), pp. 3409–3412.

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

SAC-2000-Caraca-ValenteLM #modelling

Functions, Rules and Models: Three Complementary Techniques for Analyzing Strength Data (JPCV, ILC, CM), pp. 60–64.

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

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

HCI-CCAD-1999-ElzerB #3d #process #representation

Three-dimensional representation of process values (PFE, CB), pp. 1296–1300.

HCI-CCAD-1999-OshibaT #3d #modelling

Three-dimensional modeling environment “claymore” based on augmented direct manipulation technique (TO, JT), pp. 1075–1079.

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

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

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

ICEIS-1999-RossiterNH #architecture #database #query

Three-Level Architecture for Query Closure in Database Systems (BNR, DAN, MAH), p. 760.

UML-1999-GogollaRR #3d #animation #diagrams #towards #uml

Towards Three-Dimensional Animation of UML Diagrams (MG, OR, MR), pp. 489–502.

TOOLS-EUROPE-1999-Roubine #repository

Two or Three Things I Have Learnt about Repositories (OR), p. 7.

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

CHI-1998-MacKenzieO #comparison

A Comparison of Three Selection Techniques for Touchpads (ISM, AO), pp. 336–343.

CSCW-1998-ZhangWDT #comparison #web

Talking to Customers on the Web: A Comparison of Three Voice Alternatives (QZ, CGW, SD, MT), pp. 109–117.

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

ICSE-1998-GilK #3d #modelling

Three Dimensional Software Modeling (JYG, SK), pp. 105–114.

ICDAR-1997-TsengC #documentation #recognition

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

ITiCSE-WGR-1997-SajaniemiK #education #implementation

Three-level teaching material and its implementation in a teaching situation (poster) (JS, MK), p. 153.

ITiCSE-WGR-1997-SajaniemiK97a #education #named

SHOW: a system for the presentation of three-level teaching material during lectures (demonstration) (JS, MK), p. 153.

HCI-CC-1997-AarasHBRT #bibliography #multi #perspective

A Three Years Follow-up Multidisciplinary Ergonomic Interventions. Overview (AA, GH, HHB, OR, MT), pp. 631–634.

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

HCI-SEC-1997-KoikeC #3d #using #version control #visualisation

Integrating Version Control and Module Management Using Three-Dimensional Visualization (HK, HCC), pp. 853–856.

HCI-SEC-1997-ShirabeB #3d #game studies #interface #question #realtime

Do Three Dimensional Realtime Interfaces Really Play Important Roles? (MS, YB), pp. 849–852.

KDD-1997-WangWSSDRZ #3d #automation

Automated Discovery of Active Motifs in Three Dimensional Molecules (XW, JTLW, DS, BAS, SD, IR, KZ), pp. 89–95.

TOOLS-ASIA-1997-BinjunWK #3d #object-oriented

Three-Dimensional Object-Oriented Model (WB, GW, HK), pp. 22–27.

SAC-1997-Julstrom #adaptation #algorithm #search-based

Adaptive operator probabilities in a genetic algorithm that applies three operators (BAJ), pp. 233–238.

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

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

ITiCSE-1996-Baldwin #experience

Three years’ experience with gateway labs (DB), pp. 6–7.

SAS-1996-CrnogoracKS #comparison

A Comparison of Three Occur-Check Analysers (LC, ADK, HS), pp. 159–173.

STOC-1996-BergerKL #3d #fault

Reconstructing a Three-Dimensional Model with Arbitrary Errors (BB, JMK, FTL), pp. 449–458.

ICPR-1996-HarukiHYY #3d #automation #using #verification

Automatic seal verification using three-dimensional reference seals (HH, TH, HY, KY), pp. 199–203.

ICPR-1996-KimHN #3d #algebra #modelling

Reconstructing 3D models with algebraic curved surfaces from three-view drawings (CHK, MWH, SN), pp. 854–858.

ICPR-1996-MaL #re-engineering

Ellipsoid reconstruction from three perspective views (SM, LL), pp. 344–348.

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

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

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

ICRE-1996-Hudlicka #comparison #elicitation #requirements

Requirements Elicitation with Indirect Knowledge Elicitation Techniques: Comparison of Three Methods (EH), pp. 4–11.

HPDC-1996-LuO #algorithm #parallel #performance

A Massively Parallel Fast Multipole Algorithm in Three Dimensions (EJLL, DIO), pp. 40–48.

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

STOC-1995-BellareR

Provably secure session key distribution: the three party case (MB, PR), pp. 57–66.

STOC-1995-HartI #performance

Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract) (WEH, SI), pp. 157–168.

STOC-1995-MillerTTW #generative

A Delaunay based numerical method for three dimensions: generation, formulation, and partition (GLM, DT, SHT, NW), pp. 683–692.

SAC-1995-AbualiWS95a #algorithm #morphism #problem #search-based #using

Solving the three-star tree isomorphism problem using genetic algorithms (FNA, RLW, DAS), pp. 337–344.

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

ESEC-1995-KamstiesL #detection #empirical #evaluation

An Empirical Evaluation of Three Defect-Detection Techniques (EK, CML), pp. 362–383.

ICSE-1995-ChungN #approach #non-functional #requirements

Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.

DAC-1994-YuBS #3d #algorithm #aspect-oriented

Algorithmic Aspects of Three Dimensional MCM Routing (QY, SB, NAS), pp. 397–401.

FME-1994-GuttmanJ #formal method

Three Applications of Formal Methods at MITRE (JDG, DMJ), pp. 55–65.

TOOLS-EUROPE-1994-Tomek #smalltalk #tool support

Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.

ALP-1994-Teusink #abduction #logic programming #source code

Three-Valued Completion for Abductive Logic Programs (FT), pp. 150–167.

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

CSM-1993-FoleyC #case study #quality #testing

Improving the Quality of Three Products Through Improved Testing: A Case Study (DF, FWC), pp. 180–189.

STOC-1993-MatousekS #3d #algorithm #problem

A deterministic algorithm for the three-dimensional diameter problem (JM, OS), pp. 478–484.

HCI-ACS-1993-HouwingWA #evaluation #metric #usability

Usability Evaluation From Users’ Point of View: Three Complementary Measures (EMH, MW, AGA), pp. 475–480.

HCI-SHI-1993-BiasGT #interface #usability

Three Usability Enhancements to the Human Factors-Design Interface (RGB, DJG, TST), pp. 169–174.

CAiSE-1993-Pohl #requirements

The Three Dimensions of Requirements Engineering (KP), pp. 275–292.

SAC-1993-ONeal #complexity #empirical #metric

An Empirical Study of Three Common Software Complexity Measures (MBO), pp. 203–207.

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

SIGMOD-1992-Biliris #database #performance #scalability

The Performance of Three Database Storage Structures for Managing Large Objects (AB), pp. 276–285.

CSCW-1992-ShuF #3d #case study #design #experience

Groupware Experiences in Three-Dimensional Computer-Aided Design (LS, WF), pp. 179–186.

DAC-1990-GidwaniS #named

MISER: An Integrated Three Layer Gridless Channel Router and Compactor (RAG, NAS), pp. 698–703.

PODS-1990-YouY #formal method #logic programming #question

Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.

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

STOC-1990-MillerT

Separators in Two and Three Dimensions (GLM, WPT), pp. 300–309.

ML-1990-GenestMP #approach #learning

Explanation-Based Learning with Incomplete Theories: A Three-step Approach (JG, SM, BP), pp. 286–294.

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

FPCA-1989-Argo

Improving the Three Instruction Machine (GA), pp. 100–115.

KR-1989-Przymusinski #formal method #logic programming #reasoning

Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.

OOPSLA-1989-ShillingS #object-oriented #paradigm

Three Steps to Views: Extending the Object-Oriented Paradigm (JJS, PFS), pp. 353–361.

ICSE-1989-Curtis #behaviour #development #modelling #problem #process

Three Problems Overcome with Behavioral Models of the Software Development Process (BC), pp. 398–399.

TAV-1989-RowlandZ #comparison

Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.

VLDB-1988-Bhide #analysis #architecture #transaction

An Analysis of Three Transaction Processing Architectures (AB), pp. 339–350.

VDME-1988-Blikle #specification #validation

Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.

VDME-1988-KonikowskaTB #logic #specification #validation

A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.

JICSCP-1988-FittingB88 #logic programming #semantics

Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.

DAC-1987-Polkl

A Three-Layer Gridless Channel Router with Compaction (DBP), pp. 146–151.

VDME-1987-Pedersen

VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.

CADE-1986-Schmitt #aspect-oriented #logic

Computational Aspects of Three-Valued Logic (PHS), pp. 190–198.

STOC-1985-BakerFG

Stable Prehension with Three Fingers (BSB, SF, EG), pp. 114–120.

STOC-1985-FichHRW #bound #infinity #parallel

One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.

STOC-1985-GacsR #3d #array #realtime #reliability

A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.

ICALP-1984-Karhumaki #on the

On Three-Element Codes (JK), pp. 292–302.

ICSE-1984-Blum #information management #paradigm

Three Paradigms for Developing Information Systems (BIB), pp. 534–544.

DAC-1982-McDermott #modelling

Transmission gate modeling in an existing three-value simulator (RMM), pp. 678–681.

SIGMOD-1979-YuLSO #analysis #performance #problem

Performance Analysis of three Related Assignment Problems (CTY, KL, MKS, ZMÖ), pp. 82–92.

ICSE-1979-Martin

PEARL At the Age of Three (TM), pp. 100–110.

DAC-1978-AliaCMB #component #functional #modelling #simulation

LSI components modelling in a three-valued functional simulation (GA, PC, EM, FB), pp. 428–438.

DAC-1978-AllisonG #3d #architecture #visual notation

The three-dimensional graphical input method for architecture (HCA, DPG), pp. 133–137.

SIGMOD-1978-MalkinA

A Case Management System: Three Views of an Application (JGM, BFA), pp. 89–100.

VLDB-1978-Berg #framework #implementation

Implementing a Three Schema DBMS Framework (JLB), pp. 128–129.

ICALP-1977-DikovskyM #ambiguity #context-free grammar #on the

On Three Types of Unambiguity of Context-Free Languages (AJD, LSM), pp. 193–205.

VLDB-J-1975-NavatheF76 #abstraction #database #scalability

Restructuring for Large Data Bases: Three Levels of Abstraction (SBN, JPF), pp. 138–158.

DAC-1975-Sherman #testing #using

Program function test definition using a three-value simulator (WJS), pp. 189–194.

DAC-1975-ThompsonS #fault #simulation

Three levels of accuracy for the simulation of different fault types in digital systems (EWT, SAS), pp. 105–113.

VLDB-1975-NavatheF #abstraction #database #scalability

Restructuring for Large Data Bases: Three Levels of Abstraction (SBN, JPF), p. 174.

SOSP-1973-Scheffler #memory management

Optimal Folding of a Paging Drum in a Three Level Memory System (LJS), pp. 58–65.

DAC-1971-Lerman #architecture #automation #design

The three dimensions of architectural design automation (HNL), pp. 250–258.

STOC-1970-Ullian #product line #theorem

Three Theorems on Abstract Families of Languages (JSU), pp. 226–230.

SOSP-1967-Horn68 #debugging #design

Three criteria for designing computing systems to facilitate debugging (ECVH), pp. 360–365.

SHARE-1965-Frayne #problem

Three levels of the wiring interconnection problem (DKF).

SHARE-1964-Morrill #3d #visual notation

Three dimensional graphical display system (CBM).