Stem part$ (all stems)

237 papers:

CASE-2015-PanahiAS #statistics

Pose statistics for eccentric parts (FP, AA, AFvdS), pp. 580–585.

SIGMOD-2015-DietrichG #database #debugging #sql

A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger (BD, TG), pp. 865–870.

SANER-2015-TianL #case study #comparative #debugging #effectiveness

A comparative study on the effectiveness of part-of-speech tagging techniques on bug reports (YT, DL), pp. 570–574.

CHI-2015-HolzBK #identification #mobile #named #using

Bodyprint: Biometric User Identification on Mobile Devices Using the Capacitive Touchscreen to Scan Body Parts (CH, SB, MK), pp. 3011–3014.

DHM-HM-2015-WangHM #case study

A Study on Characteristic of Calligraphy Characters Part 1 Analytical Method with Computer Technology (ZW, IH, ZM), pp. 419–428.

DHM-HM-2015-WangHM15a #case study

A Study on Characteristic of Calligraphy Characters Part 3 Case of the Writing Paper with Calligraphy Letter Works (ZW, RH, ZM), pp. 437–444.

DHM-HM-2015-WangLYHM #case study

A Study on Characteristic of Calligraphy Characters Part 2 Case of One Character of Calligraphy Letter “Kanji” and “Hiragana” (ZW, ML, KY, RH, ZM), pp. 429–436.

POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.

ICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security

Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.

CASE-2014-BaDR #maintenance #policy

Green management of Spare parts for an integrated optimal maintenance and production policy (KB, SD, NR), pp. 359–364.

CASE-2014-BrundageCLAX #energy

Utilizing energy opportunity windows and energy profit bottlenecks to reduce energy consumption per part for a serial production line (MPB, QC, YL, JA, GX), pp. 461–466.

CASE-2014-CanaliCCSEC #assembly #automation #detection #industrial

An automatic assembly parts detection and grasping system for industrial manufacturing (CC, FC, FC, GS, AE, DGC), pp. 215–220.

CASE-2014-LiWGC #assembly #case study

A pilot study of dual 7-axis -arm robot in small part assembly application (QL, GW, HG, ZC), pp. 196–201.

CASE-2014-YamazakiSYI #3d #modelling

3D shape modeling of movable parts of furniture based on time-series surface correspondence (KY, KS, TY, MI), pp. 249–254.

CSEET-2014-Opdahl #development #education #semantics

Teaching semantic technologies as part of a software development program (ALO), pp. 203–204.

CHI-2014-DorkCD #monad

Monadic exploration: seeing the whole through its parts (MD, RC, MDR), pp. 1535–1544.

CHI-2014-LuFL #gesture #using

Gesture script: recognizing gestures and their structure using rendering scripts and interactively trained parts (HL, JF, YL), pp. 1685–1694.

CHI-2014-MatthewsGD #design

Taking part: role-play in the design of therapeutic systems (MM, GG, GD), pp. 643–652.

HCI-AS-2014-ZiesemerMS #exclamation #gamification #recommendation

Just Rate It! Gamification as Part of Recommendation (AdCAZ, LM, MSS), pp. 786–796.

ICML-c2-2014-SantosZ #learning

Learning Character-level Representations for Part-of-Speech Tagging (CNdS, BZ), pp. 1818–1826.

ICPR-2014-AkinM #detection #learning #online

Online Learning and Detection with Part-Based, Circulant Structure (OA, KM), pp. 4229–4233.

ICPR-2014-ChenL #effectiveness #locality

Effective Part Localization in Latent-SVM Training (YC, RL), pp. 4269–4274.

ICPR-2014-KrauseGDLF #fine-grained #learning #recognition

Learning Features and Parts for Fine-Grained Recognition (JK, TG, JD, LJL, FFL), pp. 26–33.

ICPR-2014-OlsenHNP

Body Part Tracking of Infants (MDO, AH, JBN, RRP), pp. 2167–2172.

ICPR-2014-PistocchiCBFC #3d #classification #detection #kernel

Kernelized Structural Classification for 3D Dogs Body Parts Detection (SP, SC, SB, NF, RC), pp. 1993–1998.

ICPR-2014-RiabchenkoKC #generative #learning #modelling

Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.

ICPR-2014-RiabchenkoKC14a #detection

Density-Aware Part-Based Object Detection with Positive Examples (ER, JKK, KC), pp. 2814–2819.

ICPR-2014-VaradarajanV #calculus #geometry #representation #visual notation

4D Space-Time Mereotopogeometry-Part Connectivity Calculus for Visual Object Representation (KMV, MV), pp. 4316–4321.

