BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
fix (118)
use (102)
base (97)
analysi (88)
float (60)

Stem point$ (all stems)

794 papers:

CASECASE-2015-ChengTLCH #algorithm #modelling #network #optimisation
Modeling and optimizing tensile strength and yield point on steel bar by artificial neural network with evolutionary algorithm (CKC, JTT, TTL, JHC, KSH), pp. 1562–1563.
CASECASE-2015-LinYCLL #constraints #scheduling
A master-axis-based feedrate scheduling with jerk constraints for five-axis tool center point trajectory (MTL, NTY, WTC, CYL, YML), pp. 111–116.
CASECASE-2015-ZouLLJX #locality #online
A mutual information based online access point selection strategy for WiFi indoor localization (HZ, YL, XL, HJ, LX), pp. 180–185.
DACDAC-2015-TziantzioulisGF #correlation #fault #float #integer #named
b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DATEDATE-2015-ChenKXMLYVSCY #algorithm #array #learning
Technology-design co-optimization of resistive cross-point array for accelerating learning algorithms on chip (PYC, DK, ZX, AM, BL, JY, SBKV, JsS, YC, SY), pp. 854–859.
DATEDATE-2015-HuangHC #algorithm #clustering #framework #multi #problem #scalability
Clustering-based multi-touch algorithm framework for the tracking problem with a large number of points (SLH, SYH, CPC), pp. 719–724.
TACASTACAS-2015-DanglLW #contest #float #recursion #source code
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
PLDIPLDI-2015-PanchekhaSWT #automation #float
Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
ICALPICALP-v1-2015-AronovK #algebra #diagrams #tool support
Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
ICALPICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.
ICALPICALP-v1-2015-KarpinskiLS #set
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set (MK, AL, DS), pp. 785–796.
ICALPICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability
Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
FMFM-2015-SolovyevJRG #estimation #fault #float
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
CHICHI-2015-HaqueNV #named #using
Myopoint: Pointing and Clicking Using Forearm Mounted Electromyography and Inertial Motion Sensors (FH, MN, DV), pp. 3653–3656.
CHICHI-2015-Mayer0SH #modelling
Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.
CHICHI-2015-ShihLW #privacy #smarttech
Privacy Tipping Points in Smartphones Privacy Preferences (FS, IL, DJW), pp. 807–816.
HCIDHM-EH-2015-YamamotoOGKHBA #research
Research of Work Climate at Nursing Home — From Job Separation and Management Capability Point (AY, TO, AG, NK, HH, HCBJ, TA), pp. 512–523.
HCIHCI-DE-2015-NakatsujiYKT #towards
Airway Cursor: A Pointing Technique Based on Direction of Mouse Movement Towards a Targets (TN, KY, IK, YT), pp. 396–404.
HCIHCI-IT-2015-HaraUO #smarttech
Effect of Button Size and Location When Pointing with Index Finger on Smartwatch (KH, TU, NO), pp. 165–174.
HCIHCI-IT-2015-MurataMF #modelling #performance
Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
ICEISICEIS-v3-2015-RiveroC #case study #evaluation #experience #user interface #using
Using a Study to Assess User eXperience Evaluation Methods from the Point of View of Users (LR, TC), pp. 88–95.
ICMLICML-2015-FrostigGKS #algorithm #approximate #empirical #named #performance #probability
Un-regularizing: approximate proximal point and faster stochastic algorithms for empirical risk minimization (RF, RG, SK, AS), pp. 2540–2548.
ICMLICML-2015-LianHRLC #multi #predict #process
A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICMLICML-2015-MarietS #algorithm #fixpoint #learning #process
Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
ICMLICML-2015-SamoR #parametricity #process #scalability
Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
KDDKDD-2015-MahdianSV #algorithm
Algorithmic Cartography: Placing Points of Interest and Ads on Maps (MM, OS, SV), pp. 755–764.
KDDKDD-2015-ZhaoEHRL #named #predict #process #self #twitter
SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity (QZ, MAE, HYH, AR, JL), pp. 1513–1522.
MLDMMLDM-2015-TreechalongRW #clustering #using
Semi-Supervised Stream Clustering Using Labeled Data Points (KT, TR, KW), pp. 281–295.
RecSysRecSys-2015-MojsilovicV #enterprise #perspective #recommendation
Assessing Expertise in the Enterprise: The Recommender Point of View (AM, KRV), p. 231.
SIGIRSIGIR-2015-LiCLPK #named #ranking #recommendation
Rank-GeoFM: A Ranking based Geographical Factorization Method for Point of Interest Recommendation (XL, GC, XL, TANP, SK), pp. 433–442.
SIGIRSIGIR-2015-YaoSQWSH #recommendation #social #using
Context-aware Point-of-Interest Recommendation Using Tensor Factorization with Social Regularization (LY, QZS, YQ, XW, AS, QH), pp. 1007–1010.
SIGIRSIGIR-2015-ZhangC #category theory #correlation #named #recommendation #social
GeoSoCa: Exploiting Geographical, Social and Categorical Correlations for Point-of-Interest Recommendations (JDZ, CYC), pp. 443–452.
OOPSLAOOPSLA-2015-DietrichHS #analysis #java #points-to
Giga-scale exhaustive points-to analysis for Java in under a minute (JD, NH, BS), pp. 535–551.
OOPSLAOOPSLA-2015-LeeBZZVG #assessment #float #named #runtime
RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.
SACSAC-2015-PedrosaTB
Shape description based on bag of salience points (GVP, AJMT, CAZB), pp. 74–79.
ICSEICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
SPLCSPLC-2015-ColaLTQ #product line
An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
CCCC-2015-AllenSK #analysis #points-to #scalability #staged
Staged Points-to Analysis for Large Code Bases (NA, BS, PK), pp. 131–150.
CSLCSL-2015-BaeldeDS #fixpoint
Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
ICSTICST-2015-TokcanOT #automation #development #framework #multi #named #testing
MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
LICSLICS-2015-CanavoiGLP #fixpoint #logic
Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.
ASEASE-2014-RahimiC #automation
Personas in the middle: automated support for creating personas as focal points in feature gathering forums (MR, JCH), pp. 479–484.
CASECASE-2014-CaoMDZ #detection #performance #visual notation
A gabor based fast interest point detector for image-based robot visual servo control (ZC, FM, JSD, JZ), pp. 883–888.
CASECASE-2014-ChouW #image #locality
1-point affine RANSAC for scene image matching in appearance-based localization (CCC, CCW), pp. 1194–1199.
DACDAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management
Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.
DACDAC-2014-DengBZW #performance
An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DACDAC-2014-KrautzPAKPB #automation #float #verification
Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), p. 6.
DATEDATE-2014-LeeserMRW #effectiveness #float #reasoning
Make it real: Effective floating-point reasoning via exact arithmetic (ML, SM, JR, TW), pp. 1–4.
DATEDATE-2014-RaminiGGBFB #architecture #energy
Assessing the energy break-even point between an optical NoC architecture and an aggressive electronic baseline (LR, AG, PG, SB, HTF, DB), pp. 1–6.
DATEDATE-2014-SeylerSWSGT #network #self
A self-propagating wakeup mechanism for point-to-point networks with partial network support (JRS, TS, JW, MS, MG, JT), pp. 1–6.
VLDBVLDB-2014-JiangFWX #distance #network #query
Hop Doubling Label Indexing for Point-to-Point Distance Querying on Scale-Free Networks (MJ, AWCF, RCWW, YX), pp. 1203–1214.
PLDIPLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
SASSAS-2014-ChakarovS #fixpoint #invariant #probability
Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
CHICHI-2014-GilliotCR
Impact of form factors and input conditions on absolute indirect-touch pointing tasks (JG, GC, NR), pp. 723–732.
CHICHI-2014-ORourkeHBDP #education #game studies #persistent
Brain points: a growth mindset incentive structure boosts persistence in an educational game (EO, KH, CB, CSD, ZP), pp. 3339–3348.
CHICHI-2014-PasqualW #predict #using
Mouse pointing endpoint prediction using kinematic template matching (PTP, JOW), pp. 743–752.
CHICHI-2014-PschetzYE #named
TurningPoint: narrative-driven presentation planning (LP, KY, DE), pp. 1591–1594.
CSCWCSCW-2014-WongG #years after
Support for deictic pointing in CVEs: still fragmented after all these years (NW, CG), pp. 1377–1387.
HCIDHM-2014-IkenoboKKTG #classification
The Classification Tendency and Common Denomination of the Points Paid Attention in Ikebana Instruction (YI, NK, NK, YT, AG), pp. 263–272.
HCIDUXU-DI-2014-BreyerVRK #named #precise
Scissors — A Precise Pointing Widget for Touch Screen Devices (FB, LAV, AR, JK), pp. 184–192.
HCIHCI-AS-2014-MoserF #branch #experience #feedback #game studies
Narrative Control and Player Experience in Role Playing Games: Decision Points and Branching Narrative Feedback (CM, XF), pp. 622–633.
HCIHIMI-DE-2014-JungAK #interface #using #web
A Map-Based Web Search Interface Using Point of Interest Aggregation (KJ, SCA, HK), pp. 342–351.
HCIHIMI-DE-2014-KobayashiS #corpus #topic
Finding Division Points for Time-Series Corpus Based on Topic Changes (HK, RS), pp. 364–372.
CIKMCIKM-2014-PaikO #fixpoint #query
A Fixed-Point Method for Weighting Terms in Verbose Informational Queries (JHP, DWO), pp. 131–140.
CIKMCIKM-2014-YuanCS #graph #recommendation
Graph-based Point-of-interest Recommendation with Geographical and Temporal Influences (QY, GC, AS), pp. 659–668.
ICMLICML-c1-2014-KhaleghiR #consistency #estimation
Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.
ICMLICML-c1-2014-MillerBAG #analysis #process
Factorized Point Process Intensities: A Spatial Analysis of Professional Basketball (AM, LB, RPA, KG), pp. 235–243.
ICMLICML-c2-2014-AffandiFAT #kernel #learning #parametricity #process
Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICMLICML-c2-2014-DasL #automation #interactive
Automated inference of point of view from user interactions in collective intelligence venues (SD, AL), pp. 82–90.
ICMLICML-c2-2014-LindermanA #network #process
Discovering Latent Network Structure in Point Process Data (SWL, RPA), pp. 1413–1421.
ICMLICML-c2-2014-YuKC #algorithm
Saddle Points and Accelerated Perceptron Algorithms (AWY, FKK, JGC), pp. 1827–1835.
ICPRICPR-2014-BhattacharyaGC #classification #estimation
Test Point Specific k Estimation for kNN Classifier (GB, KG, ASC), pp. 1478–1483.
ICPRICPR-2014-FrinkenIIFU #recognition
Improving Point of View Scene Recognition by Considering Textual Data (VF, YI, RI, KF, SU), pp. 2966–2971.
ICPRICPR-2014-GarciaO #realtime
CPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud (FG, BEO), pp. 2757–2762.
ICPRICPR-2014-HusainDT #random #using
Recognizing Point Clouds Using Conditional Random Fields (FH, BD, CT), pp. 4257–4262.
ICPRICPR-2014-LeNVOT #documentation #retrieval #using
Document Retrieval Based on Logo Spotting Using Key-Point Matching (VPL, NN, MV, JMO, CDT), pp. 3056–3061.
ICPRICPR-2014-LiCGW #hybrid #interactive #recognition #using
A Hybrid Method for Human Interaction Recognition Using Spatio-temporal Interest Points (NL, XC, HG, ZW), pp. 2513–2518.
ICPRICPR-2014-MasselliZ #approach #geometry #performance #problem
A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
ICPRICPR-2014-QuLWXT #framework #robust #set
Robust Point Set Matching under Variational Bayesian Framework (HBQ, JCL, JQW, LX, HJT), pp. 58–63.
ICPRICPR-2014-SantanaLH #geometry #identification #people #semantics
People Semantic Description and Re-identification from Point Cloud Geometry (MCS, JLN, DHS), pp. 4702–4707.
ICPRICPR-2014-SengerSMK #behaviour #multi #segmentation
Velocity-Based Multiple Change-Point Inference for Unsupervised Segmentation of Human Movement Behavior (LS, MS, JHM, EAK), pp. 4564–4569.
ICPRICPR-2014-XiaoHL #3d #estimation #re-engineering
3D Face Reconstruction via Feature Point Depth Estimation and Shape Deformation (QX, LH, PL), pp. 2257–2262.
ICPRICPR-2014-YingWMYZ #problem #using
The Perspective-3-Point Problem When Using a Planar Mirror (XY, GW, XM, SY, HZ), pp. 4033–4037.
ICPRICPR-2014-YuGZ #3d #recognition #using
Face Recognition Using 3D Directional Corner Points (XY, YG, JZ), pp. 2802–2807.
KDDKDD-2014-GuSJWC #estimation #network #topic
Topic-factorized ideal point estimation model for legislative voting network (YG, YS, NJ, BW, TC), pp. 183–192.
KDDKDD-2014-LianZXSCR #matrix #modelling #named #recommendation
GeoMF: joint geographical modeling and matrix factorization for point-of-interest recommendation (DL, CZ, XX, GS, EC, YR), pp. 831–840.
KEODKEOD-2014-Otero-CerdeiraR #named #ontology
OntoPhil — Exploitation of Binding Points for Ontology Matching (LOC, FJRM, TVR, AMGR), pp. 5–15.
KEODKEOD-2014-SurynekS #big data #challenge #graph #information management #logic #perspective #reasoning
Theoretical Challenges in Knowledge Discovery in Big Data — A Logic Reasoning and a Graph Theoretical Point of View (PS, PS), pp. 327–332.
SEKESEKE-2014-SatapathyPR #agile #approach #estimation #kernel #using
Story Point Approach based Agile Software Effort Estimation using Various SVR Kernel Methods (SMS, AP, SKR), pp. 304–307.
SEKESEKE-2014-WanZWS #analysis #graph #performance #points-to
Efficient Points-To Analysis for Partial Call Graph Construction (ZW, BZ, YW, YS), pp. 416–421.
ECOOPECOOP-2014-WeiR #analysis #behaviour #javascript #points-to
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.
POPLPOPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
RERE-2014-AntonelliRLO #using
Language Extended Lexicon points: Estimating the size of an application using its language (LA, GR, JCSdPL, AO), pp. 263–272.
ASPLOSASPLOS-2014-LuponGMSMSD #float #hardware #multi
Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.
HPDCHPDC-2014-RajachandrasekarPVHWP #architecture #distributed #framework #named
MIC-Check: a distributed check pointing framework for the intel many integrated cores architecture (RR, SP, AV, KH, MWuR, DKP), pp. 121–124.
ISMMISMM-2014-RatnakarN #analysis #constraints #graph #performance #points-to
Push-pull constraint graph for efficient points-to analysis (BR, RN), pp. 25–33.
PPoPPPPoPP-2014-ChiangGRS #fault #float #performance
Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
SMTSMT-2014-Melquiond #algorithm #automation #float #verification
Automating the Verification of Floating-Point Algorithms (GM), p. 63.
VMCAIVMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
VMCAIVMCAI-2014-Romano #float #integer #testing
Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
ASEASE-2013-SumnerZ #analysis #execution #identification
Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
CASECASE-2013-LanzaKPSS #analysis #automation #detection #fault #using
Automated optical detection of particles and defects on a Li-Ion-cell surface using a single-point analysis (GL, AK, SP, AS, SS), pp. 675–680.
DATEDATE-2013-LeeVTS #design #energy #performance
Design of low energy, high performance synchronous and asynchronous 64-point FFT (WL, VSV, ART, KSS), pp. 242–247.
DATEDATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off
Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
ICDARICDAR-2013-DoTT #approach #recognition #representation
New Approach for Symbol Recognition Combining Shape Context of Interest Points with Sparse Representation (THD, ST, ORT), pp. 265–269.
VLDBVLDB-2013-BoghSJ #approach #named #retrieval
GroupFinder: A New Approach to Top-K Point-of-Interest Group Retrieval (KSB, AS, CSJ), pp. 1226–1229.
VLDBVLDB-2013-FuWCW #distance #named #query
IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying (AWCF, HW, JC, RCWW), pp. 457–468.
VLDBVLDB-2013-HassanzadehPYMPHH #web
Discovering Linkage Points over Web Data (OH, KQP, SHY, RJM, LP, MAH, HH), pp. 444–456.
PLDIPLDI-2013-KastrinisS #analysis #context-sensitive grammar #hybrid #points-to
Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
PLDIPLDI-2013-LiangF #composition #verification
Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
SASSAS-2013-BrainDGHK #float #source code #verification
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
CHICHI-2013-BanovicGF #fault
The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHICHI-2013-HeoL13a #estimation #multi
Indirect shear force estimation for multi-point shear force operations (SH, GL), pp. 281–284.
CHICHI-2013-JotaNDW #case study #how #latency #performance
How fast is fast enough?: a study of the effects of latency in direct-touch pointing tasks (RJ, AN, PD, DW), pp. 2291–2300.
CHICHI-2013-LanirSCG
Ownership and control of point of view in remote assistance (JL, RS, BC, PG), pp. 2243–2252.
CHICHI-2013-LiuEY #authoring #named
SidePoint: a peripheral knowledge panel for presentation slide authoring (YL, DE, KY), pp. 681–684.
CHICHI-2013-NancelCPYIB #scalability #using
High-precision pointing on large wall displays using small handheld devices (MN, OC, EP, XDY, PPI, MBL), pp. 831–840.
CHICHI-2013-SaliviaH #named
PointAssist: assisting individuals with motor impairments (GS, JPH), pp. 1213–1222.
CHICHI-2013-TeatherS #3d
Pointing at 3d target projections with one-eyed and stereo cursors (RJT, WS), pp. 159–168.
HCIDHM-HB-2013-HuhK #estimation #image #using
Human Pose Estimation from Depth Image Using Visibility Estimation and Key Points (SH, GK), pp. 333–342.
HCIDHM-HB-2013-MaruyamaKD #3d #simulation
Simulating a Walk of Digital Human Model Directly in Massive 3D Laser-Scanned Point Cloud of Indoor Environments (TM, SK, HD), pp. 366–375.
HCIDUXU-NTE-2013-FukatsuOKST #evaluation #mobile
Evaluation of Effects of Textures Attached to Mobile Devices on Pointing Accuracy (YF, TO, YK, BS, JT), pp. 255–263.
HCIHCI-IMT-2013-BraunFMSM #bound #gesture
Context-Based Bounding Volume Morphing in Pointing Gesture Application (AB, AF, AM, CS, MM), pp. 147–156.
HCIHCI-IMT-2013-CorbettYLHBN #3d #feedback
Influence of Haptic Feedback on a Pointing Task in a Haptically Enhanced 3D Virtual Environment (BC, TY, SL, LH, SB, CSN), pp. 561–567.
HCIHCI-IMT-2013-EbisawaF #detection #using #video
Head-Free, Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras — One-Point and Nonlinear Calibrations (YE, KF), pp. 205–214.
HCIHCI-IMT-2013-KarunanayakaSENG #interface
Magnetic Field Based Near Surface Haptic and Pointing Interface (KK, SS, CPE, RN, GP), pp. 601–609.
HCIHCI-IMT-2013-MurataHO #estimation #interface
Proposal of Estimation Method of Stable Fixation Points for Eye-gaze Input Interface (AM, TH, KO), pp. 330–339.
HCIHCI-IMT-2013-PinoTIK #2d #3d #artificial reality #evaluation #performance #using
Using Kinect for 2D and 3D Pointing Tasks: Performance Evaluation (AP, ET, NI, GK), pp. 358–367.
HCIHCI-IMT-2013-SchwallerBL #gesture #human-computer
Two Handed Mid-Air Gestural HCI: Point + Command (MS, SB, DL), pp. 388–397.
HCIHCI-IMT-2013-YoshikawaMKST #using
A Remote Pointing Technique Using Pull-out (TY, YM, TK, BS, JT), pp. 416–426.
HCIHIMI-HSM-2013-ZiefleKWH #perspective
Acceptance of Telemedical Treatments — A Medical Professional Point of View (MZ, LK, WW, AH), pp. 325–334.
HCIOCSC-2013-JamiesonGHW #game studies #metaheuristic
Metaheuristic Entry Points for Harnessing Human Computation in Mainstream Games (PJ, LG, JH, AW), pp. 156–163.
EDOCEDOC-2013-AlyCEM #interface #multi #named
XPoints: Extension Interfaces for Multilayered Applications (MA, AC, SE, MM), pp. 237–246.
CIKMCIKM-2013-LiuLAM #mining #personalisation #recommendation
Personalized point-of-interest recommendation by mining users’ preference transition (XL, YL, KA, CM), pp. 733–738.
ICMLICML-c1-2013-LiWWT #fixpoint
Fixed-Point Model For Structured Labeling (QL, JW, DPW, ZT), pp. 214–221.
ICMLICML-c2-2013-SohnZLL #learning
Learning and Selecting Features Jointly with Point-wise Gated Boltzmann Machines (KS, GZ, CL, HL), pp. 217–225.
ICMLICML-c3-2013-HockingRVB #detection #learning #using
Learning Sparse Penalties for Change-point Detection using Max Margin Interval Regression (TH, GR, JPV, FRB), pp. 172–180.
KDDKDD-2013-LiuFYX #learning #recommendation
Learning geographical preferences for point-of-interest recommendation (BL, YF, ZY, HX), pp. 1043–1051.
MLDMMLDM-2013-AmalamanER #detection #using
Using Turning Point Detection to Obtain Better Regression Trees (PKA, CFE, NJR), pp. 325–339.
SIGIRSIGIR-2013-YuanCMSM #recommendation
Time-aware point-of-interest recommendation (QY, GC, ZM, AS, NMT), pp. 363–372.
OOPSLAOOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem
On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.
OOPSLAOOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor
Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
POPLPOPL-2013-BarrVLS #automation #detection #exception #float
Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
SACSAC-2013-CiraciV #code generation #points-to
Exploiting points-to maps for de-/serialization code generation (SC, OV), pp. 1712–1719.
ICSEICSE-2013-HassanA #data flow #multi
Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.
ICSEICSE-2013-StaplesKKLAMJB #specification
Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
CCCC-2013-KastrinisS #analysis #effectiveness #exception #java #performance #points-to
Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
CCCC-2013-LuSXX #analysis #incremental #points-to
An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
CSLCSL-2013-GallianiH #fixpoint #logic
Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.
ICSTICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
LICSLICS-2013-AndersonDH #fixpoint #linear #logic #programming
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
LICSLICS-2013-BirkedalM #fixpoint #recursion #type system
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.
ASEASE-2012-IbrahimGHA #ambiguity #analysis #kernel #operating system #points-to #using
Supporting operating system kernel data disambiguation using points-to analysis (ASI, JG, JHHH, MA), pp. 234–237.
ASEASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary
Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
CASECASE-2012-CaoZF #approach #mobile #search-based
Point stabilization of mobile robots by genetic sliding mode approach with neural dynamics model on uneven surface (ZC, YZ, YF), pp. 1150–1155.
CASECASE-2012-FrankHEFDV #automation #modelling #realtime #requirements #using
Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems (TF, TH, KE, AF, CD, BVH), pp. 851–856.
CASECASE-2012-ParkYJCCKR #automation #flexibility
A point-of-care test equipment for flexible laboratory automation (JP, WSY, SMJ, HRC, WKC, JK, SR), pp. 821–822.
CASECASE-2012-YaqubGK #fault #multi
Impact characterization of multiple-points-defect on machine fault diagnosis (MFY, IG, JK), pp. 479–484.
DACDAC-2012-WangDX #architecture
Point and discard: a hard-error-tolerant architecture for non-volatile last level caches (JW, XD, YX), pp. 253–258.
VLDBVLDB-2012-TaliusDDK #fault #query #transaction
Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
FoSSaCSFoSSaCS-2012-AdamekMMS #algebra
Well-Pointed Coalgebras (Extended Abstract) (JA, SM, LSM, LS), pp. 89–103.
ICSMEICSM-2012-TangWZL #detection #maintenance
Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
SCAMSCAM-2012-GutzmannLL #analysis #framework #points-to
Collections Frameworks for Points-To Analysis (TG, JL, WL), pp. 4–13.
PLDIPLDI-2012-BenzHH #float #problem #program analysis
A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.
STOCSTOC-2012-ODonnellW #game studies #np-hard
A new point of NP-hardness for unique games (RO, JW), pp. 289–306.
CHICHI-2012-DixonFW #analysis #interface #using #visual notation
A general-purpose target-aware pointing enhancement using pixel-level analysis of graphical interfaces (MD, JF, JOW), pp. 3167–3176.
CHICHI-2012-EvansW #behaviour #metric
Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
CHICHI-2012-GajosRH #metric #performance
Accurate measurements of pointing performance from in situ observations (KG, KR, CH), pp. 3157–3166.
CHICHI-2012-HarrisonHHH
Unlocking the expressivity of point lights (CH, JH, GH, SEH), pp. 1683–1692.
CHICHI-2012-HourcadeB #how #visual notation
How small can you go?: analyzing the effect of visual angle in pointing tasks (JPH, NEBR), pp. 213–216.
CHICHI-2012-HuangWB #web
User see, user point: gaze and cursor alignment in web search (JH, RW, GB), pp. 1341–1350.
CHICHI-2012-ZhangZF #2d
Extending Fitts’ law to account for the effects of movement direction on 2d pointing (XZ, HZ, WF), pp. 3185–3194.
ICEISICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance
Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.
ICPRICPR-2012-AotoTSMY #estimation #using
Position estimation of near point light sources using a clear hollow sphere (TA, TT, TS, YM, NY), pp. 3721–3724.
ICPRICPR-2012-BoresB #monitoring #process
Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPRICPR-2012-CalvetGC
Camera tracking based on circular point factorization (LC, PG, VC), pp. 2128–2131.
ICPRICPR-2012-DaveDG #question
Do humans fixate on interest points? (AD, RD, BG), pp. 2784–2787.
ICPRICPR-2012-FrouzeshPH #modelling #optimisation
A combined method for finding best starting points for optimisation in bernoulli mixture models (FF, SP, YH), pp. 1128–1131.
ICPRICPR-2012-GerogiannisNL #detection #image #performance
Fast and efficient vanishing point detection in indoor images (DG, CN, AL), pp. 3244–3247.
ICPRICPR-2012-HiradeY #learning #predict
Ensemble learning for change-point prediction (RH, TY), pp. 1860–1863.
ICPRICPR-2012-LiJ #estimation
Vanishing point estimation by spherical gradient (SL, HJ), pp. 902–905.
ICPRICPR-2012-LoWCC #3d #estimation #locality #people
Acceleration of vanishing point-based line sampling scheme for people localization and height estimation via 3D line sampling (KHL, CJW, JHC, HTC), pp. 2788–2791.
ICPRICPR-2012-LozesEL #3d
Nonlocal processing of 3D colored point clouds (FL, AE, OL), pp. 1968–1971.
ICPRICPR-2012-NakajimaMHMNYHY
Point cloud transport (HN, YM, HH, IM, MN, HY, HH, YY), pp. 3803–3806.
ICPRICPR-2012-NurunnabiBW #3d #multi #robust #segmentation
Robust segmentation for multiple planar surface extraction in laser scanning 3D point cloud data (AN, DB, GAWW), pp. 1367–1370.
ICPRICPR-2012-OumerP #3d #estimation #image #using
3D point tracking and pose estimation of a space object using stereo images (NWO, GP), pp. 796–800.
ICPRICPR-2012-SvarmSEO #image #using
Point track creation in unordered image collections using Gomory-Hu trees (LS, ZS, OE, CO), pp. 2116–2119.
ICPRICPR-2012-UkitaMH #re-engineering
Shape reconstruction with globally-optimized surface point selection (NU, KM, NH), pp. 1501–1504.
ICPRICPR-2012-VitaladevuniCPN #detection #documentation #image #using
Detecting near-duplicate document images using interest point matching (SNPV, FC, RP, PN), pp. 347–350.
ICPRICPR-2012-YuL #3d #refinement
Genus refinement of a manifold surface reconstructed by sculpting the 3d-Delaunay triangulation of Structure-from-Motion points (SY, ML), pp. 1021–1025.
KDDKDD-2012-KimLX #image #multi #predict #process #using #web
Web image prediction using multivariate point processes (GK, FFL, EPX), pp. 1068–1076.
KDDKDD-2012-MarchCG #algorithm #correlation #performance
Fast algorithms for comprehensive n-point correlation estimates (WBM, AJC, AGG), pp. 1478–1486.
MLDMMLDM-2012-ForczmanskiF #classification #distance #representation
Classification of Elementary Stamp Shapes by Means of Reduced Point Distance Histogram Representation (PF, DF), pp. 603–616.
SIGIRSIGIR-2012-KatoOT #adaptation #retrieval
Content-based retrieval for heterogeneous domains: domain adaptation by relative aggregation points (MPK, HO, KT), pp. 811–820.
SIGIRSIGIR-2012-RaeMPB #mining #web
Mining the web for points of interest (AR, VM, AP, HB), pp. 711–720.
ECOOPECOOP-2012-OstlundW #multi
Multiple Aggregate Entry Points for Ownership Types (, TW), pp. 156–180.
ECOOPECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to
Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
PPDPPPDP-2012-FilipiukNN #fixpoint #logic
Layered fixed point logic (PF, FN, HRN), pp. 45–54.
QAPLQAPL-2012-GazeauMP #analysis #float #robust #source code
A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.
FSEFSE-2012-MirakhorliMC #design pattern #variability
Variability points and design pattern usage in architectural tactics (MM, PM, JCH), p. 52.
CCCC-2012-PuttaN #analysis #parallel #points-to
Parallel Replication-Based Points-To Analysis (SP, RN), pp. 61–80.
CGOCGO-2012-ShangXX #analysis #on-demand #points-to
On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
ISMMISMM-2012-Nasre #analysis #constraints #graph #performance #points-to
Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
PPoPPPPoPP-2012-Mendez-LojoBP #analysis #gpu #implementation #points-to
A GPU implementation of inclusion-based points-to analysis (MML, MB, KP), pp. 107–116.
ICSTICST-2012-DanH #analysis #comparison #float #mutation testing #semantics
Semantic Mutation Analysis of Floating-Point Comparison (HD, RMH), pp. 290–299.
ICSTICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ISSTAISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
LICSLICS-2012-BaeldeN #deduction #fixpoint #logic
Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.
SMTSMT-2012-ConchonMRI #axiom #float #smt
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
DATEDATE-2011-AsadiniaMTS #using
Supporting non-contiguous processor allocation in mesh-based CMPs using virtual point-to-point links (MA, MM, AT, HSA), pp. 413–418.
DATEDATE-2011-BoosNSHHGKS #analysis
Strategies for initial sizing and operating point analysis of analog circuits (VB, JN, MS, SH, SH, HG, DK, RS), pp. 1672–1674.
DATEDATE-2011-XuDJX #design
Design implications of memristor-based RRAM cross-point structures (CX, XD, NPJ, YX), pp. 734–739.
ICDARICDAR-2011-DuAL #detection #performance
Dot Text Detection Based on FAST Points (YD, HA, SL), pp. 435–439.
ICDARICDAR-2011-YinHSN #detection #documentation #robust
Robust Vanishing Point Detection for MobileCam-Based Documents (XCY, HWH, JS, SN), pp. 136–140.
VLDBVLDB-2011-YanZN #algorithm #network #performance
Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.
ICPCICPC-2011-FabryKD #named #scalability #visualisation
AspectMaps: A Scalable Visualization of Join Point Shadows (JF, AK, SD), pp. 121–130.
ICPCICPC-2011-SteinH #aspect-oriented #comparison #constraints #empirical #visual notation
Comparison of a Visual and a Textual Notation to Express Data Constraints in Aspect-Oriented Join Point Selections: A Controlled Experiment (DS, SH), pp. 141–150.
FMFM-2011-DerrickSW #verification
Verifying Linearisability with Potential Linearisation Points (JD, GS, HW), pp. 323–337.
ICFPICFP-2011-HinzeJ #category theory #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
CHICHI-2011-BlanchO #benchmark #metric #paradigm
Benchmarking pointing techniques with distractors: adding a density factor to Fitts’ pointing paradigm (RB, MO), pp. 1629–1638.
CHICHI-2011-BragdonK #gesture #scalability
Gesture select: : acquiring remote targets on large displays without pointing (AB, HSK), pp. 187–196.
CHICHI-2011-DijkstraPV #flexibility #performance
Evaluating effects of structural holds on pointing and dragging performance with flexible displays (RD, CP, RV), pp. 1293–1302.
CHICHI-2011-HuotCD #named
TorusDesktop: pointing via the backdoor is sometimes shorter (SH, OC, PD), pp. 829–838.
CHICHI-2011-MartinRB #comprehension #interactive #modelling
Client TouchPoint modeling: understanding client interactions in the context of service delivery (AMM, YAR, JB), pp. 979–982.
CHICHI-2011-QuinnCRD #cost analysis #multi #on the
On the costs of multiple trajectory pointing methods (PQ, AC, KJR, JD), pp. 859–862.
CHICHI-2011-WobbrockJS #2d #fault #modelling #predict
Modeling and predicting pointing errors in two dimensions (JOW, AJ, KS), pp. 1653–1656.
CHICHI-2011-WobbrockSJ #design #empirical #metric #modelling #throughput
The effects of task dimensionality, endpoint deviation, throughput calculation, and experiment design on pointing measures and models (JOW, KS, AJ), pp. 1639–1648.
CHICHI-2011-XinBR #empirical #interactive
Acquiring and pointing: an empirical study of pen-tilt-based interaction (YX, XB, XR), pp. 849–858.
HCIDHM-2011-NeumannD #empirical #visual notation
The Two-Point Visual Control Model of Steering — New Empirical Evidence (HN, BD), pp. 493–502.
HCIDHM-2011-RupprechtHB #automation
Automatic Face Feature Points Extraction (DR, SH, RB), pp. 186–194.
HCIHCI-ITE-2011-AngeliniCCKM #gesture #interactive #multi #scalability #using
Multi-user Pointing and Gesture Interaction for Large Screen Using Infrared Emitters and Accelerometers (LA, MC, SC, OAK, EM), pp. 185–193.
HCIHCI-ITE-2011-IkeYYMSYS #evaluation #user interface
Evaluation of User Support of a Hemispherical Sub-display with GUI Pointing Functions (SI, SY, YY, NM, KS, TY, HS), pp. 436–445.
HCIHCI-ITE-2011-TangTLCLL #gesture #low cost
Virtual Mouse: A Low Cost Proximity-Based Gestural Pointing Device (SKT, WCT, WWL, KCC, STL, YPL), pp. 491–499.
HCIHCI-MIIE-2011-GaoG #mobile #representation
The Effect of Time Orientation and Representation of Points of Interests on the Use of Mobile Tour Guide (FG, QG), pp. 59–68.
HCIHIMI-v1-2011-MikiHY #visualisation
Methods for Service Sciences from Visualization Points (HM, NH, SY), pp. 231–238.
ICEISICEIS-v4-2011-LiuZZ #web
Profit Point of Web 2.0 (JL, ZZ, JZ), pp. 132–136.
ICMLICML-2011-KuleszaT #named #process
k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.
ICMLICML-2011-Potetz #linear #problem #using
Estimating the Bayes Point Using Linear Knapsack Problems (BP), pp. 257–264.
KEODKEOD-2011-HmidaCBN #3d #approach #detection #ontology #semantics
From 3D Point Clouds to Semantic Objects — An Ontology-based Detection Approach (HBH, CC, FB, CN), pp. 255–260.
SIGIRSIGIR-2011-YangGU #clustering #identification #self
Identifying points of interest by self-tuning clustering (YY, ZG, LHU), pp. 883–892.
SIGIRSIGIR-2011-YeYLL #collaboration #recommendation
Exploiting geographical influence for collaborative point-of-interest recommendation (MY, PY, WCL, DLL), pp. 325–334.
POPLPOPL-2011-LhotakC #analysis #performance #points-to
Points-to analysis with efficient strong updates (OL, KCAC), pp. 3–16.
SACSAC-2011-GutzmannLL #analysis #points-to
Feedback-driven points-to analysis (TG, JL, WL), pp. 1341–1342.
SACSAC-2011-VenkateshGBC #fixpoint #implementation #markov #modelling #recognition #speech #using
Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models (NV, RG, RB, MGC), pp. 368–373.
ESEC-FSEESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code
Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
ESEC-FSEESEC-FSE-2011-LiCK #analysis #performance #points-to #using
Boosting the performance of flow-sensitive points-to analysis using value flow (LL, CC, NK), pp. 343–353.
CCCC-2011-SunZC #analysis #java #points-to #probability
Probabilistic Points-to Analysis for Java (QS, JZ, YC), pp. 62–81.
CGOCGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to
Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.
CAVCAV-2011-HoderBM #constraints #fixpoint #named #performance
μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
ISSTAISSTA-2011-XiaoZ #analysis #encoding #geometry #java #performance #points-to
Geometric encoding: forging the high performance context sensitive points-to analysis for Java (XX, CZ), pp. 188–198.
CASECASE-2010-MaFW #re-engineering
Delaunay-based triangular surface reconstruction from points via Umbrella Facet Matching (JM, HYF, LW), pp. 580–585.
CASECASE-2010-RuZSZSHC #automation #metric
Automated four-point probe measurement of nanowires inside a scanning electron microscope (CR, YZ, YS, YZ, XS, DH, IC), pp. 533–538.
DATEDATE-2010-RitheGWDGBC #analysis #logic #statistics
Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage (RR, JG, AW, SD, GG, DB, AC), pp. 965–968.
VLDBVLDB-2010-SettyBBW #identification #named
InZeit: Efficiently Identifying Insightful Time Points (VS, SJB, KB, GW), pp. 1605–1608.
VLDBVLDB-2011-LeeH10 #clustering #named #performance #using
QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
PLDIPLDI-2010-Loitsch #float #integer
Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
SASSAS-2010-NasreG #analysis #equation #linear #points-to
Points-to Analysis as a System of Linear Equations (RN, RG), pp. 422–438.
SEFMSEFM-2010-KatzK #query #refinement #specification
User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.
CHICHI-2010-CaoVI #hybrid #performance
Comparing user performance with single-finger, whole-hand, and hybrid pointing devices (XC, NV, SI), pp. 1643–1646.
CHICHI-2010-ChoKJSS #distance #interface #proximity #query
Dynamic query interface for spatial proximity query with degree-of-interest varied by distance to query point (MC, BHK, DKJ, YGS, JS), pp. 693–702.
CHICHI-2010-HolzB #how
The generalized perceived input point model and how to double touch accuracy by extracting fingerprints (CH, PB), pp. 581–590.
CHICHI-2010-HourcadeNPD
Pointassist for older adults: analyzing sub-movement characteristics to aid in pointing tasks (JPH, CMN, KBP, NLD), pp. 1115–1124.
CHICHI-2010-MoffattM #fault #named
Steadied-bubbles: combining techniques to address pen-based pointing errors for younger and older adults (KM, JM), pp. 1125–1134.
CHICHI-2010-WongG
Where are you pointing?: the accuracy of deictic pointing in CVEs (NW, CG), pp. 1029–1038.
CHICHI-2010-YangX #2d #bias #towards
Bias towards regular configuration in 2D pointing (HY, XX), pp. 1391–1400.
CHICHI-2010-ZhangRZ #modelling
Modeling dwell-based eye pointing target acquisition (XZ, XR, HZ), pp. 2083–2092.
SOFTVISSOFTVIS-2010-ChengTWH #animation #automation #debugging #named
xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
CIKMCIKM-2010-DuGZC #ranking #summary
Manifold ranking with sink points for update summarization (PD, JG, JZ, XC), pp. 1757–1760.
ICMLICML-2010-SaatciTR #modelling #process
Gaussian Process Change Point Models (YS, RDT, CER), pp. 927–934.
ICMLICML-2010-Scherrer #difference #fixpoint #perspective
Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.
ICPRICPR-2010-BenedekDZ #detection #image #process
Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles (CB, XD, JZ), pp. 1417–1420.
ICPRICPR-2010-BhatBSS #sequence #transitive #video #visual notation #word
Transitive Closure Based Visual Words for Point Matching in Video Sequence (KKSB, MOB, GS, FS), pp. 3300–3303.
ICPRICPR-2010-ConteFPTV #detection #people
Counting Moving People in Videos by Salient Points Detection (DC, PF, GP, FT, MV), pp. 1743–1746.
ICPRICPR-2010-HanerG #visual notation
Combining Foreground / Background Feature Points and Anisotropic Mean Shift For Enhanced Visual Object Tracking (SH, IYHG), pp. 3488–3491.
ICPRICPR-2010-HuCY #estimation #interactive
Hand Pointing Estimation for Human Computer Interaction Based on Two Orthogonal-Views (KH, SJC, LY), pp. 3760–3763.
ICPRICPR-2010-IwahoriIWKFK #performance
Extending Fast Marching Method under Point Light Source Illumination and Perspective Projection (YI, KI, RJW, HK, SF, KK), pp. 1650–1653.
ICPRICPR-2010-JeffersAH
Entropy of Feature Point-Based Retina Templates (JJ, AA, KJH), pp. 213–216.
ICPRICPR-2010-KloihoferK
Interest Point Based Tracking (WK, MK), pp. 3549–3552.
ICPRICPR-2010-KootstraBK #segmentation #symmetry #using
Using Symmetry to Select Fixation Points for Segmentation (GK, NB, DK), pp. 3894–3897.
ICPRICPR-2010-LefakisWGS #detection
Boosted Edge Orientation Histograms for Grasping Point Detection (LL, HW, MPGT, LS), pp. 4072–4076.
ICPRICPR-2010-LiuLH #learning #multi #representation #using
Semi-supervised Trajectory Learning Using a Multi-Scale Key Point Based Trajectory Representation (YL, XL, WH), pp. 3525–3528.
ICPRICPR-2010-NordbergZ #2d #geometry #image #multi #segmentation #using
Multibody Motion Segmentation Using the Geometry of 6 Points in 2D Images (KN, VZ), pp. 1783–1787.
ICPRICPR-2010-PaivaT #detection #image #using
Detection of Salient Image Points Using Principal Subspace Manifold Structure (ARCP, TT), pp. 1389–1392.
ICPRICPR-2010-ParkKS #detection #markov #modelling #recognition #using #visual notation
Visual Recognition of Types of Structural Corridor Landmarks Using Vanishing Points Detection and Hidden Markov Models (YP, SSK, IHS), pp. 3292–3295.
ICPRICPR-2010-RodolaAT #approach #game studies #multi #robust
A Game-Theoretic Approach to Robust Selection of Multi-view Point Correspondence (ER, AA, AT), pp. 57–60.
ICPRICPR-2010-SeverskyY #3d #detection #scalability #set
Scalable Cage-Driven Feature Detection and Shape Correspondence for 3D Point Sets (LMS, LY), pp. 3557–3560.
ICPRICPR-2010-SuS #predict #process
Latent Fingerprint Core Point Prediction Based on Gaussian Processes (CS, SNS), pp. 1634–1637.
ICPRICPR-2010-SuZSH #2d #detection #image
Detection of Shapes in 2D Point Clouds Generated from Images (JS, ZZ, AS, FH), pp. 2640–2643.
ICPRICPR-2010-TamakiTURK #3d #image
Scale Matching of 3D Point Clouds by Finding Keyscales with Spin Images (TT, ST, YU, BR, KK), pp. 3480–3483.
ICPRICPR-2010-Temerinac-OttKB #evaluation
Evaluation of a New Point Clouds Registration Method Based on Group Averaging Features (MTO, MK, HB), pp. 2452–2455.
ICPRICPR-2010-WeiXZ
Calibration Method for Line Structured Light Vision Sensor Based on Vanish Points and Lines (ZW, MX, GZ), pp. 794–797.
ICPRICPR-2010-ZhangK #analysis #bound
Weighted Boundary Points for Shape Analysis (JZ, RK), pp. 1598–1601.
ICPRICPR-2010-ZhangW10a #modelling #random #validation
LLN-based Model-Driven Validation of Data Points for Random Sample Consensus Methods (LZ, DW), pp. 3436–3439.
ICPRICPR-2010-ZhouPD #3d #automation
3D Active Shape Model for Automatic Facial Landmark Location Trained with Automatically Generated Landmark Points (DZ, DPD, BD), pp. 3801–3805.
KDIRKDIR-2010-OzekiKT #analysis #multi #network
Multi-modal Analysis of Complex Network — Point Stimulus Response Depending on Its Location in the Network (TO, TK, YT), pp. 226–231.
MODELSMoDELS-v1-2010-GronnigerRR #diagrams #process #semantics #towards
Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.
OOPSLAOOPSLA-2010-Mendez-LojoMP #analysis #parallel #points-to
Parallel inclusion-based points-to analysis (MML, AM, KP), pp. 428–443.
OOPSLAOOPSLA-2010-RajanKR #composition #concurrent #design pattern
Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.
GPCEGPCE-2010-RysselPK #automation #identification #modelling
Automatic variation-point identification in function-block-based models (UR, JP, KK), pp. 23–32.
SACSAC-2010-BaeAVNB #algorithm #performance #search-based
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature (WDB, SA, PV, SN, KYB), pp. 892–899.
SACSAC-2010-BechikhSG #mobile #multi #optimisation #using
Searching for knee regions in multi-objective optimization using mobile reference points (SB, LBS, KG), pp. 1118–1125.
FSEFSE-2010-EpifaniGT #black box #detection
Change-point detection for black-box services (IE, CG, GT), pp. 227–236.
ICTSSICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving
FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
IJCARIJCAR-2010-AyadM #float #multi #source code #verification
Multi-Prover Verification of Floating-Point Programs (AA, CM), pp. 127–141.
ISSTAISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety
Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
ISSTAISSTA-2010-TangBLS #analysis #float #statistics
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
LICSLICS-2010-EndrullisHK #combinator #composition #fixpoint
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
LICSLICS-2010-Grohe #fixpoint #graph #polynomial
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (MG), pp. 179–188.
ICSTSAT-2010-Kottler #satisfiability
SAT Solving with Reference Points (SK), pp. 143–157.
CASECASE-2009-MakkapatiN #detection
Clump splitting based on detection of dominant points from contours (VM, SKN), pp. 197–201.
DACDAC-2009-VillenaS #automation #modelling #multi #named
ARMS — automatic residue-minimization based sampling for multi-point modeling techniques (JFV, LMS), pp. 951–956.
DATEDATE-2009-DSilvaK #detection #fixpoint #multi
Fixed points for multi-cycle path detection (VD, DK), pp. 1710–1715.
DATEDATE-2009-GuntoroG #flexibility #float
A flexible floating-point wavelet transform and wavelet packet processor (AG, MG), pp. 1314–1319.
HTHT-2009-MitchellM #authoring #design #hypermedia #multi #tool support
Designing hypertext tools to facilitate authoring multiple points-of-view stories (AM, KM), pp. 309–316.
ICDARICDAR-2009-WangBT #automation #documentation #image
Automatic Corresponding Control Points Selection for Historical Document Image Registration (JW, MSB, CLT), pp. 1176–1180.
SCAMSCAM-2009-GutzmannKLL #analysis #points-to #towards
Towards Comparing and Combining Points-to Analyses (TG, AK, JL, WL), pp. 45–54.
PLDIPLDI-2009-TorreMP #calculus #fixpoint #recursion #source code #using
Analyzing recursive programs using a fixed-point calculus (SLT, PM, GP), pp. 211–222.
STOCSTOC-2009-KannanN #linear #programming #random
Random walks on polytopes and an affine interior point method for linear programming (RK, HN), pp. 561–570.
ICFPICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
CHICHI-2009-BlanchO #concurrent #performance
Rake cursor: improving pointing performance with concurrent input channels (RB, MO), pp. 1415–1418.
CHICHI-2009-FeketeEG #named #using
Motion-pointing: target selection using elliptical motions (JDF, NE, YG), pp. 289–298.
CHICHI-2009-Ljungblad #what
Passive photography from a creative perspective: “If I would just shoot the same thing for seven days, it’s like... What’s the point?” (SL), pp. 829–838.
HCIHCD-2009-Nishiguchi #people #user interface
Support Method for Improving the Ability of People with Cerebral Palsy to Efficiently Point a Mouse at Objects on a GUI Screen (HN), pp. 531–537.
HCIHCI-AUII-2009-HongE #multi
Point and Control: The Intuitive Method to Control Multi-device with Single Remote Control (SSH, JIE), pp. 416–422.
HCIHCI-AUII-2009-SongPJPKJ #effectiveness #human-computer #interactive #multi #using
Multi-pointing Method Using a Desk Lamp and Single Camera for Effective Human-Computer Interaction (TS, TCP, SJ, JHP, KHK, JWJ), pp. 520–525.
HCIHCI-NIMT-2009-HuangK #gesture #interactive
Interactive Demonstration of Pointing Gestures for Virtual Trainers (YH, MK), pp. 178–187.
HCIHIMI-II-2009-FujiokaAO #evaluation #performance #user interface
Evaluation of Pointing Efficiency on Small Screen Touch User Interfaces (RF, TA, HO), pp. 375–384.
ICEISICEIS-J-2009-StruskaP #named #testing
BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.
SIGIRSIGIR-2009-GongO #ambiguity #clustering #web
Selecting hierarchical clustering cut points for web person-name disambiguation (JG, DWO), pp. 778–779.
ECOOPECOOP-2009-XuRS #alias #analysis #points-to #scalability #using
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis (G(X, AR, MS), pp. 98–122.
OOPSLAOOPSLA-2009-BravenboerS #analysis #declarative #points-to #specification #strict
Strictly declarative specification of sophisticated points-to analyses (MB, YS), pp. 243–262.
TOOLSTOOLS-EUROPE-2009-StrickerHS #constraints #design #diagrams #uml #using
Designing Design Constraints in the UML Using Join Point Designation Diagrams (VS, SH, DS), pp. 57–76.
GPCEGPCE-2009-Sadat-MohtashamH #transaction
Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
PPDPPPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
RERE-2009-OmoronyiaSRFW #case study #developer #navigation #source code #traceability
Use Case to Source Code Traceability: The Developer Navigation View Point (IO, GS, MR, JDF, MW), pp. 237–242.
SACSAC-2009-JangC #analysis #javascript #points-to
Points-to analysis for JavaScript (DJ, KMC), pp. 1930–1937.
SACSAC-2009-ShellD #precise #simulation
Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
SACSAC-2009-TokoroTT #smarttech #using
A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
ASPLOSASPLOS-2009-SidiroglouLPVNK #automation #named #self #using
ASSURE: automatic software self-healing using rescue points (SS, OL, CP, NV, JN, ADK), pp. 37–48.
CADECADE-2009-Rinard #proving #reasoning
Integrated Reasoning and Proof Choice Point Selection in the Jahob System — Mechanisms for Program Survival (MCR), pp. 1–16.
CAVCAV-2009-BjornerH #fixpoint #functional #linear
Linear Functional Fixed-points (NB, JH), pp. 124–139.
CAVCAV-2009-Monniaux #float #linear #on the #using
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
CSLCSL-2009-Grohe #fixpoint #polynomial
Fixed-Point Definability and Polynomial Time (MG), pp. 20–23.
ISSTAISSTA-2009-BravenboerS #analysis #exception #points-to
Exception analysis and points-to analysis: better together (MB, YS), pp. 1–12.
ICSTSAT-2009-Goldberg #bound
Boundary Points and Resolution (EG), pp. 147–160.
DACDAC-2008-ChongP #agile #float #generative
Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.
DACDAC-2008-GinsburgC #energy #parallel
The mixed signal optimum energy point: voltage and parallelism (BPG, APC), pp. 244–249.
DACDAC-2008-HoTDDGS #identification #logic #verification
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.
DACDAC-2008-PangR #fixpoint #optimisation
Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
DATEDATE-2008-NovoBLPC #energy #fixpoint #refinement
Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.
VLDBVLDB-2008-PaquetV #database #named #perspective
Capri/MR: exploring protein databases from a structural and physicochemical point of view (EP, HLV), pp. 1504–1507.
CSEETCSEET-2008-TaranRR #challenge #industrial
Continuing Challenges in Selecting Industry Projects for Academic Credit: Points to Consider and Pitfalls to Avoid (GT, DR, MRL), pp. 163–170.
SCAMSCAM-2008-LundbergGL #analysis #performance #points-to #precise
Fast and Precise Points-to Analysis (JL, TG, WL), pp. 133–142.
SCAMSCAM-2008-SunZ #analysis #points-to
Aspect-Aware Points-to Analysis (QS, JZ), pp. 143–152.
STOCSTOC-2008-DaitchS #algorithm #approximate #performance
Faster approximate lossy generalized flow via interior point algorithms (SID, DAS), pp. 451–460.
DLTDLT-2008-DurandRS #fixpoint
Fixed Point and Aperiodic Tilings (BD, AER, AS), pp. 276–288.
DLTDLT-2008-EsparzaKL #analysis #fixpoint
Derivation Tree Analysis for Accelerated Fixed-Point Computation (JE, SK, ML), pp. 301–313.
ICALPICALP-A-2008-Onak #metric #testing
Testing Properties of Sets of Points in Metric Spaces (KO), pp. 515–526.
ICALPICALP-C-2008-KatzKK #complexity #network
Improving the Round Complexity of VSS in Point-to-Point Networks (JK, CYK, RK), pp. 499–510.
ICFPICFP-2008-Hinze #fixpoint #functional
Functional pearl: streams and unique fixed points (RH), pp. 189–200.
CHICHI-2008-CaoLB #modelling
Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
CHICHI-2008-CasiezV
The effect of spring stiffness and control gain with an elastic rate control pointing device (GC, DV), pp. 1709–1718.
CHICHI-2008-FitzmauriceMKGK #agile #named
PieCursor: merging pointing and command selection for rapid in-place tool switching (GWF, JM, AK, MG, GK), pp. 1361–1370.
CHICHI-2008-ForlinesB #feedback
Evaluating tactile feedback and direct vs. indirect stylus input in pointing and crossing selection tasks (CF, RB), pp. 1563–1572.
CHICHI-2008-LaukkanenIR #lazy evaluation #performance
The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor (JL, PI, KJR), pp. 309–312.
CHICHI-2008-WobbrockCHM #fault
An error model for pointing based on Fitts’ law (JOW, EC, SH, ISM), pp. 1613–1622.
CHICHI-2008-ZhangRZ
Improving eye cursor’s stability for eye pointing tasks (XZ, XR, HZ), pp. 525–534.
ICMLICML-2008-Bach #graph #kernel
Graph kernels between point clouds (FRB), pp. 25–32.
ICMLICML-2008-CunninghamSS #estimation #performance #process
Fast Gaussian process methods for point process intensity estimation (JPC, KVS, MS), pp. 192–199.
ICPRICPR-2008-Abdel-HakimF #detection #novel #quantifier
A novel stability quantification of detected interest points in scale-space (AEAH, AAF), pp. 1–4.
ICPRICPR-2008-IbrahimG #online #using #verification
On-line signature verification by using most discriminating points (MTI, LG), pp. 1–4.
ICPRICPR-2008-IonHKM #2d #coordination
A coordinate system for articulated 2D shape point correspondences (AI, YH, WGK, SBLM), pp. 1–4.
ICPRICPR-2008-LiZ #algorithm #fixpoint #matrix #named #performance
FastNMF: A fast monotonic fixed-point non-negative Matrix Factorization algorithm with high ease of use (LL, YJZ), pp. 1–4.
ICPRICPR-2008-PaclikLND #analysis #estimation #multi #using
Variance estimation for two-class and multi-class ROC analysis using operating point averaging (PP, CL, JN, RPWD), pp. 1–4.
ICPRICPR-2008-SekiH #3d #multi #realtime #using
Real-time 3D tracking using multiple sample points (AS, HH), pp. 1–4.
ICPRICPR-2008-ShanCW #algorithm #automation #image #novel
A novel automatic seed point selection algorithm for breast ultrasound images (JS, HDC, YW), pp. 1–4.
ICPRICPR-2008-StewmanD #recognition
Contour registration and corresponding point selection for dorsal fin recognition (JHS, KD), pp. 1–5.
ICPRICPR-2008-TeynorB #classification
Wavelet-based salient points with scale information for classification (AT, HB), pp. 1–5.
ICPRICPR-2008-ThomeA #bottom-up #detection #invariant
A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICPRICPR-2008-VikstenNK #detection
Point-of-interest detection for range data (FV, KN, MK), pp. 1–4.
ICPRICPR-2008-XuD
A local descriptor for finding corresponding points in vector fields (LX, HQD), pp. 1–4.
ICPRICPR-2008-YingZ #detection #performance #using
Efficient detection of projected concentric circles using four intersection points on a secant line (XY, HZ), pp. 1–4.
ICPRICPR-2008-ZhaoG #multi #recognition #using
Establishing point correspondence using multidirectional binary pattern for face recognition (SZ, YG), pp. 1–4.
PPDPPPDP-2008-BertotK #coq #fixpoint #recursion #semantics
Fixed point semantics and partial recursion in Coq (YB, VK), pp. 89–96.
SACSAC-2008-GybelsHD
Symbiosis in logic-based pointcuts over a history of join points (KG, CH, TD), pp. 253–260.
HPCAHPCA-2008-LarsonSDDYGSKS #interactive #simulation
High-throughput pairwise point interactions in Anton, a specialized machine for molecular dynamics simulation (RHL, JKS, ROD, MMD, CY, JPG, YS, JLK, DES), pp. 331–342.
ISSTAISSTA-2008-XuR #analysis #points-to #scalability
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis (G(X, AR), pp. 225–236.
CASECASE-2007-ChakrabortyAW #multi #set
Coverage of a Planar Point Set with Multiple Constrained Robots (NC, SA, JTW), pp. 899–904.
DATEDATE-2007-ChenZLC #analysis #performance #statistics
Fast statistical circuit analysis with finite-point based transistor model (MC, WZ, FL, YC), pp. 1391–1396.
DATEDATE-2007-ChongP #automation #float #generative
Automatic application specific floating-point unit generation (YJC, SP), pp. 461–466.
DATEDATE-2007-GeilenB
A calculator for Pareto points (MG, TB), pp. 285–290.
DATEDATE-2007-LisselGG #design #industrial #perspective #verification
Introducing new verification methods into a company’s design flow: an industrial user’s point of view (RL, JG), pp. 689–694.
ICDARICDAR-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.
PASTEPASTE-2007-Milanova #analysis #java #points-to
Light context-sensitive points-to analysis for java (AM), pp. 25–30.
SCAMSCAM-2007-GutzmannLL #analysis #points-to #towards
Towards Path-Sensitive Points-to Analysis (TG, JL, WL), pp. 59–68.
PLDIPLDI-2007-LattnerLA #analysis #points-to
Making context-sensitive points-to analysis with heap cloning practical for the real world (CL, AL, VSA), pp. 278–289.
ICALPICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.
CHICHI-2007-GrossmanKB #modelling
Modeling pointing at targets of arbitrary shapes (TG, NK, RB), pp. 463–472.
CHICHI-2007-HachetPTG #agile #mobile
“Jump and refine” for rapid pointing on mobile phones (MH, JP, FT, PG), pp. 167–170.
CHICHI-2007-KumarPW #named #using
EyePoint: practical pointing and selection using gaze and keyboard (MK, AP, TW), pp. 421–430.
CHICHI-2007-PietrigaAB #evaluation #multi
Pointing and beyond: an operationalization and preliminary evaluation of multi-scale searching (EP, CA, MBL), pp. 1215–1224.
CHICHI-2007-RamosCBB #lens
Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
CHICHI-2007-ShoemakerG #interactive #multi #visual notation
Supporting multi-point interaction in visual workspaces (GS, CG), pp. 999–1008.
HCIDHM-2007-DuSY #modelling
Modeling of Human’s Pointing Movement on the Effect of Target Position (JD, HS, XY), pp. 48–55.
HCIDHM-2007-KurodaOKTOY #animation #coordination
Finding Origin Points for New Coordinate System Suitable for Sign Animation (TK, KO, RK, TT, NO, HY), pp. 415–422.
HCIHIMI-IIE-2007-Fagerstrom #online
The Impact of Verbal Stimuli in Motivating Consumer Response at the Point of Purchase Situation Online (AF), pp. 713–719.
HCIHIMI-MTT-2007-OehlSZ #how #interface #performance
Considerations on Efficient Touch Interfaces — How Display Size Influences the Performance in an Applied Pointing Task (MO, CS, MZ), pp. 136–143.
VISSOFTVISSOFT-2007-SensalireO #industrial #object-oriented #tool support #towards #visualisation
Visualizing Object Oriented Software: Towards a Point of Reference for Developing Tools for Industry (MS, PO), pp. 26–29.
ICMLICML-2007-YoganandaMG #linear #performance
A fast linear separability test by projection of positive points on subspaces (APY, MNM, LG), pp. 713–720.
SIGIRSIGIR-2007-PopoviciMM #documentation #effectiveness
An effective method for finding best entry points in semi-structured documents (EP, PFM, GM), pp. 851–852.
ECMFAECMDA-FA-2007-CuccuruMTG #metamodelling #semantics
Templatable Metamodels for Semantic Variation Points (AC, CM, FT, SG), pp. 68–82.
OOPSLAOOPSLA-2007-Rinard #termination #using
Using early phase termination to eliminate load imbalances at barrier synchronization points (MCR), pp. 369–386.
POPLPOPL-2007-OhoriS #fixpoint #lightweight
Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
CSLCSL-2007-BucciarelliEM
Not Enough Points Is Enough (AB, TE, GM), pp. 298–312.
CASECASE-2006-XuLT #using #visual notation
Visual Positioning Using Four-Point Planar Patterns (DX, YL, MT), pp. 600–605.
DATEDATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.
DATEDATE-DF-2006-KaruriLAMK #composition #design #float #implementation
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.
DATEDATE-DF-2006-MadingLPSBEH #architecture #fixpoint
The vector fixed point unit of the synergistic processor element of the cell architecture processor (NM, JL, JP, RS, SB, SE, WH), pp. 244–248.
DATEDATE-DF-2006-SohnWYY #design #fixpoint #mobile #multi
Design and test of fixed-point multimedia co-processor for mobile applications (JHS, JHW, JY, HJY), pp. 249–253.
PEPMPEPM-2006-Edwards #fixpoint #simulation #using
Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.
PLDIPLDI-2006-SridharanB #analysis #java #points-to
Refinement-based context-sensitive points-to analysis for Java (MS, RB), pp. 387–400.
STOCSTOC-2006-ColeG #bound #set
Searching dynamic point sets in spaces with bounded doubling dimension (RC, LAG), pp. 574–583.
DLTDLT-2006-Krieger #fixpoint #morphism #on the
On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
ICALPICALP-v1-2006-ChenD #2d #complexity #fixpoint #on the #problem
On the Complexity of 2D Discrete Fixed Point Problem (XC, XD), pp. 489–500.
SFMSFM-2006-Harrison #float #proving #theorem proving #using #verification
Floating-Point Verification Using Theorem Proving (JH), pp. 211–242.
ICPRICPR-v1-2006-BabaMA #geometry #using
A Unified Camera Calibration Using Geometry and Blur of Feature Points (MB, MM, NA), pp. 816–819.
ICPRICPR-v1-2006-BouterucheA #fuzzy #gesture #online #recognition
Fuzzy Point of View Combination for Contextual Shape Recognition: Application to On-line Graphic Gesture Recognition (FB, ÉA), pp. 1088–1091.
ICPRICPR-v1-2006-HansenMT #analysis #clustering #re-engineering #sorting
Cluster Analysis and Priority Sorting in Huge Point Clouds for Building Reconstruction (WvH, EM, UT), pp. 23–26.
ICPRICPR-v1-2006-LiH #estimation
Five-Point Motion Estimation Made Easy (HL, RIH), pp. 630–633.
ICPRICPR-v1-2006-LiuZH #detection #symmetry
Fingerprint Reference Point Detection Based on Local Axial Symmetry (TL, CZ, PH), pp. 1050–1053.
ICPRICPR-v1-2006-NegriCMP #algorithm #classification
An Oriented-Contour Point Based Voting Algorithm for Vehicle Type Classification (PN, XC, MM, RP), pp. 574–577.
ICPRICPR-v1-2006-PerrinDZ #2d #3d #assessment #parametricity #process #using
2D and 3D Vegetation Resource Parameters Assessment using Marked Point Processes (GP, XD, JZ), pp. 1–4.
ICPRICPR-v1-2006-TongT #3d #multi #re-engineering #set
Multiresolution Mesh Reconstruction from Noisy 3D Point Sets (WST, CKT), pp. 5–8.
ICPRICPR-v1-2006-TrujilloO #detection #evolution #how #using
Using Evolution to Learn How to Perform Interest Point Detection (LT, GO), pp. 211–214.
ICPRICPR-v2-2006-ChiuL #invariant #using
Matching Interest Points Using Affine Invariant Concentric Circles (HPC, TLP), pp. 167–170.
ICPRICPR-v2-2006-Guo #perspective #using
Plane Rectification Using a Circle and Points from a Single View (FG), pp. 9–12.
ICPRICPR-v2-2006-Mainar-RuizP #approximate #multi #nearest neighbour #using
Approximate Nearest Neighbor Search using a Single Space-filling Curve and Multiple Representations of the Data Points (GMR, JCPC), pp. 502–505.
ICPRICPR-v2-2006-MakkapatiM #encoding #using
Contour Encoding Based on Extraction of Key Points Using Wavelet Transform (VM, PRM), pp. 1177–1180.
ICPRICPR-v2-2006-McNeillV #probability
Part-Based Probabilistic Point Matching (GM, SV), pp. 382–386.
ICPRICPR-v2-2006-TongWMI #3d #optimisation #representation
Evolutionary Optimization of Feature Representation for 3D Point-based (XT, HSW, BM, HHSI), pp. 707–710.
ICPRICPR-v2-2006-ZhengZ #2d #3d #framework #metric #similarity
A Unifying MAP-MRF Framework for Deriving New Point Similarity Measures for Intensity-based 2D-3D Registration (GZ, XZ), pp. 1181–1185.
ICPRICPR-v3-2006-CaetanoC #invariant #pattern matching
A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.
ICPRICPR-v3-2006-PeiLX #detection #information retrieval
A Method For IR Point Target Detection Based on Spatial-temporal Bilateral Filter (JP, ZL, WX), pp. 846–849.
ICPRICPR-v3-2006-TianK06a #algorithm #distance #performance #using
An Efficient Algorithm for Point Matching Using Hilbert Scanning Distance (LT, SiK), pp. 873–876.
ICPRICPR-v3-2006-YeungS #framework #probability #set #symmetry
Stochastic Framework for Symmetric Affine Matching between Point Sets (SKY, PS), pp. 790–793.
ICPRICPR-v4-2006-AreekulSJ #algorithm #locality
The New Focal Point Localization Algorithm for Fingerprint Registration (VA, KS, SJ), pp. 497–500.
ICPRICPR-v4-2006-KryszczukD #detection #using
Singular point detection in fingerprints using quadrant change information (KK, AD), pp. 594–597.
ICPRICPR-v4-2006-LeeHHLWLC #adaptation
An Adaptive ICP Registration for Facial Point Data (JDL, SSH, CHH, LCL, CTW, STL, JFC), pp. 703–706.
ICPRICPR-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.
SACSAC-2006-CazzolaCP #modelling #towards
Towards a model-driven join point model (WC, AC, AP), pp. 1306–1307.
CCCC-2006-LhotakH #analysis #points-to #question
Context-Sensitive Points-to Analysis: Is It Worth It? (OL, LJH), pp. 47–64.
CSLCSL-2006-LautemannTT #algebra
An Algebraic Point of View on the Crane Beach Property (CL, PT, DT), pp. 426–440.
IJCARIJCAR-2006-Boldo #algorithm #float #proving
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.
DocEngDocEng-2005-Beaudoux05a #documentation #xml
Event points: annotating XML documents for remote sharing (OB), pp. 159–161.
ICDARICDAR-2005-IwamuraNOA #recognition
Isolated Character Recognition by Searching Feature Points (MI, KN, SO, HA), pp. 1035–1039.
ICDARICDAR-2005-Miyazaki #documentation
Documents and Services: From the Historical Points of Document Media as Extension of Human Body (JM), p. 811.
ICDARICDAR-2005-SternbyE #framework
Core Points — A Framework For Structural Parameterization (JS, AE), pp. 217–221.
STOCSTOC-2005-ChenD #algorithm #approximate #fixpoint #on the
On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.
STOCSTOC-2005-Wee #obfuscation #on the
On obfuscating point functions (HW), pp. 523–532.
ICALPICALP-2005-HanedaKT
Suitable Curves for Genus-4 HCC over Prime Fields: Point Counting Formulae for Hyperelliptic Curves of Type y2=x2k+1+ax (MH, MK, TT), pp. 539–550.
FMFM-2005-Harrison #float #verification
Floating-Point Verification (JH), pp. 529–532.
IFLIFL-2005-CunhaPP #framework #program transformation
A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
CAiSECAiSE-2005-SchalkenBV #framework
Measuring IT Infrastructure Project Size: Infrastructure Effort Points (JJPS, SB, HvV), pp. 567–581.
CIKMCIKM-2005-KraftMC #exclamation
Y!Q: contextual search at the point of inspiration (RK, FM, CCC), pp. 816–823.
CIKMCIKM-2005-ZhangGLTW
Discovering strong skyline points in high dimensional spaces (ZZ, XG, HL, AKHT, NW), pp. 247–248.
ICMLICML-2005-SindhwaniNB #learning
Beyond the point cloud: from transductive to semi-supervised learning (VS, PN, MB), pp. 824–831.
MLDMMLDM-2005-CaoHXW #algorithm #network #recognition
Iris Recognition Algorithm Based on Point Covering of High-Dimensional Space and Neural Network (WC, JH, GX, SW), pp. 305–313.
MLDMMLDM-2005-SiaL #clustering #dataset #scalability #using
Clustering Large Dynamic Datasets Using Exemplar Points (WS, MML), pp. 163–173.
MODELSMoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml
Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
MODELSMoDELS-2005-ChauvelJ #code generation #modelling #semantics #uml
Code Generation from UML Models with Semantic Variation Points (FC, JMJ), pp. 54–68.
OOPSLAOOPSLA-2005-SridharanGSB #analysis #java #points-to
Demand-driven points-to analysis for Java (MS, DG, LS, RB), pp. 59–76.
GPCEGPCE-2005-WuL #programming #reasoning #source code #using
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information (PW, KJL), pp. 141–156.
PPDPPPDP-2005-SahaR #analysis #incremental #logic programming #points-to #using
Incremental and demand-driven points-to analysis using logic programming (DS, CRR), pp. 117–128.
SACSAC-2005-JiJC #adaptation #analysis #migration
Adaptation point analysis for computation migration/checkpointing (YJ, HJ, VC), pp. 750–751.
SACSAC-2005-ReddyC #bound #using
Finding saddle points using stability boundaries (CKR, HDC), pp. 212–213.
CAVCAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
CAVCAV-2005-Monniaux #analysis #composition #float #linear
Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.
DACDAC-2004-AnastasakisMP #equivalence #performance
Efficient equivalence checking with partitions and hierarchical cut-points (DA, LM, SP), pp. 539–542.
DACDAC-2004-RoyB #algorithm #design #fixpoint #float #matlab
An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design (SR, PB), pp. 484–487.
DACDAC-2004-ShiB #automation #communication #data type #fixpoint #optimisation
Automated fixed-point data-type optimization tool for signal processing and communication systems (CS, RWB), pp. 478–483.
DATEDATE-DF-2004-LoukusaPRRV #design #perspective
Systems on Chips Design: System Manufacturer Point of View (VL, HP, AR, TR, OV), pp. 3–4.
DATEDATE-v2-2004-VrankenSW #layout
Impact of Test Point Insertion on Silicon Area and Timing during Layout (HPEV, FSS, HJW), pp. 810–815.
HTHT-2004-MartinTA
The end-point is not enough (DM, MT, HA), pp. 128–129.
VLDBVLDB-2004-IwerksSS #maintenance #query
Maintenance of Spatial Semijoin Queries on Moving Points (GSI, HS, KPS), pp. 828–839.
ESOPESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
TACASTACAS-2004-GrooteK #equation #fixpoint
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.
STOCSTOC-2004-KenyonRS #set
Low distortion maps between point sets (CK, YR, AS), pp. 272–280.
ICALPICALP-2004-DawarGK #backtracking #fixpoint #game studies
Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.
ICALPICALP-2004-Martin #fixpoint
Entropy as a Fixed Point (KM), pp. 945–958.
ICALPICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of
On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
CHICHI-2004-BlanchGB #adaptation #semantics
Semantic pointing: improving target acquisition with control-display ratio adaptation (RB, YG, MBL), pp. 519–526.
CHICHI-2004-GrossmanB #3d
Pointing at trivariate targets in 3D environments (TG, RB), pp. 447–454.
ICPRICPR-v1-2004-ArcaCL #detection #performance #recognition
An Efficient Method to Detect Facial Fiducial Points for Face Recognition (SA, PC, RL), pp. 532–535.
ICPRICPR-v1-2004-JiangLK #detection #recognition
Reference Point Detection for Fingerprint Recognition (XJ, ML, ACK), pp. 540–543.
ICPRICPR-v1-2004-LaptevL #adaptation
Velocity Adaptation of Space-Time Interest Points (IL, TL), pp. 52–56.
ICPRICPR-v1-2004-SirisathitkulAU #distance #image #performance #using
Fast Color Image Quantization using Squared Euclidean Distance of Adjacent Color Points along the Highest Color Variance Axis (YS, SA, BU), pp. 656–659.
ICPRICPR-v1-2004-TsuiTC #image #metric #using
Metric Measurement on Arbitrary Planes in 2 Images Using the Conformal Point (PTT, HTT, WkC), pp. 108–111.
ICPRICPR-v1-2004-ZhangJT
Geodesic Closest Point Constrained Inter-Subject Non-Rigid Registration (ZZ, YJ, HTT), pp. 564–567.
ICPRICPR-v2-2004-CaetanoCB #algorithm #comparison #distance #metric #using
A Comparison of Junction Tree and Relaxation Algorithms for Point Matching using Different Distance Metrics (TSC, TC, DACB), pp. 124–127.
ICPRICPR-v2-2004-HalawaniB #evaluation #image #kernel #retrieval
Image Retrieval by Local Evaluation of Nonlinear Kernel Functions around Salient Points (AH, HB), pp. 955–960.
ICPRICPR-v3-2004-LiMH
New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
ICPRICPR-v3-2004-ZhangL #multi #pattern matching
Point Pattern Matching for Articulated or Multiple Objects (XZ, YL), pp. 630–633.
ICPRICPR-v4-2004-ReyesB #approach #geometry #re-engineering
Geometric Approach for Simultaneous Projective Reconstruction of Points, Lines, Planes, Quadrics, Plane Conics and Degenerate Quadrics (LR, EBC), pp. 60–63.
ICPRICPR-v4-2004-ViguerasBS #multi #on the
On the Influence of Fixing the Principal Point in Frame-by-Frame Multiplanar Calibration (JFV, MOB, GS), pp. 120–123.
ICPRICPR-v4-2004-YamamotoYS #gesture #interface #using
Arm-Pointing Gesture Interface Using Surrounded Stereo Cameras System (YY, IY, KS), pp. 965–970.
ICPRICPR-v4-2004-ZaveriMD #image #information retrieval #modelling #multi #sequence #using
Tracking of Point Targets in IR Image Sequence using Multiple Model Based Particle Filtering and MRF Based Data Association (MAZ, SNM, UBD), pp. 729–732.
KDDKDD-2004-CumbyFGK #predict
Predicting customer shopping lists from point-of-sale purchase data (CMC, AEF, RG, MK), pp. 402–409.
SACSAC-2004-StraubH #mobile #recommendation
An anonymous bonus point system for mobile commerce based on word-of-mouth recommendation (TS, AH), pp. 766–773.
SACSAC-2004-TangMC #embedded #fixpoint #implementation #mobile #performance #using #verification
Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic (TYT, YSM, KCC), pp. 821–825.
CSLCSL-2004-AbelM #fixpoint #recursion
Fixed Points of Type Constructors and Primitive Recursion (AA, RM), pp. 190–204.
DACDAC-2003-CarlettaVKF #fixpoint
Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.
ICDARICDAR-2003-YouK #approach #network #segmentation #string #using
An approach for locating segmentation points of handwritten digit strings using a neural network (DY, GK), p. 142–?.
VLDBVLDB-2003-IwerksSS #nearest neighbour #query
Continuous K-Nearest Neighbor Queries for Continuously Moving Points with Updates (GSI, HS, KPS), pp. 512–523.
ICSMEICSM-2003-Klusener #analysis #source code
Source Code Based Function Point Analysis for Enhancement Projects (SK), pp. 373–376.
PLDIPLDI-2003-BerndlLQHU #analysis #points-to #using
Points-to analysis using BDDs (MB, OL, FQ, LJH, NU), pp. 103–114.
DLTDLT-2003-AnselmoM #formal method #perspective #problem
Covering Problems from a Formal Language Point of View (MA, MM), pp. 122–133.
CHICHI-2003-AccotZ #modelling
Refining Fitts’ law models for bivariate pointing (JA, SZ), pp. 193–200.
CIKMCIKM-2003-LalmasR #automation #documentation #identification #retrieval
Automatic identification of best entry points for focused structured document retrieval (ML, JR), pp. 540–543.
MLDMMLDM-2003-ImiyaTOH #bound #detection #random #set
Detecting the Boundary Curve of Planar Random Point Set (AI, KT, HO, VH), pp. 413–424.
SEKESEKE-2003-CostagliolaMF #3d #developer #evaluation #perspective #web
An Evaluation of Web3d Technologies from Developer’s and End-User’s Point of View (GC, SDM, FF), pp. 25–32.
UMLUML-2003-Fowler #question #uml #what
What Is the Point of the UML? (MF), p. 325.
POPLPOPL-2003-Chakaravarthy #analysis #complexity
New results on the computability and complexity of points — to analysis (VTC), pp. 115–125.
RERE-2003-Becker #lifecycle #multi #requirements #traceability
Measuring Requirements Traceability from Multiple Angels at Multiple Lifecycle Entry Points (DB), p. 291.
ICSEICSE-2003-Berner #case study #development #experience
About the Development of a Point of Sale System: an Experience Report (SB), pp. 528–533.
ICSEICSE-2003-NuseibehKF #exclamation #named
ViewPoints: meaningful relationships are difficult! (BN, JK, AF), pp. 676–683.
CCCC-2003-LhotakH #analysis #java #points-to #scalability #using
Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.
PPoPPPPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability #thread
Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.
CSLCSL-2003-DawarR #fixpoint #logic #symmetry
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.
LICSLICS-2003-GradelK #fixpoint
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (EG, SK), p. 158–?.
TLCATLCA-2003-KakutaniH #category theory #fixpoint
Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.
VMCAIVMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
DACDAC-2002-AnastasakisDMS #performance
A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
DATEDATE-2002-DrozdLD #array #float #online #performance #testing
Efficient On-Line Testing Method for a Floating-Point Iterative Array Divider (AVD, MVL, JVD), p. 1127.
DATEDATE-2002-KaivolaN #float #multi #verification
Formal Verification of the Pentium ® 4 Floating-Point Multiplier (RK, NN), pp. 20–27.
DATEDATE-2002-MenardS #algorithm #automation #evaluation #fixpoint
Automatic Evaluation of the Accuracy of Fixed-Point Algorithms (DM, OS), pp. 529–535.
WRLAWRLA-J-1996-BorovanskyKKM02 #logic #perspective
ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.
ESOPESOP-2002-GoubaultMP #float #interpreter #precise
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
FoSSaCSFoSSaCS-2002-LangeS #fixpoint #logic #model checking
Model Checking Fixed Point Logic with Chop (ML, CS), pp. 250–263.
SCAMSCAM-J-2001-AndersonBRT02 #points-to #set
Flow insensitive points-to sets (PA, DB, GR, TT), pp. 743–754.
SASSAS-2002-SerebrenikS #float #logic programming #on the #source code #termination
On Termination of Logic Programs with Floating Point Computations (AS, DDS), pp. 151–164.
SASSAS-2002-WhaleyL #analysis #performance #points-to #strict
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages (JW, MSL), pp. 180–195.
IFMIFM-2002-AkbarpourDT #fixpoint #formal method
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.
IFLIFL-2002-LindahlS #compilation #float
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.
VISSOFTVISSOFT-2002-DiehlK #execution #visual notation
Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
ICMLICML-2002-PerkinsP #fixpoint #on the
On the Existence of Fixed Points for Q-Learning and Sarsa in Partially Observable Domains (TJP, MDP), pp. 490–497.
ICPRICPR-v1-2002-WollnyTK #analysis #segmentation
Segmentation of Vector Fields by Critical Point Analysis: Application to Brain Deformation (GW, MT, FK), pp. 524–527.
ICPRICPR-v2-2002-Al-ShaherH #learning #modelling #online #performance
Fast On-Line learning of Point Distribution Models (AAAS, ERH), pp. 208–211.
ICPRICPR-v2-2002-CarcassoniH #multi #scalability #using
Point-Set Alignment Using Multidimensional Scaling (MC, ERH), pp. 402–405.
ICPRICPR-v2-2002-ChenC
Speeding up SVM Decision Based on Mirror Points (JHC, CSC), pp. 869–872.
ICPRICPR-v2-2002-DrotDMZ #image #process #segmentation
Object Point Processes for Image Segmentation (SD, XD, HLM, JZ), pp. 913–916.
ICPRICPR-v2-2002-Ho #analysis #proximity
Exploratory Analysis of Point Proximity in Subspaces (TKH), pp. 196–199.
ICPRICPR-v2-2002-RuizLG
A Note on Principal Point Estimability (AR, PELdT, GGM), pp. 304–307.
ICPRICPR-v3-2002-ChetverikovSSK #algorithm
The Trimmed Iterative Closest Point Algorithm (DC, DS, DS, PK), pp. 545–548.
ICPRICPR-v3-2002-GuestF #analysis #approach #clustering #image
A Clustering Approach to Corner Point Analysis in Hand Drawn Images (RMG, MCF), pp. 940–943.
ICPRICPR-v3-2002-MekadaT #distance #using
Anchor Point Thinning Using a Skeleton Based on the Euclidean Distance Transformation (YM, JiT), pp. 923–926.
ICPRICPR-v3-2002-MeshoulB #estimation
Ant Colony System with Extremal Dynamics for Point Matching and Pose Estimation (SM, MB), pp. 823–826.
ICPRICPR-v3-2002-NilssonB #image #symmetry
Prominent Symmetry Points as Landmarks in Finger Print Images for Alignment (KN, JB), pp. 395–398.
ICPRICPR-v3-2002-RavindranF #linear
A Simple Linear Method to Obtain Height Ordering of Scene Points (PR, NJF), pp. 719–722.
ICPRICPR-v3-2002-SuW #identification #learning #process
A Learning Process to the Identification of Feature Points on Chinese Characters (YMS, JFW), pp. 93–97.
ICPRICPR-v4-2002-Yang02a
Tetrahedron Mapping of Points from N-Space to Three-Space (LY), p. 343–?.
KDDKDD-2002-YamanishiT #detection #framework
A unifying framework for detecting outliers and change points from non-stationary time series data (KY, JiT), pp. 676–681.
LOPSTRLOPSTR-2002-VanhoofTB #fixpoint #logic programming #semantics #source code
A Fixed Point Semantics for Logic Programs Extended with Cuts (WV, RT, MB), pp. 238–257.
RERE-2002-GrossMZH #convergence #development
The Reference Point Method: Requirements-Based ICT Convergence Solution Development (WG, TM, FZ, CH), p. 193.
FSEFSE-2002-BrunsC #analysis #points-to
Searching for points-to analysis (GB, SC), pp. 61–70.
FSEFSE-2002-MockACE #points-to #slicing
Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.
ICSEICSE-2002-KusumotoIIMMT #java #metric #source code
Function point measurement from Java programs (SK, MI, KI, SM, KM, MT), pp. 576–582.
CADECADE-2002-Goldberg #satisfiability #testing
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points (EG), pp. 161–180.
CSLCSL-2002-Kreutzer #fixpoint #infinity #logic
Partial Fixed-Point Logic on Infinite Structures (SK), pp. 337–351.
ISSTAISSTA-2002-MilanovaRR #analysis #java #points-to
Parameterized object sensitivity for points-to and side-effect analyses for Java (AM, AR, BGR), pp. 1–11.
ISSTAISSTA-2002-MoorsVTZB #automation #case study #experience #testing
Experiences in automating the testing of SS7 signalling transfer points (TM, MV, ZT, XZ, RB), pp. 154–158.
LICSLICS-2002-Kreutzer #equivalence #fixpoint #logic
Expressive Equivalence of Least and Inflationary Fixed-Point Logic (SK), p. 403–?.
SATSAT-2002-Goldberg #satisfiability #testing
Testing satisfiability of CNF formulas by computing a stable set of points (EG), p. 12.
CBSECBSE-2001-VieiraDR #component #dependence
Describing Dependencies in Component Access Points (MERV, MSD, DJR), p. 22.
DATEDATE-2001-DrozdL #float #online #performance #testing
Efficient on-line testing method for a floating-point adder (AVD, MVL), pp. 307–313.
IWPCIWPC-J-1999-MartinoMMV01 #communication #detection #interactive #parallel #program analysis
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
PASTEPASTE-2001-LiangPH #analysis #java #points-to
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java (DL, MP, MJH), pp. 73–79.
PASTEPASTE-2001-MockDCE #analysis #comparison #comprehension #optimisation #points-to #set
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization (MM, MD, CC, SJE), pp. 66–72.
SCAMSCAM-2001-AndersonBRT #points-to #set
Flow Insensitive Points-To Sets (PA, DB, GR, TT), pp. 81–91.
PLDIPLDI-2001-GhiyaLS #ambiguity #analysis #c #memory management #on the #points-to #source code
On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs (RG, DML, DCS), pp. 47–58.
SASSAS-2001-Goubault #analysis #float #precise
Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.
STOCSTOC-2001-GartnerSTWV
One line and n points (BG, JS, FT, EW, PV), pp. 306–315.
DLTDLT-2001-Esik #equation #fixpoint
The Equational Theory of Fixed Points with Applications to Generalized Language Theory (), pp. 21–36.
CHICHI-2001-MacKenzieKS #metric
Accuracy measures for evaluating computer pointing devices (ISM, TK, MS), pp. 9–16.
ICMLICML-2001-ChoiR #approximate #difference #fixpoint #learning #performance
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
OOPSLAOOPSLA-2001-RountevMR #analysis #constraints #java #points-to #using
Points-To Analysis for Java using Annotated Constraints (AR, AM, BGR), pp. 43–55.
GPCESAIG-2001-Wand #aspect-oriented #programming #semantics
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming (MW), pp. 45–46.
SACSAC-2001-GaliassoW #algorithm #hybrid #multi #problem #search-based
A hybrid genetic algorithm for the point to multipoint routing problem with single split paths (PG, RLW), pp. 327–332.
CCCC-2001-RountevR #analysis #library #points-to #source code
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries (AR, BGR), pp. 20–36.
CSLCSL-2001-DawarGK #fixpoint #logic
Inflationary Fixed Points in Modal Logic (AD, EG, SK), pp. 277–291.
ICLPICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
DACDAC-2000-KashyapK
A realizable driving point model for on-chip interconnect with inductance (CVK, BK), pp. 190–195.
DATEDATE-2000-VardanianM #concurrent #detection #fault
Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check (VAV, LBM), p. 762.
PODSPODS-2000-AgarwalAE
Indexing Moving Points (PKA, LA, JE), pp. 175–186.
PODSPODS-2000-Kreutzer #constraints #database #fixpoint #linear #query
Fixed-Point Query Languages for Linear Constraint Databases (SK), pp. 116–125.
TACASTACAS-2000-GoedickeEMT #development #distributed #graph transformation #multi #tool support
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 43–47.
PLDIPLDI-2000-RouhtevC #analysis #points-to #scalability
Off-line variable substitution for scaling points-to analysis (AR, SC), pp. 47–56.
SASSAS-2000-FosterFA #analysis #c #points-to #polymorphism
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.
CSCWCSCW-2000-MamykinaW #case study #evolution
Evolution of Contact Point: a case study of a help desk and its users (LM, CGW), pp. 41–48.
ICMLICML-2000-FariasR #approximate #fixpoint #learning
Fixed Points of Approximate Value Iteration and Temporal-Difference Learning (DPdF, BVR), pp. 207–214.
ICMLICML-2000-RychetskySG
Direct Bayes Point Machines (MR, JST, MG), pp. 815–822.
ICPRICPR-v1-2000-Brauer-BurchardtV #image #robust
Robust Vanishing Point Determination in Noisy Images (CBB, KV), pp. 1559–1562.
ICPRICPR-v1-2000-DuchesneH #approach #artificial reality #problem
A Point-Based Approach to the Interposition Problem in Augmented Reality (CD, JYH), pp. 1261–1265.
ICPRICPR-v1-2000-WilliamsB #algorithm #evaluation #multi #novel #set
Evaluation of a Novel Multiple Point Set Registration Algorithm (JAW, MB), pp. 5007–5010.
ICPRICPR-v2-2000-CarcassoniH #matrix #proximity
An Improved Point Proximity Matrix for Modal Matching (MC, ERH), pp. 2034–2037.
ICPRICPR-v2-2000-HwangLBV #re-engineering
Face Reconstruction from a Small Number of Feature Points (BWH, SWL, VB, TV), pp. 2838–2837.
ICPRICPR-v2-2000-MelkemiVC #set
Shapes of Weighted Points Sets (MM, DV, LC), pp. 6058–6061.
ICPRICPR-v3-2000-FayolleDRC #detection #multi
A Wavelet Based Multiscale Detection Scheme of Feature Points (JF, CD, LR, SC), pp. 3425–3428.
ICPRICPR-v3-2000-IiyamaKM #estimation
Estimation of the Location of Joint Points of Human Body from Successive Volume Data (MI, YK, MM), pp. 3699–3702.
ICPRICPR-v3-2000-ShinBGK #2d #3d #framework
Framework of Integrating 2D Points and Curves for Tracking of 3D Nonrigid Motion and Structure (MCS, RB, DBG, CK), pp. 3831–3834.
ICPRICPR-v3-2000-ZhangB
Grouping Edge Points into Line Segments by Sequential Hough Transformation (XZ, HB), pp. 3676–3679.
ICPRICPR-v4-2000-TakahashiKIS #image #using
Expanding Possible View Points of Virtual Environment Using Panoramic Images (TT, HK, KI, MS), pp. 4468–4472.
ICPRICPR-v4-2000-WolfKBJ #image #retrieval #using
Content Based Image Retrieval Using Interest Points and Texture Features (CW, WGK, HB, JMJ), pp. 4234–4237.
CADECADE-2000-Seger #float #model checking #proving #theorem proving
Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice (CJHS), p. 235.
CSLCSL-2000-Atserias #bound #complexity #fixpoint
The Descriptive Complexity of the Fixed-Points of Bounded Formulas (AA), pp. 172–186.
CSLCSL-2000-Esik #axiom #fixpoint
Axiomatizing the Least Fixed Point Operation and Binary Supremum (), pp. 302–316.
LICSLICS-2000-SimpsonP #axiom #category theory #fixpoint
Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.
ICTSSTestCom-2000-SchieferdeckerLR #incremental #testing
Incremental Testing at System Reference Points (IS, ML, AR), pp. 75–90.
DACDAC-1999-BashfordL #constraints #fixpoint
Constraint Driven Code Selection for Fixed-Point DSPs (SB, RL), pp. 817–822.
DATEDATE-1999-CmarRSVB #design #fixpoint #refinement
A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.
SIGMODSIGMOD-1999-AnkerstBKS #clustering #identification #named
OPTICS: Ordering Points To Identify the Clustering Structure (MA, MMB, HPK, JS), pp. 49–60.
VLDBVLDB-1999-Hamilton #data transformation #design
Networked Data Management Design Points (JRH), pp. 202–206.
CSMRCSMR-1999-Tonella #analysis #points-to #set
Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets (PT), pp. 62–71.
IWPCIWPC-1999-MartinoMMV #communication #interactive #parallel #source code
Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication (BDM, AM, NM, UV), pp. 84–91.
AGTIVEAGTIVE-1999-GoedickeEMT #development #distributed #graph transformation #integration #multi #tool support #towards
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 369–377.
AGTIVEAGTIVE-1999-GoedickeEMT99a #development #tool support
Tool Support for ViewPoint-oriented Software Development (MG, BE, TM, GT), pp. 419–425.
CHICHI-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.
CHICHI-1999-FaradayS #authoring #using #web
Authoring Animated Web Pages Using “Contact Points” (PF, AGS), pp. 458–465.
CHICHI-1999-GuiardBM #multi #navigation #precise
Navigation as Multiscale Pointing: Extending Fitts’ Model to Very High Precision Tasks (YG, MBL, DM), pp. 450–457.
CHICHI-1999-ZhaiMI
Manual and Gaze Input Cascaded (MAGIC) Pointing (SZ, CM, SI), pp. 246–253.
HCIHCI-CCAD-1999-Menzel #design
New design solution for call center work places from the point of view of furniture manufacturer (DM), pp. 1327–1331.
HCIHCI-CCAD-1999-Morikawa #communication #video
Pointing on HyperMirror video mediated communication (OM), pp. 548–552.
HCIHCI-CCAD-1999-Morishima #communication #multi #using
Multiple points face-to-face communication in cyberspace using multi-modal agent (SM), pp. 177–181.
HCIHCI-CCAD-1999-MurataFAI #2d #effectiveness
Extending effective target width in Fitt’s law to two-dimensional pointing task (AM, MF, YA, HI), pp. 1236–1240.
HCIHCI-EI-1999-KotaniH
Relationship between Size of Icons and Mouse Operating Force with Complex Actions during Pointing Tasks (KK, KH), pp. 412–415.
HCIHCI-EI-1999-LeungPM #mobile
Pointing Accuracy with Mobile Pen-based Devices for On-the-move Applications (YKL, CP, KM), pp. 218–222.
HCIHCI-EI-1999-ZuhlkeK #industrial
Pointing Devices for Industrial Use (DZ, LK), pp. 402–406.
ICEISICEIS-1999-PopescuM #implementation #perspective
Organizational Level of Intelligent Robots-An Implementation Point of View (AP, GM), p. 779.
RERE-1999-GoedickeMT #consistency #development #distributed #graph transformation #nondeterminism #towards
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.
ESECESEC-FSE-1999-LiangH #performance #points-to #program analysis
Efficient Points-to Analysis for Whole-Program Analysis (DL, MJH), pp. 199–215.
CCCC-1999-CilioC #c #fixpoint #float
Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.
ICTSSIWTCS-1999-Frey-PuckoKN #automation #consistency #generative #industrial #testing
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL (MFP, MKK, RN), pp. 347–362.
LICSLICS-1999-AtseriasK #finite #first-order #fixpoint #logic #set
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (AA, PGK), pp. 275–284.
LICSLICS-1999-GradelW #fixpoint #logic
Guarded Fixed Point Logic (EG, IW), pp. 45–54.
DATEDATE-1998-KedingWCM #design #fixpoint #named #simulation
FRIDGE: A Fixed-Point Design and Simulation Environment (HK, MW, MC, HM), pp. 429–435.
SIGMODSIGMOD-1998-RamakrishnanD #network
The PointCast Network (SR, VD), p. 520.
TACASTACAS-1998-LiuRS #evaluation #fixpoint #performance
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (XL, CRR, SAS), pp. 5–19.
PLDIPLDI-1998-SastryPS #execution #float #integer
Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
ICALPICALP-1998-LiuS #algorithm #fixpoint #linear
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (XL, SAS), pp. 53–66.
CHICHI-1998-KawachiyaI #mobile #named
NaviPoint: An Input Device for Mobile Information Browsing (KK, HI), pp. 1–8.
CHICHI-1998-OlsenBVPML #interactive #multi
Generalized Pointing: Enabling Multiagent Interaction (DRO, DB, TV, MP, JLM, ELL), pp. 526–533.
CAiSECAiSE-1998-AntoniolCCFC #adaptation #information management #object-oriented
Adapting Function Points to Object-Oriented Information Systems (GA, FC, LC, RF, GC), pp. 59–76.
ICMLICML-1998-BradleyF #clustering
Refining Initial Points for K-Means Clustering (PSB, UMF), pp. 91–99.
ICPRICPR-1998-ChetverikovV #algorithm
Tracking feature points: a new algorithm (DC, JV), pp. 1436–1438.
ICPRICPR-1998-Liu #coordination
Determination of the point of fixation in a head-fixed coordinate system (JL), pp. 501–504.
ICPRICPR-1998-OkataniD #identification #invariant #on the #problem #using
On identification of singular points using photometric invariants for global shape from shading problem (TO, KD), pp. 1787–1790.
ICPRICPR-1998-OlagueM #3d
Optimal camera placement to obtain accurate 3D point positions (GO, RM), pp. 8–10.
ICPRICPR-1998-PramadihantoIY #automation #detection #flexibility
A flexible feature matching for automatic face and facial feature points detection (DP, YI, MY), pp. 92–95.
ICPRICPR-1998-XiaoYM
Some general grouping principles: line perception from points as an example (JX, ZY, SM), pp. 1825–1827.
PPDPALP-PLILP-1998-BreitingerKL #haskell #implementation #parallel #perspective
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.
CAVCAV-1998-ChenB #float #verification
Verification of Floating-Point Adders (YAC, REB), pp. 488–499.
CSLCSL-1998-Matthes #fixpoint #normalisation
Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.
LICSLICS-1998-Grohe #fixpoint #graph #logic
Fixed-Point Logics on Planar Graphs (MG), pp. 6–15.
DACDAC-1997-TsaiCLB #algorithm #hybrid
A Hybrid Algorithm for Test Point Selection for Scan-Based BIST (HCT, KTC, CJL, SB), pp. 478–483.
DACDAC-1997-WillemsBKGM #approach #design #fixpoint
System Level Fixed-Point Design Based on an Interpolative Approach (MW, VB, HK, TG, HM), pp. 293–298.
ICSMEICSM-1997-NiessinkV #maintenance #predict
Predicting Maintenance Effort with Function Points (FN, HvV), pp. 32–39.
WCREWCRE-1997-AprilMA #approach #reverse engineering
A Reverse Engineering Approach to Evaluate Function Point Rules (AA, EM, AA), pp. 236–246.
WPCWPC-1997-TonellaAFM #analysis #comprehension #points-to
Points-to Analysis for Program Understanding (PT, GA, RF, EM), pp. 90–99.
STOCSTOC-1997-AsanoKTT #approximate #polynomial #towards
Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.
STOCSTOC-1997-KannanV
Sampling Lattice Points (RK, SV), pp. 696–700.
STOCSTOC-1997-Reif #approximate #constant #evaluation #polynomial
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point (JHR), pp. 30–39.
DLTDLT-1997-DassowMP #context-free grammar
Point mutations in context-free languages (JD, VM, GP), pp. 429–446.
CHICHI-1997-SalemZ
An Isometric Tongue Pointing Device (CS, SZ), pp. 538–539.
HCIHCI-CC-1997-Horie
Fundamental Study on Optimum Working Posture of VDT Workers from the View Point of EMG (YH), pp. 643–646.
TOOLSTOOLS-ASIA-1997-TaniarR #database #object-oriented #parallel #perspective
Parallelization and Object-Orientation: A Database Processing Point of View (DT, JWR), pp. 244–253.
TOOLSTOOLS-USA-1997-FetckeAN #analysis #approach
Mapping the OO-Jacobson Approach into Function Point Analysis (TF, AA, THN), pp. 192–202.
POPLPOPL-1997-ShapiroH #analysis #performance #points-to
Fast and Accurate Flow-Insensitive Points-To Analysis (MS, SH), pp. 1–14.
SACSAC-1997-ChristensenWS #algorithm #hybrid #multi #problem
A hybrid algorithm for the point to multipoint routing problem (HLC, RLW, DAS), pp. 263–268.
DACDAC-1996-LinMCL #logic
Test Point Insertion: Scan Paths through Combinational Logic (CCL, MMS, KTC, MTCL), pp. 268–273.
PODSPODS-1996-Toman #database #query
Point vs. Interval-based Query Languages for Temporal Databases (DT), pp. 58–67.
ICSMEICSM-1996-Favre #perspective #preprocessor
Preprocessors from an Abstract Point of View (JMF), p. 329–?.
WCREWCRE-1996-Favre #perspective #preprocessor
Preprocessors from an Abstract Point of View (JMF), pp. 287–296.
PLDIPLDI-1996-BurgerD #float
Printing Floating-Point Numbers Quickly and Accurately (RGB, RKD), pp. 108–116.
ICFPICFP-1996-Howard #induction
Inductive, Coinductive, and Pointed Types (BTH), pp. 102–109.
CHICHI-1996-GrahamM #physics
Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.
AdaEuropeAdaEurope-1996-Bondeli #ada #object-oriented #programming
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming (PdB), pp. 370–384.
ICPRICPR-1996-Bayro-CorrochanoLS #algebra #framework #geometry #using
Geometric algebra: a framework for computing point and line correspondences and projective structure using n uncalibrated cameras (EBC, JL, GS), pp. 334–338.
ICPRICPR-1996-GurdjosDC #3d #coordination #invariant
Tracking 3D coplanar points in the invariant perspective coordinates plane (PG, PD, SC), pp. 493–497.
ICPRICPR-1996-OkataniD #image #re-engineering
Reconstructing shape from shading with a point light source at the projection center: shape reconstruction from an endoscope image (TO, KD), pp. 830–834.
ICPRICPR-1996-Reisfeld #detection
Constrained phase congruency: simultaneous detection of interest points and of their orientational scales (DR), pp. 750–754.
ICPRICPR-1996-SanchizQP #algorithm #detection
A neural network-based algorithm to detect dominant points from the chain-code of a contour (JMS, JMIQ, FP), pp. 325–329.
ICPRICPR-1996-Shimshoni #3d #image #nondeterminism #performance #recognition
A fast method for estimating the uncertainty in the location of image points in 3D recognition (IS), pp. 590–594.
ICPRICPR-1996-StoddartH #multi #set
Registration of multiple point sets (AJS, AH), pp. 40–44.
KRKR-1996-JonssonDB #algebra #classification #subclass
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
SEKESEKE-1996-KnollSS #assurance #perspective #quality #specification
Quality Assurance of Specification — The Users Point of View (HDK, TS, WS), pp. 450–456.
POPLPOPL-1996-Steensgaard #analysis #linear #points-to
Points-to Analysis in Almost Linear Time (BS), pp. 32–41.
SACSAC-1996-DoroodchiR #clustering #fuzzy
Nonlinear smoothing of signals by applying fuzzy clustering to local points (MD, AMR), pp. 595–599.
CCCC-1996-Steensgaard #analysis #points-to #source code #type inference
Points-to Analysis by Type Inference of Programs with Structures and Unions (BS), pp. 136–150.
ICDARICDAR-v2-1995-FanLW #approach #clustering #documentation #segmentation
A feature point clustering approach to the segmentation of form documents (KCF, JML, JYW), pp. 623–626.
ICDARICDAR-v2-1995-Shieh #recursion
Recursive morphological sieve method for searching pictorial point symbols on maps (JSS), pp. 931–935.
CHICHI-1995-MaltzE #collaboration
Pointing the Way: Active Collaborative Filtering (DM, KE), pp. 202–209.
SACSAC-1995-ThuenteS #algorithm #hybrid #problem #programming #search-based
Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.
CAVCAV-1995-AndersenV #behaviour #fixpoint #performance #using
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.
ICLPICLP-1995-Cicekli #backtracking
Shallow Backtracking Points in an Intelligent Backtracking Schema (IC), p. 815.
LICSLICS-1995-Seth #complexity #fixpoint #logic #question
When Do Fixed Point Logics Capture Complexity Classes? (AS), pp. 353–363.
DACDAC-1994-PomeranzR #combinator #fault #scalability #using
Design-for-Testability for Path Delay Faults in Large Combinatorial Circuits Using Test-Points (IP, SMR), pp. 358–364.
ESOPESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
ESOPESOP-1994-Amtoft #fixpoint #re-engineering
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.
PLDIPLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.
SASSAS-1994-Henglein #analysis #fixpoint #strict #type system
Iterative Fixed Point Computation for Type-Based Strictness Analysis (FH), pp. 395–407.
SASSAS-1994-VergauwenWL #fixpoint #performance
Efficient FixPoint Computation (BV, JW, JL), pp. 314–328.
STOCSTOC-1994-Pellegrini #on the
On point location and motion planning among simplices (MP), pp. 95–104.
STOCSTOC-1994-VavasisY
An accelerated interior point method whose running time depends only on A (extended abstract) (SAV, YY), pp. 512–521.
CHICHI-1994-DouglasM94a
The effect of reducing homing time on the speed of a finger-controlled isometric pointing device (SAD, AKM), pp. 411–416.
SEKESEKE-1994-AbranDMMS #analysis #hypermedia #learning #using
Structured hypertext for using and learning function point analysis (AA, JMD, DM, MM, DSP), pp. 164–171.
SACSAC-1994-FlorianiM
Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.
ICLPICLP-1994-BurgLH #backtracking #set
Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.
ICDARICDAR-1993-AbeMNK #comparison #detection
Comparison of methods for detecting corner points from digital curves-a preliminary report (KA, RM, KN, TK), pp. 854–857.
ICDARICDAR-1993-HarukiTO #algorithm #generative #multi
A multi-stage algorithm of extracting joint points for generating function-fonts (RH, KT, YO), pp. 31–34.
ICSMECSM-1993-AbranR #case study #reliability
Reliability of Function Points Productivity Model for Enhancement Projects (A Field Study) (AA, PNR), pp. 80–87.
STOCSTOC-1993-FelsnerW #algorithm #combinator #set
Maximum k-chains in planar point sets: combinatorial structure and algorithms (SF, LW), pp. 146–153.
HCIHCI-ACS-1993-CockeWA #health #modelling #physics
Models of Job Enlargement Tested and Evaluated from the Point of View of Physical Health and Job Satisfaction (BC, GW, ), pp. 845–850.
HCIHCI-ACS-1993-HouwingWA #evaluation #metric #usability
Usability Evaluation From Users’ Point of View: Three Complementary Measures (EMH, MW, AGA), pp. 475–480.
HCIHCI-SHI-1993-Loricchio #comparison
A Comparison of Keyboard-Integrated Pointing Devices (DFL), pp. 1075–1078.
TOOLSTOOLS-EUROPE-1993-Marcaillou-EbersoldCV #approach #modelling
An Approach to View Point Modelling (SME, BC, DPV), pp. 151–164.
SACSAC-1993-RankinW #combinator #fixpoint #prolog #using
Finding Fixed Point Combinators Using Prolog (RR, RWW), pp. 604–608.
ICSEICSE-1993-KitchenhamK #correlation
Inter-item Correlations among Function Points (BK, KK), pp. 477–480.
CSLCSL-1993-Grohe #bound #fixpoint #logic
Bounded-Arity Hierarchies in Fixed-Point Logics (MG), pp. 150–164.
CSLCSL-1993-Stewart #fixpoint #quantifier
Incorporating Generalized Quantifiers and the Least Fixed Point Operator (IAS), pp. 318–333.
ESOPESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
STOCSTOC-1992-CallahanK #composition #multi #nearest neighbour
A Decomposition of Multi-Dimensional Point-Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields (Preliminary Version) (PBC, SRK), pp. 546–556.
SASWSA-1992-AmeurCFG #abstract interpretation #float
An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.
ICALPICALP-1992-Bundgen #algorithm #term rewriting
Buchberger’s Algorithm: The Term Rewriter’s Point of View (Extended Abstract) (RB), pp. 380–391.
LISPLFP-1992-ChuangG #approach #finite #fixpoint
A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.
LISPLFP-1992-NielsonN #fixpoint
Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.
CHICHI-1992-HillH #visualisation
Pointing and Visualization (WCH, JDH), pp. 665–666.
LOPSTRLOPSTR-1992-Neugebauer #approach
The LOPS Approach: A Transformational Point of View (Extended Abstract) (GN), pp. 80–81.
POPLPOPL-1992-NielsonN #bound #fixpoint
Bounded Fixed Point Iteration (HRN, FN), pp. 71–82.
ISMMIWMM-1992-Pique #garbage collection #prolog
Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III] (JFP), pp. 330–343.
STOCSTOC-1991-GoodrichT
Dynamic Trees and Dynamic Point Location (Preliminary Version) (MTG, RT), pp. 523–533.
STOCSTOC-1991-Mulmuley
Hidden Surface Removal with Respect to a Moving View Point (KM), pp. 512–522.
CHICHI-1991-MacKenzieSB #comparison
A comparison of input devices in element pointing and dragging tasks (ISM, AS, WB), pp. 161–166.
AdaEuropeAdaEurope-1991-SymsB #reuse
Software Reuse: Customer vs. Contractor Point-Counterpoint (TS, CLB), pp. 326–337.
ASPLOSASPLOS-1991-LeeKB #float #performance
The Floating-Point Performance of a Superscalar SPARC Processor (RLL, AYK, FAB), pp. 28–37.
LICSLICS-1991-Taylor #fixpoint
The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.
HTECHT-1990-MylonasH #hypermedia
Hypertext from the Data Point of View: Paths and Links in the Perseus Project (EM, SH), pp. 324–336.
SIGMODSIGMOD-1990-BeckmannKSS #performance #robust
The R*-Tree: An Efficient and Robust Access Method for Points and Rectangles (NB, HPK, RS, BS), pp. 322–331.
ESOPESOP-1990-NielsonN #exclamation #for free
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.
PLDIPLDI-1990-Clinger #float #how
How to Read Floating-Point Numbers Accurately (WDC), pp. 92–101.
PLDIPLDI-1990-SteeleW #float #how
How to Print Floating-Point Numbers Accurately (GLSJ, JLW), pp. 112–126.
PLDIBest-of-PLDI-1990-Clinger90a #float #how
How to read floating point numbers accurately (with retrospective) (WDC), pp. 360–371.
PLDIBest-of-PLDI-1990-SteeleW90a #float #how
How to print floating-point numbers accurately (with retrospective) (GLSJ, JLW), pp. 372–389.
CHICHI-1990-GillanHARM #how #question
How does Fitts’ law fit pointing and dragging? (DJG, KLH, SA, MR, LM), pp. 227–234.
OOPSLAOOPSLA-ECOOP-1990-CarreG #inheritance #multi
The Point of View Notion for Multiple Inheritance (BC, JMG), pp. 312–321.
PPDPPLILP-1990-Sahlin #fixpoint #prolog #using
Finding the Least Fixed Point Using Wait-Declarations in Prolog (DS), pp. 151–158.
DACDAC-1989-ZhangPR #performance
Efficient Final Placement Based on Nets-as-Points (XZ, LTP, RAR), pp. 578–581.
PODSPODS-1989-DublishM #bound #fixpoint #query
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies (PD, SNM), pp. 324–335.
PODSPODS-1989-Przymusinski #fixpoint #logic programming
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
VLDBVLDB-1989-HenrichSW #multi
The LSD tree: Spatial Access to Multidimensional Point and Nonpoint Objects (AH, HWS, PW), pp. 45–53.
STOCSTOC-1989-Feder #approach #fixpoint #network
A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.
ICSEICSE-1989-VernerTJH #analysis #bibliography #case study #dependence #perspective
Technology Dependence in Function Point Analysis: A Case Study and Critical Review (JMV, GT, BJ, RGH), pp. 375–382.
ASPLOSASPLOS-1989-Dally #float
Micro-Optimization of Floating Point Operations (WJD), pp. 283–289.
ASPLOSASPLOS-1989-JouppiBW #architecture #float
A Unified Vector/Scalar Floating-Point Architecture (NPJ, JB, DWW), pp. 134–143.
LICSLICS-1989-MisloveMO #fixpoint #set
Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.
ICLPNACLP-1989-Batarekh #convergence #fixpoint
Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.
SIGMODSIGMOD-1988-Goldberg #perspective
Data with a Point of View (AG), p. 1.
VLDBVLDB-1988-Rougemont #algorithm #fixpoint #representation #scalability #semantics
Fixed-point semantics and the representation of algorithms on large data (MdR), pp. 264–272.
LICSLICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
LICSLICS-1988-Niwinski #fixpoint #generative #infinity
Fixed Points vs. Infinite Generation (DN), pp. 402–409.
DACDAC-1987-Krishnamurthy #approach #problem #programming
A Dynamic Programming Approach to the Test Point Insertion Problem (BK), pp. 695–705.
FPCAFPCA-1987-MartinH #finite #fixpoint
Finding fixed points in finite lattices (CM, CH), pp. 426–445.
ICLPICLP-1987-OKeefe87 #finite #fixpoint #problem
Finite Fixed-Point Problems (RAO), pp. 729–743.
LICSLICS-1987-Milner #fixpoint
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) (RM), p. 3.
ICALPICALP-1986-Niwinski #fixpoint #on the
On Fixed-Point Clones (Extended Abstract) (DN), pp. 464–473.
ICLPSLP-1986-Tarnlund86 #logic programming #perspective
Logic Programming-From a Logic Point of View (SÅT), pp. 96–103.
VLDBVLDB-1985-Zlatuska #database #functional #perspective
Hit Data Model Data Bases from the Functional Point of View (JZ), pp. 470–477.
ICALPICALP-1985-ChazelleE #problem #retrieval
Optimal Solutions for a Class of Point Retrieval Problems (BC, HE), pp. 80–89.
ICALPICALP-1985-Cole #clustering #set
Partitioning Point Sets in 4 Dimensions (RC0), pp. 111–119.
VLDBVLDB-1984-Walter #approach #commit #database #multi #transaction
Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.
SIGMODSIGMOD-1983-Stonebraker #question
DBMS and AI: Is There any Common Point of View? (MS), p. 134.
ICALPICALP-1983-EdelsbrunnerW #on the #set
On the Number of Equal-Sized Semispaces of a Set of Points in the Plane (Extended Abstract) (HE, EW), pp. 182–187.
DACDAC-1982-Pinter #on the
On routing two-point nets across a channel (RYP), pp. 894–902.
ICALPICALP-1982-Niwinski #algebra #fixpoint #semantics
Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract) (DN), pp. 384–396.
DACDAC-1981-Dutton #automation #design #perspective #tool support
Position statement — tools for design automation from a university point of view (RWD), p. 333.
ICALPICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics
Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.
ICALPICALP-1979-Istrail #fixpoint #monad #recursion #semantics #source code #theorem
A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs (SI), pp. 289–303.
ICALPICALP-1979-Tiuryn #fixpoint
Unique Fixed Points vs. Least Fixed Points (JT), pp. 633–645.
DACDAC-1977-PedroG #algorithm #automation #design #named #set
DOCIL: An automatic system for printed circuit board (PCB) designing. A board description language and an algorithm to connect a set of points (TdP, RG), pp. 174–181.
STOCSTOC-1976-LeeP
Location of a Point in a Planar Subdivision and its Applications (DTL, FPP), pp. 231–235.
VLDBVLDB-1975-DasTY #design
Reorganization Points for File Designs with Nonlinear Processing Costs (KSD, TJT, SBY), pp. 516–518.
VLDBVLDB-1975-WinslowL
Optimal Choice of Data Restructuring Points (LEW, JCL), pp. 353–363.
SIGIRSIGIR-1973-Smith #perspective
From a Data Description Point of View (DCPS), pp. 118–130.
STOCSTOC-1969-Thatcher #automaton #finite
Transformations and Translations from the Point of View of Generalized Finite Automata Theory (JWT), pp. 129–142.
SOSPSOSP-1969-Kernighan #segmentation #source code
Optimal segmentation points for programs (BWK), pp. 47–53.

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