Stem posit$ (all stems)

327 papers:

CASE-2015-FariaHGL #robust

Extended high-gain observer for robust position control of a micro-gripper in air and vacuum (MGdF, YH, YLG, PL), pp. 1626–1631.

CASE-2015-JiaSDXLMZ #industrial #multi

Multi-objective position control for an industrial robot calibration system (YJ, CS, ZD, NX, XL, CM, GZ), pp. 1236–1241.

CASE-2015-OgunmoluGJG #realtime

A real-time, soft robotic patient positioning system for maskless head-and-neck cancer radiotherapy: An initial investigation (OPO, XG, SBJ, NRG), pp. 1539–1545.

CASE-2015-PellicciariBBG #energy #performance

Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.

STOC-2015-ZhuO #convergence #performance

Nearly-Linear Time Positive LP Solver with Faster Convergence Rate (ZAZ, LO), pp. 229–236.

LATA-2015-BilottaPPR #problem

Recurrence Relations, Succession Rules, and the Positivity Problem (SB, EP, RP, SR), pp. 499–510.

FM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #static analysis #using

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.

CHI-2015-BlytheSRO #design #game studies

Solutionism, the Game: Design Fictions for Positive Aging (MB, JS, JR, CO), pp. 3849–3858.

CHI-2015-HuberLP #detection

Detecting User Intention at Public Displays from Foot Positions (BH, JHL, JHP), pp. 3899–3902.

CHI-2015-SongPSKH #3d #estimation #gesture #interactive #mobile #video

Joint Estimation of 3D Hand Position and Gestures from Monocular Video for Mobile Interaction (JS, FP, GS, MK, OH), pp. 3657–3660.

CHI-2015-ZhengFSDYG #maintenance

Eye-Wearable Technology for Machine Maintenance: Effects of Display Position and Hands-free Operation (XSZ, CF, PMdS, SD, TY, SG), pp. 2125–2134.

HCI-IT-2015-FukumotoTE #detection #using

Improvement of Accuracy in Remote Gaze Detection for User Wearing Eyeglasses Using Relative Position Between Centers of Pupil and Corneal Sphere (KF, TT, YE), pp. 13–23.

HCI-IT-2015-HaescherTMBUK #multi #named #process #smarttech

aHead: Considering the Head Position in a Multi-sensory Setup of Wearables to Recognize Everyday Activities with Intelligent Sensor Fusions (MH, JT, DJCM, GB, BU, TK), pp. 741–752.

SCSM-2015-ChungM #data transfer #interactive

Interaction Study of Shuriken: User Grouping and Data Transfer Based on Inter-device Relative Positioning (JC, AM), pp. 196–206.

ICML-2015-HuangWSLC #classification #image #learning #metric #set #symmetry

Log-Euclidean Metric Learning on Symmetric Positive Definite Manifold with Application to Image Set Classification (ZH, RW, SS, XL, XC), pp. 720–729.

ICML-2015-PlessisNS #learning

Convex Formulation for Learning from Positive and Unlabeled Data (MCdP, GN, MS), pp. 1386–1394.

KDD-2015-LalmasLSST #experience

Promoting Positive Post-Click Experience for In-Stream Yahoo Gemini Users (ML, JL, GS, FS, GT), pp. 1929–1938.

ASPLOS-2015-FletcherRKDD #ram #recursion #verification

Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (CWF, LR, AK, MvD, SD), pp. 103–116.

DRR-2014-CartonLC #interactive #learning #named

LearnPos: a new tool for interactive learning positioning (CC, AL, BC), p. ?–12.

ESOP-2014-HerlihyK #composition #transaction

Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.

AFL-2014-MignotSZ14a #automaton #equation

$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions (LM, NOS, DZ), pp. 327–341.

CIAA-2014-MaiaMR #automaton #similarity

Partial Derivative and Position Bisimilarity Automata (EM, NM, RR), pp. 264–277.

ICALP-v2-2014-OuaknineW #linear #on the #problem #sequence

On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.

ICALP-v2-2014-OuaknineW14a #decidability #linear #sequence

Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.

CSCW-2014-LiaoF

Can you hear me now?: mitigating the echo chamber effect by source position indicators (QVL, WTF), pp. 184–196.

CSCW-2014-ValkanovaWMM #interactive #named #visualisation

MyPosition: sparking civic discourse by a public interactive poll visualization (NV, RW, AVM, JM), pp. 1323–1332.

DUXU-ELAS-2014-BackhausBT #experience #user interface

Positive Technology and User Experience for Human Needs in Developing Countries: Some Considerations (NB, SB, AT), pp. 400–410.

SCSM-2014-BenteDRA #behaviour #physics

Emotional Contagion with Artificial Others. Effects of Culture, Physical Appearance, and Nonverbal Behavior on the Perception of Positive/Negative Affect in Avatars (GB, TD, DR, AAI), pp. 411–420.

ICEIS-v1-2014-CoelhoAABB #network #using

Router Nodes Positioning for Wireless Networks Using Artificial Immune Systems (PHGC, JLMdA, JFMdA, LFdAB, AVdB), pp. 415–421.

ICEIS-v2-2014-Hauer #state of the art

Data Leakage Prevention — A Position to State-of-the-Art Capabilities and Remaining Risk (BH), pp. 361–367.

ICEIS-v3-2014-DavidAC

Simplified Business Information — A Technical Position in Accounting and Taxation (FD, RA, FC), pp. 502–507.

ECIR-2014-HofmannSBR #bias #evaluation #recommendation

Effects of Position Bias on Click-Based Recommender Evaluation (KH, AS, AB, MdR), pp. 624–630.

ICML-c2-2014-Thomas14a #convergence #named

GeNGA: A Generalization of Natural Gradient Ascent with Positive and Negative Convergence Results (PT), pp. 1575–1583.

ICPR-2014-BalntasTM #detection

Improving Object Tracking with Voting from False Positive Detections (VB, LT, KM), pp. 1928–1933.

ICPR-2014-GauzereBV #encoding #graph #kernel

Graph Kernel Encoding Substituents’ Relative Positioning (BG, LB, DV), pp. 637–642.

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-XiaoCJF #recognition #using