ICPR-2014-YunJKHC #detection #modelling #performance #self

Self-Organizing Cascaded Structure of Deformable Part Models for Fast Object Detection (SY, HJ, WSK, BH, JYC), pp. 4246–4250.

ICPR-2014-ZhangCQ #realtime

Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.

SIGIR-2014-KellyRT #constraints #information retrieval #research

Choices and constraints: research goals and approaches in information retrieval (part 1) (DK, FR, JT), p. 1283.

SIGIR-2014-KellyRT14a #constraints #information retrieval #research

Choices and constraints: research goals and approaches in information retrieval (part 2) (DK, FR, JT), p. 1284.

SIGIR-2014-RoyVGC #query #segmentation #sequence #using

Improving unsupervised query segmentation using parts-of-speech sequence information (RSR, YV, NG, MC), pp. 935–938.

POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.

CASE-2013-FerreiraL #generative #multi #tool support #using

A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.

ICDAR-2013-AhmedSLD #segmentation #using

A Generic Method for Stamp Segmentation Using Part-Based Features (SA, FS, ML, AD), pp. 708–712.

ICDAR-2013-GoelMAJ #word

Whole is Greater than Sum of Parts: Recognizing Scene Text Words (VG, AM, KA, CVJ), pp. 398–402.

ICDAR-2013-Howe #modelling #word

Part-Structured Inkball Models for One-Shot Handwritten Word Spotting (NRH), pp. 582–586.

ICDAR-2013-MalikLD #automation #comparison #forensics #verification

Part-Based Automatic System in Comparison to Human Experts for Forensic Signature Verification (MIM, ML, AD), pp. 872–876.

ICDAR-2013-WangUL #recognition

Part-Based Recognition of Arbitrary Fonts (SW, SU, ML), pp. 170–174.

ICPC-2013-GuptaMPV #identifier #re-engineering #tool support

Part-of-speech tagging of program identifiers for improved text-based software engineering tools (SG, SM, LLP, KVS), pp. 3–12.

CHI-2013-KelleyCS #privacy #process

Privacy as part of the app decision-making process (PGK, LFC, NMS), pp. 3393–3402.

DHM-HB-2013-KuzMMS #human-computer #industrial #interactive #morphism #using

Using Anthropomorphism to Improve the Human-Machine Interaction in Industrial Environments (Part I) (SK, MPM, SM, CMS), pp. 76–85.

DHM-HB-2013-MayerKS #human-computer #industrial #interactive #morphism #using

Using Anthropomorphism to Improve the Human-Machine Interaction in Industrial Environments (Part II) (MPM, SK, CMS), pp. 93–100.

MLDM-2013-PohlZ #automation #n-gram #recognition #speech #using

Using Part of Speech N-Grams for Improving Automatic Speech Recognition of Polish (AP, BZ), pp. 492–504.

CASE-2012-KehoeBG #adaptation #bound

Estimating part tolerance bounds based on adaptive Cloud-based grasp planning with slip (BK, DB, KG), pp. 1106–1113.

CASE-2012-XieLSD #agile #evaluation #modelling #performance

Improving rapid response operations in acute care delivery — part I: System modeling and performance evaluation (XX, JL, CHS, PD), pp. 303–308.

CASE-2012-XieLSD12a #agile #case study

Improving rapid response operations in acute care delivery — part II: Continuous improvement and case study (XX, JL, CHS, PD), pp. 309–314.

CSCW-2012-FollmerBRSI #interactive #people #using

People in books: using a FlashCam to become part of an interactive book for connected reading (SF, RB, HR, MS, HI), pp. 685–694.

CIKM-2012-DeepakVWS #documentation #segmentation

Two-part segmentation of text documents (PD, KV, NW, SS), pp. 793–802.

ICPR-2012-BarbulescuGGMR #2d #3d #detection #estimation #using

3D human pose estimation using 2D body part detectors (AB, WG, JG, TBM, FXR), pp. 2484–2487.

ICPR-2012-WangUL

Part-based method on handwritten texts (SW, SU, ML), pp. 339–342.

ICPR-2012-ZhangWBZCZ #detection #feature model

Object detection via foreground contour feature selection and part-based shape model (HZ, JW, XB, JZ, JC, HZ), pp. 2524–2527.

KEOD-2012-LinharesD #analysis #functional #geometry

Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.

ICDAR-2011-KokawaBOWK #analysis #automation #classification #fault

An Impact of OCR Errors on Automated Classification of OCR Japanese Texts with Parts-of-Speech Analysis (AK, LSPB, WO, TW, FK), pp. 543–547.

ICDAR-2011-NayefB #statistics

Statistical Grouping for Segmenting Symbols Parts from Line Drawings, with Application to Symbol Spotting (NN, TMB), pp. 364–368.

ICDAR-2011-SongUL

Look Inside the World of Parts of Handwritten Characters (WS, SU, ML), pp. 784–788.

ICDAR-2011-SongUL11a #case study #comparative #recognition

Comparative Study of Part-Based Handwritten Character Recognition Methods (WS, SU, ML), pp. 814–818.

MSR-2011-BinkleyHL #identifier #speech #using

Improving identifier informativeness using part of speech information (DB, MH, DL), pp. 203–206.

CAiSE-2011-Guizzardi #concept #ontology

Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts (GG), pp. 138–153.

ICEIS-v1-2011-VaneaP #metadata #multi #ontology #semantics #using

Semantically Enhancing Multimedia Data Warehouses — Using Ontologies as Part of the Metadata (AV, RP), pp. 163–168.

ICEIS-v2-2011-GonzalezML #design

A Model for Designing Non Cooperative Supply Chain Where Logistics Service Providers Take Part (EDRSG, GRM, HPLL), pp. 409–417.

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-JouWLCJ #architecture #design #generative #modelling #multi

New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model (JMJ, SSW, YLL, CC, YLJ), pp. 258–261.

ICPC-2010-JablonskiH #identifier

Renaming Parts of Identifiers Consistently within Code Clones (PJ, DH), pp. 38–39.

ICEIS-DISI-2010-SunyaevKDK #framework #health

Attack Scenarios for Possible Misuse of Peripheral Parts in the German Health Information Infrastructure (AS, AK, SD, HK), pp. 229–235.

ICPR-2010-CaoZL #markov #random #using

Human Body Parts Tracking Using Sequential Markov Random Fields (XQC, JZ, ZQL), pp. 1759–1762.

ICPR-2010-LuWD #detection #random

Part Detection, Description and Selection Based on Hidden Conditional Random Fields (WL, SW, XD), pp. 657–660.

ICPR-2010-NguyenD #approach #multi

A Multi-scale Approach to Decompose a Digital Curve into Meaningful Parts (TPN, IDR), pp. 1072–1075.

OOPSLA-2010-HerzeelC #control flow #interactive #parallel #recursion

Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.

SAC-2010-ChoppyR #approach #modelling

A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation) (CC, GR), pp. 2451–2458.

CASE-2009-BermanK #abstraction #algorithm #assembly #scalability

Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.

ITiCSE-2009-CukiermanT #learning #student

The academic enhancement program: encouraging students to learn about learning as part of their computing science courses (DC, DMT), pp. 171–175.

CSMR-2009-KpodjedoRGA #algorithm #evolution #question #using

Recovering the Evolution Stable Part Using an ECGM Algorithm: Is There a Tunnel in Mozilla? (SK, FR, PG, GA), pp. 179–188.

ICALP-v2-2009-FinkelG #analysis

Forward Analysis for WSTS, Part II: Complete WSTS (AF, JGL), pp. 188–199.

HCI-NIMT-2009-WechsungESSMM #evaluation #interface #multimodal #question #usability

Usability Evaluation of Multimodal Interfaces: Is the Whole the Sum of Its Parts? (IW, KPE, SS, JS, FM, SM), pp. 113–119.

HIMI-DIE-2009-MatsumotoSS #case study #effectiveness #visual notation

A Study on Effective Methods of Visual Inspection for Reused-Parts by Inspectors (TM, HS, KS), pp. 131–139.

CAiSE-2009-Guizzardi #concept #modelling #problem #revisited #transitive

The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited (GG), pp. 94–109.

ICEIS-ISAS-2009-SunyaevKMK #analysis #health #security

Security Analysis of the German Electronic Health Card’s Peripheral Parts (AS, AK, CM, HK), pp. 19–26.

CIKM-2009-ZhuWZ #learning

Label correspondence learning for part-of-speech annotation transformation (MZ, HW, JZ), pp. 1461–1464.

ECIR-2009-LiomaB #information retrieval #speech

Part of Speech Based Term Weighting for Information Retrieval (CL, RB), pp. 412–423.

KEOD-2009-TatsiopoulosBS #on the #ontology

On Aligning Interesting Parts of Ontologies (CT, BB, KS), pp. 363–367.

SIGIR-2009-HinneKRVWH

Annotation of URLs: more than the sum of parts (MH, WK, SR, SV, TPvdW, MvdH), pp. 632–633.

SAC-2009-BerardNT #fault #simulation

Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate (SB, BN, JCT), pp. 1181–1185.

CASE-2008-Chirikjian