Position-Based Action Recognition Using High Dimension Index Tree (QX, JC, JJ, WF), pp. 4400–4405.

SIGIR-2014-AlipovTT #on the

On peculiarities of positional effects in sponsored search (VA, VAT, IT), pp. 1015–1018.

SIGIR-2014-GangulyLJ #retrieval

Retrieval of similar chess positions (DG, JL, GJFJ), pp. 687–696.

SAC-2014-YokoyamaKM #using

Secure positioning in a UAV swarm using on-board stereo cameras (RSY, BYLK, EdSM), pp. 769–774.

CASE-2013-Nieves-RiveraXJMZ #automation #development

Development of a position sensitive device and control method for automated robot calibration (ENR, NX, YJ, CM, GZ), pp. 1127–1132.

CASE-2013-RoyNSR #case study #comparative #robust

Robust position control of an autonomous underwater vehicle: A comparative study (SR, SN, SNS, RR), pp. 1002–1007.

CASE-2013-Xu #robust

New robust position and force regulation for a compliant microgripper (QX), pp. 801–806.

CASE-2013-ZisserSR #robust

Robust position control of a pneumatic actuator (EZ, AS, RR), pp. 693–698.

DocEng-2013-SilvaSMB #on the #performance #xpath

On the performance of the position() XPath function (LAMdS, LLNdSJ, MM, VB), pp. 229–230.

CSEET-2013-LongstreetC #development #education #re-engineering

Positive transitions from the classroom to the cubicle: Creating strategies for augmenting professional development in the software engineering curriculum (CSL, KMLC), pp. 365–367.

PEPM-2013-AktemurKKS #challenge #generative #programming

Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.

ICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random

A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.

ICALP-v2-2013-GravinL

Competitive Auctions for Markets with Positive Externalities (NG, PL), pp. 569–580.

LATA-2013-LaugerotteSZ #automaton

From Regular Tree Expression to Position Tree Automaton (ÉL, NOS, DZ), pp. 395–406.

CHI-2013-Ortega #3d #automation #using

3D object position using automatic viewpoint transitions (MO), pp. 193–196.

CHI-2013-StellmachD

Still looking: investigating seamless gaze-supported selection, positioning, and manipulation of distant targets (SS, RD), pp. 285–294.

CSCW-2013-MorganBWS #case study #experience #user interface #wiki

Tea and sympathy: crafting positive new user experiences on wikipedia (JTM, SB, HW, SS), pp. 839–848.

DUXU-NTE-2013-Pohlmeyer #challenge #design

Positive Design: New Challenges, Opportunities, and Responsibilities for Design (AEP), pp. 540–547.

DUXU-PMT-2013-ProvostR #case study #experience #interactive #user interface

The Dimensions of Positive and Negative User Experiences with Interactive Products (GP, JMR), pp. 399–408.

HCI-III-2013-KunoST

Long-Term Study of a Software Keyboard That Places Keys at Positions of Fingers and Their Surroundings (YK, BS, JT), pp. 72–81.

HIMI-D-2013-ChangSCH #design #interface #layout #on the #performance #topic

On the Reading Performance of Text Layout, Switch Position, Topic of Text, and Luminance Contrast for Chinese E-books Interface Design (WTC, LHS, ZC, KCH), pp. 567–575.

HIMI-D-2013-KoedaKN #estimation

Relative Position Calibration between Two Haptic Devices Based on Minimum Variance Estimation (MK, YK, HN), pp. 72–79.

OCSC-2013-GoodSP #facebook #roadmap

Looking Back at Facebook Content and the Positive Impact Upon Wellbeing: Exploring Reminiscing as a Tool for Self Soothing (AG, AS, VP), pp. 278–286.

ICEIS-v2-2013-IzurietaG #capacity #in the cloud

Impressionism in Cloud Computing — A Position Paper on Capacity Planning in Cloud Computing Environments (ICI, CFRG), pp. 333–338.

CIKM-2013-CarmelSK #retrieval

Position-based contextualization for passage retrieval (DC, AS, OK), pp. 1241–1244.

CIKM-2013-LuBL #enterprise #retrieval

Structured positional entity language model for enterprise entity retrieval (CL, LB, WL), pp. 129–138.

ICML-c3-2013-YoshiiTMG #infinity

Infinite Positive Semidefinite Tensor Factorization for Source Separation of Mixture Signals (KY, RT, DM, MG), pp. 576–584.

KDD-2013-FeiKSNMH #detection #learning

Heat pump detection from coarse grained smart meter data with positive and unlabeled learning (HF, YK, SS, MRN, SKM, JH), pp. 1330–1338.

ER-BR-2013-AlvesSC #integration #modelling #process

A bi-directional integration between i* and BPMN models in the context of business process management: A position paper (RA, CTLLS, JC).

REFSQ-2013-Herrmann #requirements

Requirements Engineering in Practice: There Is No Requirements Engineer Position (AH), pp. 347–361.

SAC-2013-MadeoLP #gesture #rest #segmentation #using

Gesture unit segmentation using support vector machines: segmenting gestures from rest positions (RCBM, CAML, SMP), pp. 46–52.

QoSA-2012-DurdikR #approach #architecture #design #modelling

Position paper: approach for architectural design and modelling with documented design decisions (ADMD3) (ZD, RHR), pp. 49–54.

CASE-2012-JungBT

A simplified time-delayed disturbance observer for position control of robot manipulators (SJ, YGB, MT), pp. 555–560.

CASE-2012-KammererP #fault #flexibility #geometry

High accuracy patient positioning system: geometric and elastic error calibration of a flexible model (NK, YP), pp. 1033–1039.

CASE-2012-XiaoLL #adaptation

A model reference adaptive PID control for electromagnetic actuated micro-positioning stage (SX, YL, JL), pp. 97–102.

CIAA-2012-HeamHK #bound #constraints #on the

On Positive TAGED with a Bounded Number of Constraints (PCH, VH, OK), pp. 329–336.

ICEIS-v1-2012-CoelhoAA #industrial #network

Node Positioning — Application for Wireless Networks Industrial Plants (PHGC, JLMdA, JFMdA), pp. 291–294.