Parts entropy and the principal kinematic formula (GSC), pp. 864–869.

DATE-2008-EberleG #architecture #automation #communication #design #network #power management #scalability

A scalable low-power digital communication network architecture and an automated design path for controlling the analog/RF part of SDR transceivers (WE, MG), pp. 710–715.

PLDI-2008-PouchetBCC #multi #optimisation

Iterative optimization in the polyhedral model: part ii, multidimensional time (LNP, CB, AC, JC), pp. 90–100.

ICPR-2008-HahnKW #3d #algorithm #estimation #using

Spatio-temporal 3D pose estimation and tracking of human body parts using the Shape Flow algorithm (MH, LK, CW), pp. 1–4.

ICPR-2008-HossainMJY #adaptation #identification #invariant #using

Clothes-invariant gait identification using part-based adaptive weight control (MAH, YM, WJ, YY), pp. 1–4.

ICPR-2008-RoussillonST #composition #robust

Robust decomposition of a digital curve into convex and concave parts (TR, IS, LT), pp. 1–4.

ICPR-2008-WhiteW #generative #graph #modelling

Parts based generative models for graphs (DHW, RCW), pp. 1–4.

KR-2008-ArtaleGK #constraints #formal method

Formalising Temporal Constraints on Part-Whole Relations (AA, NG, CMK), pp. 673–683.

SAC-2008-AveglianoS #named #simulation

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

SAC-2008-MohseniMMS #markov

A Farsi part-of-speech tagger based on Markov model (MM, HM, BMB, MSf), pp. 1588–1589.

SPLC-2008-GrulerLS #modelling #product line

Calculating and Modeling Common Parts of Software Product Lines (AG, ML, KDS), pp. 203–212.

CASE-2007-GoemansAGS #algorithm #automation #composition #design #industrial #physics

Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm (OCG, MTA, KG, AFvdS), pp. 318–325.

ICDAR-2007-GuptaS #documentation #image #recognition

A Shared Parts Model for Document Image Recognition (MDG, PS), pp. 1163–1172.

DHM-2007-ColomboFRR #design #simulation

ICT Methodologies to Model and Simulate Parts of Human Body for Prosthesis Design (GC, SF, PR, CR), pp. 559–568.

HCI-MIE-2007-ZhangM #eye tracking

Evaluating Eye Tracking with ISO 9241 — Part 9 (XZ, ISM), pp. 779–788.

SIGAda-2007-Maurer #ada #proving #using

Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.

CAiSE-2007-Guizzardi #aspect-oriented

Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction (GG), pp. 5–20.

RecSys-2007-LeinoR #recommendation

Case amazon: ratings and reviews as part of recommendations (JL, KJR), pp. 137–140.

SIGIR-2007-SchuldtGOH #on the #retrieval

On the importance of preserving the part-order in shape retrieval (AS, BG, OO, OH), pp. 771–772.

GTTSE-2007-Taha #multi #programming

A Gentle Introduction to Multi-stage Programming, Part II (WT), pp. 260–290.

CGO-2007-PouchetBCV #optimisation

Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time (LNP, CB, AC, NV), pp. 144–156.

CASE-2006-DongS #grid #research

The Research on Grid E-business System Based on A Trusted Third Part (YD, DS), pp. 640–644.

CASE-2006-SongL

Two-Instant Reallocation in Two-Echelon Spare Parts Inventory Systems (HS, HCL), pp. 342–345.

CSEET-2006-RappaSY #re-engineering

Open Course Resources as Part of the OpenSeminar in Software Engineering (MR, SES, AY), pp. 187–192.

ICPR-v1-2006-BernierB #detection #multi

Generic Detection of Multi-Part Objects (JFB, RB), pp. 840–843.

ICPR-v1-2006-ChenHHH #segmentation #using

Segmentation of Human Body Parts Using Deformable Triangulation (CCC, JWH, YTH, CYH), pp. 355–358.

ICPR-v1-2006-ZhaoKTH #framework #multi

Part Based Human Tracking In A Multiple Cues Fusion Framework (QZ, JK, HT, WH), pp. 450–455.

ICPR-v2-2006-McNeillV #probability

Part-Based Probabilistic Point Matching (GM, SV), pp. 382–386.

ICPR-v2-2006-RobertsMHVB #estimation #multi #network

Part-Based Multi-Frame Registration for Estimation of the Growth Of Cellular Networks in Plant Roots (TJR, SJM, JH, TAV, AGB), pp. 378–381.

ICPR-v3-2006-MakhloufiZBB

QIM watermarking combined to JPEG2000 part I and II (AM, AOZ, RB, AB), pp. 746–749.