CIKM-2012-FukumotoYMS #classification #documentation

Text classification with relatively small positive documents and unlabeled data (FF, TY, SM, YS), pp. 2315–2318.

CIKM-2012-MaFL #database #relational

A positional access method for relational databases (DM, JF, GL), pp. 2164–2168.

CIKM-2012-WuJZ #behaviour

Serial position effects of clicking behavior on result pages returned by search engines (MW, SJ, YZ), pp. 2411–2414.

ICPR-2012-AotoTSMY #estimation #using

Position estimation of near point light sources using a clear hollow sphere (TA, TT, TS, YM, NY), pp. 3721–3724.

ICPR-2012-DufourZWK #classification

Classification of drusen positions in optical coherence tomography data from patients with age-related macular degeneration (PAD, SDZ, UWS, JK), pp. 2067–2070.

ICPR-2012-YiicelMH #evaluation #identification #modelling

Modeling and identification of group motion via compound evaluation of positional and directional cues (ZY, TM, NH), pp. 1172–1176.

KDD-2012-ChenY #predict

Position-normalized click prediction in search advertising (YC, TWY), pp. 795–803.

KDD-2012-XiongJXC #dependence #learning #metric #random

Random forests for metric learning with implicit pairwise position dependence (CX, DMJ, RX, JJC), pp. 958–966.

KDIR-2012-SpiegelA #analysis #distance #invariant

An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.

RecSys-2012-PradelUG #evaluation #metric #ranking

Ranking with non-random missing ratings: influence of popularity and positivity on evaluation metrics (BP, NU, PG), pp. 147–154.

SIGIR-2012-ArroyueloGMOS #ranking #trade-off

To index or not to index: time-space trade-offs in search engines with positional ranking functions (DA, SG, MM, MO, TS), pp. 255–264.

SIGIR-2012-HeS #documentation #optimisation #version control

Optimizing positional index structures for versioned document collections (JH, TS), pp. 245–254.

ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing

Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.

CASE-2011-Kanamori #anti

Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturation (MK), pp. 798–803.

CASE-2011-XieZSL #fuzzy #using

Position servo control of the slider in double toggle mechanical press using Bezier curve model and fuzzy control (JX, SZ, ZS, JL), pp. 773–778.

DATE-2011-SabatelliSFR #algorithm #estimation #metric

A sensor fusion algorithm for an integrated angular position estimation with inertial measurement units (SS, FS, LF, AR), pp. 273–276.

DATE-2011-Struzyna #clustering #constraints

Flow-based partitioning and position constraints in VLSI placement (MS), pp. 607–612.

ICDAR-2011-DelayeA #fuzzy #recognition

Fuzzy Relative Positioning Templates for Symbol Recognition (AD, ÉA), pp. 1220–1224.

VLDB-2012-LiuZW11 #mining

Controlling False Positives in Association Rule Mining (GL, HZ, LW), pp. 145–156.

DLT-2011-Kasprzik #automaton #finite #query

Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data (AK), pp. 476–477.

ICALP-v2-2011-BertrandBBS #automaton #problem

Emptiness and Universality Problems in Timed Automata with Positive Frequency (NB, PB, TB, AS), pp. 246–257.

ICALP-v2-2011-BovaCV #comparison

Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.

CHI-2011-SauroL #design #question #usability

When designing usability questionnaires, does it hurt to be positive? (JS, JRL), pp. 2215–2224.

CHI-2011-WeilenmannJ #comprehension #interactive #people

Understanding people and animals: the use of a positioning system in ordinary human-canine interaction (AW, OJ), pp. 2631–2640.

CSCW-2011-MooreCK #interactive #internet #query

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

HCI-ITE-2011-ChoiHK #3d #estimation #gesture #interface #using

3D-Position Estimation for Hand Gesture Interface Using a Single Camera (SHC, JHH, JHK), pp. 231–237.

HCI-UA-2011-Chu #navigation

Windows Positioning System: Aural Assistance Environment for the Aging in Windows Navigation (CNC), pp. 435–438.

HCI-UA-2011-ZhaoSW #game studies #recognition

Head-Pose Recognition for a Game System Based on Nose’s Relative Position (QZ, XS, YW), pp. 694–701.

AdaEurope-2011-Daniels #object-oriented

Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems (DD), pp. 211–213.

CIKM-2011-DongZCZZLWO #database #mining #named #performance

e-NSP: efficient negative sequential pattern mining based on identified positive patterns without database rescanning (XD, ZZ, LC, YZ, CZ, JL, WW, YO), pp. 825–830.

CIKM-2011-ElsayedLM #approximate #performance #retrieval

When close enough is good enough: approximate positional indexes for efficient ranked retrieval (TE, JJL, DM), pp. 1993–1996.

CIKM-2011-SellamanickamGS #approach #learning #ranking

A pairwise ranking based approach to learning with positive and unlabeled examples (SS, PG, SKS), pp. 663–672.

CIKM-2011-ShanZHYYL #performance #query

Efficient phrase querying with flat position index (DS, WXZ, JH, RY, HY, XL), pp. 2001–2004.

KEOD-2011-Karbe #concept #formal method #implementation #information management #representation

Formalizing and Implementing Knowledge Representation on the Basis of Conceptions — Position Statement (TK), pp. 317–321.

OOPSLA-2011-WeeratungeZJ #using

Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.

SAC-2011-NawahdahI #education #learning #physics

Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.

ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.

LICS-2011-MadelaineM #first-order #logic #similarity

A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.

PODS-2010-BenediktPV #higher-order #query

Positive higher-order queries (MB, GP, HV), pp. 27–38.

SIGMOD-2010-HemanZNSAB

Positional update handling in column stores (SH, MZ, NJN, LS, PAB), pp. 543–554.

CIAA-2010-OkuiS #ambiguity #automaton #regular expression

Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (SO, TS), pp. 231–240.

ICALP-v1-2010-BrietFV #constraints #problem #rank

The Positive Semidefinite Grothendieck Problem with Rank Constraint (JB, FMdOF, FV), pp. 31–42.

CHI-2010-NakatsumaS #2d #communication #detection #network

High accuracy position and orientation detection in two-dimensional communication network (KN, HS), pp. 2297–2306.

ICEIS-AIDSS-2010-MoriyasuYN #learning #self #using

Supervised Learning for Agent Positioning by using Self-organizing Map (KM, TY, HN), pp. 368–372.

CIKM-2010-SlezakT #database #injection

Injecting domain knowledge into a granular database engine: a position paper (DS, GT), pp. 1913–1916.

ICPR-2010-BharathM #empirical #on the #online #recognition #word

On the Significance of Stroke Size and Position for Online Handwritten Devanagari Word Recognition: An Empirical Study (AB, SM), pp. 2033–2036.

ICPR-2010-KanetoNB #estimation #realtime #using

Real-Time User Position Estimation in Indoor Environments Using Digital Watermarking for Audio Signals (RK, YN, NB), pp. 97–100.

ICPR-2010-KumeTSY #estimation #image #parametricity #using #video

Extrinsic Camera Parameter Estimation Using Video Images and GPS Considering GPS Positioning Accuracy (HK, TT, TS, NY), pp. 3923–3926.

ICPR-2010-YamashitaSS #3d

Recovering 3D Shape and Light Source Positions from Non-planar Shadows (YY, FS, JS), pp. 1775–1778.

KDD-2010-LiAZ #mining

Mining positive and negative patterns for relevance feature discovery (YL, AA, NZ), pp. 753–762.

KDIR-2010-Rauch #data mining #logic #mining #semantics #web

Logic of Discovery, Data Mining and Semantic Web — Position Paper (JR), pp. 342–351.

KEOD-2010-AntunesC #re-engineering

Unfading Decisions — A Position Paper on Decision Reconstruction (FA, JPC), pp. 374–377.

KEOD-2010-HughesWC #development #modelling #ontology #process

Ontological Modelling to Support the Planning of is Development Processes — A Position Paper (RTH, GW, KC), pp. 319–324.

RecSys-2010-SymeonidisTM #network #predict #similarity #social #transitive

Transitive node similarity for link prediction in social networks with positive and negative links (PS, ET, YM), pp. 183–190.

SIGIR-2010-LvZ #feedback #pseudo

Positional relevance model for pseudo-relevance feedback (YL, CZ), pp. 579–586.

ECOOP-2010-Hanenberg #developer #empirical #programming #static typing #type system

Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects — An Empirical Study (SH), pp. 300–303.

OOPSLA-2010-Hanenberg #development #empirical #static typing #type system

An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.

SAC-2010-WangLZY #algorithm

An indoor tracking algorithm with the virtual reference based positioning (YW, JL, JZ, LY), pp. 568–574.

CSL-2010-MartinM #complexity #first-order #logic #similarity

The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.

CASE-2009-MattosC #performance #precise #visual notation

A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing (LSM, DGC), pp. 609–614.

CASE-2009-MysoreNUMR #algorithm #performance

An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas (NM, PN, RSU, RM, SR), pp. 233–240.

ICDAR-2009-DelayeAM #fuzzy #modelling #recognition

Explicit Fuzzy Modeling of Shapes and Positioning for Handwritten Chinese Character Recognition (AD, ÉA, SM), pp. 1121–1125.

ICDAR-2009-Franke #analysis #forensics #reliability

Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations (KF), pp. 1310–1314.

ITiCSE-2009-SaravanosK

The positive effects of explanation after CE in AVBL (AS, CKK), p. 391.

TACAS-2009-GouesW #mining #specification

Specification Mining with Few False Positives (CLG, WW), pp. 292–306.

HCI-NIMT-2009-TongW #recognition #speech

Compensate the Speech Recognition Delays for Accurate Speech-Based Cursor Position Control (QT, ZW), pp. 752–760.

HCI-NT-2009-Chi #design #human-computer #interactive

A Position Paper on “Living Laboratories”: Rethinking Ecological Designs and Experimentation in Human-Computer Interaction (EHC), pp. 597–605.

ICEIS-DISI-2009-VinhasAM #realtime

Business Intelligence based on a Wi-Fi Real Time Positioning Engine — A Practical Application in a Major Retail Company (VV, PA, PM), pp. 11–16.

ICEIS-ISAS-2009-GoebelTGTN #how

RFID in the Supply Chain: How to Obtain a Positive ROI — The Case of Gerry Weber (CG, CT, OG, RT, RN), pp. 95–102.

ICEIS-J-2009-LipariBB #2d #fault #visual notation

Investigation of Error in 2D Vibrotactile Position Cues with Respect to Visual and Haptic Display Properties: A Radial Expansion Model for Improved Cuing (NGL, CWB, VBB), pp. 963–974.

SIGIR-2009-LvZ #information retrieval #modelling

Positional language models for information retrieval (YL, CZ), pp. 299–306.

SIGIR-2009-YanDS #web

Compressing term positions in web indexes (HY, SD, TS), pp. 147–154.

POPL-2009-JonssonN #call-by #higher-order #supercompilation

Positive supercompilation for a higher order call-by-value language (PAJ, JN), pp. 277–288.

LICS-2009-MadelaineM #complexity #first-order #logic #similarity

The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.

ASE-2008-PostSKG #abstract interpretation #bound #model checking

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.

CASE-2008-TianL

Particle filter positioning and tracking based on dynamic model (ZT, LL), pp. 756–759.

CSMR-2008-KhomhG #design pattern #quality #question

Do Design Patterns Impact Software Quality Positively? (FK, YGG), pp. 274–278.

ICSM-2008-KarimKSCTOJ #embedded #industrial #maintenance

Positioning embedded software maintenance within industrial maintenance (RK, MKM, PS, OC, TT, HO, JJ), pp. 440–443.

STOC-2008-AwerbuchK #distributed #linear #source code

Stateless distributed gradient descent for positive linear programs (BA, RK), pp. 691–700.

ICALP-A-2008-ChengW #complexity

Complexity of Decoding Positive-Rate Reed-Solomon Codes (QC, DW), pp. 283–293.

ICALP-A-2008-EtessamiWY #game studies #probability #recursion

Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.

CSCW-2008-ChungH #distributed #network

Network structure, position, ties and ICT use in distributed knowledge-intensive work (KSKC, LH), pp. 545–554.