ICPR-v4-2006-LuC #3d

Accurate 3D Scanning of Swaying Human Body Parts by One Projection Based on OIMP Technique (CL, GC), pp. 1–4.

RE-2006-Mylopoulos #requirements

Goal-Oriented Requirements Engineering, Part II (JM), p. 4.

ICLP-2006-MouraM

Logtalk Processing of STEP Part 21 Files (PM, VM), pp. 453–454.

ICDAR-2005-Szummer #diagrams #learning #random

Learning Diagram Parts with Hidden Random Fields (MS), pp. 1188–1193.

SIGMOD-2005-OzcanCPKBJZ #relational #xml

System RX: One Part Relational, One Part XML (KSB, RC, VJ, JK, GL, GML, RL, FÖ, HP, NS, TCT, BVdL, BV, CZ), pp. 347–358.

ICEIS-v3-2005-RajuganDCF #design #uml #xml

XML Views, Part III: An UML Based Design Methodology for XML Views (RR, TSD, EC, LF), pp. 19–28.

ICEIS-v5-2005-Fernandez-CaballeroGBL #adaptation #architecture #distance #learning

Distance Learning by Intelligent Tutoring System. Part I: Agent-Based Architecture for User-Centred Adaptivity (AFC, JMG, FB, EL), pp. 75–82.

ICEIS-v5-2005-Fernandez-CaballeroGLB #adaptation #distance #education #learning #student

Distance Learning by Intelligent Tutoring System. Part II: Student/Teacher Adaptivity in an Engineering Course (AFC, JMG, EL, FB), pp. 148–153.

ITiCSE-2004-MintonBD #case study #problem

If diversity is a problem could e-learning be part of the solution?: a case study (LM, RDB, VD), pp. 42–46.

CIKM-2004-Rigoutsos

Of parts and relationships: an unending quest (IR), p. 250.

ICML-2004-NatteeSNO #first-order #learning #mining #multi

Learning first-order rules from data with multiple parts: applications on mining chemical compound data (CN, SS, MN, TO).

ICPR-v1-2004-KawanoKY #comparison #difference #gender

A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.

KDD-2004-KalagnanamSVPW #automation

A system for automated mapping of bill-of-materials part numbers (JK, MS, SV, MP, YWW), pp. 805–810.

HT-2003-FallensteinLHA #named #using #web

Storm: using P2P to make the desktop part of the web (BF, TJL, HH, TA), pp. 150–151.

ICDAR-2003-BooseSB #interactive #scalability

A Scalable Solution for Integrating Illustrated Parts Drawings into a Class IV Interactive Electronic Technical Manual (MLB, DBS, LSB), pp. 309–313.

ICDAR-2003-KameyaMO #online #sequence #verification

Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.

ICDAR-2003-Lin

Impact of imperfect OCR on part-of-speech tagging (XL), pp. 284–288.

CIKM-2003-AlonsoBL #adaptation #implementation #lessons learnt

Lessons from the implementation of an adaptive parts acquisition ePortal (RA, JAB, HL), pp. 169–171.

KDD-2003-AlonsoBLB #adaptation #nearest neighbour

An adaptive nearest neighbor search for a parts acquisition ePortal (RA, JAB, HL, CB), pp. 693–698.

SEKE-2003-SuzukiT #information management #set #web

Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages (TS, TT), pp. 547–554.

ICSE-2003-SimpsonMGDM #assessment #on the #re-engineering

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (AS, AM, JG, JD, SM), pp. 628–633.

SIGMOD-2002-ShashaB #database

Database tuning: principles, experiments, and troubleshooting techniques (part II) (DS, PB), p. 637.

SIGMOD-2002-ShashaB02a #database

Database tuning: principles, experiments, and troubleshooting techniques (part I) (DS, PB), p. 637.

CIAA-2002-GranaAV #compilation #constraints #finite #transducer

Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers (JG, GA, JV), pp. 128–137.

DLT-2002-Lam #finite

Finite Completion of Comma-Free Codes. Part I (NHL), pp. 357–368.

KR-2002-Schulz

Necessary Parts and Wholes in Bio-Ontologies (SS), pp. 387–394.

SIGIR-2002-AllanR #ambiguity #query #using

Using part-of-speech patterns to reduce query ambiguity (JA, HR), pp. 307–314.

OOPSLA-2002-Pucella #calculus #formal method #towards

Towards a formalization for COM part i: the primitive calculus (RP), pp. 331–342.

CSEET-2001-Monarch #comprehension #re-engineering

Understanding Software Engineering Failure as Part of the SWEBOK (IM), p. 191–?.