CSCW-2008-YamashitaHAKH #communication #video

Impact of seating positions on group video communication (NY, KH, SA, HK, YH), pp. 177–186.

ICPR-2008-TaketomiSY #database #estimation #realtime #using

Real-time camera position and posture estimation using a feature landmark database with priorities (TT, TS, NY), pp. 1–4.

KDD-2008-ElkanN #classification #learning

Learning classifiers from only positive and unlabeled data (CE, KN), pp. 213–220.

KDD-2008-WuLCC #learning #symmetry

Asymmetric support vector machines: low false-positive learning under the user tolerance (SHW, KPL, CMC, MSC), pp. 749–757.

REFSQ-2008-KaschekKSM #elicitation #quality #requirements #towards

Towards Simulation-Based Quality Requirements Elicitation: A Position Paper (RHK, CK, VAS, HCM), pp. 135–140.

CSL-2008-CharatonikW #constraints #quantifier

Quantified Positive Temporal Constraints (WC, MW), pp. 94–108.

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-LuimulaSPPAL #mobile #ubiquitous #using

Improving the Remote Control of a Mobile Robot Using Positioning and Ubiquitous Techniques (ML, KS, TP, SP, JA, AL), pp. 1027–1033.

CASE-2007-RakotondrabeCL #modelling #robust

Modelling and Robust Position/Force Control of a Piezoelectric Microgripper (MR, CC, PL), pp. 39–44.

CASE-2007-ZhouGWJFLU #precise

Active Thermal Management for Precision Positioning (RZ, WG, JTW, MKJ, JF, GL, MU), pp. 45–50.

CASE-2007-ZimmermannS #modelling #precise #simulation

Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.

DAC-2007-Vardi #verification

Formal Techniques for SystemC Verification; Position Paper (MYV), pp. 188–192.

DATE-2007-Wong #equation #performance #symmetry #using

Fast positive-real balanced truncation of symmetric systems using cross Riccati equations (NW), pp. 1496–1501.

ICDAR-2007-MS #encoding #online #recognition

A Feature based on Encoding the Relative Position of a Point in the Character for Online Handwritten Character Recognition (DM, MKS), pp. 1014–1017.

VLDB-2007-AkbariniaPV #algorithm #query

Best Position Algorithms for Top-k Queries (RA, EP, PV), pp. 495–506.

DHM-2007-DuSY #modelling

Modeling of Human’s Pointing Movement on the Effect of Target Position (JD, HS, XY), pp. 48–55.

HCI-IDU-2007-AndoK #approach #concept #research #towards #usability

Long Term Usability; Its Concept and Research Approach — The Origin of the Positive Feeling Toward the Product (MA, MK), pp. 393–396.

HCI-IPT-2007-ThuU #multi

Positional Mapping Multi-tap for Myanmar Language (YKT, YU), pp. 486–495.

HCI-MIE-2007-JangKC #geometry #using #visual notation

Position and Pose Computation of a Moving Camera Using Geometric Edge Matching for Visual SLAM (HJ, GYK, HIC), pp. 634–641.

ICML-2007-BunescuM #learning #multi

Multiple instance learning for sparse positive bags (RCB, RJM), pp. 105–112.

ICML-2007-YoganandaMG #linear #performance

A fast linear separability test by projection of positive points on subspaces (APY, MNM, LG), pp. 713–720.

PPDP-2007-Gnaedig #induction #termination

Induction for positive almost sure termination (IG), pp. 167–178.

SAC-2007-HuangJL

Finding putative core promoter elements with position-dependent consensuses (YFH, YCJ, SWL), pp. 138–139.

CSL-2007-Kopczynski

ω-Regular Half-Positional Winning Conditions (EK), pp. 41–53.

CASE-2006-XuLT #using #visual notation

Visual Positioning Using Four-Point Planar Patterns (DX, YL, MT), pp. 600–605.

DAC-2006-WongB #multi #performance #polynomial

Multi-shift quadratic alternating direction implicit iteration for high-speed positive-real balanced truncation (NW, VB), pp. 257–260.

ICALP-v2-2006-Kopczynski #game studies #infinity

Half-Positional Determinacy of Infinite Games (EK), pp. 336–347.

CHI-2006-WigdorSFB #performance

Effects of display position and control space orientation on user preference and performance (DW, CS, CF, RB), pp. 309–318.

CHI-2006-ZhaoAH #multi #using

Zone and polygon menus: using relative position to increase the breadth of multi-stroke marking menus (SZ, MA, KH), pp. 1077–1086.

ICPR-v2-2006-SerratosaS #distance

Vision-Based Robot Positioning by an Exact Distance Between Hi (FS, AS), pp. 849–852.

ICPR-v4-2006-SekoYSMK #metric #pointer

Proposal of recordable pointer: Pointed position measurement by projecting interference concentric circle pattern with a pointing device (YS, YY, YS, JM, HK), pp. 825–828.

ICPR-v4-2006-TeshimaSOYI #estimation #image

Vehicle Lateral Position Estimation Method Based on Matching of Top-View Images (TT, HS, SO, KY, TI), pp. 626–629.

FSE-2006-HalfondOM #evaluation #injection #sql #using

Using positive tainting and syntax-aware evaluation to counter SQL injection attacks (WGJH, AO, PM), pp. 175–185.

RTA-2006-BournezG #proving #termination

Proving Positive Almost Sure Termination Under Strategies (OB, FG), pp. 357–371.

WICSA-2005-AkermanT #architecture #ontology

Position on Ontology-Based Architecture (AA, JT), pp. 289–290.

ICEIS-v2-2005-HuynhGB #clustering #metric

Clustering Interestingness Measures with Positive Correaltion (HXH, FG, HB), pp. 248–253.

KDD-2005-HershkopS #email #modelling #reduction

Combining email models for false positive reduction (SH, SJS), pp. 98–107.

KDD-2005-ManeSH #classification #independence #using

Estimating missed actual positives using independent classifiers (SM, JS, SYH), pp. 648–653.

MLDM-2005-SharmaVTV #approach #database #mining #multi #novel

A Novel Approach of Multilevel Positive and Negative Association Rule Mining for Spatial Databases (LKS, OPV, UST, RV), pp. 620–629.

FATES-2005-ZelenovZ #automation #generative #parsing #testing

Automated Generation of Positive and Negative Tests for Parsers (SVZ, SAZ), pp. 187–202.

LICS-2005-Rossman

Existential Positive Types and Preservation under Homomorphisisms (BR), pp. 467–476.

RTA-2005-BournezG #proving #termination

Proving Positive Almost-Sure Termination (OB, FG), pp. 323–337.

DATE-v2-2004-RanKWM #analysis

Eliminating False Positives in Crosstalk Noise Analysis (YR, AK, YW, MMS), pp. 1192–1197.

PODS-2004-AbiteboulBM #xml

Positive Active XML (SA, OB, TM), pp. 35–45.

VLDB-2004-YuCLZ #data type #mining #transaction

False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams (JXY, ZC, HL, AZ), pp. 204–215.

ITiCSE-WGR-2004-LeBlancD #education #why

Bioinformatics and computing curricula 2001: why computer science is well positioned in a post-genomic world (MDL, BDD), pp. 64–68.

TACAS-2004-LahiriBGT #similarity

Revisiting Positive Equality (SKL, REB, AG, MT), pp. 1–15.

CHI-2004-ToryMAK #2d #3d

Combining 2D and 3D views for orientation and relative position tasks (MT, TM, MSA, AEK), pp. 73–80.

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.

ICML-2004-OngMCS #kernel #learning

Learning with non-positive kernels (CSO, XM, SC, AJS).

ICPR-v1-2004-HoriSNK #detection #multi #realtime #using

A Real-Time Multi Face Detection Technique Using Positive-Negative Lines-of-Face Template (YH, KS, YN, TK), pp. 765–768.

ICPR-v1-2004-KaszubiakTKM #3d #estimation #multi #realtime

Real-Time, 3-D-Multi Object Position Estimation and Tracking (JK, MT, RWK, BM), pp. 785–788.

ICPR-v3-2004-GinnekenL #image #segmentation

Pixel Position Regression — Application to Medical Image Segmentation (BvG, ML), pp. 718–721.

ICPR-v3-2004-TsujiZHK #analysis #correlation

Levels of Detail Control Based on Correlation Analysis Between Surface Position and Direction (TT, HZ, TH, RK), pp. 622–625.

ICPR-v4-2004-FrancoLM #approach #feedback

A New Approach for Relevance Feedback Through Positive and Negative Samples (AF, AL, DM), pp. 905–908.

ICPR-v4-2004-IwaseS #detection #image #parallel

Parallel Tracking of All Soccer Players by Integrating Detected Positions in Multiple View Images (SI, HS), pp. 751–754.

SAC-2004-PrigourisPMHM #independence #network

A network independent broker for obtaining the position of nomadic users (NP, GP, GFM, SH, LFM), pp. 1206–1207.

DAC-2003-GhoneimaI #bidirectional

Optimum positioning of interleaved repeaters In bidirectional buses (MG, YII), pp. 586–591.

ICDAR-2003-El-NasanVN #n-gram #recognition #using

Handwriting Recognition Using Position Sensitive Letter N-Gram Matching (AEN, SV, GN), p. 577–?.

ICEIS-v1-2003-EzeifeU #independence #profiling

Data Position and Profiling in Domain-Independent Warehouse Cleaning (CIE, AU), pp. 232–238.

CIKM-2003-YuZH #classification #documentation

Text classification from positive and unlabeled documents (HY, CZ, JH), pp. 232–239.

ICML-2003-LeeL #learning #using

Learning with Positive and Unlabeled Examples Using Weighted Logistic Regression (WSL, BL), pp. 448–455.

SAC-2003-ChanLCHLL #architecture #named

Bluepoint: A Bluetooth-based Architecture for Location-Positioning Services (ATSC, HVL, JC, AH, LL, LL), pp. 990–995.

ICSE-2003-SindreLV #case study #experience #programming

Positive Experiences with an Open Project Assignment in an Introductory Programming Course (GS, SL, OVV), pp. 608–613.

CSL-2003-Duparc #game studies #persistent

Positive Games and Persistent Strategies (JD), pp. 183–196.

LICS-2003-FederV #morphism

Homomorphism Closed vs. Existential Positive (TF, MYV), pp. 311–320.

DATE-2002-Velev #similarity #using #verification

Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer (MNV), pp. 28–35.

WRLA-2002-AlpuenteEL

Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.

ICEIS-2002-Lopez #using

Strategic Position of Firms in Terms of Client’s Needs Using Linguistic and Numerical Information through a New Model of SOFM (RFL), pp. 382–390.

ICML-2002-OatesDB #context-free grammar #learning

Learning k-Reversible Context-Free Grammars from Positive Structural Examples (TO, DD, VB), pp. 459–465.

ICML-2002-WuZZ #mining

Mining Both Positive and Negative Association Rules (XW, CZ, SZ), pp. 658–665.

ICPR-v2-2002-Han #classification #using

A Supervised Classification Scheme Using Positive Boolean Function (CCH), pp. 100–103.

ICPR-v4-2002-MorimotoAF #detection

Detecting Eye Position and Gaze from a Single Camera and 2 Light Sources (CHM, AA, MF), pp. 314–317.

KDD-2002-YuHC #classification #learning #named #using #web

PEBL: positive example based learning for Web page classification using SVM (HY, JH, KCCC), pp. 239–248.

SEKE-2002-CostagliolaDFG #modelling #using #visual notation

Using extended positional grammars to develop visual modeling languages (GC, VD, FF, CG), pp. 201–208.

SAC-2002-AsaiOST

Viewpoint motion control by body position in immersive projection display (KA, NO, YYS, YT), pp. 1074–1079.

CSL-2002-Goubault-Larrecq #constraints #higher-order #set

Higher-Order Positive Set Constraints (JGL), pp. 473–489.

CSL-2002-MarcinkowskiT #bound #complexity #game studies #ltl

Optimal Complexity Bounds for Positive LTL Games (JM, TT), pp. 262–275.

RTA-2002-BaaderT