ITiCSE-2001-CarboneHMG #learning #programming

Characteristics of programming exercises that lead to poor learning tendencies: Part II (AC, JH, IM, DG), pp. 93–96.

WCRE-2001-Blaha #database #industrial #reverse engineering

A Retrospective on Industrial Database Reverse Engineering Projects. Part 1 (MRB), pp. 136–146.

WCRE-2001-Blaha01a #database #industrial #reverse engineering

A Retrospective on Industrial Database Reverse Engineering Projects. Part 2 (MRB), p. 147–?.

CIKM-2001-HaaseH #database #query

Exposing the Vagueness of Query Results on Partly Inaccessible Databases (OH, AH), pp. 49–56.

SEKE-2001-Davis #re-engineering #requirements

Requirements Triage: The Most Important Part of Software Engineering… and the Most Ignored (AD), p. 275.

ESOP-2000-Pottier #type inference

A 3-Part Type Inference Engine (FP), pp. 320–335.

CIAA-2000-Kempe00a #transducer

Part-of-Speech Tagging with Two Sequential Transducers (AK), pp. 337–339.

ICPR-v4-2000-BelaidPV #recognition

Part-of-Speech Tagging for Table of Contents Recognition (AB, LP, NV), pp. 4451–4454.

UML-2000-Pazzi #behaviour #representation

Part-Whole Statecharts for the Explicit Representation of Compound Behaviors (LP), pp. 541–555.

ICSE-2000-Bryant #problem #question #re-engineering

It’s engineering Jim ... but not as we know it: software engineering — solution to the software crisis, or part of the problem? (AB), pp. 78–87.

TestCom-2000-RyuKKS #design #generative #testing #using

Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques (JR, MK, SK, SS), pp. 127–142.

WICSA-1999-Weil

Building Systems from Parts in the Real World (RRW), pp. 479–492.

HT-1999-Rau #towards

Towards the Recognitiion of the Shell as a Integral Part of the Digital Text (AR), pp. 119–120.

ICDAR-1999-KiseMYM #automation #documentation #generative #hypermedia #keyword #on the

On the Use of Density Distribution of Keywords for Automated Generation of Hypertext Links from Arbitrary Parts of Documents (KK, HM, MY, KM), pp. 301–304.

CHI-1999-DouglasKM #assessment #performance #standard #testing

Testing Pointing Device Performance and User Assessment with the ISO 9241, Part 9 Standard (SAD, AEK, ISM), pp. 215–222.

HCI-EI-1999-Maruyama #web

The Web Crusade Part 1: Motives for Creating Personal Web Pages by Individuals (GM), pp. 774–777.

HCI-EI-1999-Tsunoda #prototype

Cyber-Messe part 2: An Operational Prototype Model (TT), pp. 769–773.

HCI-EI-1999-Ujigawa #design #web

The Web Crusade Part 2: Creating a Web Page Design Map (MU), pp. 778–782.

TOOLS-PACIFIC-1999-BarbierH #metamodelling

Object Metamodeling of The Whole-Part Relationship (FB, BHS), pp. 127–138.

RTA-1999-Marcinkowski #algebra #formal method

Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol (JM), pp. 92–102.

DATE-1998-MalyNHK #interface

Design-Manufacturing Interface: Part I — Vision (WM, PKN, HTH, JK), pp. 550–556.

DATE-1998-MalyNOHKS #interface

Design-Manufacturing Interface: Part II — Applications (WM, PKN, CHO, HTH, JK, PS), pp. 557–562.

ITiCSE-1998-Clear #collaboration #communication #database #education

A generic collaborative database — part of a strategy to internationalise the curriculum and develop teamwork and communication capabilities (poster) (AGC), p. 274.

ITiCSE-1998-LambrixK #education

Computer science as an integrated part of engineering education (PL, MK), pp. 153–156.

ITiCSE-1998-Makkonen

WWW-based presentations as a complementary part of conventional lectures in the basic of informatics (PM), pp. 162–165.

EDOC-1998-SchaderK #approach #development #modelling #object-oriented #process #uml

Modeling business processes as part of the BOOSTER approach to business object-oriented system development based on UML (MS, AK), pp. 56–67.

ICPR-1998-HaritaogluHD #named #using

Ghost: a human body part labeling system using silhouettes (IH, DH, LSD), pp. 77–82.

ICPR-1998-JiH #framework #geometry #statistics

A statistical framework for geometric tolerancing manufactured parts (QJ, RMH), pp. 1728–1730.

ICPR-1998-YonemotoTT #3d #multi #sequence #using

Tracking of 3D multi-part objects using multiple viewpoint time-varying sequences (SY, NT, RiT), pp. 490–494.

ICDAR-1997-KitahashiOKB #documentation #information management

Media Information Processing in Documents -Generation of Manuals of Mechanical Parts Assembling (TK, MO, KK, NB), pp. 792–797.

ITiCSE-WGR-1997-LambrixGK #education

Computer science as an integrated part of engineering education (poster) (PL, MGL, MK), p. 151.

IFL-1997-Mohnen

Context Patterns, Part II (MM), pp. 338–357.

GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation

Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.

GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation

Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.

CIKM-1997-PerryC #resource management

Discovering Similar Resources by Content Part-Linking (BP, WWC), pp. 317–324.

SIGIR-1997-KlavansTJ #automation #effectiveness #multi #natural language #semiparsing #speech

Effective Use of Natural Language Processing Techniques for Automatic Conflation of Multi-Word Terms: The Role of Derivational Morphology, Part of Speech Tagging, and Shallow Parsing (ET, JK, CJ), pp. 148–155.

AdaEurope-1996-Molenmaker #ada

Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.

ICPR-1996-NairA #architecture #composition #recognition

Hierarchical, modular architectures for object recognition by parts (DN, JKA), pp. 601–606.

ICPR-1996-WuL #3d #segmentation #using

3D part segmentation using simulated electrical charge distributions (KW, MDL), pp. 14–18.

ICSE-1996-Vekens #implementation #object-oriented

An Object-Oriented Implementation of B-ISDN Signalling — Part 2: Extendability Stands the Test (AWvdV), pp. 125–132.

ICDAR-v1-1995-MarstonK

Interpretation of 3-view engineering drawings as central quadric surface mechanical parts (REM, MHK), pp. 343–346.

ICSE-1995-GarlanAO #architecture #why

Architectural Mismatch or Why It’s Hard to Build Systems Out Of Existing Parts (DG, RA, JO), pp. 179–185.

ICSE-1995-KangK #named #realtime #specification #verification

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (KCK, KIK), pp. 169–176.

IWMM-1995-MaedaKITHN #garbage collection #on the fly

On-the-fly Global Garbage Collection Based on Partly Mark-Sweep (MM, HK, YI, TT, AH, JN), pp. 283–296.

CSEE-1994-Dalcher #case study #community #re-engineering

Falling Down is Part of Growing Up; the Study of Failure and the Software Engineering Community (DD), pp. 489–496.

CIKM-1994-HalperGPK #using

Integrating a Part Relationship Into an Open OODB System Using Metaclasses (MH, JG, YP, WK), pp. 10–17.

KR-1994-FriedmanH #framework #knowledge-based

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.

KR-1994-PadghamL #framework #logic

A Framework for Part-of Hierarchies in Terminological Logics (LP, PL), pp. 485–496.

DAC-1993-YuanPR #component #evaluation #logic #simulation

Evaluation of Parts by Mixed-Level DC-Connected Components in Logic Simulation (DCY, LTP, JTR), pp. 367–372.

HT-1993-HaakeKS #hypermedia #video

The SEPIA Hypermedia System as Part of the POLIKOM Telecooperation Scenario (Video) (JMH, TK, NAS), pp. 235–237.

ICDAR-1993-LeeDKA #case study #functional

A study on a method of dividing machine-parts into functional groups for technical illustrations (IL, SD, TK, NA), pp. 886–889.

AdaEurope-1993-CherniackDF #ada #source code

Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part (JRC, HSD, JFF), pp. 180–196.

CAiSE-1993-Motschnig-Pitrik #modelling #semantics

The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling (RMP), pp. 352–373.

CIKM-1993-HalperGP #database #object-oriented

Value Propagation in Object-Oriented Database Part Hierarchies (MH, JG, YP), pp. 606–614.

CIKM-1993-RusS #architecture #component #multi #retrieval

Multi-media RISSC Informatics: Retrieval of Information with Simple Structural Components (Part I: The Architecture) (DR, DS), pp. 283–294.

SEKE-1993-Deng #architecture #execution #specification

Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.

SEKE-1993-Evangelist #architecture #execution #specification

Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.

SEKE-1993-KushnerE #experience #rule-based #verification

Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS (TRK, DSE), pp. 445–452.

ICSE-1993-DunnK #automation #detection #reuse

Automating the Detection of Reusable Parts in Existing Software (MFD, JCK), pp. 381–390.

TOOLS-EUROPE-1992-MadsenM

Part Objects and their Location (OLM, BMP), pp. 283–297.

TOOLS-PACIFIC-1992-Menzies #information management #representation

Is-a Object Part-of Knowledge Representation (Part 2) (TM), pp. 213–223.