Combining Decision Procedures for Positive Theories Sharing Constructors (FB, CT), pp. 352–366.

TestCom-2002-HeikkilaTV #automation #generative #testing

Position Statement: Testing Automation with Computer Aided Test Case Generation (TH, PT, JV), p. 209–?.

TestCom-2002-Sachse #testing

Position Statement: Making TTCN-3 testing a success (WS), pp. 201–208.

DAC-2001-LeeNCKD #2d #detection

Two-Dimensional Position Detection System with MEMS Accelerometer for MOUSE Applications (SL, GJN, JC, HK, AJD), pp. 852–857.

DATE-2001-JerrayaM #design

Electronic system design methodology: Europe’s positioning (AAJ, GM), pp. 720–721.

ICDAR-2001-BarakatB #classification #geometry

Training with Positive and Negative Data Samples: Effects on a Classifier for Hand-Drawn Geometric Shapes (HB, DB), pp. 1017–1021.

ICDAR-2001-Horiuchi #automation #verification

Automatic Seal Verification by Evaluating Positive Cost (TH), pp. 572–576.

CHI-2001-BrushBGC #documentation #robust

Robust annotation positioning in digital documents (AJBB, DB, AG, JJC), pp. 285–292.

SAC-2001-ZhouCH #correlation #identification #optimisation #problem #set #using

Identifying the most significant pairwise correlations of residues in different positions of helices: the subset selection problem using least squares optimization (XZ, GC, MTH), pp. 51–55.

CAV-2001-VelevB #logic #named #similarity

EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.

ICLP-2001-HoweK #multi

Positive Boolean Functions as Multiheaded Clauses (JMH, AK), pp. 120–134.

SIGMOD-2000-SaltenisJLL

Indexing the Positions of Continuously Moving Objects (SS, CSJ, STL, MAL), pp. 331–342.

CSEET-2000-Boldyreff #re-engineering

The University of Durham BSc in Software Engineering and Proposed MEng in Software Engineering: A Position Paper (CB), p. 189.

CSMR-2000-Voas

Disposable COTS-Intensive Software Systems (A Position Statement) (JMV), pp. 239–241.

ICML-2000-Mitchell

“Boosting” a Positive-Data-Only Learner (ARM), pp. 607–614.

ICPR-v1-2000-AndreuP #estimation #fuzzy

Fuzzy Relative Positions for Qualitative Pose Estimation (JPA, AP), pp. 1384–1387.

ICPR-v1-2000-LiskaS

Estimating the Next Sensor Position Based on Surface Characteristics (CL, RS), pp. 1538–1541.

ICPR-v1-2000-MullerMMPS #feedback #image #retrieval

Strategies for Positive and Negative Relevance Feedback in Image Retrieval (HM, WM, SMM, TP, DS), pp. 5043–5042.

ICPR-v1-2000-OhnoMS #3d #estimation #game studies

Tracking Players and Estimation of the 3D Position of a Ball in Soccer Games (YO, JM, YS), pp. 1145–1148.

ICPR-v1-2000-WangT #composition #matrix

An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.

ICPR-v4-2000-AssfalgBP #image #retrieval

Image Retrieval by Positive and Negative Examples (JA, ADB, PP), pp. 4267–4270.

ICPR-v4-2000-OhishiKM #online #using #verification

On-Line Signature Verification Using Pen-Position, Pen-Pressure and Pen-Inclination Trajectories (TO, YK, TM), pp. 4547–4550.

SIGIR-2000-ManevitzY #classification #documentation #network #using

Document classification on neural networks using only positive examples (LMM, MY), pp. 304–306.

ICRE-2000-Parnas00a

Two Positions on Licensing (DLP), p. 154.

SAC-2000-AlhajjP

Maximizing Reuseability: Seeking Appropriate Positions for Derived Classes Within the Class Hierarchy (RA, FP), pp. 351–355.

ICSE-2000-GrimsonK

Software needs engineering: a position paper (JG, HJK), pp. 541–544.

ICSE-2000-Morrogh #education

Is software education narrow-minded? A position paper (PM), pp. 545–546.

ICSE-2000-OsterweilBEGKM #re-engineering #research #why

Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.

DAC-1999-VelevB #pipes and filters #similarity #verification

Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors (MNV, REB), pp. 397–401.

FASE-1999-FokkinkV #legacy #term rewriting

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (WF, CV), pp. 98–113.

FM-v2-1999-KingHCP #experience #industrial #proving #verification

The Value of Verification: Positive Experience of Industrial Proof (SK, JH, RC, AP), pp. 1527–1545.

HCI-EI-1999-AarasRH

Can a more neutral position and support of the forearms at the Table top reduce pain for VDU operators. Laboratory and field studies (AA, OR, GH), pp. 51–55.

CAV-1999-BryantGV #logic #similarity

Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions (REB, SMG, MNV), pp. 470–482.

CHI-1998-BalakrishnanP

The PadMouse: Facilitating Selection and Spatial Positioning for the Non-Dominant Hand (RB, PP), pp. 9–16.

ICPR-1998-LeaL #automation

Semi-automated Maltese front position determination (SML, ML), pp. 1382–1386.

ICPR-1998-OlagueM #3d

Optimal camera placement to obtain accurate 3D point positions (GO, RM), pp. 8–10.

ICPR-1998-PinzA #reasoning #recognition

Qualitative spatial reasoning to infer the camera position in generic object recognition (AP, JPA), pp. 770–773.

RTA-1998-Fuchs #information management #proving

Coupling Saturation-Based Provers by Exchanging Positive/Negative Information (DF), pp. 317–331.

WPC-1997-RugaberW #framework #re-engineering #research

Position Paper on Research Infrastructure for Reengineering (SR, LMW), pp. 162–164.

HCI-CC-1997-VendaL #assembly #evaluation #using

Ergonomic Evaluation of Manual Assembly Operations Using Direct and Indirect Observation Workstations in Sitting and Standing Positions (VFV, SSL), pp. 855–858.

RTA-1997-Perlo-FreemanP

Scott’s Conjecture is True, Position Sensitive Weights (SMHWPF, PP), pp. 217–227.

ICPR-1996-SakoS #realtime #recognition

Real-time facial expression recognition based on features’ positions and dimensions (HS, AVWS), pp. 643–648.

ICPR-1996-WebbG #estimation #using

Source position estimation using radial basis functions (ARW, PNG), pp. 3–7.

SAC-1996-LeungC #network

A stroke-order free Chinese handwriting input system based on relative stroke positions and back-propagation networks (WnL, KsC), pp. 22–27.

POPL-1995-HofmannP #type system

Positive Subtyping (MH, BCP), pp. 186–197.

ILPS-1995-SorensenG #algorithm #supercompilation

An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.

FME-1994-WangM

RTL and Refutation by Positive Cycles (FW, AKM), pp. 659–680.

KR-1994-InoueS #on the

On Positive Occurrences of Negation as Failure (KI, CS), pp. 293–304.

ICDAR-1993-Itonori #recognition

Table structure recognition based on textblock arrangement and ruled line position (KI), pp. 765–768.

STOC-1993-LubyN #algorithm #approximate #linear #parallel #programming

A parallel approximation algorithm for positive linear programming (ML, NN), pp. 448–457.

SIGIR-1993-LinoffS #database #scalability

Compression of Indexes with Full Positional Information in Very Large Text Databases (GL, CS), pp. 88–95.

DAC-1992-Jones #incremental

Zero Delay versus Positive Delay in an Incremental Switch-Level Simulator (LGJ), pp. 424–427.

PODS-1992-Chan #query

Containment and Minimization of Positive Conjunctive Queries in OODB’s (EPFC), pp. 202–211.

SIGIR-1992-Keen #ranking

Term Position Ranking: Some New Test Results (EMK), pp. 66–76.

IWPTS-1992-Davidson #testing

Position Paper on Interoperability Testing (ICD), pp. 161–162.

JICSLP-1992-BrogiLMM #logic programming #source code

Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.

VDME-1991-1-Clement #development

Combining Transformation and Posit-and Prove in a VDM Development (TC), pp. 63–80.

ICSE-1991-Kishida

Position Statement (KK), p. 151.

PLDI-1990-PettisH

Profile Guided Code Positioning (KP, RCH), pp. 16–27.

Best-of-PLDI-1990-PettisHD

Profile guided code positioning (with retrospective) (KP, RCH, JWD), pp. 398–411.

ICSE-1990-Alonzo

Position Paper on Technology Transfer (RA), p. 329.

ICSE-1990-Bush #re-engineering

Software Re-engineering Position Statement (EB), p. 121.

CSL-1990-Jaspars #information management

A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge (JJ), pp. 289–299.

SEI-1989-LyallA #education #re-engineering

Position Statement: Software Engineering Undergraduate Education (JRL, JGA), pp. 289–293.

CHI-1989-WareB #parametricity

Bat brushes: on the uses of six position and orientation parameters in a paint program (CW, CB), pp. 155–160.

RTA-1989-BundgenK

Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.

HCI-CE-1987-Sheppard #modelling #multi

A Methodology for Modeling Multi-Position EV and IV Tasks for Space Station (SBS), pp. 281–288.

DAC-1984-HudsonWP #algorithm

Module positioning algorithms for rectilinear macrocell assemblies (JAH, JAW, RCP), pp. 672–675.

DAC-1983-Ehr #automation #design

Position paper role of technology design rules in Design Automation (GJVE), p. 395.

SIGMOD-1983-Gray #data transformation #problem

Practical Problems in Data Management — A Position Paper (JG), p. 3.

DAC-1981-Dutton #automation #design #perspective #tool support

Position statement — tools for design automation from a university point of view (RWD), p. 333.

DAC-1981-Felton

The effects of CAD on the engineering organization (Position paper) (PF), pp. 710–711.

DAC-1981-Gould #automation #design

Changing the Government’s role in design automation (Position Paper) (JMG), pp. 334–335.

DAC-1981-Spence #automation #design

Design Automation — a perspective (Position Paper) (HWS), p. 343.

POPL-1981-Harrison #compilation #optimisation

Position Paper on Optimizing Compilers (WHH), pp. 88–89.

POPL-1981-Johnson #compilation #optimisation

Position Paper on Optimizing Compilers (SCJ), pp. 90–91.

DAC-1980-Allen #automation #design

A contemporary perspective on design automation and VLSI in the 80’s (Position Statement) (JA), pp. 338–339.

DAC-1980-Armstrong #what

A CAD user’s perspective what gets done right wrong and not at all (Position Paper) (RAA), p. 517.

DAC-1980-Daram

Position statement — CAD for VLSI (SBD), p. 642.

DAC-1980-Fitch

Will your bridge stand the load? (Position Paper) (AEF), p. 518.

DAC-1980-Garvin

Observations of a CAD user (Position Paper) (DJG), p. 519.

DAC-1980-Gwyn #automation #design #roadmap

Design automation trends for VLSI in the 1980s (Position Statement) (CWG), p. 340.

DAC-1980-Jacobs #automation #design

Design automation and VLSI in the 80’s (Position Statement) (RMJ), p. 341.

DAC-1980-Lee #design #tool support

Design tools for VLSI (Position Statement) (BL), p. 342.

DAC-1980-Newton #challenge #design

The VLSI design challenge of the 80’s (Position Statement) (ARN), pp. 343–344.

DAC-1980-Roberts #challenge #design #named

VLSI — a challenge for system designers (Position Statement) (MBR), p. 345.

DAC-1980-Sapiro #automation

Desisn automation and VLSI in the 80’s (Position Statement) (SS), pp. 346–347.

DAC-1979-Cronin

Views of a vendor (Position Paper) (MJC), p. 346.

DAC-1979-Kane #automation #design

Design Automation concerns (Position Paper) (JBK), pp. 347–348.

DAC-1979-Losleben #automation #design #future of

Future of design automation (Position Paper) (PL), p. 349.

DAC-1979-Magnuson #development

Moving a D.A. system from development to production (Position Paper) (WGMJ), pp. 350–351.

DAC-1979-Peterson #automation #design

Design Automation philosophies (Position Paper) (DLP), p. 352.

SOSP-1967-Dennis68

A position paper on computing and communications (JBD), pp. 370–377.