DAC-1991-Wang #layout #novel

Novel Routing Schemes for IC Layout, Part I: Two-Layer Channel Routing (DCW), pp. 49–53.

CHI-1991-Thiel #gesture #interface

The cue ball as part of a gestural interface (DDT), pp. 463–464.

ECOOP-1991-WolinskiP #multi #representation

Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies (FW, JFP), pp. 288–306.

CAV-1991-SchneiderKK #automation #hardware #proving

Automating Most Parts of Hardware Proofs in HOL (KS, RK, TK), pp. 365–375.

ESOP-1990-Paige #difference #finite

Symbolic Finite Differencing — Part I (RP), pp. 36–56.

ALP-1990-Farres-Casals #correctness #proving #specification

Proving Correctness wrt Specifications with Hidden Parts (JFC), pp. 25–39.

CSL-1990-Gabbay #algorithm #proving

Algorithmic Proof with Diminishing Resources, Part 1 (DMG), pp. 156–173.

SEI-1989-JonesR #re-engineering

Software Engineering as Part of an Undergraduate Computer Science Program (LGJ, WER), pp. 275–279.

ICALP-1989-Reynolds

Syntactic Control of Inference, Part 2 (JCR), pp. 704–722.

CHI-1989-Raskin

Systemic implications of leap and an improved two-part cursor (JR), pp. 167–170.

ICSE-1989-AllenL #composition #development #knowledge-based

A Knowledge-Based Environment for the Development of Software Parts Composition Systems (BPA, SDL), pp. 104–112.

ICSE-1989-Fox #development #lifecycle #performance #scalability

Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems (GF), pp. 85–94.

CSL-1989-Borger #logic #prolog #semantics

A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control (EB), pp. 36–64.

DAC-1988-Chang #automation #component #design #industrial

Design Automation for the Component Parts Industry (SSLC), pp. 634–637.

ICALP-1988-Eppstein #automaton #design #finite #sequence

Reset Sequences for Finite Automata with Application to Design of Parts Orienters (DE), pp. 230–238.

DAC-1987-LueM #game studies #layout #named

PLAY: Pattern-Based Symbolic Cell Layout: Part I: Transistor Placement (WJL, LPM), pp. 659–665.

DAC-1987-PraizlerF

A Parts Selection Expert System to Increase Manufacturability (DP, GF), pp. 706–712.

DAC-1987-RosenthalH #approach #knowledge-based #query

Querying Part Hierarchies: A Knowledge-Based Approach (AR, SH), pp. 328–334.

ECOOP-1987-BlakeC #implementation #object-oriented #on the #smalltalk

On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk (EHB, SC), pp. 41–50.

ICLP-1987-Ueda87 #source code

Making Exhaustive Search Programs Deterministic, Part II (KU), pp. 356–375.

GG-1986-Kreowski #concurrent #graph grammar #parallel

Is parallelism already concurrency? Part 1: Derivations in graph grammars (HJK), pp. 343–360.

GG-1986-KreowskiW #concurrent #graph grammar #parallel #process

Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars (HJK, AW), pp. 361–377.

OOPSLA-1986-GarrettS #architecture #editing #object-oriented #timeline

Building a Timeline Editor from Prefab Parts: The Architecture of an Object-Oriented Application (LNG, KES), pp. 202–213.

DAC-1985-Reid-Green #effectiveness #prototype

Cost-effective computer-aided manufacturing of prototype parts (KSRG), pp. 326–329.

SCC-1984-JulligD #attribute grammar

Regular right-part attribute grammars (RJ, FD), pp. 171–178.

POPL-1982-ShermanPH #logic #process

Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL (RS, AP, DH), pp. 347–360.

DAC-1981-TanakaMNOTK #array #design #logic

An integrated computer aided design system for gate array masterslices: Part 1. Logic reorganization system LORES-2 (CT, SM, SN, TO, MT, KK), pp. 59–65.

DAC-1981-TanakaMTYOTKT #array #design #layout

An integrated computer aided design system for gate array masterslices: Part 2 the layout design system MARS-M3 (CT, SM, HT, TY, KO, MT, RK, MT), pp. 812–819.

DAC-1980-CoxC #array #automation #standard

The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.

DAC-1980-GouldE #array #design #standard

The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.

STOC-1979-ChazelleD

Decomposing a Polygon into its Convex Parts (BC, DPD), pp. 38–48.

STOC-1974-Chandra #canonical

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

DAC-1972-SinkeyG #design #generative #interactive

The Interactive Computer Graphics System for Machined Part Design and NC Tape Generation (LOS, JZG), pp. 305–316.