1814 papers:
DAC-2015-HenkelKPS #roadmap- New trends in dark silicon (JH, HK, SP, MS), p. 6.
- DAC-2015-Kahng #game studies
- New game, new goal posts: a recent history of timing closure (ABK), p. 6.
- DAC-2015-RoyLUP #multi #named #optimisation #paradigm #performance
- OSFA: a new paradigm of gate-sizing for power/performance optimizations under multiple operating conditions (SR, DL, JU, DZP), p. 6.
DATE-2015-BrunduPAGRRM #distributed #energy #framework #integration #strict- A new distributed framework for integration of district energy data from heterogeneous devices (FGB, EP, AA, MG, GR, SR, EM), pp. 992–993.
- DATE-2015-DupuisBFNR #hardware #testing
- New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
- DATE-2015-HuQ #approximate #fault
- A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
HT-2015-MagdyDW #quote #twitter- “I like ISIS, but I want to watch Chris Nolan’s new movie”: Exploring ISIS Supporters on Twitter (WM, KD, IW), pp. 321–322.
SIGMOD-2015-FengLKX #in memory #layout #memory management #named- ByteSlice: Pushing the Envelop of Main Memory Data Processing with a New Storage Layout (ZF, EL, BK, WX), pp. 31–46.
- SIGMOD-2015-YuanWYC #big data #database #scalability
- A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.
VLDB-2015-JoglekarGP #data analysis- Smart Drill-Down: A New Data Exploration Operator (MJ, HGM, AGP), pp. 1928–1939.
- VLDB-2015-PottiP #approximate #named #paradigm #query
- DAQ: A New Paradigm for Approximate Query Processing (NP, JMP), pp. 898–909.
ITiCSE-2015-XhakajL #approach #education- A New Approach To Teaching Red Black Tree (FX, CWL), pp. 278–283.
ESOP-2015-TerauchiU #approach #refinement- Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
TACAS-2015-KumarSK #concept #scalability #slicing- Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
LATA-2015-GonzeJ #on the #probability- On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.
- LATA-2015-Restivo #research
- The Shuffle Product: New Research Directions (AR), pp. 70–81.
CHI-2015-GrevetG #prototype #scalability #social #using- Piggyback Prototyping: Using Existing, Large-Scale Social Computing Systems to Prototype New Ones (CG, EG), pp. 4047–4056.
- CHI-2015-NoroozMJMF #approach #learning #named #smarttech #visualisation
- BodyVis: A New Approach to Body Learning Through Wearable Sensing and Visualization (LN, MLM, AJ, BM, JEF), pp. 1025–1034.
- CHI-2015-PlimmerHZKYJBD #interactive #tool support
- New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
- CHI-2015-VatavuW #analysis #elicitation #formal method #metric #tool support
- Formalizing Agreement Analysis for Elicitation Studies: New Measures, Significance Test, and Toolkit (RDV, JOW), pp. 1325–1334.
- CHI-2015-WoltersKMDM #corpus #design #interface
- The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.
CSCW-2015-ChangHT #recommendation #using- Using Groups of Items to Bootstrap New Users in Recommender Systems (SC, FMH, LGT), pp. 1258–1269.
- CSCW-2015-CiampagliaT #lightweight #named #wiki
- MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.
- CSCW-2015-Diakopoulos #editing
- The Editor’s Eye: Curation and Comment Relevance on the New York Times (NAD), pp. 1153–1157.
- CSCW-2015-Pierson
- Outnumbered but Well-Spoken: Female Commenters in the New York Times (EP), pp. 1201–1213.
DUXU-DD-2015-Fabri #design #education #lessons learnt #student- Thinking with a New Purpose: Lessons Learned from Teaching Design Thinking Skills to Creative Technology Students (MF), pp. 32–43.
- DUXU-DD-2015-GuoSYL #people
- Personal Museum — A New Museum that Focus on Emotional Relationship Between People and Belongings (LG, YS, SY, HBL), pp. 502–512.
- DUXU-DD-2015-Lera #approach #design #interactive #matter
- Emotion-Centered-Design (ECD) New Approach for Designing Interactions that Matter (EdL), pp. 406–416.
- DUXU-DD-2015-PazPP #case study #heuristic #usability
- Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.
- DUXU-IXD-2015-GomesFL
- Antique School Furniture, New Technological Features Needs (AG, EF, LL), pp. 185–196.
- DUXU-IXD-2015-Pauzie
- Head Up Display in Automotive: A New Reality for the Driver (AP), pp. 505–516.
- DUXU-IXD-2015-YangWP #empirical #research
- New Research Methods for Media and Cognition Experiment Course (YY, SW, LP), pp. 327–334.
- DUXU-UI-2015-BrahnamW #design #paradigm #towards
- Re/Framing Virtual Conversational Partners: A Feminist Critique and Tentative Move Towards a New Design Paradigm (SB, MW), pp. 172–183.
- DUXU-UI-2015-GomezFD #bound #education
- Transcending Disciplinary, Cultural and National Boundaries: Emergent Technologies, New Education Landscape and the Cloud Workshop Project (RG, PF, RD), pp. 631–642.
- DUXU-UI-2015-GrimaldiCM #communication #interface #named
- CubeMate: A New Communication Device as Non-verbal Interface in a Shared Space (RG, VC, CMM), pp. 434–443.
- HCI-IT-2015-GuXCZ #using
- To Write not Select, a New Text Entry Method Using Joystick (ZG, XX, CC, YZ), pp. 35–43.
- HCI-UC-2015-BorsciLBJ #assessment #prototype
- Early Prototype Assessment of a New Virtual System for Training Procedural Skills of Automotive Service Operators: LARTE Tool (SB, GL, MB, BJ), pp. 135–143.
- HCI-UC-2015-Wittenberg #automation #industrial #question #requirements #user interface
- Cause the Trend Industry 4.0 in the Automated Industry to New Requirements on User Interfaces? (CW), pp. 238–245.
- HIMI-IKC-2015-Bretschneider-Hagemes #development #low cost #mobile #multi #question #simulation
- Development of a New Low Cost Driving Simulation for Assessing Multidimensional Task Loads Caused by Mobile ICT at Drivers’ Workplaces. — Objective-Fidelity Beats Equipment-Fidelity? (MBH), pp. 173–179.
- HIMI-IKC-2015-ZhangT #design #game studies
- Considering a New Nanbu Fuurin Design that Play a Healing Sound — Including Innovations in Appearance and Texture, and Continually Improving- (YZ, TT), pp. 675–684.
- HIMI-IKD-2015-AinoyaKT
- Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.
- HIMI-IKD-2015-LawsonBTKHR #development
- Human Factors to Consider During the Early Development and Dissemination of New Displays to Improve Spatial Orientation and Situation Awareness (BDL, JCB, LBIT, AMK, CRH, AHR), pp. 412–424.
- HIMI-IKD-2015-PiconeP #architecture #synthesis
- A New Information Architecture: A Synthesis of Structure, Flow, and Dialectic (RARP, BP), pp. 320–331.
- LCT-2015-PhamNT #education #music #recognition
- Virtual Music Teacher for New Music Learners with Optical Music Recognition (VKP, HDN, MTT), pp. 415–426.
- LCT-2015-SmithS #evolution #game studies #video
- Let’s Play, Video Streams, and the Evolution of New Digital Literacy (PAS, AS), pp. 520–527.
- LCT-2015-VallsRF #architecture #design #education #game studies #roadmap
- E-Learning and Serious Games — New Trends in Architectural and Urban Design Education (FV, ER, DF), pp. 632–643.
ECIR-2015-WangHS0W0 #network #problem #recommendation #social #towards- Toward the New Item Problem: Context-Enhanced Event Recommendation in Event-Based Social Networks (ZW, PH, LS, KC, SW, GC), pp. 333–338.
ICML-2015-GeZ #matrix- Intersecting Faces: Non-negative Matrix Factorization With New Guarantees (RG, JZ), pp. 2295–2303.
- ICML-2015-GuL #algorithm #fault
- A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
KDD-2015-XingHDKWLZXKY #big data #distributed #framework #machine learning #named- Petuum: A New Platform for Distributed Machine Learning on Big Data (EPX, QH, WD, JKK, JW, SL, XZ, PX, AK, YY), pp. 1335–1344.
SEKE-2015-Murillo-MoreraJ #algorithm #approach #framework #learning #predict #search-based #using- A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
SIGIR-2015-ParkKZG #retrieval- Retrieval of Relevant Opinion Sentences for New Products (DHP, HDK, CZ, LG), pp. 393–402.
SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named- LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
- SAC-2015-ElyasovPHRVC #equivalence #execution #testing
- AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
- SAC-2015-NascimentoBJ #approach #geometry #recognition
- A new approach to biometric recognition based on hand geometry (MVPdN, LVB, NLCJ), pp. 59–65.
- SAC-2015-RodriguesBM #approach #behaviour #clustering #correlation #energy #using
- Using fractal clustering to explore behavioral correlation: a new approach to reduce energy consumption in WSN (FR, AB, JEBM), pp. 589–591.
ICSE-v2-2015-Devanbu- New Initiative: The Naturalness of Software (PTD), pp. 543–546.
HPDC-2015-KaxirasKNRS #approach #distributed #execution #memory management #scalability- Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.
PPoPP-2015-ChenCM #named #parallel- Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
CAV-2015-DietschHLP #approach #ltl #model checking #modulo theories- Fairness Modulo Theory: A New Approach to LTL Software Model Checking (DD, MH, VL, AP), pp. 49–66.
ICST-2015-CastillosWW #approach- Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.
- SAT-2015-IvriiRS #incremental #mining #satisfiability
- Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
- SAT-2015-Zielke0 #approach
- A New Approach to Partial MUS Enumeration (CZ, MK), pp. 387–404.
CBSE-2014-DidierM #approach #component #detection- A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
CASE-2014-HungLHTC #development- Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
- CASE-2014-LvCDWC
- A new designed quadruped robot with elastic joints (ML, WC, XD, JW, XC), pp. 1002–1007.
- CASE-2014-XuJGX #energy #scalability
- A new method to solve large-scale building energy management for energy saving (ZX, QSJ, XG, XX), pp. 940–945.
- DAC-2014-EkenZWJLC #self
- A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
- DAC-2014-HoC #optimisation #performance #pipes and filters
- A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
- DAC-2014-SwaminathanLLKSN #architecture #paradigm
- Steep Slope Devices: Enabling New Architectural Paradigms (KS, HL, XL, MSK, JS, VN), p. 6.
- DAC-2014-YuSHEAB #metric #parametricity #using
- Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.
- DATE-2014-AyariABCKR #predict
- New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.
- DATE-2014-ShangZXY #design
- Asynchronous design for new on-chip wide dynamic range power electronics (DS, XZ, FX, AY), pp. 1–6.
- DATE-2014-Taylor #design
- A landscape of the new dark silicon design regime (MBT), p. 1.
- DATE-2014-TenaceCMP #logic
- Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.
- DATE-2014-XuB #hybrid #question
- Hybrid side-channel/machine-learning attacks on PUFs: A new threat? (XX, WB), pp. 1–6.
- DATE-2014-YangHKKCPK #parallel #predict #simulation
- Predictive parallel event-driven HDL simulation with a new powerful prediction strategy (SY, JH, DK, NK, DC, JP, JK), pp. 1–3.
DocEng-2014-FerreiraLFSR #assessment #representation #similarity- A new sentence similarity assessment measure based on a three-layer sentence representation (RF, RDL, FF, SJS, MR), pp. 25–34.
- DocEng-2014-Lynch #evolution
- The evolving scholarly record: new uses and new forms (CAL), pp. 1–2.
DRR-2014-BrunoL #dataset #documentation #open data #recognition #research- The Lehigh Steel Collection: a new open dataset for document recognition research (BB, DPL), p. ?–9.
- DRR-2014-CartonLC #interactive #learning #named
- LearnPos: a new tool for interactive learning positioning (CC, AL, BC), p. ?–12.
- SIGMOD-2014-KimHLPY #framework #graph #named #parallel #scalability
- OPT: a new framework for overlapped and parallel triangulation in large-scale graphs (JK, WSH, SL, KP, HY), pp. 637–648.
- SIGMOD-2014-ZengGMZ #approximate #estimation #fault #performance #query
- The analytical bootstrap: a new method for fast error estimation in approximate query processing (KZ, SG, BM, CZ), pp. 277–288.
- VLDB-2014-AlucOD #database #design #matter #rdf #why
- Workload Matters: Why RDF Databases Need a New Design (GA, MTÖ, KD), pp. 837–840.
- VLDB-2014-CetintemelDKMMMPSSTTWZ #named #streaming
- S-Store: A Streaming NewSQL System for Big Velocity Applications (UÇ, JD, TK, SM, DM, JM, AP, MS, ES, NT, KT, HW, SBZ), pp. 1633–1636.
- VLDB-2014-ChaPSKRL
- Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.
- ITiCSE-2014-Rogers #learning #question
- New technology, new learning? (YR), p. 1.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing- FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
MSR-2014-KleinCK #debugging #detection- New features for duplicate bug detection (NK, CSC, NAK), pp. 324–327.
STOC-2014-GargMV #algorithm #equilibrium- Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.
- STOC-2014-Williams #algorithm #bound #linear
- New algorithms and lower bounds for circuits with linear threshold gates (RW), pp. 194–202.
FLOPS-2014-NaR #formal method #subclass #type system- A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
DLT-2014-ReinhardtY- The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALP-v1-2014-GavinskyL #reduction- En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.
- CHI-2014-SeokWL #design #experience #user interface
- Non-finito products: a new design space of user creativity for personal user experience (JS, JbW, YKL), pp. 693–702.
- DHM-2014-OtaEH
- Future Applied Conventional Technology Engineering New Academic Fields from Manufacturing Country JAPAN (TO, AE, HH), pp. 185–196.
- DUXU-DI-2014-Barros #gesture #interactive #interface #sketching
- Extending ActionSketch for New Interaction Styles: Gestural Interfaces and Interactive Environments (GB), pp. 509–520.
- DUXU-DI-2014-RenziF #gesture #interactive #interface #modelling #multi
- Affordances and Gestural Interaction on Multi-touch Interface Systems: Building New Mental Models (ABR, SF), pp. 615–623.
- DUXU-DI-2014-RugenhagenH #design #development #game studies #research
- Game Design Techniques in User Research Methods — A New Way to Reach the High Score in Development Teams (ER, TH), pp. 754–762.
- DUXU-DI-2014-ShinKKJS #design #game studies #interactive #process
- A New Design Process for Viewer Participation in Interactive TV Program: Focused on the Interactive TV Game Show Hae-un-dae (JS, HJK, JIK, BGJ, CS), pp. 763–772.
- DUXU-DP-2014-Schall14a
- New Methods for Measuring Emotional Engagement (AS), pp. 347–357.
- DUXU-DP-2014-StamatoQM #challenge
- Aging and New Technologies: Challenges and Perspectives (CS, MQ, CRM), pp. 173–184.
- DUXU-ELAS-2014-HungS #case study #design #visual notation
- Visual Design in Healthcare for Low-Literate Users — A Case Study of Healthcare Leaflets for New Immigrants in Taiwan (YLH, CS), pp. 44–55.
- DUXU-TMT-2014-MedeirosCCR #challenge #design #interface
- Challenges in Designing New Interfaces for Musical Expression (RM, FC, GC, GR), pp. 643–652.
- DUXU-TMT-2014-So
- Affording Creativity and New Media Possibilities (ZS), pp. 675–685.
- HCI-AIMT-2014-TewsOFK #detection #interface #research
- Current and New Research Perspectives on Dynamic Facial Emotion Detection in Emotional Interface (TKT, MO, HF, TK), pp. 779–787.
- HCI-AS-2014-HidakaO
- Proposal for a New Entertainment System That Connects Real Life and Net Excitement (KH, KO), pp. 604–613.
- HCI-TMT-2014-CafezeiroGCM #behaviour #collaboration #interactive #roadmap
- A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions (IC, CG, VC, IdCM), pp. 58–68.
- HIMI-DE-2014-FukuzumiYTYYK
- A New Computational Method for Single-Trial-EEG-Based BCI — Proposal of the Number of Electrodes (SF, HY, KT, TY, TY, KK), pp. 148–156.
- LCT-TRE-2014-FardounACL #communication #community
- A New Way to Community Services — Communication with Administration (HMF, DMA, APC, SRL), pp. 397–407.
- LCT-TRE-2014-LorenzKL #education #implementation
- The Role of Educational Technologist in Implementing New Technologies at School (BL, KK, ML), pp. 288–296.
- SCSM-2014-LeeLS #approach #network #social
- A New Approach to Exploring Spatiotemporal Space in the Context of Social Network Services (JGL, KCL, DHS), pp. 221–228.
- SCSM-2014-LeonardoFGPSSUWC #identification #social #social media #trust
- Identifying Locations of Social Significance: Aggregating Social Media Content to Create a New Trust Model for Exploring Crowd Sourced Data and Information (ADL, SF, AG, FP, WS, TS, AU, DW, JBC), pp. 170–177.
ICEIS-v1-2014-AntunesS #data mining #mining #roadmap- New Trends in Knowledge Driven Data Mining (CA, AS), pp. 346–351.
- ICEIS-v1-2014-ChinoGRTT #named #scalability
- TrieMotif — A New and Efficient Method to Mine Frequent K-Motifs from Large Time Series (DYTC, RRdVG, LASR, CTJ, AJMT), pp. 60–69.
- ICEIS-v2-2014-FerreiraMS #education #social
- Social Business — A New Dimension for Education and Training in Organizations — The EToW Model (MJF, FM, MIS), pp. 420–427.
- ICEIS-v2-2014-MahmoudBAG #approach #learning
- A New Approach Based on Learning Services to Generate Appropriate Learning Paths (CBM, FB, MHA, FG), pp. 643–646.
- ICEIS-v3-2014-AndradeFBP
- New Approaches for Geographic Location Propagation in Digital Photograph Collections (DOSdA, HFdF, CdSB, ACdP), pp. 92–99.
CIKM-2014-SongG #difference #named #privacy #query- Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.
- ECIR-2014-GrausTBR #concept #generative #predict #pseudo #social
- Generating Pseudo-ground Truth for Predicting New Concepts in Social Streams (DG, MT, LB, MdR), pp. 286–298.
- ICML-c2-2014-SuttonMPH #equivalence #monte carlo
- A new Q(λ) with interim forward view and Monte Carlo equivalence (RSS, ARM, DP, HvH), pp. 568–576.
ICPR-2014-AwadCR #hybrid- A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
- ICPR-2014-Garcia-OrdasAGG #invariant #named
- aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.
- ICPR-2014-HalsteadDSF #approach #database #people #semantics #video
- Locating People in Video from Semantic Descriptions: A New Database and Approach (MH, SD, SS, CF), pp. 4501–4506.
- ICPR-2014-HoreY #image
- A New Filter for Reducing HALO Artifacts in Tone Mapped Images (AH, OYP), pp. 889–894.
- ICPR-2014-JinIHS #approach #using
- A New Approach of Arc Skeletonization for Tree-like Objects Using Minimum Cost Path (DJ, KSI, EAH, PKS), pp. 942–947.
- ICPR-2014-Lee #geometry #re-engineering
- New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.
- ICPR-2014-LiYSC #image
- A New Divergence Measure Based on Arimoto Entropy for Medical Image Registration (BL, GY, HS, JLC), pp. 3197–3202.
- ICPR-2014-MasselliZ #approach #geometry #performance #problem
- A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
- ICPR-2014-MiaoSH #linear #multi #programming #robust
- Fusion of Multibiometrics Based on a New Robust Linear Programming (DM, ZS, YH), pp. 291–296.
- ICPR-2014-SilvaTT #approach #graph #named
- BoG: A New Approach for Graph Matching (FBS, ST, RdST), pp. 82–87.
- ICPR-2014-YamashitaW #classification #using
- k-NN Classification of Handwritten Characters Using a New Distortion-Tolerant Matching Measure (YY, TW), pp. 262–267.
- KDD-2014-TangTL #future of #recommendation #social #social media
- Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.
- KDD-2014-ZoeterDCA #algorithm #deployment
- New algorithms for parking demand management and a city-scale deployment (OZ, CRD, SC, JMA), pp. 1819–1828.
KDIR-2014-AbdallahI #classification #modelling #n-gram #using #web- URL-based Web Page Classification — A New Method for URL-based Web Page Classification Using n-Gram Language Models (TAA, BdlI), pp. 14–21.
- KDIR-2014-DeglInnocentiNT #approach #knowledge base #multi
- A New Multi-lingual Knowledge-base Approach to Keyphrase Extraction for the Italian Language (DD, DDN, CT), pp. 78–85.
- KDIR-2014-DomeniconiMMP #ontology #random
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (GD, MM, GM, PP), pp. 107–116.
MLDM-2014-AndreaSVU #detection #performance- A New Measure of Outlier Detection Performance (KA, GS, NV, AU), pp. 190–197.
- MLDM-2014-MountassirBB #algorithm #classification #documentation #representation
- The Nearest Centroid Based on Vector Norms: A New Classification Algorithm for a New Document Representation Model (AM, HB, IB), pp. 442–456.
RecSys-2014-KluverK #behaviour #recommendation- Evaluating recommender behavior for new users (DK, JAK), pp. 121–128.
- SIGIR-2014-LinSKC #modelling #recommendation
- New and improved: modeling versions to improve app recommendation (JL, KS, MYK, TSC), pp. 647–656.
- SIGIR-2014-MuhleisenSLV #information retrieval #prototype
- Old dogs are great at new tricks: column stores for ir prototyping (HM, TS, JL, APdV), pp. 863–866.
SKY-2014-Favaro #reuse- Only the New? Knowledge Reuse in Innovation (JMF), pp. 1–3.
RE-2014-BruunHIJK #distributed #mobile #requirements- Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps (LB, MBH, JBI, JBJ, BK), pp. 335–343.
- SAC-2014-BergamascoN #3d #approach #feature model #retrieval #using
- A new local feature extraction approach for content-based 3D medical model retrieval using shape descriptor (LCCB, FLSN), pp. 902–907.
- SAC-2014-ChoiKKLK #network
- A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.
- SAC-2014-LoCCSL #algorithm #locality
- ICAP, a new flash wear-leveling algorithm inspired by locality (SWL, BHC, YWC, TCS, YCL), pp. 1478–1483.
- ICSE-2014-XiaoCK #architecture #design
- Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
ASPLOS-2014-Gehlhaar #architecture #future of #scalability- Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
CGO-2014-JimboreanKSBK #approach #compilation #hardware #scalability- Fix the code. Don’t tweak the hardware: A new compiler approach to Voltage-Frequency scaling (AJ, KK, VS, DBS, SK), p. 262.
LICS-CSL-2014-Ehrhard #correctness #proving- A new correctness criterion for MLL proof nets (TE), p. 10.
- LICS-CSL-2014-FredriksonJ #approach #privacy #satisfiability
- Satisfiability modulo counting: a new approach for analyzing privacy properties (MF, SJ), p. 10.
- LICS-CSL-2014-GottlobM #bound #logic #problem
- Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.
- SAT-2014-BalintBFS #heuristic #implementation #satisfiability
- Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (AB, AB, AF, US), pp. 302–316.
- CASE-2013-Xu #robust
- New robust position and force regulation for a compliant microgripper (QX), pp. 801–806.
- DAC-2013-Fang #simulation
- A new time-stepping method for circuit simulation (GPF), p. 10.
- DAC-2013-YangCTH #performance
- New ERA: new efficient reliability-aware wear leveling for endurance enhancement of flash storage devices (MCY, YHC, CWT, PCH), p. 6.
- DATE-2013-ChaG #approach #detection #effectiveness #metric
- Trojan detection via delay measurements: a new approach to select paths and vectors to maximize effectiveness and minimize cost (BC, SKG), pp. 1265–1270.
- DATE-2013-GaoBW #paradigm #performance
- A new paradigm for trading off yield, area and performance to enhance performance per wafer (YG, MAB, YW), pp. 1753–1758.
- DATE-2013-KoeberlKS #generative
- Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.
ICDAR-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.
- ICDAR-2013-Furukawa #composition #using
- A New Method for Discriminating Printers Based on Contours Qualities of Printed Characters Using Wavelet Decomposition (TF), pp. 1115–1119.
- ICDAR-2013-SharmaSPBT #multi #segmentation #video #word
- A New Method for Character Segmentation from Multi-oriented Video Words (NS, PS, UP, MB, CLT), pp. 413–417.
- ICDAR-2013-ZaraiLDW
- Integrating Copies Obtained from Old and New Preservation Efforts (YZ, TL, ND, LW), pp. 47–51.
- SIGMOD-2013-SarmaD #research
- SIGMOD 2013 new researcher symposium (ADS, XLD), pp. 1293–1294.
- SIGMOD-2013-YuHLCZ #database #estimation #named #query
- CS2: a new database synopsis for query estimation (FY, WCH, CL, DC, MZ), pp. 469–480.
- VLDB-2013-BoghSJ #approach #named #retrieval
- GroupFinder: A New Approach to Top-K Point-of-Interest Group Retrieval (KSB, AS, CSJ), pp. 1226–1229.
- VLDB-2013-DeBrabantPTSZ #approach #architecture #database #named
- Anti-Caching: A New Approach to Database Management System Architecture (JD, AP, ST, MS, SBZ), pp. 1942–1953.
- VLDB-2013-RamazzinaBS #framework
- A New Service for Customer Care Based on the TrentoRise BigData Platform (SR, CLB, DS), pp. 1162–1163.
- VLDB-2013-Rao0HT #keyword #named #performance
- Bitlist: New Full-text Index for Low Space Cost and Efficient Keyword Search (WR, LC, PH, ST), pp. 1522–1533.
- ITiCSE-2013-BarguryPL #education
- A nationwide exam as a tool for improving a new curriculum (IZB, BP, DL), pp. 267–272.
- ITiCSE-2013-RodgerGML
- Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
- ITiCSE-2013-SabitzerS #concept #education #programming
- Brain-based programming: a new concept for computer science education (BS, SS), p. 345.
CSMR-2013-ArnaoudovaPAG #anti #product line- A New Family of Software Anti-patterns: Linguistic Anti-patterns (VA, MDP, GA, YGG), pp. 187–196.
- STOC-2013-Ben-SassonGKKS #algebra #geometry #product line
- A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.
- STOC-2013-BhowmickDL #bound #product line
- New bounds for matching vector families (AB, ZD, SL), pp. 823–832.
- STOC-2013-LeeRS #approach #using
- A new approach to computing maximum flows using electrical flows (YTL, SR, NS), pp. 755–764.
- STOC-2013-Li #exponential #independence
- New independent source extractors with exponential improvement (XL), pp. 783–792.
- DLT-2013-PrusaMO #automaton
- New Results on Deterministic Sgraffito Automata (DP, FM, FO), pp. 409–419.
- ICALP-v1-2013-ChanLNS
- New Doubling Spanners: Better and Simpler (THHC, ML, LN, SS), pp. 315–327.
- ICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards
- Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (Extended Abstract) (YF, ML, MM, JN, MV), pp. 437–448.
- ICALP-v2-2013-AlbersP #algorithm #online #scheduling #web
- New Online Algorithms for Story Scheduling in Web Advertising (SA, AP), pp. 446–458.
IFL-2013-HackettHJ #approach #optimisation #recursion #source code- The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.
- CHI-2013-DalsgardE #approach #case study #library #scalability
- Large-scale participation: a case study of a participatory approach to developing a new public library (PD, EE), pp. 399–408.
- CHI-2013-FasteRES #design #distributed #human-computer
- Brainstorm, Chainstorm, Cheatstorm, Tweetstorm: new ideation strategies for distributed HCI design (HF, NR, RE, ES), pp. 1343–1352.
- CHI-2013-GibsonH #how #question #women
- Digital motherhood: how does technology help new mothers? (LG, VLH), pp. 313–322.
- CSCW-2013-BalesL #student
- Supporting a sense of connectedness: meaningful things in the lives of new university students (ESB, SEL), pp. 1137–1146.
- CSCW-2013-Monroy-HernandezBKCC
- The new war correspondents: he rise of civic media curation in urban warfare (AMH, DB, EK, MDC, SC), pp. 1443–1452.
- CSCW-2013-MorganBWS #case study #experience #user interface #wiki
- Tea and sympathy: crafting positive new user experiences on wikipedia (JTM, SB, HW, SS), pp. 839–848.
- DHM-HB-2013-BazleyB #information management #process
- A Knowledge Transfer Process: Establishing Training in New Technology for an Ageing Workforce (CMB, DB), pp. 3–9.
- DHM-SET-2013-LuL #design #modelling #safety
- Constructing Ergonomic Safety Modelling for Evaluating New Designs of Child Car Seats (CYL, HHL), pp. 338–347.
- DUXU-CXC-2013-BarrosNCSC #design #development #game studies
- The Design in the Development of Exergames: A New Game for the Contribute to Control Childhood Obesity (MB, AN, WC, MMS, FC), pp. 491–500.
- DUXU-NTE-2013-Pohlmeyer #challenge #design
- Positive Design: New Challenges, Opportunities, and Responsibilities for Design (AEP), pp. 540–547.
- DUXU-PMT-2013-LuhCK #concept #design #development #process
- A Design Process for New Concept Development (DBL, F(HC, V(HK), pp. 545–553.
- DUXU-PMT-2013-VinagreN #design #named
- Usagame — A New Methodology to Support User Centered Design of Touchscreen Applications (PV, ILN), pp. 620–629.
- DUXU-WM-2013-GencerBZV #framework #machine learning #mobile #using
- A New Framework for Increasing User Engagement in Mobile Applications Using Machine Learning Techniques (MG, GB, ÖZ, TV), pp. 651–659.
- DUXU-WM-2013-GotzeCKSB #concept #evaluation
- Evaluation of a New Cockpit Color Concept under Mesopic Lighting for Urban Driving (MG, ASC, AK, TS, KB), pp. 359–366.
- DUXU-WM-2013-Gould #network
- Dot, Line, Network: Helping Individuals Make Sense of “New Data” (EWG), pp. 496–505.
- DUXU-WM-2013-ShinJ #online #social #social media
- Online Advertising as a New Story: Effects of User-Driven Photo Advertisement in Social Media (MS, DYJ), pp. 103–112.
- HCI-AMTE-2013-ChoY #collaboration #design #human-computer #towards
- Toward a New Design Philosophy of HCI: Knowledge of Collaborative Action of “We” Human-and-Technology (HC, JY), pp. 32–40.
- HCI-AS-2013-CharoenpitO #biology #using
- A New E-learning System Focusing on Emotional Aspect Using Biological Signals (SC, MO), pp. 343–350.
- HCI-AS-2013-MajimaMSS #learning
- A Proposal of the New System Model for Nursing Skill Learning Based on Cognition and Technique (YM, YM, MS, MS), pp. 134–143.
- HCI-III-2013-WangLLD #algorithm #performance #realtime #visual notation
- A New Real-Time Visual SLAM Algorithm Based on the Improved FAST Features (LW, RL, CL, FD), pp. 206–215.
- HCI-UC-2013-KleinS #approach #development #industrial #process #social #social media
- Social Media in the Product Development Process of the Automotive Industry: A New Approach (AK, GS), pp. 396–401.
- HIMI-HSM-2013-SakuradaH #interface #physics #using
- A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
- HIMI-LCCB-2013-NakajimaT #generative #learning #online
- New Potential of E-learning by Re-utilizing Open Content Online — TED NOTE: English Learning System as an Auto-assignment Generator (AN, KT), pp. 108–117.
- OCSC-2013-OtakeUS #game studies #social
- A Consideration of the Functions That Support to Find New Friends in Social Games (KO, TU, AS), pp. 405–411.
- ICEIS-v1-2013-ZaamouneBPB #analysis #approach #multi #relational
- A New Relational Spatial OLAP Approach for Multi-resolution and Spatio-multidimensional Analysis of Incomplete Field Data (MZ, SB, FP, PB), pp. 145–152.
- ICEIS-v2-2013-FakhfakhTM #documentation #metric #multi #retrieval
- A New Metric for Multimedia Retrieval in Structured Documents (SF, MT, WM), pp. 240–247.
- ICEIS-v2-2013-Milosz #case study #enterprise #legacy #performance #testing #using
- Performance Testing of New Enterprise Applications using Legacy Load Data — A HIS Case Study (MM), pp. 151–156.
- ICEIS-v3-2013-AhmadO #approach #architecture #enterprise #process #semantics
- A New Approach to Semantically Derive Enterprise Information Architecture from Business Process Architecture (MA, MO), pp. 363–369.
- CIKM-2013-DerakhshanSS #data type #performance #streaming
- A new operator for efficient stream-relation join processing in data streaming engines (RD, AS, BS), pp. 793–798.
- CIKM-2013-LefortierOSS #crawling
- Timely crawling of high-quality ephemeral new content (DL, LO, ES, PS), pp. 745–750.
- CIKM-2013-RousseauV #ad hoc #approach #information retrieval
- Graph-of-word and TW-IDF: new approach to ad hoc IR (FR, MV), pp. 59–68.
- ICML-c1-2013-Shin #design #future of #kernel
- A New Frontier of Kernel Design for Structured Data (KS), pp. 401–409.
- KDD-2013-CaoTCJ #named #online #paradigm #social
- WiseMarket: a new paradigm for managing wisdom of online social users (CCC, YT, LC, HVJ), pp. 455–463.
- KDD-2013-NarasimhanA #bound #named #optimisation
- SVMpAUCtight: a new support vector method for optimizing partial AUC based on a tight convex upper bound (HN, SA), pp. 167–175.
- KDD-2013-NiemannW #approach #collaboration #recommendation
- A new collaborative filtering approach for increasing the aggregate diversity of recommender systems (KN, MW), pp. 955–963.
- RecSys-2013-Adamopoulos #predict #rating #recommendation
- Beyond rating prediction accuracy: on new perspectives in recommender systems (PA), pp. 459–462.
- RecSys-2013-GuoZTY #e-commerce #recommendation
- Prior ratings: a new information source for recommender systems in e-commerce (GG, JZ, DT, NYS), pp. 383–386.
- RecSys-2013-XuBATMK #recommendation
- Catch-up TV recommendations: show old favourites and find new ones (MX, SB, SA, ST, AM, IK), pp. 285–294.
- SEKE-2013-SakamotoWF #design pattern #object-oriented #programming language
- Extended Design Patterns in New Object-Oriented Programming Languages (S) (KS, HW, YF), pp. 600–605.
- SIGIR-2013-BouadjenekHB #named #personalisation #ranking #social #web
- Sopra: a new social personalized ranking function for improving web search (MRB, HH, MB), pp. 861–864.
- SIGIR-2013-RousseauV #ad hoc #composition #information retrieval #normalisation
- Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.
LOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid- A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
POPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging- Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
- RE-2013-MahauxM #paradigm #requirements #research
- A new paradigm for applied requirements engineering research (MM, AM), pp. 353–356.
- SAC-2013-KangCLLKN #clustering
- Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
- SAC-2013-SilvaC #exception #interface #java
- New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
CADE-2013-ErbaturEKLLMMNSS #analysis #encryption #paradigm #protocol #symmetry #unification- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (SE, SE, DK, ZL, CL, CM, JM, PN, SS, RS), pp. 231–248.
CSL-2013-Statman #normalisation- A New Type Assignment for Strongly Normalizable Terms (RS), pp. 634–652.
- ICST-2013-ShuSHP #analysis #dependence #framework #named
- JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
- CASE-2012-DongNL #industrial #modelling
- A new ELM based on interval-value for modeling in industry systems (MD, KN, ML), pp. 869–873.
- CASE-2012-HsiehYCLTC
- A new swappable fluidic module for applications of capillary convective polymerase chain reaction (YFH, ASY, CWC, SKL, LYT, PHC), pp. 900–903.
- CASE-2012-NgoS #composition #design
- Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition (QHN, KTS), pp. 674–679.
- CASE-2012-RyuYKKKK #design
- Design of a new miniature haptic button based on magneto-rheological fluids (SR, THY, SYK, JHK, KUK, DSK), pp. 121–124.
- CASE-2012-VoisembertRM #evaluation
- Numerical evaluation of a new robotic manipulator based on inflatable joints (SV, AR, NM), pp. 544–549.
- CASE-2012-YiLTW #framework #scheduling
- A new operational framework to job shop scheduling for reducing carbon emissions (QY, CL, YT, QW), pp. 58–63.
- DAC-2012-RoaCJ #logic
- Material implication in CMOS: a new kind of logic (ER, WHC, BJ), pp. 1258–1259.
- DAC-2012-SasanianWM #quantum #using
- Realizing reversible circuits using a new class of quantum gates (ZS, RW, DMM), pp. 36–41.
- DAC-2012-SunGR #design #nondeterminism #robust
- A new uncertainty budgeting based method for robust analog/mixed-signal design (JS, PG, JMWR), pp. 529–535.
- DATE-2012-Chian #industrial #modelling
- New foundry models — accelerations in transformations of the semiconductor industry (MC), p. 2.
- DATE-2012-FritzBAH #approach #evaluation #monitoring #performance
- Evaluation of a new RFID system performance monitoring approach (GF, VB, OEKA, DH), pp. 1439–1442.
- DATE-2012-LeupersMPHSKV
- Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
- DATE-2012-MarinissenVGHRMB #detection #process
- EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
- DATE-2012-QuintonEBY #analysis #challenge #probability #roadmap
- Challenges and new trends in probabilistic timing analysis (SQ, RE, DB, PMY), pp. 810–815.
- DATE-2012-SabenaRS #algorithm #testing
- A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
- DATE-2012-SekaninaS #image #logic #multi #towards
- Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.
- DATE-2012-ZambelliIFCPOB #approach #trade-off
- A cross-layer approach for new reliability-performance trade-offs in MLC NAND flash memories (CZ, MI, MF, SDC, PP, PO, DB), pp. 881–886.
- SIGMOD-2012-Hanrahan #database
- Analytic database technologies for a new kind of user: the data enthusiast (PH), pp. 577–578.
CSEET-2012-MaoJSZ #education- A New Model on the School-Enterprise Cooperation Curriculum Construction (HM, NJ, WS, YZ), pp. 115–119.
- ITiCSE-2012-Bargury #education
- A new curriculum for junior-high in computer science (IZB), pp. 204–208.
- ITiCSE-2012-HershkovichH #education #how #tool support
- How innovative technology tools can be used to create new methodology for teaching knowledge (EH, BH), p. 387.
- ITiCSE-2012-StephensonCOG #standard
- The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.
- ESOP-2012-FajstrupGHMR #performance #reduction
- Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
FASE-2012-MahouachiKG #classification #design #detection #fault- A New Design Defects Classification: Marrying Detection and Correction (RM, MK, KG), pp. 455–470.
- CSMR-2012-Villavicencio #maintenance #refactoring
- A New Software Maintenance Scenario Based on Refactoring Techniques (GV), pp. 341–346.
SCAM-2012-BusingeSB #eclipse #plugin #predict- Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.
PLDI-2012-OliveiraSCLY #calculus #programming- The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
SAS-2012-IoualalenM #abstract domain #representation- A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
- STOC-2012-ODonnellW #game studies #np-hard
- A new point of NP-hardness for unique games (RO, JW), pp. 289–306.
- FLOPS-2012-Morihata #algorithm #parallel #problem
- Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.
- ICALP-v1-2012-CyganKPPW #clique #graph
- Clique Cover and Graph Separation: New Incompressibility Results (MC, SK, MP, MP, MW), pp. 254–265.
GRAPHITE-2012-EdelkampKT #clustering #named- Lex-Partitioning: A New Option for BDD Search (SE, PK, ÁT), pp. 66–82.
- CHI-2012-BaillyMRWK #gesture #interactive #named #smarttech
- ShoeSense: a new perspective on gestural interaction and wearable applications (GB, JM, MR, DW, SGK), pp. 1239–1248.
- CHI-2012-CataldoE #communication #development
- The impact of communication structure on new product development outcomes (MC, KE), pp. 3081–3090.
- CHI-2012-KumarPL #interactive #speech #type system
- Voice typing: a new speech interaction model for dictation on touchscreen devices (AK, TP, BL), pp. 2277–2286.
- CHI-2012-ParkC #named #visualisation
- V-model: a new innovative model to chronologically visualize narrative clinical texts (HP, JC), pp. 453–462.
- CHI-2012-WangDLG #online
- Digitality and materiality of new media: online TV watching in china (QW, XD, TL, NG), pp. 347–356.
- CSCW-2012-AntinCN #behaviour #editing
- Technology-mediated contributions: editing behaviors among new wikipedians (JA, CC, ON), pp. 373–382.
- CSCW-2012-Gilbert12a #predict
- Predicting tie strength in a new medium (EG), pp. 1047–1056.
- CSCW-2012-MassimiDD
- Finding a new normal: the role of technology in life disruptions (MM, JPD, CALD), pp. 719–728.
- CSCW-2012-Schroeter #interactive
- Engaging new digital locals with interactive urban screens to collaboratively improve the city (RS), pp. 227–236.
HILT-2012-Kirtchev #compilation #implementation #performance #robust- A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
- ICEIS-J-2012-BanosBM #challenge #paradigm
- Blog Preservation: Current Challenges and a New Paradigm (VB, NB, YM), pp. 29–51.
- ICEIS-J-2012-HayashiMB12a #education
- Introducing New Technology in Educational Contexts: Schools as Organizations (ECSH, MCM, MCCB), pp. 340–357.
- CIKM-2012-ChoiKKLLLK #framework #named #summary
- CONSENTO: a new framework for opinion based entity search and summarization (JC, DK, SK, JL, SL, SL, JK), pp. 1935–1939.
- CIKM-2012-GaoTL #correlation #modelling #named #network #social
- gSCorr: modeling geo-social correlations for new check-ins on location-based social networks (HG, JT, HL), pp. 1582–1586.
- CIKM-2012-KolesnikovLT #predict
- Predicting CTR of new ads via click prediction (AK, YL, VT), pp. 2547–2550.
- CIKM-2012-NiuLGC #probability #problem #ranking
- A new probabilistic model for top-k ranking problem (SN, YL, JG, XC), pp. 2519–2522.
- CIKM-2012-SuhGCK #clustering #multi
- A new tool for multi-level partitioning in teradata (YKS, AG, AC, PK), pp. 2214–2218.
- ECIR-2012-EskevichMJ #evaluation #metric #retrieval #speech
- New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval (ME, WM, GJFJ), pp. 170–181.
- ECIR-2012-YanZ #approach #community #recommendation
- A New Approach to Answerer Recommendation in Community Question Answering Services (ZY, JZ), pp. 121–132.
- ICML-2012-BalleQC #learning #modelling #optimisation
- Local Loss Optimization in Operator Models: A New Insight into Spectral Learning (BB, AQ, XC), p. 236.
- ICML-2012-DhillonRFU #modelling #using #word
- Using CCA to improve CCA: A new spectral method for estimating vector models of words (PSD, JR, DPF, LHU), p. 13.
- ICML-2012-HennigK
- Quasi-Newton Methods: A New Direction (PH, MK), p. 134.
- ICML-2012-KoepkeB #performance #predict
- Fast Prediction of New Feature Utility (HAK, MB), p. 130.
- ICML-2012-KulisJ #algorithm
- Revisiting k-means: New Algorithms via Bayesian Nonparametrics (BK, MIJ), p. 148.
- ICML-2012-NeufeldYZKS #reduction
- Regularizers versus Losses for Nonlinear Dimensionality Reduction: A Factored View with New Convex Relaxations (JN, YY, XZ, RK, DS), p. 191.
- ICPR-2012-ChikhaouiWP #pervasive #process #recognition #statistics
- A new statistical model for activity discovery and recognition in pervasive environments (BC, SW, HP), pp. 3435–3438.
- ICPR-2012-GuZYZ #assessment #image #quality
- A new no-reference stereoscopic image quality assessment based on ocular dominance theory and degree of parallax (KG, GZ, XY, WZ), pp. 206–209.
- ICPR-2012-HeCS #algorithm #component
- A new algorithm for labeling connected-components and calculating the Euler number, connected-component number, and hole number (LH, YC, KS), pp. 3099–3102.
- ICPR-2012-HouHZQ #named #paradigm #retrieval
- Bag-of-feature-graphs: A new paradigm for non-rigid shape retrieval (TH, XH, MZ, HQ), pp. 1513–1516.
- ICPR-2012-KisilevFWTN #image
- DFlow and DField: New features for capturing object and image relationships (PK, DF, EW, AT, YN), pp. 3590–3593.
- ICPR-2012-LiF #approach #named #process #recognition
- ARMA-HMM: A new approach for early recognition of human activity (KL, YF), pp. 1779–1782.
- ICPR-2012-LiuSZ #feature model #graph
- Sparsity Score: A new filter feature selection method based on graph (ML, DS, DZ), pp. 959–962.
- ICPR-2012-Lotte #classification
- A new feature and associated optimal spatial filter for EEG signal classification: Waveform Length (FL), pp. 1302–1305.
- ICPR-2012-PengWK #segmentation
- A new convex variational model for liver segmentation (JP, JW, DK), pp. 3754–3757.
- ICPR-2012-ShivakumaraHZTP #video
- A new Iterative-Midpoint-Method for video character gap filling (PS, DBH, DZ, CLT, UP), pp. 673–676.
- ICPR-2012-SlimaneZKAHI #recognition
- New features for complex Arabic fonts in cascading recognition system (FS, OZ, SK, AMA, JH, RI), pp. 738–741.
- ICPR-2012-WangGL #detection #image
- A new depth descriptor for pedestrian detection in RGB-D images (NW, XG, JL), pp. 3688–3691.
- ICPR-2012-ZhaoWZW #3d #metric #re-engineering
- A new metric for measuring image-based 3D reconstruction (XZ, RW, ZZ, WW), pp. 1030–1033.
- KDD-2012-ChengZAMZZN #multi #predict
- Multimedia features for click prediction of new ads in display advertising (HC, RvZ, JA, EM, RZ, YZ, VN), pp. 777–785.
- KDD-2012-Ma #information management #semantics
- Semantic search and a new moore’s law effect in knowledge engineering (WYM), p. 586.
- KDD-2012-Zhang #challenge #information management
- A new challenge of information processing under the 21st century (BZ), p. 224.
- KDIR-2012-KharbatBO #algorithm #case study #dataset
- A New Compaction Algorithm for LCS Rules — Breast Cancer Dataset Case Study (FK, LB, MO), pp. 382–385.
- KDIR-2012-Michahelles #future of #information management #internet #towards
- Internet of Things — Towards New Frontiers of Knowledge Management (FM).
- KDIR-2012-NguyenC #automation #ontology #similarity
- A New Structure-based Similarity Measure for Automatic Ontology Matching (TTAN, SC), pp. 443–449.
- KDIR-2012-QuirogaMH #sequence
- Frequent and Significant Episodes in Sequences of Events — Computation of a New Frequency Measure based on Individual Occurrences of the Events (OQ, JM, SH), pp. 324–328.
- KDIR-2012-UddinAH #analysis #network #social
- New Directions in the Analysis of Social Network Dynamics (MSU, SRA, LH), pp. 269–274.
- KDIR-2012-ZanonACG #algorithm #query
- A New Query Suggestion Algorithm for Taxonomy-based Search Engines (RZ, SA, MC, IG), pp. 151–156.
KEOD-2012-KotowskiS #approach #library #ontology- Ontology Library — A New Approach for Storing, Searching and Discovering Ontologies (DK, DAS), pp. 271–277.
- KEOD-2012-NairM #correlation #thread
- Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.
- KEOD-2012-Otero-CerdeiraRVA #case study #industrial #multi #ontology
- Multi-agent Systems and Ontologies Applied to New Industrial Domains — Case Study: Ornamental Plants (LOC, FJRM, TVR, LLA), pp. 357–364.
- KEOD-2012-RuizHM #education #evaluation #learning #ontology #quality
- A New Proposal for Learning Objects Quality Evaluation in Learning Strategies based on Ontology for Education (LMGR, JMH, AMG), pp. 373–376.
KMIS-2012-WangK #development #framework #on the- On the Development of a Theoretical Framework for New Product Development (LW, AK), pp. 49–59.
- MLDM-2012-BouhamedMLR #heuristic #learning #network
- A New Learning Structure Heuristic of Bayesian Networks from Data (HB, AM, TL, AR), pp. 183–197.
- MLDM-2012-HoaD #learning
- A New Learning Strategy of General BAMs (NTH, TDB), pp. 213–221.
- MLDM-2012-MondalPMMB #approach #clustering #concept analysis #mining #using
- A New Approach for Association Rule Mining and Bi-clustering Using Formal Concept Analysis (KCM, NP, AM, UM, SB), pp. 86–101.
- SEKE-2012-El-SherifFE #concept #learning #multi #network #social #using
- Using Social Networks for Learning New Concepts in Multi-Agent Systems (SMES, BHF, AE), pp. 261–266.
- SEKE-2012-YangCXZZ #approach #multi #optimisation
- A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization (RY, ZC, BX, ZZ, WZ), pp. 470–475.
- SIGIR-2012-Kantor #research
- A new look at old tricks: the fertile roots of current research (PBK), p. 1183.
- SIGIR-2012-MaCSSLW #assessment #query
- New assessment criteria for query suggestion (ZM, YC, RS, TS, JL, JRW), pp. 1109–1110.
ECOOP-2012-BonoKM #composition #named- Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
- SAC-2012-HuangHL #algorithm #framework
- Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
- SAC-2012-LeungS #constraints #mining
- A new class of constraints for constrained frequent pattern mining (CKSL, LS), pp. 199–204.
- ICSE-2012-Corrigan #information management
- Augmented intelligence — The new AI — Unleashing human capabilities in knowledge work (JMC), pp. 1285–1288.
- ICSE-2012-ForbesKR #challenge #navigation #open source #research
- When open source turns cold on innovation — The challenges of navigating licensing complexities in new research domains (CF, IK, JR), pp. 1447–1448.
CC-2012-HouVQJFV- A New Method for Program Inversion (CH, GV, DJQ, DJ, RF, RWV), pp. 81–100.
ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #scala #source code- new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
OSDI-2012-HanMCR #interface #named #network #programming #scalability- MegaPipe: A New Programming Interface for Scalable Network I/O (SH, SM, BGC, SR), pp. 135–148.
- ICST-2012-GligoricMM #model checking #named #programming language
- X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
IJCAR-2012-MarshallN #algorithm #unification- New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
- CASE-2011-DAngeloLL
- A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.
- CASE-2011-SekerZ
- A new sliding mode controller for the DC to DC flyback converter (MS, EZ), pp. 720–724.
- DAC-2011-ChangS #approach
- Plugging versus logging: a new approach to write buffer management for solid-state disks (LPC, YCS), pp. 23–28.
- DAC-2011-Hu #how #why
- New sub-20nm transistors: why and how (CH), pp. 460–463.
- DAC-2011-KadryMGAK #approach #challenge #design #effectiveness #verification
- Facing the challenge of new design features: an effective verification approach (WK, RM, AG, EA, CAK), pp. 842–847.
- DATE-2011-ChenLWH #3d #architecture #network
- A new architecture for power network in 3D IC (HTC, HLL, ZCW, TH), pp. 401–406.
- DATE-2011-KimCY #distributed #predict #simulation
- A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
- DATE-2011-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification
- STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
- DATE-2011-ShinG #fault
- A new circuit simplification method for error tolerant applications (DS, SKG), pp. 1566–1571.
- DATE-2011-SommerKHSS #automation #design #generative #network
- A new method for automated generation of compensation networks — The EDA Designer Finger (RS, DK, EH, ES, CS), pp. 1666–1672.
- DATE-2011-SterponeCMWF #configuration management #power management
- A new reconfigurable clock-gating technique for low power SRAM-based FPGAs (LS, LC, DM, SW, FF), pp. 752–757.
- DATE-2011-ThapliyalR #design
- A new reversible design of BCD adder (HT, NR), pp. 1180–1183.
- DATE-2011-XueJZZ #evaluation #performance
- Floorplanning exploration and performance evaluation of a new Network-on-Chip (LX, WJ, QZ, YZ), pp. 625–630.
- DocEng-2011-AlmeidaHY #case study
- Contributions to the study of SMS spam filtering: new collection and results (TAA, JMGH, AY), pp. 259–262.
- DRR-2011-AwalFMV #database #online
- First experiments on a new online handwritten flowchart database (AMA, GF, HM, CVG), pp. 1–10.
- DRR-2011-Rodriguez-PineiroAPM #documentation #image
- A new method for perspective correction of document images (JRP, PCA, FPG, AMG), pp. 1–10.
- HT-2011-Pisarski #hypermedia #towards
- New plots for hypertext?: towards poetics of a hypertext node (MP), pp. 313–318.
- HT-2011-SeroussiBZ #modelling #personalisation #predict #rating #using
- Personalised rating prediction for new users using latent factor models (YS, FB, IZ), pp. 47–56.
- ICDAR-2011-AlaeiNP11a #algorithm #approach #documentation
- A New Text-Line Alignment Approach Based on Piece-Wise Painting Algorithm for Handwritten Documents (AA, PN, UP), pp. 324–328.
- ICDAR-2011-EraqiA #online #recognition #segmentation
- An On-line Arabic Handwriting Recognition System: Based on a New On-line Graphemes Segmentation Technique (HME, SAA), pp. 409–413.
- ICDAR-2011-GaoJHZ #as a service #in the cloud #recognition
- Handwriting Character Recognition as a Service: A New Handwriting Recognition System Based on Cloud Computing (YG, LJ, CH, GZ), pp. 885–889.
- ICDAR-2011-GaoWJ #2d #optimisation #recognition
- A New Feature Optimization Method Based on Two-Directional 2DLDA for Handwritten Chinese Character Recognition (XG, WW, LJ), pp. 232–236.
- ICDAR-2011-MessaoudAAM #approach
- New Binarization Approach Based on Text Block Extraction (IBM, HA, HEA, VM), pp. 1205–1209.
- ICDAR-2011-RajendranSSLT #recognition #video #word
- A New Fourier-Moments Based Video Word and Character Extraction Method for Recognition (DR, PS, BS, SL, CLT), pp. 1165–1169.
- ICDAR-2011-RenLC #automation #recognition #retrieval #segmentation
- A New Method on the Segmentation and Recognition of Chinese Characters for Automatic Chinese Seal Imprint Retrieval (CR, DL, YC), pp. 972–976.
- ICDAR-2011-SadriAJFH #recognition
- A New System for Recognition of Handwritten Persian Bank Checks (JS, YA, MJJ, AF, MH), pp. 925–930.
- ICDAR-2011-ShivakumaraBSTP #recognition #segmentation #video
- A New Gradient Based Character Segmentation Method for Video Text Recognition (PS, SB, BS, CLT, UP), pp. 126–130.
PODS-2011-ShengT11b #2d #memory management #orthogonal- New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
- SIGMOD-2011-HanLMHY #approach #sequence
- A new approach for processing ranked subsequence matching based on ranked union (WSH, JL, YSM, SwH, HY), pp. 457–468.
- VLDB-2011-ChaudhuriN #future of
- New Frontiers in Business Intelligence (SC, VRN), pp. 1502–1503.
- VLDB-2011-Cudre-MaurouxE #data transformation #graph
- Graph Data Management Systems for New Application Domains (PCM, SE), pp. 1510–1511.
- CSEET-2011-KnudsonR #agile #industrial
- Updating CS capstone projects to incorporate new agile methodologies used in industry (DK, AR), pp. 444–448.
- CSEET-2011-RizviHMLJ
- A new CS0 course for at-risk majors (MER, TH, DM, HL, MJ), pp. 314–323.
- ITiCSE-2011-Buck #diagrams #editing #generative #named #user interface
- GUIGraph: editing live object diagrams for GUI generation enables new pedagogy in CS1/2 (DB), pp. 193–197.
- ITiCSE-2011-Moy #education #performance #student #tool support
- Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
- ESOP-2011-JimM #parsing
- A New Method for Dependent Parsing (TJ, YM), pp. 378–397.
- FASE-2011-PostHP #named #realtime #requirements
- rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
- FASE-2011-ZhangZL #api #complexity #graph
- Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
- MSR-2011-ParninBM #how #java
- Java generics adoption: how new features are introduced, championed, or ignored (CP, CB, ERMH), pp. 3–12.
WCRE-2011-PosnettHD #fault #question- Got Issues? Do New Features and Code Improvements Affect Defects? (DP, AH, PTD), pp. 211–215.
PEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code- Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
- STOC-2011-ValiantV
- Estimating the unseen: an n/log(n)-sample estimator for entropy and support size, shown optimal via new CLTs (GV, PV), pp. 685–694.
- ICALP-v1-2011-AroraG #algorithm #fault #learning
- New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
- ICALP-v2-2011-Cord-LandwehrDFHKKKKMHRSWWW #algorithm #approach #convergence #mobile
- A New Approach for Analyzing Convergence Algorithms for Mobile Robots (ACL, BD, MF, MH, BK, AK, PK, SK, MM, FMadH, CR, KS, DW, CW, DW), pp. 650–661.
- ICALP-v2-2011-MegowMS #algorithm #graph #online
- Online Graph Exploration: New Results on Old and New Algorithms (NM, KM, PS), pp. 478–489.
IFM-J-2009-SchneiderT11 #csp #interface #refinement- Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.
CEFP-2011-SlodicakMN #category theory #functional #programming- Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
AGTIVE-2011-RungeET #algebra #graph transformation #specification- AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
- CHI-2011-Bargas-AvilaH #analysis #challenge #empirical #experience #novel #user interface
- Old wine in new bottles or novel challenges: a critical analysis of empirical studies of user experience (JABA, KH), pp. 2689–2698.
- CHI-2011-Fallman #human-computer #interactive
- The new good: exploring the potential of philosophy of technology to contribute to human-computer interaction (DF), pp. 1051–1060.
- CHI-2011-HuBRK #named
- MonoTrans2: a new human computation system to support monolingual translation (CH, BBB, PR, YK), pp. 1133–1136.
- CHI-2011-LeitnerH #design #image #interactive #named
- Geckos: combining magnets and pressure images to enable new tangible-object design and interaction (JL, MH), pp. 2985–2994.
- CHI-2011-MadathilG #approach #testing #usability
- Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
- CHI-2011-MatthewsWMY #approach #collaboration #design #tool support
- Collaboration personas: a new approach to designing workplace collaboration tools (TM, SW, TPM, SY), pp. 2247–2256.
- CSCW-2011-Murphy-HillM #effectiveness #interactive #tool support
- Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.
- DHM-2011-DAquaroMMR #game studies #question
- Videogames and Elders: A New Path in LCT? (ND, DM, GM, LAR), pp. 245–254.
- DHM-2011-FritzscheJLBJP #editing #performance #process #simulation
- Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.
- DHM-2011-NeumannD #empirical #visual notation
- The Two-Point Visual Control Model of Steering — New Empirical Evidence (HN, BD), pp. 493–502.
- DUXU-v1-2011-SirotkinM #difference #experience #in the cloud #user interface #why
- The New Experience for Business: Why User Experience Is the Differentiation Strategy in the Cloud Context (AS, BM), pp. 491–499.
- DUXU-v2-2011-MirandaHB11a #interactive #physics
- Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
- HCD-2011-LinC #research #social #social media
- Bridging the Social Media Usage Gap from Old to New: An Elderly Media Interpersonal and Social Research in Taiwan (SHL, WHC), pp. 547–555.
- HCI-ITE-2011-DadgariS
- New Techniques for Merging Text Versions (DD, WS), pp. 331–340.
- HCI-ITE-2011-NebeKJF #interactive #multi #using
- Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction (KN, FK, HJ, HF), pp. 100–109.
- HCI-UA-2011-Klenner-Moore #learning #process
- Creating a New Context for Activity in Blended Learning Environments: Engaging the Twitchy Fingers (JKM), pp. 61–67.
- HIMI-v2-2011-Rebello #approach
- Macroergonomics in Air Traffic Control — The Approach of a New System (LHBR), pp. 516–525.
- IDGD-2011-Dai #communication #development #interactive #mobile
- New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
- IDGD-2011-Shin #challenge #multi #towards
- Toward the New Sullivan Principles in the Information Age: Conflicts and Challenges of Multinational Information Technology Companies in Asian Countries (BS), pp. 393–401.
- ICEIS-J-2011-CarvalhoSRP #named
- PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
- ICEIS-v1-2011-AbramoviciJ #industrial #monitoring
- A New Method for Monitoring Industrial Product-service Systems based on BSC and AHP (MA, FJ), pp. 190–196.
- ICEIS-v1-2011-LingEL #framework #internet #mobile
- A New Framework of Location-based Services in Mobile Internet (XL, HE, LL), pp. 539–544.
- ICEIS-v1-2011-LiZS #network #predict
- A New Network Traffic Prediction Model in Cognitive Networks (DL, RZ, XS), pp. 427–435.
- ICEIS-v1-2011-XiaoZTZC #network
- A New Chinese Public Welfare Operation Mode based on Value Network Model (DX, ZZ, ZT, JZ, FC), pp. 510–514.
- ICEIS-v3-2011-ZhouL #analysis #metric
- A New Method and Metric for Quantitative Risk Analysis (PZ, HL), pp. 25–33.
- ICEIS-v4-2011-Changxian #design #industrial #roadmap
- New Trends of Ergonomics and Its Importance in Modern Industrial Design (CC), pp. 543–547.
- ICEIS-v4-2011-YangZZ #design #evaluation #online #optimisation
- New Mechanism Design in the C2C Online Reputation Evaluation Optimizing (YY, WZ, XZ), pp. 53–62.
- CIKM-2011-CardosoM #ranking #similarity
- Google, bing and a new perspective on ranking similarity (BC, JM), pp. 1933–1936.
- CIKM-2011-ChenWLXY #framework #named
- SISP: a new framework for searching the informative subgraph based on PSO (CC, GW, HL, JX, YY), pp. 453–462.
- CIKM-2011-QuattroneCMFU #effectiveness #folksonomy #retrieval #similarity #using
- Effective retrieval of resources in folksonomies using a new tag similarity measure (GQ, LC, PDM, EF, DU), pp. 545–550.
- ECIR-2011-LipkaS #information management #representation
- Classifying with Co-stems — A New Representation for Information Filtering (NL, BS), pp. 307–313.
- ICML-2011-Hernandez-OralloFR #classification #cost analysis #performance #visualisation
- Brier Curves: a New Cost-Based Visualisation of Classifier Performance (JHO, PAF, CFR), pp. 585–592.
- ICML-2011-NikolenkoS #contest #rating
- A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.
- KDD-2011-WilkinsonAN #classification #named #random
- CHIRP: a new classifier based on composite hypercubes on iterated random projections (LW, AA, DTN), pp. 6–14.
- KDIR-2011-OmerBG #algorithm #mining #motivation #using
- A New Frequent Similar Tree Algorithm Motivated by Dom Mining — Using RTDM and its New Variant — SiSTeR (OB, RB, SG), pp. 238–243.
- KDIR-2011-VanetikG #mining #named
- HashMax: A New Method for Mining Maximal Frequent Itemsets (NV, EG), pp. 140–145.
- KEOD-2011-BouiadjraB #approach #evaluation #ontology #state of the art
- Ontology Evaluation — State of the Art, New Approach and Perspectives (ABB, SMB), pp. 365–368.
- KMIS-2011-OugoutiBAB #architecture #data flow #integration #semistructured data
- Architecture of Medpeer — A New P2P-based System for Integration of Heterogeneous Data Sources (NSO, HB, YA, ANB), pp. 351–354.
- KMIS-2011-Silva #approach #concept #learning
- Learning Organization — Concept and Proposal of a New Approach (AFdS), pp. 384–389.
- MLDM-2011-HuangH
- Discovering Text Patterns by a New Graphic Model (MH, RMH), pp. 428–442.
- RecSys-2011-AnandG #approach #problem
- A market-based approach to address the new item problem (SSA, NG), pp. 205–212.
- SIGIR-2011-Kantor #research
- A new look at old tricks: the fertile roots of current research (PBK), pp. 1297–1298.
- RE-2011-SeyffOB #named #requirements
- iRequire: Gathering end-user requirements for new apps (NS, GO, MB), pp. 347–348.
REFSQ-2011-MertenLB #comprehension #enterprise #requirements #research #towards- Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research (TM, KL, SB), pp. 60–65.
- SAC-2011-AnttonenSMT #framework #roadmap #web
- Transforming the web into a real application platform: new technologies, emerging trends and missing pieces (MA, AS, TM, AT), pp. 800–807.
- SAC-2011-BarreraV #approach #automation #summary
- Automated extractive single-document summarization: beating the baselines with a new approach (AB, RV), pp. 268–269.
- SAC-2011-KienHB #algorithm #communication #hybrid #problem #search-based
- New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
- SAC-2011-OliveiraLTFT #algorithm #documentation #image
- A new algorithm for segmenting warped text-lines in document images (DMdO, RDL, GT, JF, MT), pp. 259–265.
- SAC-2011-SreekumariC #multi #network
- A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks (PS, SHC), pp. 498–505.
ESEC-FSE-2011-CsallnerFL #source code #testing- New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
- ICSE-2011-ChenZ #combinator #metric #testing #tuple
- Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.
- ICSE-2011-Dresselhaus #design #roadmap
- Exciting new trends in design thinking (BD), p. 622.
- ICSE-2011-MurtazaMGL #fault #using
- Diagnosing new faults using mutants and prior faults (SSM, NHM, MG, ZL), pp. 960–963.
- ICSE-2011-RosuS #approach #logic #verification
- Matching logic: a new program verification approach (GR, AS), pp. 868–871.
HPCA-2011-LiaoZB #architecture #network- A new server I/O architecture for high speed networks (GL, XZ, LNB), pp. 255–265.
- CADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
- Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
- CSL-2011-GroheGHL #logic #recursion
- L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
ICLP-J-2011-DrescherT #logic programming #named #prolog- ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.
RTA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what- Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What’s New? (ST), pp. 1–2.
- SAT-2011-Minato #diagrams #named #performance #permutation #problem
- πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
- SAT-2011-TompkinsBH #heuristic #satisfiability
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
TLCA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what- Tree Automata, (Dis-)Equality Constraints and Term Rewriting — What’s New? (ST), pp. 3–5.
ECSA-2010-AltiBR #approach #modelling #pervasive #quality- Context-Aware Quality Model Driven Approach: A New Approach for Quality Control in Pervasive Computing Environments (AA, AB, PR), pp. 441–448.
- ECSA-2010-SavolainenKMN #architecture #case study #development #experience #framework
- Experiences in Making Architectural Decisions during the Development of a New Base Station Platform (JS, JK, TM, AN), pp. 425–432.
- CASE-2010-TaoW #3d #algorithm #constraints #heuristic #problem
- A new packing heuristic based algorithm for Vehicle Routing Problem with Three-dimensional Loading constraints (YT, FW), pp. 972–977.
- DAC-2010-JouWLCJ #architecture #design #generative #modelling #multi
- New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model (JMJ, SSW, YLL, CC, YLJ), pp. 258–261.
- DAC-2010-LiaoYB #performance
- A new IP lookup cache for high performance IP routers (GL, HY, LNB), pp. 338–343.
- DATE-2010-LazzariFMC #multi
- A new quaternary FPGA based on a voltage-mode multi-valued circuit (CL, PFF, JM, LC), pp. 1797–1802.
- DATE-2010-MartinelloMRR #approach #logic #multi #named #synthesis
- KL-Cuts: A new approach for logic synthesis targeting multiple output blocks (OM, FSM, RPR, AIR), pp. 777–782.
- DATE-2010-OstendorffWSK #adaptation #approach
- A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.
- DATE-2010-SterponeB #algorithm #multi
- A new placement algorithm for the mitigation of multiple cell upsets in SRAM-based FPGAs (LS, NB), pp. 1231–1236.
- DocEng-2010-BilaucaH #automation #layout
- A new model for automated table layout (MB, PH), pp. 169–176.
- DocEng-2010-RivaSOMP #metric
- Two new aesthetic measures for item alignment (ADR, AKS, JBSdO, IHM, RFBP), pp. 263–266.
- DRR-2010-KatsuyamaMHOK #classification
- A new pre-classification method based on associative matching method (YK, AM, YH, SO, NK), pp. 1–10.
- HT-2010-GippB #approach #detection #identification #independence
- Citation based plagiarism detection: a new approach to identify plagiarized work language independently (BG, JB), pp. 273–274.
- SIGMOD-2010-TalukdarIP #automation #integration #keyword #search-based
- Automatically incorporating new sources in keyword search-based data integration (PPT, ZGI, FCNP), pp. 387–398.
- SIGMOD-2010-TranPLDL #algorithm #data type #named #nondeterminism
- PODS: a new model and processing algorithms for uncertain data streams (TTLT, LP, BL, YD, AL), pp. 159–170.
- VLDB-2010-AbadiCCGPR #database #question #what
- Cloud Databases: What’s New? (DA, MJC, SC, HGM, JMP, RR), p. 1657.
- VLDB-2010-AgrawalDA #big data #in the cloud #question
- Big Data and Cloud Computing: New Wine or just New Bottles? (DA, SD, AEA), pp. 1647–1648.
- VLDB-2010-SchreiberBGMR #sql
- Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider (TS, SB, TG, MM, JR), pp. 1549–1552.
- CSEET-2010-GarousiM #education #recommendation #testing
- Current State of the Software Testing Education in North American Academia and Some Recommendations for the New Educators (VG, AM), pp. 89–96.
- SCAM-2010-UjhaziFPG #concept #metric #object-oriented
- New Conceptual Coupling and Cohesion Metrics for Object-Oriented Systems (BU, RF, DP, TG), pp. 33–42.
- ICALP-v1-2010-Duan #data type
- New Data Structures for Subgraph Connectivity (RD), pp. 201–212.
- LATA-2010-LetichevskySS #automaton #equivalence #finite #multi #problem #proving #using
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (AAL, ASS, SKS), pp. 392–402.
- IFL-2010-MichelsPA #paradigm #user interface
- iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.
ICGT-2010-Khomenko #behaviour- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.
- CHI-2010-AhlstromCGI #design #modelling #why
- Why it’s quick to be square: modelling new and existing hierarchical menu designs (DA, AC, CG, PI), pp. 1371–1380.
- CHI-2010-EisenbergSM #api #named
- Apatite: a new interface for exploring APIs (DSE, JS, BAM), pp. 1331–1334.
- CHI-2010-SmythEB #named
- MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.
- CHI-2010-WalshDGFGHBF #co-evolution #design
- Layered elaboration: a new technique for co-design with children (GW, AD, MLG, EF, EG, LH, EMB, SF), pp. 1237–1240.
CAiSE-2010-BouassidaB #approach #detection #problem- A New Approach for Pattern Problem Detection (NB, HBA), pp. 150–164.
- CAiSE-2010-JarkeLLMR #design #requirements
- The Brave New World of Design Requirements: Four Key Principles (MJ, PL, KL, JM, WNR), pp. 470–482.
- ICEIS-AIDSS-2010-LassigT #enterprise #generative
- New Approaches to Enterprise Cooperation Generation and Management (JL, UT), pp. 350–359.
- ICEIS-HCI-2010-FardounVGRG #mobile #tool support
- New Era of m-Learning Tools — Creation of MPrinceTool a Mobile Educative Tool (HF, PGV, JEG, GSR, EdlG), pp. 161–167.
- ICEIS-HCI-2010-ReisBB #challenge #network #social
- New Perspectives for Search in Social Networks — A Challenge for Inclusion (JCdR, RB, MCCB), pp. 53–62.
- ICEIS-ISAS-2010-ClariziaGN #identification #query #web
- A New Technique for Identification of Relevant Web Pages in Informational Queries Results (FC, LG, PN), pp. 70–79.
- ICEIS-J-2010-WatanabeRTT10a #classification #image #named #statistics
- SACMiner: A New Classification Method Based on Statistical Association Rules to Mine Medical Images (CYVW, MXR, CTJ, AJMT), pp. 249–263.
- CIKM-2010-AlgarniLX #documentation
- Selected new training documents to update user profile (AA, YL, YX), pp. 799–808.
- CIKM-2010-HaghaniMA #personalisation #web
- The gist of everything new: personalized top-k processing over web 2.0 streams (PH, SM, KA), pp. 489–498.
- CIKM-2010-HarpaleYGHY #dataset #multi #named #performance #personalisation
- CiteData: a new multi-faceted dataset for evaluating personalized search performance (AH, YY, SG, DH, ZY), pp. 549–558.
- CIKM-2010-KamaliT #retrieval
- A new mathematics retrieval system (SK, FWT), pp. 1413–1416.
- CIKM-2010-MiaoLTZ #approach #category theory #community #identification #modelling #topic
- Identifying new categories in community question answering archives: a topic modeling approach (YM, CL, JT, LZ), pp. 1673–1676.
- ICML-2010-WangZ #analysis
- A New Analysis of Co-Training (WW, ZHZ), pp. 1135–1142.
- ICPR-2010-ChoPPKKALL #hybrid #segmentation #using
- Level-Set Segmentation of Brain Tumors Using a New Hybrid Speed Function (WC, JP, SYP, SHK, SWK, GA, MEL, GL), pp. 1545–1548.
- ICPR-2010-DuboisPM #adaptation #analysis #component #composition #using
- Decomposition of Dynamic Textures Using Morphological Component Analysis: A New Adaptative Strategy (SD, RP, MM), pp. 2258–2261.
- ICPR-2010-GlumovM #algorithm #image #robust #scalability
- The New Blockwise Algorithm for Large-Scale Images Robust Watermarking (NIG, VAM), pp. 1453–1456.
- ICPR-2010-JiangWXD #classification #image
- A New Biologically Inspired Feature for Scene Image Classification (AJ, CW, BX, RD), pp. 758–761.
- ICPR-2010-JouiliTL #algorithm #clustering #graph
- Median Graph Shift: A New Clustering Algorithm for Graph Domain (SJ, ST, VL), pp. 950–953.
- ICPR-2010-LuoN #classification #fault #learning #multi #problem
- Employing Decoding of Specific Error Correcting Codes as a New Classification Criterion in Multiclass Learning Problems (YL, KN), pp. 4238–4241.
- ICPR-2010-MengXZZ #recognition #word
- A New Application of MEG and DTI on Word Recognition (LM, JX, DZ, HZ), pp. 2472–2475.
- ICPR-2010-MumtazMM #approach
- A New Approach to Aircraft Surface Inspection Based on Directional Energies of Texture (MM, ABM, HM), pp. 4404–4407.
- ICPR-2010-NacereddineTZH #image #retrieval #using
- Shape-Based Image Retrieval Using a New Descriptor Based on the Radon and Wavelet Transforms (NN, ST, DZ, LH), pp. 1997–2000.
- ICPR-2010-Sato #classification #design #kernel #learning
- A New Learning Formulation for Kernel Classifier Design (AS), pp. 2897–2900.
- ICPR-2010-ShivakumaraDTP #classification #proximity #symmetry #video
- A New Symmetry Based on Proximity of Wavelet-Moments for Text Frame Classification in Video (PS, AD, CLT, UP), pp. 129–132.
- ICPR-2010-ShivakumaraPT #detection #video
- New Wavelet and Color Features for Text Detection in Video (PS, TQP, CLT), pp. 3996–3999.
- ICPR-2010-Temerinac-OttKB #evaluation
- Evaluation of a New Point Clouds Registration Method Based on Group Averaging Features (MTO, MK, HB), pp. 2452–2455.
- ICPR-2010-XueJ #3d #recognition
- A New Rotation Feature for Single Tri-axial Accelerometer Based 3D Spatial Handwritten Digit Recognition (YX, LJ), pp. 4218–4221.
- KDD-2010-AdaB #composition #generative
- The new iris data: modular data generators (IA, MRB), pp. 413–422.
- KDD-2010-LichtenwalterLC #predict
- New perspectives and methods in link prediction (RL, JTL, NVC), pp. 243–252.
- KDIR-2010-Vazquez-RodriguezPGFC #data mining #mining #visual notation
- A New Visual Data Mining Tool for gvSIG GIS (RVR, CPR, IYGH, AFM, JCTC), pp. 428–431.
- KMIS-2010-AmelaDV #framework
- A New Framework for the Control of LMS in Its (VA, JLD, MV), pp. 287–289.
- KMIS-2010-ButanOSCP #information management #process
- A New Knowledge Management Tool to Facilitate Process Innovation in Manufacturing Companies (DB, EO, MS, SC, MP), pp. 342–347.
- KMIS-2010-Pankowska #project management
- ICT Innovation Project Management — New Knowledge Areas in PMBOK (MP), pp. 294–299.
KR-2010-SiddiqiH #roadmap- New Advances in Sequential Diagnosis (SAS, JH).
- SEKE-2010-ThovexT #analysis #approach #modelling #multi #network #semantics #social
- Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approach (CT, FT), pp. 548–552.
- SIGIR-2010-AggarwalZ #modelling #paradigm #representation #visual notation
- Graphical models for text: a new paradigm for text representation and processing (CCA, PZ), pp. 899–900.
- SIGIR-2010-DaveV #learning
- Learning the click-through rate for rare/new ads from similar ads (KSD, VV), pp. 897–898.
QAPL-2010-StefanekHB #analysis #parallel #performance- A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
- RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards
- Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
- SAC-2010-FariaMLPA #interactive #validation #visual notation
- A new methodology for photometric validation in vehicles visual interactive systems (AWCF, DM, DSDL, GLP, AdAA), pp. 948–953.
- SAC-2010-JiaLLZ #satisfiability
- Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
- SAC-2010-KimY #multi #personalisation #recommendation
- New theoretical findings in multiple personalized recommendations (YHK, YY), pp. 94–98.
- SAC-2010-LanLSH #algorithm #classification #image #using
- An improved K-view algorithm for image texture classification using new characteristic views selection methods (YL, HL, ES, CCH), pp. 959–963.
- SAC-2010-NaceraHAM #ad hoc #clustering #network
- A new two level hierarchy structuring for node partitioning in ad hoc networks (BN, HG, HA, MM), pp. 719–726.
- SAC-2010-RodriguesNPM #parallel #thread
- A new technique for data privatization in user-level threads and its use in parallel applications (ERR, POAN, JP, CLM), pp. 2149–2154.
- SAC-2010-RomaniAZCTT #algorithm #mining #named
- CLEARMiner: a new algorithm for mining association patterns on heterogeneous time series from climate data (LASR, AMHdÁ, JZJ, RC, CTJ, AJMT), pp. 900–905.
- SAC-2010-RyuCC #image #layout #named #using
- PHOTOLAND: a new image layout system using spatio-temporal information in digital photos (DSR, WKC, HGC), pp. 1884–1891.
- ICSE-2010-BoehmL #incremental #process
- New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
- ICSE-2010-DagenaisOBRV
- Moving into a new software project landscape (BD, HO, RKEB, MPR, JdV), pp. 275–284.
- ICSE-2010-EsfahaniM #adaptation #network #paradigm #pervasive #self #social
- Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems (NE, SM), pp. 159–162.
- ICSE-2010-MusilSWB #education #game studies #prototype #what
- Synthesized essence: what game jams teach about prototyping of new software products (JM, AS, DW, SB), pp. 183–186.
- ICSE-2010-TreudeS10a #category theory #lightweight
- Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.
- HPDC-2010-MarinCG #web
- New caching techniques for web search engines (MM, VGC, CGP), pp. 215–226.
- PPoPP-2010-Chakrabarti #abstraction #analysis #effectiveness #performance #source code
- New abstractions for effective performance analysis of STM programs (DRC), pp. 333–334.
- CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
- RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
- CSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad
- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
- LICS-2010-BartoK #csp
- New Conditions for Taylor Varieties and CSP (LB, MK), pp. 100–109.
- LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation
- Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.
- SAT-2010-BalintF #probability #satisfiability
- Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.
- SAT-2010-TompkinsH #satisfiability
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
- CASE-2009-WuS #heuristic #multi #problem
- A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.
- DAC-2009-ChenCH #design #information retrieval #order
- New spare cell design for IR drop minimization in Engineering Change Order (HTC, CCC, TH), pp. 402–407.
- DATE-2009-ChenW #3d #modelling #simulation
- New simulation methodology of 3D surface roughness loss for interconnects modeling (QC, NW), pp. 1184–1189.
- DATE-2009-Cilardo #architecture
- A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
- DATE-2009-NeyDGPVBG #fault
- A new design-for-test technique for SRAM core-cell stability faults (AN, LD, PG, SP, AV, MB, VG), pp. 1344–1348.
- DATE-2009-ZiermannWT #network #protocol
- CAN+: A new backward-compatible Controller Area Network (CAN) protocol with up to 16× higher data rates (TZ, SW, JT), pp. 1088–1093.
- HT-2009-VitaliIB
- New forms of Xanalogical storage and function (FV, ADI, JB), pp. 389–390.
- ICDAR-2009-BoubakerKA #algorithm #detection
- New Algorithm of Straight or Curved Baseline Detection for Short Arabic Handwritten Writing (HB, MK, AMA), pp. 778–782.
- ICDAR-2009-CoustatyOPV #composition
- Drop Caps Decomposition for Indexing a New Letter Extraction Method (MC, JMO, RP, NV), pp. 476–480.
- ICDAR-2009-DingJG #approach #online #recognition #word
- A New Method for Rotation Free Method for Online Unconstrained Handwritten Chinese Word Recognition: A Holistic Approach (KD, LJ, XG), pp. 1131–1135.
- ICDAR-2009-DriraLE #documentation #image #process #recognition
- Document Images Restoration by a New Tensor Based Diffusion Process: Application to the Recognition of Old Printed Documents (FD, FL, HE), pp. 321–325.
- ICDAR-2009-ImpedovoMFS #process #roadmap
- New Trends in Digital Scanning Processes (SI, RM, AF, ES), pp. 1071–1075.
- ICDAR-2009-PletschacherHA #clustering #documentation #framework #recognition
- A New Framework for Recognition of Heavily Degraded Characters in Historical Typewritten Documents Based on Semi-Supervised Clustering (SP, JH, AA), pp. 506–510.
- ICDAR-2009-SadriC #approach #documentation #optimisation
- A New Approach for Skew Correction of Documents Based on Particle Swarm Optimization (JS, MC), pp. 1066–1070.
- ICDAR-2009-ShahabiR #documentation #identification
- A New Method for Writer Identification of Handwritten Farsi Documents (FS, MR), pp. 426–430.
- ICDAR-2009-SlimaneIKAH #database #evaluation #image #protocol
- A New Arabic Printed Text Image Database and Evaluation Protocols (FS, RI, SK, AMA, JH), pp. 946–950.
- ICDAR-2009-WangHL #verification
- A New Block Partitioned Text Feature for Text Verification (XW, LH, CL), pp. 366–370.
- VLDB-2009-CohenDDHW #analysis #big data
- MAD Skills: New Analysis Practices for Big Data (JC, BD, MD, JMH, CW), pp. 1481–1492.
- CSMR-2009-SpekK #framework
- Transferring Software to a New Framework in a Brownfield Environment (PvdS, SK), pp. 311–312.
- STOC-2009-ChenM #approach #design
- A new approach to auctions and resilient mechanism design (JC, SM), pp. 503–512.
- STOC-2009-ImpagliazzoKW
- New direct-product testers and 2-query PCPs (RI, VK, AW), pp. 131–140.
- STOC-2009-KunS
- A new line of attack on the dichotomy conjecture (GK, MS), pp. 725–734.
- LATA-2009-Onodera #locality #using
- New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
- IFM-2009-SchneiderT #csp #interface #refinement
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.
- CHI-2009-ChenGDMG #network #people #recommendation #social
- Make new friends, but keep the old: recommending people on social networking sites (JC, WG, CD, MJM, IG), pp. 201–210.
- CHI-2009-CoyleD #collaboration #design
- Clinical evaluations and collaborative design: developing new technologies for mental healthcare interventions (DC, GD), pp. 2051–2060.
- CHI-2009-GuoYS #interactive
- Touch and toys: new techniques for interaction with a remote group of robots (CG, JEY, ES), pp. 491–500.
- CHI-2009-IsbisterH #challenge #design #evaluation #human-computer #on the
- On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.
- CHI-2009-LawA #game studies #named #using
- Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
- CHI-2009-LimLL
- Interactivity attributes: a new way of thinking and describing interactivity (YKL, SSL, KyL), pp. 105–108.
- CHI-2009-MarkAS
- Resilience through technology adoption: merging the old and the new in Iraq (GM, BAA, BS), pp. 689–698.
- DHM-2009-LoudonM #design #representation #towards #visual notation
- Towards a Visual Representation of the Effects of Reduced Muscle Strength in Older Adults: New Insights and Applications for Design and Healthcare (DL, ASM), pp. 540–549.
- DHM-2009-NiedermaierDEK #process #usability
- The New BMW iDrive — Applied Processes and Methods to Assure High Usability (BN, SD, LE, AK), pp. 443–452.
- HCD-2009-ChouC #experience #physics #user interface
- Engaging Experience: A New Perspective of User Experience with Physical Products (CJC, CC), pp. 31–40.
- HCD-2009-Kushi #case study #concept #design #interface #process #research #student #video #visualisation
- Organized Reframing Process with Video Ethnography: A Case Study of Students’ Design Project for New Interface Concept from Research to Visualization (KK), pp. 239–246.
- HCD-2009-MisawaF #case study #experience #generative #idea #user interface #using
- A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences (NM, MF), pp. 276–283.
- HCD-2009-NieminenKRM #analysis #fine-grained #testing #towards #usability
- Towards Fine-Grained Usability Testing: New Methodological Directions with Conversation Analysis (MN, SK, SR, PM), pp. 879–887.
- HCD-2009-SimoesP #adaptation
- Older Drivers and New In-Vehicle Technologies: Adaptation and Long-Term Effects (AS, MP), pp. 552–561.
- HCI-AUII-2009-BreuerKWPS
- Love at First Encounter — Start-Up of New Applications (HB, MK, MW, NP, FS), pp. 585–594.
- HCI-AUII-2009-IslamOL #framework #video
- New Integrated Framework for Video Based Moving Object Tracking (MZI, CMO, CWL), pp. 423–432.
- HCI-AUII-2009-JiK #named #using
- CLURD: A New Character-Inputting System Using One 5-Way Key Module (HJ, TK), pp. 39–47.
- HCI-AUII-2009-KubickiLLSKC #human-computer #interactive #using
- New Human-Computer Interactions Using Tangible Objects: Application on a Digital Tabletop with RFID Technology (SK, SL, YL, PDS, CK, JC), pp. 446–455.
- HCI-NIMT-2009-SchreiberWB #concept #interactive #using
- New Interaction Concepts by Using the Wii Remote (MS, MvWM, RB), pp. 261–270.
- HCI-NT-2009-BullingerB #collaboration #development #human-computer #interactive
- Collaborative Development and New Devices for Human-Computer Interaction (HJB, GB), pp. 789–795.
- HCI-NT-2009-PujolU #design #effectiveness
- Productive Love: A New Proposal for Designing Affective Technology (RSP, HU), pp. 725–734.
- HCI-VAD-2009-Al-NanihAO #approach #health #human-computer #information management #modelling
- New Health Information Systems (HIS) Quality-in-Use Model Based on the GQM Approach and HCI Principles (RAN, HAN, OO), pp. 429–438.
- HCI-VAD-2009-EssabbahOHM #analysis #approach #design #interactive
- A New Approach to Design an Interactive System for Molecular Analysis (ME, SO, JH, MM), pp. 713–722.
- HCI-VAD-2009-Yarlikas #analysis #automation
- A New Automatic Teller Machine (ATM) Proposal through the Analysis of ATMs of Three Banks (SY), pp. 641–650.
- HIMI-II-2009-PrecelEA #design #learning #online #student #towards
- Learning by Design in a Digital World: Students’ Attitudes towards a New Pedagogical Model for Online Academic Learning (KP, YEA, YA), pp. 679–688.
- HIMI-II-2009-RingardDPC #approach #collaboration
- Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration (JR, SD, SLDP, CC), pp. 835–844.
- OCSC-2009-Cotton #network #online #social
- Innovation Networks: A Report on Creating a Specialist Professional Social Network, Offline and Online, to Foster Innovation in the New Media Sector (BC), pp. 312–321.
SIGAda-2009-Knight #ada #approach #named #verification- Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
- SIGAda-2009-RosenT #ada #semantics
- The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
- ICEIS-AIDSS-2009-BoryczkaK #approach #heuristic
- A New Heuristic Function in Ant-miner Approach (UB, JK), pp. 33–38.
- ICEIS-DISI-2009-ElarissKG #multi #optimisation #paradigm #query
- Query Melting — A New Paradigm for GIS Multiple Query Optimization (HEE, SK, DG), pp. 82–90.
- ICEIS-ISAS-2009-LiM #development #simulation
- A Simulation Model for Managing Engineering Changes Along with New Product Development (WL, YBM), pp. 13–18.
- ICEIS-SAIC-2009-Li #development
- Managing Engineering Changes Along with New Product Development (WL), pp. 193–199.
- ECIR-2009-PereiraDP #multi
- Multidimensional Relevance: A New Aggregation Criterion (CdCP, MD, GP), pp. 264–275.
- ECIR-2009-Wang #analysis #documentation #information retrieval #ranking
- Mean-Variance Analysis: A New Document Ranking Theory in Information Retrieval (JW0), pp. 4–16.
- ICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial
- Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
- KDD-2009-BifetHPKG #data type #evolution
- New ensemble methods for evolving data streams (AB, GH, BP, RK, RG), pp. 139–148.
- KDD-2009-YeK #data mining #mining
- Time series shapelets: a new primitive for data mining (LY, EJK), pp. 947–956.
- KEOD-2009-RocheCDR #named #paradigm
- Ontoterminology — A New Paradigm for Terminology (CR, MCC, LD, PR), pp. 321–326.
- KMIS-2009-SeifertEHSKRN #approach #information management #library #named #visualisation
- DiLiA — a Digital Library Assistant — A New Approach to Information Discovery through Information Extraction and Visualization (IS, KE, HH, SS, MK, NR, GN), pp. 180–185.
- MLDM-2009-GadK #clustering #semantics #similarity #using
- New Semantic Similarity Based Model for Text Clustering Using Extended Gloss Overlaps (WKG, MSK), pp. 663–677.
- MLDM-2009-SmaouiMM #algorithm #assessment #clustering #named #quality
- CSBIterKmeans: A New Clustering Algorithm Based on Quantitative Assessment of the Clustering Quality (TS, SM, CMS), pp. 337–346.
- RecSys-2009-BaragliaCCFFPS #approach #query #recommendation
- Search shortcuts: a new approach to the recommendation of queries (RB, FC, VC, DF, VF, RP, FS), pp. 77–84.
- RecSys-2009-PilaszyT #metadata #recommendation
- Recommending new movies: even a few ratings are more valuable than metadata (IP, DT), pp. 93–100.
- SEKE-2009-GratiTG #diagrams #interactive #quality
- Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.
- POPL-2009-TateSTL #approach #optimisation #similarity
- Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
- RE-2009-MillerFM #architecture #requirements
- Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.
- SAC-2009-ChiangWLC #clustering #multi #policy #web
- New content-aware request distribution policies in web clusters providing multiple services (MLC, CHW, YJL, YFC), pp. 79–83.
- SAC-2009-CorderoVB #clustering #framework
- A new protein motif extraction framework based on constrained co-clustering (FC, AV, MB), pp. 776–781.
- SAC-2009-HuangSMZH #approach #using
- A new cross-training approach by using labeled data (DH, ES, GM, HZ, CCH), pp. 941–942.
- SAC-2009-KangGC #predict #scalability
- A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
- SAC-2009-LeccaPPS #generative #network #parametricity #probability
- A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
- SAC-2009-LiuDSYH #algorithm #classification #image #invariant #using
- A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.
- SAC-2009-MasaruS #algorithm #modelling #search-based
- Daily demand forecasting of new products utilizing diffusion models and genetic algorithms (TM, MS), pp. 1106–1107.
- SAC-2009-RoeslerHC #case study #distance #learning #multi
- A new multimedia synchronous distance learning system: the IVA study case (VR, RH, CHC), pp. 1765–1770.
- SAC-2009-RuanMBQZ #energy #named #parallel
- DARAW: a new write buffer to improve parallel I/O energy-efficiency (XR, AM, KB, XQ, ZZ), pp. 299–304.
- SAC-2009-YiMCKJ #named #network
- Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.
SPLC-2009-SavolainenM #architecture #industrial #optimisation #product line #requirements- From product line requirements to product line architecture: optimizing industrial product lines for new competitive advantage (JS, MM), p. 315.
- CGO-2009-CollinB #embedded #taxonomy
- Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications (MC, MB), pp. 231–242.
- ISMM-2009-OanceaMW #algorithm #approach
- A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.
SOSP-2009-BaumannBDHIPRSS #architecture #kernel #manycore #scalability- The multikernel: a new OS architecture for scalable multicore systems (AB, PB, PÉD, TLH, RI, SP, TR, AS, AS), pp. 29–44.
- ICLP-2009-VoetsS #analysis #approach #logic programming #source code
- A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.
- SAT-2009-BailleuxBR #constraints #encoding #pseudo
- New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
- DAC-2008-FraerKM #paradigm #synthesis
- A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
- DATE-2008-AliWWB #approach #behaviour #modelling #performance
- A New Approach for Combining Yield and Performance in Behavioural Models for Analogue Integrated Circuits (SA, RW, PRW, ADB), pp. 152–157.
- DATE-2008-RealCCDV #analysis #hardware
- Defeating classical Hardware Countermeasures: a new processing for Side Channel Analysis (DR, CC, JC, MD, FV), pp. 1274–1279.
- DATE-2008-SchutzGBG #approach #embedded #research #tutorial
- Embedded Tutorial — ARTEMIS and ENIAC Joint Undertakings: A New Approach to Conduct Research in Europe (ES, KG, DB, LG), p. 658.
- DATE-2008-VermaBI #design #latency #paradigm
- Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
- DocEng-2008-Boyer #documentation #interactive #web
- Interactive office documents: a new face for web 2.0 applications (JMB), pp. 8–17.
- DocEng-2008-LaenderGCFSS #library #problem
- Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.
- HT-2008-VaisenbergSMJM #approach
- A new approach for adding browser functionality (RV, AS, KAM, RJ, SM), pp. 247–248.
- SIGMOD-2008-ShaullSX #named
- Skippy: a new snapshot indexing method for time travel in the storage manager (RS, LS, HX), pp. 637–648.
- VLDB-2008-LiTSPJM #architecture
- Out-of-order processing: a new architecture for high-performance stream systems (JL, KT, VS, VP, TJ, DM), pp. 274–288.
- ITiCSE-2008-CorberaGRRT #architecture #development
- Development of a new MOODLE module for a basic course on computer architecture (FC, EG, JR, SR, MAT), p. 349.
- WCRE-2008-VaucherSV #object-oriented
- Discovering New Change Patterns in Object-Oriented Systems (SV, HAS, JGV), pp. 37–41.
- STOC-2008-AaronsonW #complexity #named
- Algebrization: a new barrier in complexity theory (SA, AW), pp. 731–740.
- STOC-2008-GentryPV #encryption
- Trapdoors for hard lattices and new cryptographic constructions (CG, CP, VV), pp. 197–206.
- FLOPS-2008-Kobayashi08a #backtracking #continuation
- A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.
- FLOPS-2008-Voigtlander #semantics
- Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.
- DLT-2008-Csuhaj-VarjuDV
- Some New Modes of Competence-Based Derivations in CD Grammar Systems (ECV, JD, GV), pp. 228–239.
- ICALP-A-2008-BlellochVW #approach #combinator #graph #problem
- A New Combinatorial Approach for Sparse Graph Problems (GEB, VV, RW), pp. 108–120.
SEFM-2008-Giacobazzi08a #obfuscation- Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking (RG), pp. 7–18.
- SEFM-2008-PetrenkoP #challenge #formal method
- Formal Methods and Innovation Economy: Facing New Challenges (AKP, OLP), pp. 367–371.
GT-VMT-2006-KonigK08 #analysis #graph transformation- Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
- CHI-2008-BiehlBBTIC #collaboration #development #evaluation #framework #interactive #multi #named
- Impromptu: a new interaction framework for supporting collaboration in multiple display environments and its field evaluation for co-located software development (JTB, WTB, BPB, DST, KMI, MC), pp. 939–948.
- CHI-2008-GrimesH #human-computer #research
- Celebratory technology: new directions for food research in HCI (AG, RH), pp. 467–476.
- CSCW-2008-EgelmanBI #paradigm #product line
- Family accounts: a new paradigm for user accounts within the home environment (SE, AJBB, KMI), pp. 669–678.
- CSCW-2008-MarkS #collaboration
- Resilience in collaboration: technology as a resource for new patterns of action (GM, BS), pp. 137–146.
AdaEurope-2008-UruenaPLZP #approach #clustering #memory management- A New Approach to Memory Partitioning in On-Board Spacecraft Software (SU, JAP, JL, JZ, JAdlP), pp. 1–14.
- CAiSE-2008-MullerRH #adaptation #data-driven #paradigm #process
- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures (DM, MR, JH), pp. 48–63.
EDOC-2008-Sirtl #as a service #web- Software plus Services: New IT- and Business Opportunities by Uniting SaaS, SOA and Web 2.0 (HS).
- ICEIS-AIDSS-2008-StateCRP #algorithm #classification #learning
- A New Learning Algorithm for Classification in the Reduced Space (LS, CC, IR, PV), pp. 155–160.
- CIKM-2008-BarskySTU #using
- A new method for indexing genomes using on-disk suffix trees (MB, US, AT, CU), pp. 649–658.
- CIKM-2008-HeW #feedback #information retrieval
- Translation enhancement: a new relevance feedback method for cross-language information retrieval (DH, DW), pp. 729–738.
- CIKM-2008-HoweF #collaboration #parametricity
- Re-considering neighborhood-based collaborative filtering parameters in the context of new data (AEH, RDF), pp. 1481–1482.
- CIKM-2008-LuoYY #detection #realtime #video
- Real-time new event detection for video streams (GL, RY, PSY), pp. 379–388.
- ECIR-2008-FishbeinE #classification #encoding
- Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification (JMF, CE), pp. 514–521.
- ICML-2008-ShringarpureX #named #search-based
- mStruct: a new admixture model for inference of population structure in light of both genetic admixing and allele mutations (SS, EPX), pp. 952–959.
- ICPR-2008-DingSK #recognition
- A new courtesy amount recognition module of a Check Reading System (WD, CYS, AK), pp. 1–4.
- ICPR-2008-El-BazGFE #3d #analysis #approach #automation #detection #image #monitoring
- A new approach for automatic analysis of 3D low dose CT images for accurate monitoring the detected lung nodules (AEB, GLG, RF, MAEG), pp. 1–4.
- ICPR-2008-KatayamaUS #coordination #online #recognition #using
- A new HMM for on-line character recognition using pen-direction and pen-coordinate features (YK, SU, HS), pp. 1–4.
- ICPR-2008-KoSB #testing
- A new HMM training and testing scheme (AHRK, RS, AdSBJ), pp. 1–4.
- ICPR-2008-LangerK #approach #detection #image #realtime #robust
- A new hierarchical approach in robust real-time image feature detection and matching (ML, KDK), pp. 1–4.
- ICPR-2008-MaL #approach #online #recognition
- A new radical-based approach to online handwritten Chinese character recognition (LLM, CLL), pp. 1–4.
- ICPR-2008-SahaB #clustering #multi #symmetry #using
- A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
- ICPR-2008-SteinbisVH
- New extensions of the 3-simplex for exterior orientation (JMS, TV, WAH), pp. 1–5.
- ICPR-2008-TsuboiK #sequence
- A new objective function for sequence labeling (YT, HK), pp. 1–4.
- ICPR-2008-TuSK #3d #approach #image
- A new approach to 3D shape recovery of local planar surface patches from shift-variant blurred images (XT, MS, YsK), pp. 1–5.
- ICPR-2008-VazquezRC #image #recognition
- A new image division for LBP method to improve face recognition under varying lighting conditions (HMV, EBGR, YCM), pp. 1–4.
- ICPR-2008-Wang #algorithm #string
- A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
- ICPR-2008-WanYM #algorithm #segmentation
- A new algorithm for static camera foreground segmentation via active coutours and GMM (CW, BY, ZM), pp. 1–4.
- RecSys-2008-CelmaH #approach #novel #recommendation
- A new approach to evaluating novel recommendations (ÒC, PH), pp. 179–186.
- SIGIR-2008-CanKBKOU #detection
- Bilkent news portal: a personalizable system with new event detection and tracking capabilities (FC, SK, OB, SK, HCO, EU), p. 885.
- SIGIR-2008-Robertson #precise
- A new interpretation of average precision (SR), pp. 689–690.
- SIGIR-2008-XuA08a #modelling #multi #probability #retrieval
- A new probabilistic retrieval model based on the dirichlet compound multinomial distribution (ZX, RA), pp. 427–434.
- SIGIR-2008-YilmazAR #correlation #information retrieval #rank
- A new rank correlation coefficient for information retrieval (EY, JAA, SR), pp. 587–594.
- SAC-2008-BarczakJM #empirical #evaluation
- Empirical evaluation of a new structure for AdaBoost (ALCB, MJJ, CHM), pp. 1764–1765.
- SAC-2008-BuenoTT #algorithm #data access #effectiveness #metric #optimisation
- An algorithm for effective deletion and a new optimization technique for metric access methods (RB, AJMT, CTJ), pp. 1034–1035.
- SAC-2008-KeyvanpourA #approach #image #interactive #retrieval #semantics #using
- A new approach for interactive semantic image retrieval using the high level semantics (MK, SA), pp. 1175–1179.
- SAC-2008-LuizPBR #approach #mobile #programming #search-based #using
- A new approach to control a population of mobile robots using genetic programming (AL, FP, GB, MR), pp. 1602–1606.
- SAC-2008-PereiraAGS #architecture #configuration management #hybrid #using
- Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture (MMP, SRFdA, BCdO, ISS), pp. 1552–1553.
- SAC-2008-RibeiroTT #algorithm #feature model
- A new algorithm for data discretization and feature selection (MXR, AJMT, CTJ), pp. 953–954.
- SAC-2008-ShiguemoriVS #approach #network #retrieval
- Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
- OSDI-2008-ChenZMB #automation #case study #dependence #experience #network
- Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.
- OSDI-2008-JainMKYDZ #consistency #metric #monitoring #network #scalability
- Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.
- SAT-2008-CreignouDER #quantifier #random
- New Results on the Phase Transition for Random Quantified Boolean Formulas (NC, HD, UE, RR), pp. 34–47.
- SAT-2008-KottlerKS08a #bound #np-hard #satisfiability #subclass #using
- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (SK, MK, CS), pp. 161–167.
- ECSA-2007-WaignierMD #architecture #framework #named
- FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.
WICSA-2007-AlmeidaAGNML #approach #architecture #design #towards- Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach (ESdA, AÁ, VCG, LMN, SRdLM, DL), p. 30.
- WICSA-2007-FragaL #approach #architecture #enterprise #ontology
- Training Initiative for New Software/Enterprise Architects: An Ontological Approach (AF, JL), p. 19.
- CASE-2007-Ho #optimisation #paradigm #towards
- Towards a New Paradigm for Optimization (YCH), p. 97–?.
- CASE-2007-KeirHCC #approach #artificial reality
- A New Approach to Accelerometer-based Head Tracking for Augmented Reality & Other Applications (MSK, CEH, JGC, XC), pp. 603–608.
- CASE-2007-YangM #approach #automation #feature model #interactive #matrix #verification
- Automatic Feasibility Verification of Object Configurations: A New Approach Based on Feature Interaction Matrices (FY, MMM), pp. 686–691.
- DAC-2007-Burns #design
- Designing a New Automotive DNA (LDB).
- DAC-2007-JiangHS #design #difference
- A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
- DAC-2007-MrugalskiRCT #power management #testing
- New Test Data Decompressor for Low Power Applications (GM, JR, DC, JT), pp. 539–544.
- DAC-2007-Scheffer
- CAD Implications of New Interconnect Technologies (LS), pp. 576–581.
- DAC-2007-SmithCHRSW #difference #industrial #named
- Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.
- DATE-2007-FangH #hybrid #performance #satisfiability
- A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
- DATE-2007-GillPW #fault #interactive #power management #symmetry
- Interactive presentation: A new asymmetric SRAM cell to reduce soft errors and leakage power in FPGA (BSG, CAP, FGW), pp. 1460–1465.
- DATE-2007-HairionECS #design #safety
- New safety critical radio altimeter for airbus and related design flow (DH, SE, EC, MS), pp. 684–688.
- DATE-2007-KhanATE #algorithm #implementation #pipes and filters #sorting
- A new pipelined implementation for minimum norm sorting used in square root algorithm for MIMO-VBLAST systems (ZK, TA, JST, ATE), pp. 1569–1574.
- DATE-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.
- DATE-2007-SavojAAGH #performance
- A new technique for characterization of digital-to-analog converters in high-speed systems (JS, AAA, AA, BWG, MAH), pp. 433–438.
- DocEng-2007-Mello #algorithm #documentation #image
- A new Tsallis entropy-based thresholding algorithm for images of historical documents (CABM), pp. 32–34.
- ICDAR-2007-BoubakerKA #modelling #online
- New Strategy for the On-Line Handwriting Modelling (HB, MK, AMA), pp. 1233–1247.
- ICDAR-2007-NejadR #identification #verification
- A New Method for Writer Identification and Verification Based on Farsi/Arabic Handwritten Texts (FN, MR), pp. 829–833.
- ICDAR-2007-RosmanTT #motivation
- A New Physically Motivated Warping Model for Form Drop-Out (GR, AT, DT), pp. 774–778.
- ICDAR-2007-Silva #analysis #documentation #metric #performance
- New Metrics for Evaluating Performance in Document Analysis Tasks_Application to the Table Case (ACeS), pp. 481–485.
- ICDAR-2007-Watt #aspect-oriented
- New Aspects of InkML for Pen-Based Computing (SMW), pp. 457–460.
- ICDAR-2007-YoshidaN #approach #documentation #modelling #parsing #web
- Web Document Parsing: A New Approach to Modeling Layout-Language Relations (MY, HN), pp. 203–207.
- ICDAR-2007-YuZL #approach #recognition
- A New Syntactic Approach to Graphic Symbol Recognition (YY, WZ, WL), pp. 516–520.
- ICDAR-2007-ZhangL #recognition
- A New Vectorial Signature for Quick Symbol Indexing, Filtering and Recognition (WZ, WL), pp. 536–540.
- SIGMOD-2007-LuoTY #adaptation #detection #realtime
- Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.
- VLDB-2007-Brodie #data transformation
- Computer Science 2.0: A New World of Data Management (MLB), p. 1161.
- ITiCSE-2007-Sanchez-TorrubiaTC #algorithm #graph #interactive #learning #tool support
- New interactive tools for graph algorithms active learning (MGST, CTB, JC), p. 337.
WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming- A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
FoSSaCS-2007-HirschkoffP #congruence #π-calculus- A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
- CSMR-2007-Suijs #experience #framework #legacy
- An Experience in Introducing a New Control Platform on a Legacy System (ES), pp. 319–320.
- SAS-2007-WeiMZC #algorithm #decompiler #identification
- A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.
- STOC-2007-Pap
- Some new results on node-capacitated packing of A-paths (GP), pp. 599–604.
CIAA-2007-Yli-JyraK #compilation #parallel- A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
- ICALP-2007-Chazelle #algorithm #design
- Ushering in a New Era of Algorithm Design (BC), p. 1.
- CHI-2007-BallagasMRB #interface #mobile #prototype #ubiquitous
- iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing (RB, FM, RR, JOB), pp. 1107–1116.
- CHI-2007-LehnHLH
- Engaging constable: revealing art with new technology (DvL, JH, PL, CH), pp. 1485–1494.
- DHM-2007-KangXCX #algorithm
- A New Decoding Algorithm in MIMO-ZP-OFDM Systems (RK, CX, HC, HX), pp. 130–135.
- DHM-2007-KurodaOKTOY #animation #coordination
- Finding Origin Points for New Coordinate System Suitable for Sign Animation (TK, KO, RK, TT, NO, HY), pp. 415–422.
- DHM-2007-LiZ #framework #modelling #simulation
- The Strength Factor in Digital Human Modeling and Simulation: A Case for a New Framework (KL, XZ), pp. 144–146.
- DHM-2007-ZhangCZZFD
- A New Virtual Dynamic Dentomaxillofacial System for Analyzing Mandibular Movement, Occlusal Contact, and TMJ Condition (CZ, LC, FZ, HZ, HF, GD), pp. 747–756.
- HCI-AS-2007-MaY #experience #user interface
- UX Office. A New Software Application for User Experience Services (LM, XY), pp. 649–653.
- HCI-AS-2007-MutoI #how #user interface
- How New Technologies Can Help Create Better UI’s for Medical Devices (WHM, EWI), pp. 499–507.
- HCI-AS-2007-SongLH #case study #evaluation #framework #game studies #multi #online #usability
- A New Framework of Usability Evaluation for Massively Multi-player Online Game: Case Study of “World of Warcraft” Game (SS, JL, IH), pp. 341–350.
- HCI-IDU-2007-ItohHTK #design #process
- A New User-Centered Design Process for Creating New Value and Future (YI, YH, HT, MK), pp. 108–116.
- HCI-IDU-2007-KimJBKJY #framework
- A New Framework of Measuring the Business Values of Software (IKK, BSJ, SB, AK, YGJ, MHY), pp. 559–568.
- HCI-IDU-2007-XuQC #case study #design
- A Case Study of New Way to Apply Card Sort in Panel Design (YX, XQ, SSC), pp. 289–297.
- HCI-IPT-2007-Ouramdane-DjerrahOM #3d #collaboration #interactive
- A New Model of Collaborative 3D Interaction in Shared Virtual Environment (NOD, SO, MM), pp. 663–672.
- HCI-IPT-2007-SuhLSJY #collaboration #concept #design #evaluation #framework #interface
- An Evaluation Framework for the Design Concepts of Tangible Interface on New Collaborative Work Support System (YS, CL, JS, MJ, MHY), pp. 1210–1219.
- HCI-MIE-2007-ChanCCHH #detection #multi #using
- A New Method for Multi-finger Detection Using a Regular Diffuser (LWC, YFC, YWC, YPH, JYjH), pp. 573–582.
- HCI-MIE-2007-MascioFT #evaluation #image
- Evaluation of VISTO: A New Vector Image Search TOol (TDM, DF, LT), pp. 836–845.
- HCI-MIE-2007-ShukranCC #algorithm #implementation #usability #video
- Implementation of a New H.264 Video Watermarking Algorithm with Usability Test (MAMS, YYC, XC), pp. 963–970.
- HCI-MIE-2007-SimeoniEGPRMT #concept #interactive #standard
- Innovative TV: From an Old Standard to a New Concept of Interactive TV — An Italian Job (RS, LE, EG, MP, AR, RM, FT), pp. 971–980.
- HIMI-IIE-2007-AndoM #education #student
- A New Method for Teachers and Students to Record Daily Progress in a Class (AA, KM), pp. 245–251.
- HIMI-MTT-2007-GeislerERPSG #interactive #paradigm #scalability
- Fovea-Tablett®: A New Paradigm for the Interaction with Large Screens (JG, RE, NR, EPB, CS, SG), pp. 278–287.
- HIMI-MTT-2007-MascioLM #image #interface
- The Interface of VISTO, a New Vector Image Search Tool (TDM, LL, VM), pp. 417–426.
- HIMI-MTT-2007-ParkK07a #case study #effectiveness #mobile
- A Case Study on Effective Application of Inquiry Methods to Find Out Mobile Phone’s New Function (SP, YK), pp. 163–170.
- HIMI-MTT-2007-SpathPHR #user interface
- New Approaches to Intuitive Auditory User Interfaces (DS, MP, LH, BR), pp. 975–984.
- OCSC-2007-GonzalezGC #development
- Fostering Knowledge Mode Conversion in New Product Development Environment (EGM, DAGZ, MC), pp. 352–361.
- OCSC-2007-ZhengSR #authoring #collaboration #data transformation #named
- WikiTable: A New Tool for Collaborative Authoring and Data Management (XSZ, IS, RR), pp. 501–508.
- AdaEurope-2007-RivasR #ada #implementation #realtime
- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
- ICEIS-AIDSS-2007-RaimondiPVM #fuzzy #logic
- A New Fuzzy Logic Controller for Trading on the Stock Market (FMR, SP, PV, MM), pp. 322–329.
- ICEIS-DISI-2007-BergamaschiOGS #metadata
- Relevant values: New metadata to provide insight on attribute values at schema level (SB, MO, FG, CS), pp. 274–279.
- ICEIS-DISI-2007-Chen #algorithm #pattern matching
- A new algorithm for twig pattern matching (YC), pp. 44–51.
- ICEIS-EIS-2007-HuangZZ #analysis #approach #process #workflow
- A New Approach for Workflow Process Delta Analysis Based on SYN-NET (XQH, WZ, SZ), pp. 480–488.
- ICEIS-HCI-2007-BimonteTMF #metric #visualisation
- Supporting Geographical Measures through a New Visualization Metaphor in Spatial OLAP (SB, AT, SDM, FF), pp. 19–26.
- ICEIS-HCI-2007-MelguizoBDBB #memory management #recommendation #what
- What a Proactive Recommendation System Needs — Relevance, Non-Intrusiveness, and a New Long-Term Memory (MCPM, TB, AD, LB, AvdB), pp. 86–91.
- ICEIS-HCI-2007-WerdaMH #approach #interactive
- A New LIP-Reading Approach for Human Computer Interaction (SW, WM, ABH), pp. 27–36.
- ICEIS-SAIC-2007-DandashWLS #detection #internet
- A New Group Key Management Structure for Fraudulent Internet Banking Payments Detection (OD, YW, PDL, BS), pp. 57–62.
- ICML-2007-MnihH #modelling #statistics #visual notation
- Three new graphical models for statistical language modelling (AM, GEH), pp. 641–648.
- KDD-2007-Fayyad #internet #mining #web
- From mining the web to inventing the new sciences underlying the internet (UMF), pp. 2–3.
- MLDM-2007-CuiL #sequence
- A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
- RecSys-2007-NguyenDB #induction #recommendation #rule-based
- Improving new user recommendations with rule-based induction on cold user data (ATN, ND, CB), pp. 121–128.
- SEKE-2007-AlencarRSF #classification #modelling #probability #project management
- Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management (AJA, GGR, EAS, ALF), pp. 151–156.
- SIGIR-2007-CustisA #approach #query
- A new approach for evaluating query expansion: query-document term mismatch (TC, KAK), pp. 575–582.
- SIGIR-2007-Lee #probability
- IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model (LL), pp. 751–752.
- SIGIR-2007-SevillanoAS #clustering #named
- BordaConsensus: a new consensus function for soft cluster ensembles (XS, FA, JCS), pp. 743–744.
- SIGIR-2007-Wan #clustering #documentation #evaluation #named #using
- OMES: a new evaluation strategy using optimal matching for document clustering (XW), pp. 693–694.
- SIGIR-2007-ZhangZW #detection
- New event detection based on indexing-tree and named entity (KZ, JZ, LGW), pp. 215–222.
- SAC-2007-SatzgerPTU #adaptation #detection #distributed
- A new adaptive accrual failure detector for dependable distributed systems (BS, AP, WT, TU), pp. 551–555.
- SAC-2007-VogelerGB #documentation #tool support #xml
- New specialist tools for medieval document XML markup (GV, SG, BB), pp. 594–599.
- ESEC-FSE-2007-EvansS #approach #detection #difference #testing
- Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.
- SPLC-2007-Krueger #generative #product line
- The 3-Tiered Methodology: Pragmatic Insights from New Generation Software Product Lines (CWK), pp. 97–106.
- CC-2007-FiremanPZ #algorithm
- New Algorithms for SIMD Alignment (LF, EP, AZ), pp. 1–15.
- CC-2007-ScholzB #analysis #composition #data flow #framework #using
- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees (BS, JB), pp. 202–217.
LCTES-2007-XuT #named- Tetris: a new register pressure control technique for VLIW processors (WX, RT), pp. 113–122.
- SOSP-2007-AguileraMSVK #distributed #named #paradigm #scalability
- Sinfonia: a new paradigm for building scalable distributed systems (MKA, AM, MAS, ACV, CTK), pp. 159–174.
ISSTA-2007-ChangPY #approach #what- Finding what’s not there: a new approach to revealing neglected conditions in software (RYC, AP, JY), pp. 163–173.
- LICS-2007-RanzatoT #algorithm #equivalence #performance #simulation
- A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
- SAT-2007-HerasLO #named #satisfiability
- MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.
TestCom-FATES-2007-BenharrefDSEG #approach #testing #web #web service- New Approach for EFSM-Based Passive Testing of Web Services (AB, RD, MAS, AEN, RHG), pp. 13–27.
- TestCom-FATES-2007-DesmoulinV #generative #testing
- A New Method for Interoperability Test Generation (AD, CV), pp. 58–73.
QoSA-2006-CorryHS #architecture- Traveling Architects — A New Way of Herding Cats (AVC, KMH, DS), pp. 111–126.
ASE-2006-HanakawaI #ajax #web- A new web browser including a transferable function to Ajax codes (NH, NI), pp. 351–352.
- ASE-2006-Maurer #assembly
- The Rearranger — A New Assembler Utility (WDM), pp. 357–358.
- CASE-2006-LiHZ #algorithm #multi
- A New Data Association Algorithm for Multiple Passive Sensors (CL, CH, HZ), pp. 594–599.
- CASE-2006-LiZY #development #fault #integration #probability #research
- Research on Computational Method of Fault Probability for New Product Development Based on Intelligence and Integration (FL, LZ, YY), pp. 319–324.
- CASE-2006-YanFLLZZTY #automation
- A new automatic cooking machine for Chinese dishes (WXY, ZF, YHL, RQL, YZZ, XYZ, JHT, PY), pp. 534–539.
- DAC-2006-ChoP #named
- BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.
- DAC-2006-InoueIKSE #architecture #mobile #named
- VIRTUS: a new processor virtualization architecture for security-oriented next-generation mobile terminals (HI, AI, MK, JS, ME), pp. 484–489.
- DAC-2006-LuoNP #design #incremental #performance
- A new LP based incremental timing driven placement for high performance designs (TL, DN, DZP), pp. 1115–1120.
- DAC-2006-RadT #clustering #hybrid
- A new hybrid FPGA with nanoscale clusters and CMOS routing (RMR, MT), pp. 727–730.
- DATE-2006-JerinicLHM #functional #metric #verification
- New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.
- DATE-DF-2006-CampobelloCCM #network
- GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.
- DATE-DF-2006-MartinaMMVSV #approach #programmable
- A new approach to compress the configuration information of programmable devices (MM, GM, AM, FV, LS, MV), pp. 48–51.
- DocEng-2006-Moore #documentation
- Every page is different: a new document type for commercial printing (KM), p. 2.
- DRR-2006-WangDLL #authentication #documentation
- A new document authentication method by embedding deformation characters (XW, XD, HL, CL).
- SIGMOD-2006-Gutmans #named #paradigm #php #web
- PHP: supporting the new paradigm of situational and composite web applications (AG), p. 707.
- VLDB-2006-MoerkotteN #algorithm #analysis #generative #programming
- Analysis of Two Existing and One New Dynamic Programming Algorithm for the Generation of Optimal Bushy Join Trees without Cross Products (GM, TN), pp. 930–941.
- VLDB-2006-MokbelCA #privacy #query
- The New Casper: Query Processing for Location Services without Compromising Privacy (MFM, CYC, WGA), pp. 763–774.
- VLDB-2006-WangRGB #multi #named #optimisation #paradigm #query
- State-Slice: New Paradigm of Multi-query Optimization of Window-based Stream Queries (SW, EAR, SG, SB), pp. 619–630.
- ITiCSE-2006-WirthB #algorithm #research #student
- New algorithms research for first year students (AW, MB), pp. 128–132.
- TACAS-2006-SiminiceanuC #diagrams #metric
- New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
- STOC-2006-AmbainisSW #bound #quantum #theorem #trade-off
- A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs (AA, RS, RdW), pp. 618–633.
- STOC-2006-AroraC #approximate
- New approximation guarantee for chromatic number (SA, EC), pp. 215–224.
- STOC-2006-RoughgardenS #trade-off
- New trade-offs in cost-sharing mechanisms (TR, MS), pp. 79–88.
- STOC-2006-Zhang #bound #quantum #random
- New upper and lower bounds for randomized and quantum local search (SZ), pp. 634–643.
- DLT-2006-DediuKKN #approach #generative #graph grammar
- Contextual Hypergraph Grammars — A New Approach to the Generation of Hypergraph Languages (AHD, RKH, HJK, BN), pp. 327–338.
- ICALP-v1-2006-AulettaPPPV #verification
- New Constructions of Mechanisms with Verification (VA, RDP, PP, GP, CV), pp. 596–607.
- ICALP-v1-2006-Bille #algorithm #regular expression
- New Algorithms for Regular Expression Matching (PB), pp. 643–654.
- ICALP-v2-2006-Vergnaud #verification
- New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures (DV), pp. 58–69.
FM-2006-Stephan #formal method #lightweight #plugin #security- Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
- ICGT-2006-Lins #algorithm
- New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.
- CHI-2006-FroehlichHSH
- The GlobeFish and the GlobeMouse: two new six degree of freedom input devices for graphics applications (BF, JH, VS, AH), pp. 191–199.
- CHI-2006-GongT #evaluation #fault #metric
- A new error metric for text entry method evaluation (JG, PT), pp. 471–474.
- CHI-2006-KoM #editing #framework #implementation #interactive #named #tool support
- Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors (AJK, BAM), pp. 387–396.
- CHI-2006-ParikhJSGT #approach #documentation #mobile
- Mobile phones and paper documents: evaluating a new approach for capturing microfinance data in rural India (TSP, PJ, KS, KG, KT), pp. 551–560.
- ICEIS-AIDSS-2006-PintoGS #data mining #database #mining #paradigm
- Data Mining as a New Paradigm for Business Intelligence in Database Marketing Projects (FMP, PG, MFS), pp. 144–149.
- ICEIS-DISI-2006-DingGJH #approach #modelling #transaction
- A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.
- ICEIS-ISAS-2006-LewandowskiB #development #framework #process
- A New Framework for the Support of Software Development Cooperative Activities (AL, GB), pp. 36–43.
- CIKM-2006-GoldinMN #algorithm #clustering #distance #sequence
- In search of meaning for time series subsequence clustering: matching algorithms based on a new distance measure (DQG, RM, GN), pp. 347–356.
- CIKM-2006-MokhtaripourJ
- Introduction to a new Farsi stemmer (AM, SJ), pp. 826–827.
- CIKM-2006-TatikondaPK #algorithm #mining
- TRIPS and TIDES: new algorithms for tree mining (ST, SP, TMK), pp. 455–464.
- ECIR-2006-Hawking #enterprise #future of #question
- Enterprise Search — The New Frontier? (DH), p. 12.
- ICML-2006-AzranG #approach #clustering #data-driven
- A new approach to data driven clustering (AA, ZG), pp. 57–64.
- ICPR-v1-2006-CaoN
- New RHT-Based Ellipsoid Recovery Method (CKC, TSN), pp. 622–625.
- ICPR-v1-2006-ChenC #multi #performance #quality
- New Efficient Octree Construction from Multiple Object Silhouettes with Construction Quality Control (ZC, HLC), pp. 127–130.
- ICPR-v1-2006-ChenCLT #algorithm #automation #graph #image #segmentation #using
- Automatic Segmentation of Lung Fields from Radiographic Images of SARS Patients Using a New Graph Cuts Algorithm (SC, LC, JL, XT), pp. 271–274.
- ICPR-v1-2006-KoTSH #image #learning #segmentation
- A New Image Segmentation Method for Removing Background of Object Movies by Learning Shape Priors (CHK, YPT, ZCS, YPH), pp. 323–326.
- ICPR-v1-2006-LuM #constraints
- A New Structural Constraint and its Application in Wide Baseline Matching (XL, RM), pp. 84–89.
- ICPR-v1-2006-QiuGDC #image #optimisation #using
- Tone Mapping for HDR Image using Optimization A New Closed Form Solution (GQ, JG, JD, MC), pp. 996–999.
- ICPR-v1-2006-SkelleyFSH #database
- Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
- ICPR-v1-2006-WuMLC #segmentation
- A New Method of Object Segmentation in the Basketball Videos (LW, XM, XL, SC), pp. 319–322.
- ICPR-v2-2006-CamastraSV #algorithm #benchmark #challenge #machine learning #metric #pattern matching #pattern recognition #recognition
- Offline Cursive Character Challenge: a New Benchmark for Machine Learning and Pattern Recognition Algorithms. (FC, MS, AV), pp. 913–916.
- ICPR-v2-2006-ChenS #graph #verification
- A New Off-line Signature Verification Method based on Graph (SC, SNS), pp. 869–872.
- ICPR-v2-2006-Huang #kernel #predict
- A New Kernel Based on Weighted Cross-Correlation Coefficient for SVMs and Its Application on Prediction of T-cell Epitopes (JH), pp. 691–694.
- ICPR-v2-2006-KimYL #estimation #image #interactive #modelling #parametricity #random #segmentation #using
- New MRF Parameter Estimation Technique for Texture Image Segmentation using Hierarchical GMRF Model Based on Random Spatial Interaction and Mean Field Theory (DHK, IDY, SUL), pp. 365–368.
- ICPR-v2-2006-SadriSB #clustering #recognition
- A New Clustering Method for Improving Plasticity and Stability in Handwritten Character Recognition Systems (JS, CYS, TDB), pp. 1130–1133.
- ICPR-v2-2006-SaraM #invariant #named #recognition #towards
- FAIR: Towards A New Feature for Affinely-Invariant Recognition (RS, MM), pp. 412–416.
- ICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using
- A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
- ICPR-v2-2006-ZhangR #incremental #learning
- A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.
- ICPR-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.
- ICPR-v3-2006-AmorAC #3d #authentication #recognition
- New Experiments on ICP-Based 3D Face Recognition and Authentication (BBA, MA, LC), pp. 1195–1199.
- ICPR-v3-2006-ArcelliBS #3d #set
- A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.
- ICPR-v3-2006-ChenY06a #adaptation #equation #image
- A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.
- ICPR-v3-2006-KananFE #locality #performance #recognition #using
- An Efficient Face Recognition System Using a New Optimized Localization Method (HRK, KF, ME), pp. 564–567.
- ICPR-v3-2006-PengWT #image #performance
- A New Efficient SVM-based Image Registration Method (DP, DW, JWT), pp. 782–785.
- ICPR-v3-2006-SalmonDW #detection
- A new method to detect arcs and segments from curvature profiles (JPS, IDR, LW), pp. 387–390.
- ICPR-v3-2006-WangHWH #approach #image
- A New Approach for Fractal Image Compression on a Virtual Hexagonal Structure (HW, XH, QW, TH), pp. 909–912.
- ICPR-v4-2006-AreekulSJ #algorithm #locality
- The New Focal Point Localization Algorithm for Fingerprint Registration (VA, KS, SJ), pp. 497–500.
- ICPR-v4-2006-DuB #image #segmentation
- A New Hierarchical Image Segmentation Method (XD, TDB), pp. 108–112.
- ICPR-v4-2006-KoSB #random
- A New Objective Function for Ensemble Selection in Random Subspaces (AHRK, RS, AdSBJ), pp. 185–188.
- ICPR-v4-2006-LeeRS #hybrid #recognition
- Fusion of Chaotic Measure Into a New Hybrid Face-Gait System for Human Recognition (TKML, SR, SS), pp. 541–544.
- ICPR-v4-2006-LiuXYD #hybrid #verification
- A New Hybrid GMM/SVM for Speaker Verification (ML, YX, ZY, BD), pp. 314–317.
- ICPR-v4-2006-LiZZB #analysis #approach #automation #multi #segmentation #using
- A New Approach to Automated Retinal Vessel Segmentation Using Multiscale Analysis (QL, LZ, DZ, PB), pp. 77–80.
- ICPR-v4-2006-OliverMMBF #approach #classification
- A new approach to the classification of mammographic masses and normal breast tissue (AO, JM, RM, AB, JF), pp. 707–710.
- ICPR-v4-2006-SunYMW #energy #segmentation
- Better Foreground Segmentation for Static Cameras via New Energy Form and Dynamic Graph-cut (YS, BY, ZM, CW), pp. 49–52.
- ICPR-v4-2006-VandeportaeleCMG #linear
- A New Linear Calibration Method for Paracatadioptric Cameras (BV, MC, PM, PG), pp. 647–651.
- ICPR-v4-2006-YuC06a #segmentation #statistics #using
- Filament Preserving Segmentation for SAR Sea Ice Imagery Using a New Statistical Model (QY, DAC), pp. 849–852.
- ICPR-v4-2006-YuI #approach #named #semantics
- Spatial-HMM: A new approach for Semantic Annotation of Histological (FY, HHSI), pp. 663–666.
- KDD-2006-HashimotoAUKM #mining #order #performance #probability
- A new efficient probabilistic model for mining labeled ordered trees (KH, KFAK, NU, MK, HM), pp. 177–186.
- KDD-2006-LateckiSL
- New EM derived from Kullback-Leibler divergence (LJL, MS, RL), pp. 267–276.
- KDD-2006-MeruguRP #approach #estimation #multi
- A new multi-view regression approach with an application to customer wallet estimation (SM, SR, CP), pp. 656–661.
- KDD-2006-Moore #algorithm #statistics
- New cached-sufficient statistics algorithms for quickly answering statistical questions (AM), p. 2.
- KR-2006-WachterH #graph #representation
- Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.
- SEKE-2006-HuangC06a #nondeterminism #rule-based
- A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
- SEKE-2006-NieXSW #generative #heuristic #testing
- A New Heuristic for Test Suite Generation for Pair-wise Testing (CN, BX, LS, ZW), pp. 517–521.
- SIGIR-2006-DiaoS #summary #web
- A new web page summarization method (QD, JS), pp. 639–640.
- SAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing
- A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
- SAC-2006-FelipeTT #image #retrieval #similarity
- A new similarity measure for histograms applied to content-based retrieval of medical images (JCF, AJMT, CTJ), pp. 258–259.
- SAC-2006-NevesCFB #knowledge base
- A new table interpretation methodology with little knowledge base: table interpretation methodology (LAPN, JMdC, JF, FB), pp. 847–852.
- SAC-2006-RuttiWS #abstraction #implementation #interface #protocol
- Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.
- SAC-2006-ShapiraTM
- Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests (BS, MTM, AM), pp. 1118–1119.
- SAC-2006-ZytnickiGS #consistency #csp
- A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
FSE-2006-GulavaniHKNR #algorithm #named- SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
- ICSE-2006-Ruthruff #paradigm #program analysis
- Experimental program analysis: a new paradigm for program analysis (JRR), pp. 977–980.
- ICSE-2006-Zhao #analysis #approach #testing
- A new approach for software testability analysis (LZ), pp. 985–988.
- SPLC-2006-Krueger #development #product line
- New Methods in Software Product Line Development (CWK), pp. 95–102.
- SPLC-2006-Krueger06a #generative #named #product line #tutorial
- Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories (CWK), p. 216.
- ASPLOS-2006-KawahitoKMIN #framework #recognition
- A new idiom recognition framework for exploiting hardware-assist instructions (MK, HK, TM, HI, TN), pp. 382–393.
- HPCA-2006-Shaw #architecture #biology
- New architectures for a new biology (DES), p. 4.
- HPDC-2006-OrtizJM #data transformation #towards
- Toward a New Direction on Data Management in Grids (AO, JJ, AM), pp. 377–378.
- CAV-2006-WulfDHR #algorithm #anti #automaton #finite #named
- Antichains: A New Algorithm for Checking Universality of Finite Automata (MDW, LD, TAH, JFR), pp. 17–30.
- ISSTA-2006-RuthruffER #paradigm #program analysis
- Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
- WICSA-2005-LiLC #architecture #reliability
- Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
- CASE-2005-PanSY #approach #optimisation #problem
- A new optimization approach to the general single machine earliness-tardiness problem (YP, LS, HY), pp. 43–48.
- DAC-2005-AbdollahiP #canonical #logic #performance #synthesis #verification
- A new canonical form for fast boolean matching in logic synthesis and verification (AA, MP), pp. 379–384.
- DAC-2005-BrennerS #algorithm #performance
- Faster and better global placement by a new transportation algorithm (UB, MS), pp. 591–596.
- DAC-2005-CoburnRR #estimation #paradigm
- Power emulation: a new paradigm for power estimation (JC, SR, AR), pp. 700–705.
- DAC-2005-LiuCO #approximate #design #multi
- Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design (YL, SC, WTO), pp. 248–253.
- DAC-2005-VolkerinkM #architecture #using
- Response compaction with any number of unknowns using a new LFSR architecture (EHV, SM), pp. 117–122.
- DATE-2005-BodeanBL #ram #self
- New Schemes for Self-Testing RAM (GB, DB, AL), pp. 858–859.
- DATE-2005-Brinkmeyer #approach #component #testing
- A New Approach to Component Testing (HB), pp. 534–535.
- DATE-2005-Campagnolo #detection #generative
- eMICAM a New Generation of Active DNA Chip with in Situ Electrochemical Detection (RC), pp. 1338–1339.
- DATE-2005-CasuM #design #pipes and filters
- A New System Design Methodology for Wire Pipelined SoC (MRC, LM), pp. 944–945.
- DATE-2005-ChakrabortyT #analysis #scheduling #streaming
- A New Task Model for Streaming Applications and Its Schedulability Analysis (SC, LT), pp. 486–491.
- DATE-2005-Conti #analysis #architecture #power management
- SystemC Analysis of a New Dynamic Power Management Architectur (MC), pp. 177–178.
- DATE-2005-Hughes #challenge
- Striking a New Balance in the Nanometer Era: First-Time-Right and Time-to-Market Demands Versus Technology Challenges (GH), p. 3.
- DATE-2005-LopezPN #embedded #metric
- A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
- DATE-2005-ManaresiMAAVRATG
- New Perspectives and Opportunities From the Wild West of Microelectronic Biochips (NM, GM, MA, VA, PV, AR, LA, MT, RG), pp. 1092–1093.
- DocEng-2005-AvilaLO #algorithm #image
- A new rotation algorithm for monochromatic images (BTÁ, RDL, LO), pp. 130–132.
- DRR-2005-RusuG #challenge #image #on the
- On the challenges that handwritten text images pose to computers and new practical applications (AIR, VG), pp. 84–91.
- DRR-2005-SadriSB #approach #recognition #segmentation #string
- New approach for segmentation and recognition of handwritten numeral strings (JS, CYS, TDB), pp. 92–100.
- DRR-2005-WangDJH #recognition #statistics
- New statistical method for machine-printed Arabic character recognition (HW, XD, JJ, MH), pp. 127–135.
- ICDAR-2005-AgrawalBMV #dataset #named #online #representation #xml
- UPX: A New XML Representation for Annotated Datasets of Online Handwriting Data (MA, KB, SM, LV), pp. 1161–1165.
- ICDAR-2005-KangG #ranking #recognition
- A New Feature Ranking Method in a HMM-Based Handwriting Recognition System (SK, VG), pp. 779–783.
- ICDAR-2005-ShivakumaraKVRN #documentation #estimation #image #using #word
- A New Moments based Skew Estimation Technique using Pixels in the Word for Binary Document Images (PS, GHK, HSV, SR, MRRN), pp. 151–156.
- ICDAR-2005-WangC #classification #using
- A Hierarchical Classifier Using New Support Vector Machine (YCFW, DC), pp. 851–855.
- ICDAR-2005-YangYS
- A New Method of Recognizing Chinese Fonts (ZY, LY, CYS), pp. 962–966.
- PODS-2005-Gottlob #algorithm
- Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.
- CSEET-2005-Cowling #approach #diagrams #formal method
- Translating Diagrams: A New Approach to Introducing Formal Methods (AJC), pp. 121–128.
- ITiCSE-2005-Cardoso #challenge #education
- New challenges in computer science education (JMPC), pp. 203–207.
- ITiCSE-2005-FossumH #assessment #source code
- A new quantitative assessment tool for computer science programs (TVF, SMH), pp. 153–157.
- ITiCSE-2005-SweedykK #game studies #re-engineering
- Fun and games: a new software engineering course (ES, RMK), pp. 138–142.
- WRLA-2004-DuranEL05 #evaluation #maude
- New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
- ESOP-2005-RanganathABDH #slicing
- A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
- TACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis
- A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.
ICSM-IT-2005-BhawnaniR #evolution #maintenance #named- ReleasePlanner — Planning new Releases for Software Maintenance and Evolution (PB, GR), pp. 73–76.
PASTE-2005-CookO #component #deployment #named- MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.
- SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing
- Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
- STOC-2005-BarakKSSW #graph #independence #simulation
- Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors (BB, GK, RS, BS, AW), pp. 1–10.
- STOC-2005-CicaleseL #query
- A new strategy for querying priced information (FC, ESL), pp. 674–683.
- STOC-2005-PassR #encryption #protocol
- New and improved constructions of non-malleable cryptographic protocols (RP, AR), pp. 533–542.
- DLT-2005-BorelR #word
- Some New Results on Palindromic Factors of Billiard Words (JPB, CR), pp. 180–188.
- ICALP-2005-EisenbrandGOS #design #network
- New Approaches for Virtual Private Network Design (FE, FG, GO, MS), pp. 1151–1162.
- ICALP-2005-LipmaaWB #security #verification
- Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction (HL, GW, FB), pp. 459–471.
- SEFM-2005-SadaniSC #framework #petri net #verification
- From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
- AdaEurope-2005-BordinV #ada
- A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.
- AdaEurope-2005-RivasMH #ada #policy #scheduling
- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
- ICEIS-v1-2005-XuePQZ #database #hybrid #scalability #string
- The Hybrid Digital Tree: A New Indexing Technique for Large String Databases (QX, SP, GQ, QZ), pp. 115–121.
- ICEIS-v3-2005-NandiK #adaptation #component #integration
- Adaptive Business Objects — A new Component Model for Business Integration (PN, SK), pp. 179–188.
- ICEIS-v4-2005-SongLN #database #mobile
- A new Model for Database Service Discovery in Mobile Agent System (LS, XL, JN), pp. 214–219.
- CIKM-2005-HuangLH #approach #distributed #mining #permutation
- A new permutation approach for distributed association rule mining (YH, ZL, HH), pp. 351–352.
- CIKM-2005-LiCXHLM #approach #information management #intranet
- A new approach to intranet search based on information extraction (HL, YC, JX, YH, SL, DM), pp. 460–468.
- CIKM-2005-Shneiderman
- Leonardo’s laptop: human needs and the new computing technologies (BS), p. 1.
- CIKM-2005-TorresFZFFGC #framework #image #retrieval
- A new framework to combine descriptors for content-based image retrieval (RdST, AXF, BZ, WF, EAF, MAG, PC), pp. 335–336.
- ECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict
- Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.
- ICML-2005-ChuK
- New approaches to support vector ordinal regression (WC, SSK), pp. 145–152.
- ICML-2005-SilvaS #identification #learning #modelling
- New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.
- ICML-2005-WangS #classification #kernel
- New kernels for protein structural motif discovery and function classification (CW, SDS), pp. 940–947.
- ICML-2005-ZhouLZ #clustering #distance #metric
- A new Mallows distance based metric for comparing clusterings (DZ, JL, HZ), pp. 1028–1035.
- KDD-2005-ZhangWZ #classification #privacy
- A new scheme on privacy-preserving data classification (NZ, SW, WZ), pp. 374–383.
LSO-2005-DedeneSBL #generative #web #web service- New generation E-Learning technology by Web Services (GD, MS, MDB, WL), pp. 77–81.
- MLDM-2005-Bak #classification #linear #multi
- A New Multidimensional Feature Transformation for Linear Classifiers and Its Applications (EB), pp. 275–284.
- MLDM-2005-XiangZCL #approach #recognition #sequence
- A New Approach to Human Motion Sequence Recognition with Application to Diving Actions (SX, CZ, XC, NL), pp. 487–496.
- SEKE-2005-Lee
- Managed P2P — New Channel of Digital Media (JL), p. 788.
- SIGIR-2005-Flores #challenge #future of #information retrieval #question
- The future of media, blogs and innovation: new IR challenges? (FF), p. 218.
ECMDA-FA-2005-Bloomfield #industrial #metamodelling #model transformation- MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.
MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
- MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability
- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
PPDP-2005-Gabbay #calculus- A new calculus of contexts (MG), pp. 94–105.
- RE-2005-Corniou #challenge #information management #policy
- The Role of Information Systems within Corporate Strategy and Management Policies: New Challenges (JPC), p. 4.
- SAC-2005-BartakR
- Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.
- SAC-2005-ChenA #analysis #approach #comparative #predict #sequence #using
- A new approach for gene prediction using comparative sequence analysis (RC, HHA), pp. 177–184.
- SAC-2005-FalcoTCG #algorithm #clustering #search-based
- A new variable-length genome genetic algorithm for data clustering in semeiotics (IDF, ET, ADC, FG), pp. 923–927.
- ESEC-FSE-2005-McCloskeyB #approach #c #named #refactoring
- ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.
- SPLC-2005-EtxeberriaM #architecture #evaluation #product line
- Product-Line Architecture: New Issues for Evaluation (LE, GSM), pp. 174–185.
- HPCA-2005-DuatoJFNGF #effectiveness #multi #network #scalability
- A New Scalable and Cost-Effective Congestion Management Strategy for Lossless Multistage Interconnection Networks (JD, IJ, JF, FN, PJG, TNF), pp. 108–119.
- HPDC-2005-EnglandWS #metric #robust #scheduling
- A new metric for robustness with application to job scheduling (DE, JBW, JS), pp. 135–143.
- HPDC-2005-LuJ #design #distributed #effectiveness #evaluation #multi
- Design and evaluation of a new and effective fairness scheme for multicasting in Internet-scale distributed systems (YL, HJ), pp. 285–286.
- ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog
- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
- SAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set
- A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
- SAT-2005-WeiS #approach
- A New Approach to Model Counting (WW, BS), pp. 324–339.
- DAC-2004-CasuM #approach #design #latency
- A new approach to latency insensitive design (MRC, LM), pp. 576–581.
- DAC-2004-Kerntopf #algorithm #heuristic #logic #synthesis
- A new heuristic algorithm for reversible logic synthesis (PK), pp. 834–837.
- DAC-2004-ParkCYC #power management #testing
- A new state assignment technique for testing and low power (SP, SC, SY, MJC), pp. 510–513.
- DAC-2004-RaviKLMR #design #embedded #security
- Security as a new dimension in embedded system design (SR, PCK, RBL, GM, AR), pp. 753–760.
- DATE-v1-2004-BenabdenbiGPVT #named #testing
- STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores (MB, AG, FP, EV, MT), pp. 712–713.
- DATE-v1-2004-HounsellT #embedded #synthesis
- Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration (BIH, RT), pp. 682–683.
- DATE-v1-2004-PerezMT #scheduling #using
- A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling (DGP, GM, OT), pp. 552–557.
- DATE-v2-2004-HsiehH #design #effectiveness
- A New Effective Congestion Model in Floorplan Design (YLH, TMH), pp. 1204–1209.
- DATE-v2-2004-JabirP #diagrams #multi #named #representation
- MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.
- DATE-v2-2004-MondalCM #analysis #approach #logic #using
- A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.
- DATE-v2-2004-SogomonyanMOG #self
- A New Self-Checking Sum-Bit Duplicated Carry-Select Adder (ESS, DM, VO, MG), pp. 1360–1361.
- DocEng-2004-SilvaRSM #composition #concept #xml
- NCL 2.0: integrating new concepts to XML modular languages (HVOS, RFR, LFGS, DCMS), pp. 188–197.
- DRR-2004-WangD04a #multi #statistics
- New statistical method for multifont printed Tibetan/English OCR (HW, XD), pp. 155–165.
- HT-2004-Gillmor
- We the media: technology empowers a new grassroots journalism (DG), pp. 270–271.
- VLDB-2004-Ailamaki #architecture #database #hardware
- Database Architecture for New Hardware (AA), p. 1241.
- VLDB-2004-BraganholoDH #problem #relational #xml
- From XML View Updates to Relational View Updates: old solutions to a new problem (VPB, SBD, CAH), pp. 276–287.
- ITiCSE-WGR-2004-Campbell #assurance #security
- IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
- ICSM-2004-Granja-Alvarez #analysis #case study #maintenance #specification
- Software Maintenance: Analysis of Estimates Based on Requirement Specification in the Context of New Technologies, a Case Study (JCGA), p. 531.
- STOC-2004-ChuzhoyN #scheduling
- New hardness results for congestion minimization and machine scheduling (JC, JN), pp. 28–34.
- STOC-2004-HolmerinK #equation #linear #verification
- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
- STOC-2004-PrabhakaranS #security
- New notions of security: achieving universal composability without trusted setup (MP, AS), pp. 242–251.
- STOC-2004-RozenmanSW #product line
- A new family of Cayley expanders (?) (ER, AS, AW), pp. 445–454.
- DLT-2004-BordihnHK #automaton #geometry
- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages (HB, MH, MK), pp. 102–113.
- DLT-2004-DowneyM #complexity
- Some New Directions and Questions in Parameterized Complexity (RGD, CM), pp. 12–26.
- ICALP-2004-Fleischer #algorithm #bound #linear #network
- Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks (LF), pp. 544–554.
- ICALP-2004-Williams #algorithm #constraints
- A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.
- CHI-2004-Cornett #design #game studies #multi #online #usability
- The usability of massively multiplayer online roleplaying games: designing for new users (SC), pp. 703–710.
- CHI-2004-PaekDL #internet #named
- WaveLens: a new view onto Internet search results (TP, STD, RL), pp. 727–734.
- CSCW-2004-DaveWM #navigation #online #scalability
- Flash forums and forumReader: navigating a new kind of large-scale online discussion (KD, MW, MJM), pp. 232–241.
- ICEIS-v1-2004-El-SonbatyK #algorithm #incremental #mining #performance
- New Fast Algorithm for Incremental Mining of Association Rules (YES, RK), pp. 275–281.
- ICEIS-v1-2004-MoraECGG
- A/D Case: A New Heart for FD3 (AM, ME, PC, IPdG, JG), pp. 482–490.
- ICEIS-v2-2004-DangerRB #approach #mining #named
- Objectminer: A New Approach for Mining Complex Objects (RD, JRS, RBL), pp. 42–47.
- ICEIS-v2-2004-Feoktistov #difference #evolution
- New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
- ICEIS-v2-2004-KooptiwootS04a #idea #mining #set #using
- Mining the Relationships in the Form of Predisposing Factor and Coincident Factor in Time Series Data Set by Using the Combination of some Existing Ideas with a new Idea from the Fact in the Chemical Reaction (SK, MAS), pp. 531–534.
- ICEIS-v2-2004-Martinez-OtzetaS #algorithm #analysis #nearest neighbour #probability
- Analysis of the Iterated Probabilistic Weighted K Nearest Neighbor Method, a new Distance-Based Algorithm (JMMO, BS), pp. 233–240.
- ICEIS-v3-2004-BonatoG
- A New Model to Manage IDS Alerts (MAB, WGJ), pp. 601–604.
- ICEIS-v3-2004-KaletasAH
- A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
- ICEIS-v3-2004-YongzhengX #taxonomy
- A New Vulnerability Taxonomy Based on Privilege Escalation (YZ, XcY), pp. 596–600.
- ICEIS-v5-2004-LiongosariGS #generative #library #research
- A New Generation of Digital Library to Support Drug Discovery Research (ESL, AG, MS), pp. 301–306.
- ICPR-v1-2004-KimYL #algorithm #distance #graph #relational #using
- A New Attributed Relational Graph Matching Algorithm Using the Nested Structure of Earth Mover’s Distance (DHK, IDY, SUL), pp. 48–51.
- ICPR-v1-2004-Martin-MerinoM #algorithm #visualisation
- A New Sammon Algorithm for Sparse Data Visualization (MMM, AM), pp. 477–481.
- ICPR-v2-2004-DengC #image #implementation #segmentation #using
- Unsupervised Image Segmentation Using A Simple MRF Model with A New Implementation Scheme (HD, DAC), pp. 691–694.
- ICPR-v2-2004-Kazanov #algorithm #image #segmentation
- A New Color Image Segmentation Algorithm based on Watershed Transformation (MK), pp. 590–593.
- ICPR-v2-2004-RayBP #algorithm #problem #search-based
- New Operators of Genetic Algorithms for Traveling Salesman Problem (SSR, SB, SKP), pp. 497–500.
- ICPR-v2-2004-TremblaisA #algorithm #detection #multi #performance
- A Fast Multiscale Edge Detection Algorithm Based on a New Edge Preserving PDE Resolution Scheme (BT, BA), pp. 811–814.
- ICPR-v3-2004-ChenYC #distance #multi #recognition
- Inter-Subspace Distance: A New Method for Face Recognition with Multiple Samples (JHC, SLY, CSC), pp. 140–143.
- ICPR-v3-2004-HuangWTC #recognition #segmentation
- A New Iris Segmentation Method for Recognition (JH, YW, TT, JC), pp. 554–557.
- ICPR-v3-2004-KovalevK #quantifier
- A New Method for Quantification of Age-Related Brain Changes (VAK, FK), pp. 770–773.
- ICPR-v3-2004-LiMH
- New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
- ICPR-v4-2004-FrancoLM #approach #feedback
- A New Approach for Relevance Feedback Through Positive and Negative Samples (AF, AL, DM), pp. 905–908.
- ICPR-v4-2004-HabedB #approach #constraints #self
- Camera Self-Calibration: A New Approach for Solving the Modulus Constraint (AH, BB), pp. 116–119.
- ICPR-v4-2004-Moreno-SecoMO #classification #nearest neighbour #rule-based
- A New Classification Rule based on Nearest Neighbour Search (FMS, LM, JO), pp. 408–411.
- ICPR-v4-2004-PagesSF
- A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.
- ICPR-v4-2004-PoonWS
- A New Method in Locating and Segmenting Palmprint into Region-of-Interest (CP, DCMW, HCS), pp. 533–536.
- ICPR-v4-2004-ReddyS #estimation #predict
- A New Predictive Full-Search Block Motion Estimation (VSKR, SS), pp. 721–724.
- ICPR-v4-2004-Richard #approach #consistency #difference #image
- A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.
- ICPR-v4-2004-Xiao-JunKYMW #algorithm #feature model #recognition
- A New Direct LDA (D-LDA) Algorithm for Feature Extraction in Face Recognition (XW, JK, JYY, KM, SW), pp. 545–548.
- ICPR-v4-2004-XuTAA #generative #graph #image #using
- Generating Omnifocus Images Using Graph Cuts and a New Focus Measure (NX, KHT, HA, NA), pp. 697–700.
- KDD-2004-GilburdSW #distributed #named #privacy #scalability
- k-TTP: a new privacy model for large-scale distributed environments (BG, AS, RW), pp. 563–568.
- SIGIR-2004-KumaranA #classification #detection
- Text classification and named entities for new event detection (GK, JA), pp. 297–304.
- SIGIR-2004-LamHC #learning #mining #similarity
- Learning phonetic similarity for matching named entity translations and mining new translations (WL, RH, PSC), pp. 289–296.
TOOLS-USA-2003-BadriB04 #empirical- A Proposal of a New Class Cohesion Criterion: An Empirical Study (LB, MB), pp. 145–159.
- PPDP-2004-MarinM #lazy evaluation
- New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
- SAC-2004-AvilaL #algorithm #documentation
- A new algorithm for removing noisy borders from monochromatic documents (BTÁ, RDL), pp. 1219–1225.
- SAC-2004-Chen #algorithm #transitive
- A new algorithm for computing transitive closures (YC), pp. 1091–1092.
- SAC-2004-ChenC #database #graph #object-oriented
- Signature file hierarchies and signature graphs: a new index method for object-oriented databases (YC, YC), pp. 724–728.
- SAC-2004-Guo #algorithm #clustering #evaluation #framework #functional
- A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
- SAC-2004-HeZ
- A new signature scheme: joint-signature (LSH, NZ), pp. 807–812.
- SAC-2004-JoCC #approach #modelling
- A new approach to the BDI agent-based modeling (CHJ, GC, JC), pp. 1541–1545.
- SAC-2004-Masero #health
- New ICT applications in health care (VM), pp. 241–242.
- SAC-2004-OrlandoPS #algorithm #mining #sequence
- A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.
- ICSE-2004-BustardHS #named #re-engineering #research
- BoF: New Directions in UK Software Engineering Research (DWB, MH, IS), pp. 693–694.
- ICSE-2004-Mantyla #design #quality
- Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations (MM), pp. 48–50.
- LCTES-2004-LapalmeANCBDB #embedded #modelling #simulation
- ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.
- CAV-2004-BarrettB #implementation
- CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
- CSL-2004-Maier #liveness #ltl #safety
- Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
- IJCAR-2004-BaaderGT #decidability #logic #problem #word
- A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
- ASE-2003-GuptaH #detection #invariant #test coverage
- A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
- DAC-2003-MishchenkoWK #algorithm #composition
- A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.
- DAC-2003-RootWT #behaviour #metric #modelling #simulation
- New techniques for non-linear behavioral modeling of microwave/RF ICs from simulation and nonlinear microwave measurements (DER, JW, NT), pp. 85–90.
- DATE-2003-ChoiR #logic
- A New Crosstalk Noise Model for DOMINO Logic Circuits (SHC, KR), pp. 11112–11113.
- DATE-2003-GouraryRUZM #analysis #simulation
- A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.
- DATE-2003-LaiYC #evaluation #performance
- A New and Efficient Congestion Evaluation Model in Floorplanning: Wire Density Control with Twin Binary Trees (STWL, EFYY, CCNC), pp. 10856–10861.
- DATE-2003-MaciiMCZ #algorithm #embedded #energy
- A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors (AM, EM, FC, RZ), pp. 10024–10029.
- DATE-2003-PomeranzR #approach #generative #testing
- A New Approach to Test Generation and Test Compaction for Scan Circuits (IP, SMR), pp. 11000–11005.
- DATE-2003-RaghunathanRHQ #challenge #design #mobile
- Securing Mobile Appliances: New Challenges for the System Designer (AR, SR, SH, JJQ), pp. 10176–10183.
- DATE-2003-TanRJ #approach #architecture #embedded #energy
- Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
- ICDAR-2003-DawoudK #approach #image
- New Approach for the Skeletonization of Handwritten Characters in Gray-Level Images (AD, MK), pp. 1233–1237.
- ICDAR-2003-GrecoILSS
- Bank-check Processing System: Modifications Due to the New European Currency (NG, DI, MGL, AS, LS), pp. 343–348.
- ICDAR-2003-HoqueSF #approach #classification #multi #performance #recognition
- A New Chain-code Quantization Approach Enabling High Performance Handwriting Recognition based on Multi-Classifier Schemes (SH, KS, MCF), pp. 834–838.
- ICDAR-2003-ShafieiR #algorithm #markov #modelling #online #segmentation #using #verification
- A New On-Line Signature Verification Algorithm Using Variable Length Segmentation and Hidden Markov Models (MMS, HRR), p. 443–?.
- ICDAR-2003-ZouariHLA #classification #parallel
- A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
- SIGMOD-2003-PadmanabhanBMCH #clustering #layout #multi
- Multi-Dimensional Clustering: A New Data Layout Scheme in DB2 (SP, BB, TM, LC, MH), pp. 637–641.
- TACAS-2003-BDSV #analysis #encryption #information management #protocol #representation
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (ICB, LD, RS, AV), pp. 284–298.
- STOC-2003-DemetrescuI #approach
- A new approach to dynamic all pairs shortest paths (CD, GFI), pp. 159–166.
- STOC-2003-DinurGKR #multi
- A new multilayered PCP and the hardness of hypergraph vertex cover (ID, VG, SK, OR), pp. 595–601.
- STOC-2003-ODonnellS #bound #polynomial
- New degree bounds for polynomial threshold functions (RO, RAS), pp. 325–334.
- STOC-2003-Regev #encryption
- New lattice based cryptographic constructions (OR), pp. 407–416.
- CIAA-2003-KempeBGGN #compilation #finite #named
- WFSC — A New Weighted Finite State Compiler (AK, CB, TG, FG, FN), pp. 108–119.
- CIAA-2003-XieLD #complexity #equation #linear #problem #using
- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
- CHI-2003-KitamuraYHKK #tool support
- Things happening in the brain while humans learn to use new tools (YK, YY, HI, FK, MK), pp. 417–424.
- CHI-2003-SoukoreffM #evaluation #fault #metric #research
- Metrics for text entry research: an evaluation of MSD and KSPC, and a new unified error metric (RWS, ISM), pp. 113–120.
SOFTVIS-2003-GutwengerJKKLM #approach #diagrams #uml #visualisation- A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.
- AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
- Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
- ICEIS-v2-2003-PetitP #approach #data mining #mining
- A New Approach of Data Mining: The Meta Projectories (CP, SP), pp. 515–518.
- ICEIS-v3-2003-AndreouZP #3d #component #development #elicitation #requirements
- A Three-Dimensional Requirements Elicitation and Management Decision-Making Scheme for the Development of New Software Components (ASA, ACZ, GAP), pp. 3–13.
- ICEIS-v3-2003-ChangDC #concept #enterprise #information management #lifecycle
- A New Look At the Enterprise Information System Life Cycle — Introducing the Concept of Generational Change (EC, JD, SKC), pp. 40–50.
- ICEIS-v3-2003-ColletDHP #collaboration #design #distributed
- A New User-Centered Design of Distributed Collaboration Environments: The Réciprocité Project (LC, AD, FH, XLP), pp. 544–546.
- ICEIS-v4-2003-CostaOS #multi
- A New User-Oriented Model to Manage Multiple Digital Credentials (CMAC, JLO, AS), pp. 190–196.
- ICML-2003-MooreW #learning #network
- Optimal Reinsertion: A New Search Operator for Accelerated and More Accurate Bayesian Network Structure Learning (AWM, WKW), pp. 552–559.
- ICML-2003-WuS #optimisation
- New í-Support Vector Machines and their Sequential Minimal Optimization (XW, RKS), pp. 824–831.
- KDD-2003-Gray #online #prototype
- On-line science: the world-wide telescope as a prototype for the new computational science (JG), p. 3.
- KDD-2003-PeterCG #algorithm #clustering #dataset #scalability
- New unsupervised clustering algorithm for large datasets (WP, JC, CG), pp. 643–648.
- SIGIR-2003-BrantsC #detection
- A System for new event detection (TB, FC), pp. 330–337.
UML-2003-BackBLMP #empirical- A Workbench to Experiment on New Model Engineering Applications (RJB, DB, JL, LM, IP), pp. 96–100.
- POPL-2003-Chakaravarthy #analysis #complexity
- New results on the computability and complexity of points — to analysis (VTC), pp. 115–125.
- SAC-2003-FernandezCGPC #algorithm #multi
- A New Cache Management Algorithm for Multimedia Storage Systems (JF, JC, FG, JMP, AC), pp. 956–960.
- SAC-2003-LiZO #data mining #distributed #mining #modelling #similarity
- A New Distributed Data Mining Model Based on Similarity (TL, SZ, MO), pp. 432–436.
- SAC-2003-MenezesT #approach #scalability
- A New Approach to Scalable Linda-systems Based on Swarms (RM, RT), pp. 375–379.
- ICSE-2003-AbrahamssonWSR #agile #analysis #comparative
- New Directions on Agile Methods: A Comparative Analysis (PA, JW, MTS, JR), pp. 244–254.
- CC-2003-Danvy #monad #normalisation
- A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.
- CADE-2003-GaillourdetHLS
- The New WALDMEISTER Loop at Work (JMG, TH, BL, HS), pp. 317–321.
- ICLP-2003-GuoG
- A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.
- LICS-2003-GanzingerK #proving #theorem proving
- New Directions in Instantiation-Based Theorem Proving (HG, KK), pp. 55–64.
- LICS-2003-Kopylov #type system
- Dependent Intersection: A New Way of Defining Records in Type Theory (AK), pp. 86–95.
- LICS-2003-PitermanV #decidability #future of #stack
- Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (NP, MYV), p. 381–?.
- RTA-2003-Comon-LundhC #decidability #encryption #first-order #logic #protocol
- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols (HCL, VC), pp. 148–164.
- DAC-2002-FoltinFT #abstraction #concept #independence #modelling #performance
- Efficient stimulus independent timing abstraction model based on a new concept of circuit block transparency (MF, BF, ST), pp. 158–163.
- DAC-2002-LeeKK #named #verification
- VeriCDF: a new verification methodology for charged device failures (JL, KWK, SMK), pp. 874–879.
- DATE-2002-BerrojoGCRSEL #injection
- New Techniques for Speeding-Up Fault-Injection Campaigns (LB, IG, FC, MSR, GS, LE, CL), pp. 847–852.
- DATE-2002-Borel
- European CAD from the 60’s to the New Millenium (JB), p. 992.
- DATE-2002-Hoffmann #design #generative #testing
- A New Design Flow and Testability Measure for the Generation of a Structural Test and BIST for Analogue and Mixed-Signal Circuits (CH), pp. 197–204.
- DATE-2002-Kania #approach #multi #using
- Improved Technology Mapping for PAL-Based Devices Using a New Approach to Multi-Output Boolean Functions (DK), p. 1087.
- DATE-2002-LeeCDGM #algorithm #detection #fault #multi #testing
- A New ATPG Algorithm to Limit Test Set Size and Achieve Multiple Detections of All Faults (SL, BC, JD, MRG, MRM), pp. 94–99.
- DATE-2002-LeeLFCH #problem
- A New Formulation for SOC Floorplan Area Minimization Problem (CHL, YCL, WYF, CCC, TMH), p. 1100.
- DATE-2002-MicheliB #design #network #paradigm
- Networks on Chip: A New Paradigm for Systems on Chip Design (GDM, LB), pp. 418–419.
- DATE-2002-MunzenbergerDSH #design #embedded #realtime #specification #synthesis #validation
- A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
- SIGMOD-2002-JosifovskiSHL #named #query
- Garlic: a new flavor of federated query processing for DB2 (VJ, PMS, LMH, ETL), pp. 524–532.
- VLDB-2002-CarneyCCCLSSTZ #data transformation #monitoring
- Monitoring Streams — A New Class of Data Management Applications (DC, UÇ, MC, CC, SL, GS, MS, NT, SBZ), pp. 215–226.
- VLDB-2002-GotoK #database #mobile #using
- A New Passenger Support System for Public Transport using Mobile Database Access (KG, YK), pp. 908–919.
- CSEET-2002-FullerCD #approach #case study #education #risk management
- A New Approach to Teaching Software Risk Management with Case Studies (AF, PRC, LD), p. 215–?.
- TACAS-2002-ArmoniFFGGKLMSTVZ #logic
- The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.
- TACAS-2002-Jackson #alloy #modelling #named
- Alloy: A New Technology for Software Modelling (DJ), p. 20.
- CSMR-2002-Favre #approach
- A New Approach to Software Exploration: Back-Packing with GSEE (JMF), p. 251–?.
- ASIA-PEPM-2002-IwamaK #type system #virtual machine
- A new type system for JVM lock primitives (FI, NK), pp. 71–82.
- STOC-2002-EiterGM #generative
- New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
- STOC-2002-GuruswamiI #linear
- Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets (VG, PI), pp. 812–821.
- STOC-2002-JainMS #approach #problem
- A new greedy approach for facility location problems (KJ, MM, AS), pp. 731–740.
- STOC-2002-ScharbrodtSS #analysis #scheduling
- A new average case analysis for completion time scheduling (MS, TS, AS), pp. 170–178.
- ICALP-2002-CharikarIP #algorithm #orthogonal #problem #query #set
- New Algorithms for Subset Query, Partial Match, Orthogonal Range Searching, and Related Problems (MC, PI, RP), pp. 451–462.
- ICALP-2002-DemetrescuI #bound #trade-off
- Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths (CD, GFI), pp. 633–643.
- ICALP-2002-EpsteinSS #bound #online
- New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.
- ICALP-2002-FabrikantKP #internet #paradigm #trade-off
- Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet (AF, EK, CHP), pp. 110–122.
- CHI-2002-TaylorH #case study #mobile
- Age-old practices in the “new world”: a study of gift-giving between teenage mobile phone users (AST, RHRH), pp. 439–446.
- CSCW-2002-StevensW #bound #data access #maintenance
- A new dimension in access control: studying maintenance engineering across organizational boundaries (GS, VW), pp. 196–205.
- AdaEurope-2002-GonzalezSMMG #ada #how
- How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.
- ICEIS-2002-Carballo #estimation
- Risk Managment in the New Economy: Estimation and Control of Projects for E-Business and Start-Ups (RC), p. 35.
- ICEIS-2002-KamogawaM #architecture #process #towards
- Towards a New Business Process Architecture (TK, MJM), pp. 823–829.
- ICEIS-2002-Lopez #using
- Strategic Position of Firms in Terms of Client’s Needs Using Linguistic and Numerical Information through a New Model of SOFM (RFL), pp. 382–390.
- CIKM-2002-ChangC #algorithm #integration #web
- A new cache replacement algorithm for the integration of web caching and prefectching (CYC, MSC), pp. 632–634.
- ICML-2002-ChenWZ #approach #statistics
- A New Statistical Approach to Personal Name Extraction (ZC, LW, FZ), pp. 67–74.
- ICPR-v1-2002-BingLP #recognition
- A New LDA-Based Method for Face Recognition (YB, JL, CP), pp. 168–171.
- ICPR-v1-2002-CoquinB #image
- A New Method to Compute the Distortion Vector Field from Two Images (DC, PB), pp. 279–282.
- ICPR-v1-2002-LioliosKFK #approach #recognition
- A New Shape Transformation Approach to Handwritten Character Recognition (NL, EK, NF, GKK), pp. 584–587.
- ICPR-v1-2002-OjalaMPVKH #algorithm #analysis #empirical #evaluation #framework
- Outex- New Framework for Empirical Evaluation of Texture Analysis Algorithms (TO, TM, MP, JV, JK, SH), pp. 701–706.
- ICPR-v1-2002-SongCLC #approach #image #recognition #using
- A New Approach for Line Recognition in Large-size Images Using Hough Transform (JS, MC, MRL, SC), pp. 33–36.
- ICPR-v1-2002-WangHT #identification
- A New Attempt to Gait-based Human Identification (LW, WH, TT), pp. 115–118.
- ICPR-v1-2002-ZhuY #classification #documentation
- A New Textual/Non-Textual Classifier for Document Skew Correction (XZ, XY), pp. 480–482.
- ICPR-v2-2002-ChengWHT #approach #equation #self
- A New Approach to Solving Kruppa Equations for Camera Self-Calibration (LC, FW, ZH, HTT), pp. 308–311.
- ICPR-v2-2002-GuangmingJMHX #algorithm #data type #fault #metric
- A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric (GL, JT, MZ, HH, XZ), pp. 659–658.
- ICPR-v2-2002-GuunterB #classification #recognition
- A New Combination Scheme for HMM-Based Classififiers and its Application to Handwriting Recognition (SG, HB), pp. 332–337.
- ICPR-v2-2002-IwataKY
- The Proposal of a New Robot Vision System Called the Horizon View Camera (AI, KK, KY), pp. 709–712.
- ICPR-v2-2002-MaZ #representation #video
- Motion Texture: A New Motion Based Video Representation (YFM, HZ), pp. 548–551.
- ICPR-v2-2002-XieJ #detection #performance
- A New Efficient Ellipse Detection Method (YX, QJ), pp. 957–960.
- ICPR-v3-2002-KimKP #algorithm #image
- New Enhancement Algorithm for Fingerprint Images (BGK, HJK, DJP), pp. 879–882.
- ICPR-v3-2002-LiLSW #algorithm #geometry #image
- New Algorithm for Geometric Transformations of Digital Images and Patterns (ZCL, JYL, CYS, HW), pp. 315–318.
- ICPR-v3-2002-LiZL #set
- A New Strategy for Selecting Working Sets Applied in SMO (JL, BZ, FL), pp. 427–430.
- ICPR-v3-2002-Ruiz-PinalesL #recognition
- A New Perceptive System for the Recognition of Cursive Handwriting (JRP, EL), pp. 53–56.
- ICPR-v3-2002-ShashuaLA #approach #recognition
- Manifold Pursuit: A New Approach to Appearance Based Recognition (AS, AL, SA), pp. 590–594.
- ICPR-v4-2002-HlaouiW #algorithm #graph
- A New Algorithm for Inexact Graph Matching (AH, SW), pp. 180–183.
- KDD-2002-ChenHS #algorithm
- A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.
- KDD-2002-EsterKS #mining #web
- Web site mining: a new way to spot competitors, customers and suppliers in the world wide web (ME, HPK, MS), pp. 249–258.
- LSO-2002-Ruhe #learning #paradigm #re-engineering
- Software Engineering Decision Support ? A New Paradigm for Learning Software Organizations (GR), pp. 104–113.
- SEKE-2002-MorisioST
- A new method to evaluate software artifacts against predefined profiles (MM, IS, AT), pp. 811–818.
- SEKE-2002-RuheEP #requirements
- Quantitative WinWin: a new method for decision support in requirements negotiation (GR, AE, DP), pp. 159–166.
- SIGIR-2002-CrammerS #algorithm #online #product line #ranking
- A new family of online algorithms for category ranking (KC, YS), pp. 151–158.
- SIGIR-2002-KimRL #classification #estimation #multi #naive bayes #parametricity
- A new method of parameter estimation for multinomial naive bayes text classifiers (SBK, HCR, HSL), pp. 391–392.
- SIGIR-2002-PossasZMR #approach #information retrieval
- Set-based model: a new approach for information retrieval (BP, NZ, WMJ, BARN), pp. 230–237.
- RE-2002-BergmanM #analysis #empirical #requirements
- Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program (MB, GM), pp. 247–254.
- RE-2002-FritzhannsK #approach #assessment
- Product Management Assessment — A New Approach to Optimize the Early Phases (TF, FK), pp. 124–126.
- SAC-2002-Al-SadiDO #algorithm #fault tolerance #probability
- Probability vectors: a new fault-tolerant routing algorithm for k-ary n-cubes (JAS, KD, MOK), pp. 830–834.
- SAC-2002-ChangJ #clustering #data mining #mining #scalability
- A new cell-based clustering method for large, high-dimensional data in data mining applications (JWC, DSJ), pp. 503–507.
- SAC-2002-El-Ansary #analysis #behaviour #representation #requirements #towards
- Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events (AEA), pp. 984–991.
- HPCA-2002-Patterson #research
- Recovery Oriented Computing: A New Research Agenda for a New Century (DAP), p. 247.
- HPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling
- A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
- CADE-2002-GeorgievaHS #decidability
- A New Clausal Class Decidable by Hyperresolution (LG, UH, RAS), pp. 260–274.
- ISSTA-2002-Bishop #bound #reliability
- Rescaling reliability bounds for a new operational profile (PGB), pp. 180–190.
SAT-2002-HirschK #named #satisfiability- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (EH, AK), p. 38.
- SAT-2002-Schoening #bound #satisfiability
- New worst case bounds on k-SAT (Keynote Talk) (US), p. 1.
TestCom-2002-Peleska #hardware #integration #product line #testing- Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.
- TestCom-2002-SerdarT #approach #finite #generative #sequence #state machine
- A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
- ASE-2001-GouraudDGM #automation #statistics #testing
- A New Way of Automating Statistical Testing Methods (SDG, AD, MCG, BM), pp. 5–12.
- DAC-2001-ChenGB
- A New Gate Delay Model for Simultaneous Switching and Its Applications (LCC, SKG, MAB), pp. 289–294.
- DAC-2001-KohnoM #behaviour #pipes and filters #verification
- A New Verification Methodology for Complex Pipeline Behavior (KK, NM), pp. 816–821.
- DAC-2001-LahiriRL #architecture #communication #design #named
- LOTTERYBUS: A New High-Performance Communication Architecture for System-on-Chip Designs (KL, AR, GL), pp. 15–20.
- DAC-2001-WhittemoreKS #incremental #named #satisfiability
- SATIRE: A New Incremental Satisfiability Engine (JW, JK, KAS), pp. 542–545.
- DAC-2001-ZhaoS #algorithm #pattern matching
- A New Structural Pattern Matching Algorithm for Technology Mapping (MZ, SSS), pp. 371–376.
- DATE-2001-LienigJA #approach #named
- AnalogRouter: a new approach of current-driven routing for analog circuits (JL, GJ, TA), p. 819.
- DocEng-2001-PhelpsW #framework #multi
- The multivalent browser: a platform for new ideas (TAP, RW), pp. 58–67.
- HT-2001-Kahn #architecture #hypermedia
- Information architecture: a new discipline for organizing hypertext (PK), pp. 1–2.
- HT-2001-WiilHN #approach #hypermedia #multi
- Multiple open services: a new approach to service provision in open hypermedia systems (UKW, DLH, PJN), pp. 83–92.
- ICDAR-2001-AyatCRS #image #kernel #named #pattern matching #pattern recognition #recognition
- KMOD — A New Support Vector Machine Kernel with Moderate Decreasing for Pattern Recognition. Application to Digit Image Recognition (NEA, MC, LR, CYS), p. 1215–?.
- ICDAR-2001-GaoJYH #approach #feature model #recognition
- A New Stroke-Based Directional Feature Extraction Approach for Handwritten Chinese Character Recognition (XG, LJ, JY, JH), pp. 635–639.
- ICDAR-2001-HouleBS #using
- Handwriting Stroke Extraction Using a New XYTC Transform (GFH, KB, MS), pp. 91–95.
- ICDAR-2001-LiuLHY #algorithm #analysis #component #layout
- A New Component Based Algorithm for Newspaper Layout Analysis (FL, YL, DH, MY), pp. 1176–1180.
- ICDAR-2001-YoonLKC #paradigm #recognition #segmentation #string
- New Paradigm for Segmentation and Recognition of Handwritten Numeral String (SY, YL, GK, YC), pp. 205–209.
- VLDB-2001-WaasCB #approach #interactive #named #query #similarity
- FeedbackBypass: A New Approach to Interactive Similarity Query Processing (IB, PC, FW), pp. 201–210.
- FoSSaCS-2001-GourantonRS
- Synchronized Tree Languages Revisited and New Applications (VG, PR, HS), pp. 214–229.
- CSMR-2001-MorettiCO #algorithm #control flow #graph
- New Algorithms for Control-Flow Graph Structuring (EM, GC, AO), pp. 184–187.
- CSMR-2001-Pighin #component #maintenance #reuse
- A New Methodology for Component Reuse and Maintenance (MP), pp. 196–199.
IWPC-2001-Bennett #component #comprehension #evolution- Systems Evolution, Components and Services: Understanding the New Software Environment (KHB), pp. 3–6.
- IWPC-2001-FoxDHH #comprehension
- Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension (CF, SD, MH, RMH), pp. 89–97.
- STOC-2001-Ambainis #bound #protocol #quantum
- A new protocol and lower bounds for quantum coin flipping (AA), pp. 134–142.
- DLT-2001-SchwentickTV #automaton
- Partially-Ordered Two-Way Automata: A New Characterization of DA (TS, DT, HV), pp. 239–250.
- ICALP-2001-Dodis #random
- New Imperfect Random Source with Applications to Coin-Flipping (YD), pp. 297–309.
- ICALP-2001-Roura
- A New Method for Balancing Binary Search Trees (SR), pp. 469–480.
ICFP-2001-Paterson- A New Notation for Arrows (RP), pp. 229–240.
- CHI-2001-CarrollR #community #network
- Better home shopping or new democracy? evaluating community network outcomes (JMC, MBR), pp. 372–379.
- CHI-2001-Muller #analysis
- Layered participatory analysis: new developments in the CARD technique (MJM), pp. 90–97.
- AdaEurope-2001-Burns #ada #policy
- Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
- AdaEurope-2001-Tokar #ada #runtime
- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
- ICEIS-v1-2001-RobardetV #case study #classification
- A Preliminary Study of a New Classification to Build Homogeneous Patient’s Groups in Home-Based Care (CR, CV), pp. 397–403.
- ICEIS-v2-2001-LopesO #distributed #persistent
- A New Mechanism for Distributed Managers Persistence (RPL, JLO), pp. 1040–1045.
- ICEIS-v2-2001-PetitD #concept #integration #modelling
- O.C.: A New Concept for Modelling and Information Integration (CP, CD), pp. 888–892.
- ICML-2001-JinH #approach #information retrieval #learning #word
- Learning to Select Good Title Words: An New Approach based on Reverse Information Retrieval (RJ, AGH), pp. 242–249.
- ICML-2001-LatinneSD #classification #multi #problem
- Adjusting the Outputs of a Classifier to New a Priori Probabilities May Significantly Improve Classification Accuracy: Evidence from a multi-class problem in remote sensing (PL, MS, CD), pp. 298–305.
- KDD-2001-KeoghCP #approach #database #named #scalability
- Ensemble-index: a new approach to indexing large databases (EJK, SC, MJP), pp. 117–125.
- SIGIR-2001-NomotoM #approach #summary
- A New Approach to Unsupervised Text Summarization (TN, YM), pp. 26–34.
- UML-2001-ApvrilleSLSC #design #realtime #uml #validation
- A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.
OOPSLA-2001-McDirmidFH #component #java #named- Jiazzi: New-Age Components for Old-Fashioned Java (SM, MF, WCH), pp. 211–222.
- POPL-2001-AbadiF #communication #mobile
- Mobile values, new names, and secure communication (MA, CF), pp. 104–115.
- SAC-2001-HousniTKP #algorithm #distributed
- A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
- SAC-2001-LarocheBS #composition #markov #process
- A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.
- HPCA-2001-AcacioGGD #architecture #multi #scalability
- A New Scalable Directory Architecture for Large-Scale Multiprocessors (MEA, JG, JMG, JD), pp. 97–106.
- HPCA-2001-KailasEA #clustering #code generation #framework #named
- CARS: A New Code Generation Framework for Clustered ILP Processors (KK, KE, AKA), pp. 133–143.
- HPDC-2001-LanfermannARS #grid #migration
- Nomadic Migration: A New Tool for Dynamic Grid Computing (GL, GA, TR, ES), pp. 429–430.
- IJCAR-2001-GanzingerM #bottom-up #logic programming #source code #theorem
- A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.
- IJCAR-2001-Patel-SchneiderS #generative #random
- A New System and Methodology for Generating Random Modal Formulae (PFPS, RS), pp. 464–468.
- ASE-2000-MansurovV #case study #interface #modelling #visual notation
- New Visual Interface for Engineering Use Case Models (NM, DV), pp. 297–300.
- DAC-2000-ChangCWW #representation
- B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.
- DAC-2000-PiS #analysis #approach #diagrams #multi
- Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits (TP, CJRS), pp. 19–22.
- DATE-2000-DiezL #metric
- Influence of Manufacturing Variations in IDDQ Measurements: A New Test Criterion (JMD, JCL), pp. 645–649.
- DATE-2000-FrohlichGF #clustering #parallel #simulation
- A New Partitioning Method for Parallel Simulation of VLSI Circuits on Transistor Level (NF, VG, JF), pp. 679–684.
- DATE-2000-GouraryRUZGM #approach
- A New Approach for Computation of Timing Jitter in Phase Locked Loops (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 345–349.
- DATE-2000-ParkK #bound #design #detection #fault
- A New IEEE 1149.1 Boundary Scan Design for the Detection of Delay Defects (SP, TK), pp. 458–462.
- DATE-2000-Saab #algorithm #clustering #effectiveness #multi #performance
- A New Effective And Efficient Multi-Level Partitioning Algorithm (YS), pp. 112–116.
- VLDB-2000-ChakrabartiM #approach #reduction
- Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
- VLDB-2000-KemmeA #consistency #database #lazy evaluation #replication
- Don’t Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication (BK, GA), pp. 134–143.
- VLDB-2000-SrinivasanDFCJYKTDB
- Oracle8i Index-Organized Table and Its Application to New Domains (JS, SD, CF, EIC, MJ, AY, RK, ATT, SD, JB), pp. 285–296.
- VLDB-2000-WangZ #relational #sql #using
- Using SQL to Build New Aggregates and Extenders for Object- Relational Systems (HW, CZ), pp. 166–175.
- CSEET-2000-Runeson #case study #experience #re-engineering
- A New Software Engineering Program — Structure and Initial Experiences (PR), pp. 223–232.
- WRLA-2000-Hilberdink #logic
- New Foundations for Rewriting Logic (HH), pp. 43–69.
- ICSM-2000-Kammer #challenge #maintenance
- Software Maintenance in the New Millennium: Issues and Challenges (RK), p. 2.
- STOC-2000-Achlioptas #bound #random #satisfiability
- Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract) (DA), pp. 28–37.
- STOC-2000-CzumajS #algorithm #approach #problem #satisfiability #scheduling
- A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract) (AC, CS), pp. 38–47.
- STOC-2000-MacielPW #principle #proving
- A new proof of the weak pigeonhole principle (AM, TP, ARW), pp. 368–377.
- STOC-2000-MahajanV #graph
- A new NC-algorithm for finding a perfect matching in bipartite planar and small genus graphs (extended abstract) (MM, KRV), pp. 351–357.
- CIAA-2000-ChamparnaudZ #automaton #canonical #finite
- New Finite Automaton Constructions Based on Canonical Derivatives (JMC, DZ), pp. 94–104.
- ICALP-2000-EsparzaH #approach #ltl #model checking
- A New Unfolding Approach to LTL Model Checking (JE, KH), pp. 475–486.
WLC-2000-Brattka #exponential #modelling #recursion- The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.
- WLC-2000-LombardyS #on the
- On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
- CHI-2000-FreiSMI #design #named
- curlybot: designing a new class of computational toys (PF, VS, BM, HI), pp. 129–136.
- CHI-2000-FrohlichP #3d #polynomial
- The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.
- CSCW-2000-BowersM #interactive
- Machinery in the new factories: interaction and technology in a bank’s telephone call centre (JB, DBM), pp. 49–58.
- CSCW-2000-DruinBBIO #challenge #collaboration #distributed
- The children’s challenge: new technologies to support co-located and distributed collaboration (AD, SB, AB, KI, SO), p. 363.
- CSCW-2000-PalenSY #behaviour #mobile
- Going wireless: behavior & practice of new mobile phone users (LP, MCS, EY), pp. 201–210.
- EDOC-2000-SudaTHN #distributed #scalability
- New Control Methods for the Realization of an Ultra-Large-Scale Cooperative Distributed System (SS, HT, AH, KN), pp. 13–20.
- ICEIS-2000-Greene #case study #open source
- Case Study: A New World for the Enterprise--E-Commerce and Open Sources (TG), p. XLIII.
- ICEIS-2000-WatkinsC #network
- Decoding BCM Codes With a New Competitive Neural Network (FJW, RAC), pp. 227–234.
- CIKM-2000-KrugerGCGFLO #named
- DEADLINER: Building a New Niche Search Engine (AK, CLG, FC, EJG, GWF, SL, CWO), pp. 272–281.
- CIKM-2000-SakuraiYUK
- The Subspace Coding Method: A New Indexing Scheme for High-Dimensional Data (YS, MY, SU, HK), pp. 210–218.
- ICPR-v1-2000-AzuelaG #image
- New Method to Count Objects into an Image (JHSA, GG), pp. 1470–1473.
- ICPR-v1-2000-MalmH #approach
- A New Approach to Hand-Eye Calibration (HM, AH), pp. 1525–1529.
- ICPR-v2-2000-HuangHS #automation #recognition
- A New Automatic Quasar Recognition Technique Based on PCA and the Hough Transform (LyH, ZH, FS), pp. 2499–2502.
- ICPR-v2-2000-KimPL #design #network
- A New Methodology to the Design of Associative Memories Based on Cellular Neural Networks (HYK, JP, SWL), pp. 2965–2968.
- ICPR-v2-2000-MottlDLM #pattern matching #pattern recognition #recognition
- Pattern Recognition in Spatial Data: A New Method of Seismic Explorations for Oil and Gas in Crystalline Basement Rocks (VM, SD, VL, IBM), pp. 2315–2318.
- ICPR-v2-2000-OliveiraLBS #approach #segmentation
- A New Segmentation Approach for Handwritten Digits (LESdO, EL, FB, RS), pp. 2323–2326.
- ICPR-v2-2000-PalaciosR #approach #editing #prototype
- Weighting Prototypes. A New Editing Approach (RPP, EV), pp. 2025–2028.
- ICPR-v2-2000-Pavlidis #2d #interface
- A New Paper/Computer Interface: Two-Dimensional Symbologies (TP), pp. 2145–2151.
- ICPR-v2-2000-PolickerG #algorithm #clustering #fuzzy #predict
- A New Algorithm for Time Series Prediction by Temporal Fuzzy Clustering (SP, ABG), pp. 2728–2731.
- ICPR-v2-2000-WangXD #integration #multi #network #recognition
- A New Integration Scheme with Multi-Layer Perceptron Networks for Handwritten Chinese Character Recognition (CHW, BX, RD), pp. 2961–2964.
- ICPR-v3-2000-DaoudiM #invariant #multi #representation
- New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.
- ICPR-v3-2000-Garcia-VareaSC #approach #statistics
- A New Approach to Speech-Input Statistical Translation (IGV, AS, FC), pp. 3094–3097.
- ICPR-v3-2000-Jehan-BessonBA #detection #set #using
- Detection and Tracking of Moving Objects using a New Level Set Based Method (SJB, MB, GA), pp. 7112–7117.
- ICPR-v3-2000-LuJ #approach #image
- A New Bayesian Approach to Image Denoising with a Combination of MRFs and Pixon Method (QL, TJ), pp. 3734–3737.
- ICPR-v3-2000-RuizMMRL #algorithm #multi
- New Algorithm for Searching Minimum Bit Rate Wavelet Representations with Application to Multiresolution-Based Perceptual Audio Coding (NR, DM, RM, MR, FL), pp. 3290–3293.
- ICPR-v3-2000-SalamancaCA #modelling #named #representation
- HWM: A New Spherical Representation Structure for Modeling Partial Views of an Object (SS, CC, AA), pp. 3778–3781.
- ICPR-v3-2000-TongW #approximate #image #nearest neighbour
- Approximate Nearest Neighbor Search for Fractal Image Compression Based on a New Affine Transform Parametrization (CT, MW), pp. 3223–3227.
- ICPR-v3-2000-ZhangW #clustering #image #segmentation
- A New Method of Color Image Segmentation Based on Intensity and Hue Clustering (CZ, PSPW), pp. 3617–3620.
- ICPR-v4-2000-SuzukiMSA #realtime #recognition
- A New System for the Real-Time Recognition of Handwritten Mathematical Formulas (TS, KM, YS, SA), pp. 4515–4518.
- KDD-2000-Stodder #data mining #mining
- After the gold rush (invited talk, abstract only): data mining in the new economy (invited talk, abstract only) (DS), p. 7.
- SIGIR-2000-AuCSGR #paradigm #visualisation
- New paradigms in information visualization (PA, MC, SS, YG, SMR), pp. 307–309.
- SIGIR-2000-StokesHC #detection #online #semantics
- Lexical semantic relatedness and online new event detection (NS, PH, JC), pp. 324–325.
- TOOLS-EUROPE-2000-Pour #component #development #enterprise #java
- Enterprise JavaBeans (EJB): New Opportunities for Component-Based Development of Web-Based Enterprise Solutions (GP), p. 473.
- TOOLS-USA-2000-SimonS #component
- New Microsoft Component Technologies (RS, ES), pp. 393–394.
SAIG-2000-SongF #approach #termination- A New Termination Approach for Specialization (LS, YF), pp. 72–91.
PADL-2000-HuCT #algorithm #analysis #data mining #mining- Calculating a New Data Mining Algorithm for Market Basket Analysis (ZH, WNC, MT), pp. 169–184.
- POPL-2000-Hinze #approach #functional #programming
- A New Approach to Generic Functional Programming (RH), pp. 119–132.
- SAC-2000-MortonT #3d #adaptation #finite
- A New 3D Adaptive Finite Element Scheme with l-Irregular Hexahedral Element Meshes (DM, JMT), pp. 99–104.
- ICSE-2000-Castells
- Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.
- HPCA-2000-HaungsSF #analysis #branch #classification #metric
- Branch Transition Rate: A New Metric for Improved Branch Classification Analysis (MH, PS, MKF), pp. 241–250.
- HPDC-2000-HwangJH #array #clustering #distributed #named
- RAID-x: A New Distributed Disk Array for I/O-Centric Cluster Computing (KH, HJ, RSCH), pp. 279–286.
- CL-2000-GrasH #prolog
- A New Module System for Prolog (DCG, MVH), pp. 131–148.
- CL-2000-StorrT #calculus #equation
- A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
- LICS-2000-Voronkov #calculus #how #logic #proving
- How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi (AV), pp. 401–412.
- RTA-2000-Moreau #compilation
- REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
- TestCom-2000-GrabowskiWWH #design #on the #testing
- On the Design of the New Testing Language TTCN-3 (JG, AW, CW, DH), pp. 161–176.
- DATE-1999-JochensKSN #component #megamodelling
- A New Parameterizable Power Macro-Model for Datapath Components (GJ, LK, ES, WN), p. 29–?.
- ICDAR-1999-AokiANNM #approach #multi #recognition
- A New Approach for Multilingual Address Recognition (YA, TA, AN, NN, HM), pp. 313–316.
- ICDAR-1999-BrakensiekKWWR #evaluation #hybrid #modelling #online #performance #recognition #using
- Performance Evaluation of a New Hybrid Modeling Technique for Handwriting Recognition using On-Line and Off-Line Data (AB, AK, DW, WW, GR), pp. 446–449.
- ICDAR-1999-PalmeroD #documentation #using
- Structured Document Labeling and Rule Extraction using a New Recurrent Fuzzy-neural System (GISP, YAD), pp. 181–184.
- ICDAR-1999-SchomakerVL #image #query
- New Use for the Pen: Outline-based Image Queries (LS, LV, EdL), pp. 293–296.
- ICDAR-1999-WangT #documentation #image #recognition
- A New Method of Character Line Extraction from Mixed-unformatted Document Image for Japanese Mail Address Recognition (XW, TT), pp. 769–772.
- ICDAR-1999-ZhuSW #algorithm #fourier #image
- A New Distinguishing Algorithm of Connected Character Image based on Fourier Transform (XZ, YS, SW), pp. 788–791.
- SIGMOD-1999-AggarwalWY #similarity
- A New Method for Similarity Indexing of Market Basket Data (CCA, JLW, PSY), pp. 407–418.
- SIGMOD-1999-LometT #logic
- Logical Logging to Extend Recovery to New Domains (DBL, MRT), pp. 73–84.
- VLDB-1999-BonczMK #architecture #database #memory management
- Database Architecture Optimized for the New Bottleneck: Memory Access (PAB, SM, MLK), pp. 54–65.
- VLDB-1999-Campbell #architecture #sql
- The New Locking, Logging, and Recovery Architecture of Microsoft SQL Server 7.0 (DC), p. 249.
- CSEET-1999-ThompsonE #case study #experience #re-engineering
- Providing New Graduate Opportunities in Software Engineering: Experiences with a UK Master’s Level Conversion Course (JBT, HME), pp. 50–61.
- ITiCSE-1999-Clear #collaboration #concept #education #interactive #learning
- A collaborative learning trial between New Zealand and Sweden-using Lotus Notes Domino in teaching the concepts of Human Computer Interaction (TC), pp. 111–114.
- ITiCSE-1999-FuenteCC #architecture #education
- Teaching computer architecture with a new superscalar processor emulator (SRdlF, MIGC, RMC), pp. 99–102.
- PASTE-1999-Balmas #paradigm #query #source code
- Query by Outlines: A New Paradigm to Help Manage Programs (FB), pp. 86–94.
- PASTE-1999-Preston #fortran #legacy
- New Type Signatures for Legacy Fortran Subroutines (NWP), pp. 76–85.
- PLDI-1999-SongL #locality
- New Tiling Techniques to Improve Cache Temporal Locality (YS, ZL), pp. 215–228.
- PLDI-1999-WuMPOH #debugging #framework
- A New Framework for Debugging Globally Optimized Code (LCW, RM, HP, BO, WmWH), pp. 181–191.
- SAS-1999-KollerM #abstract interpretation
- A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.
- STOC-1999-Indyk99a #combinator #design #symmetry
- Inerpolation of Symmetric Functions and a New Type of Combinatorial Design (PI), pp. 736–740.
- DLT-1999-LoftusSW #problem
- New problems of pattern avoidance (JL, JS, MwW), pp. 185–199.
- DLT-1999-Yokomori #paradigm #self #towards
- Computation = self-assembly + conformational change: toward new computing paradigms (TY), pp. 32–43.
- ICALP-1999-AndreevBCR #bound #branch #pseudo #set #source code
- Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs (AEA, JLB, AEFC, JDPR), pp. 179–189.
- ICALP-1999-BuhrmanJLV
- New Applications of the Incompressibility Method (HB, TJ, ML, PMBV), pp. 220–229.
- ICALP-1999-NiedermeierR #bound #satisfiability
- New Upper Bounds for MaxSat (RN, PR), pp. 575–584.
- ICALP-1999-RozenbergS #paradigm
- DNA Computing: New Ideas and Paradigms (GR, AS), pp. 106–118.
- FM-v1-1999-Dunne #specification
- The Safe Machine: A New Specification Construct for B (SD), pp. 472–489.
- CHI-1999-Druin
- Cooperative Inquiry: Developing new Technologies for Children with Children (AD), pp. 592–599.
- CHI-1999-MynattIEL #named
- Flatland: New Dimensions in Office Whiteboards (EDM, TI, WKE, AL), pp. 346–353.
- HCI-CCAD-1999-HedmanL #community #human-computer #requirements
- Orientation versus accomodation — new requirements for the HCI of digital communities (AH, SL), pp. 457–461.
- HCI-CCAD-1999-Hofmann #approach #information management #integration #video
- Video in digital storys: a new approach for team integration and knowledge management in business context (JH), pp. 217–220.
- HCI-CCAD-1999-KofoedHB #women
- A training model for women — new opportunities with new technologies and new forms of work organisation (LBK, IH, DB), pp. 568–572.
- HCI-CCAD-1999-Menzel #design
- New design solution for call center work places from the point of view of furniture manufacturer (DM), pp. 1327–1331.
- HCI-CCAD-1999-RashevOS #design #education #towards
- Computer aided design in medical domain: a new viewpoint towards computer aided education (RR, RO, HS), pp. 621–625.
- HCI-EI-1999-BondarovskaiaS #social #using
- Psychological, Ethic, and Social Peculiarities of Using New Information Technologies (VMB, AAS), pp. 129–132.
- HCI-EI-1999-FarrellAT #interface
- Harnessing New Dimensions for Creating Informed Interfaces (CF, RA, FT), pp. 357–361.
- HCI-EI-1999-Goppold
- Spatio-Temporal Perspectives: A new way for cognitive enhancement (AG), pp. 476–480.
- HCI-EI-1999-HuuhtanenRL #implementation
- Age and Implementation of new Information Technology in Banking Tasks (PH, TR, TL), pp. 3–5.
- HCI-EI-1999-KinoeM #idea
- Discovering Latent Relationships among Ideas: A Methodology for Facilitating New Idea Creation (YK, HM), pp. 1242–1246.
- HCI-EI-1999-LuSUI
- A New Method to Synthesize Japanese Sign Language Based on Intuitive Motion Primitives (SL, HS, TU, SI), pp. 441–445.
- HCI-EI-1999-Stroem #concept #design
- Inattentive Use: A New design Concept (GS), pp. 1153–1157.
- HCI-EI-1999-SuzukiKO #design #named #process
- QUIS: applying a new walkthrough method to a product design process (SS, AK, KO), pp. 933–937.
- HCI-EI-1999-ThissenS #concept #design #internet #learning #student
- A New Concept for Designing Internet Learning Applications for Students of Electrical Engineering (DT, BS), pp. 590–594.
- HCI-EI-1999-TokudaMTL #analysis #development #requirements #user interface
- A New Integrated Support Environment for Requirements Analysis of User Interface Development (YT, TM, YT, ESL), pp. 895–899.
- AdaEurope-1999-RuizG #implementation #low level #runtime
- Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
- EDOC-1999-Blackshaw #corba
- CORBA in the new millenium: the changing landscape (BPB), pp. 264–269.
- ICEIS-1999-Stamper #analysis #design #paradigm
- Information-Field Paradigm and New Directions for Systems Analysis and Design (RKS), p. VI.
- ICEIS-1999-YooYP #data access #internet
- A New Method to Block Access to Illegal and Harmful Content on the Internet (BJY, HGY, MSP), pp. 732–739.
- ACIR-1999-Helderman #challenge #information management #information retrieval
- Knowledge Management and Information Retrieval: Some New Challenges (LMH).
- KDD-1999-AggarwalWWY #approach #collaboration #graph
- Horting Hatches an Egg: A New Graph-Theoretic Approach to Collaborative Filtering (CCA, JLW, KLW, PSY), pp. 201–212.
- KDD-1999-LouieK #named #visualisation
- Origami: A New Data Visualization Tool (JQL, TK), pp. 405–408.
- SIGIR-1999-DaiLK #information management #segmentation #statistics
- A New Statistical Formula for Chinese Text Segmentation Incorporating Contextual Information (YD, TEL, CSGK), pp. 82–89.
- SIGIR-1999-FungL #approach #classification #image #retrieval
- A New Approach for Image Classification and Retrieval (poster abstract) (CYF, KFL), pp. 301–302.
- SIGIR-1999-GuptaDNG #algorithm #collaboration #evaluation #linear
- Jester 2.0: Evaluation of an New Linear Time Collaborative Filtering Algorithm (poster abstract) (DG, MD, HN, KYG), pp. 291–292.
- ECOOP-1999-GaspariZ #algebra #corba #process #specification
- Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
- TOOLS-ASIA-1999-JiangLX #generative
- Agent Class Methodology: A New Kind of Autonomous Object Generation Methodology (HJ, DL, XX), pp. 245–252.
- TOOLS-ASIA-1999-TsaiTW #architecture #object-oriented
- A New Architecture of Object-Oriented Rule Base Management System (CJT, SST, YCW), pp. 200–203.
- TOOLS-USA-1999-PeriyasamyL #metric #object-oriented #source code #testing
- A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs (KP, XL), pp. 84–93.
- SAC-1999-KatayamaN #algorithm #problem #search-based #using
- A New Iterated Local Search Algorithm Using Genetic Crossover for the Traveling Salesman Problem (KK, HN), pp. 302–306.
- SAC-1999-MarmelsteinL #approach #clustering #evolution
- A New Approach for Evolving Clusters (REM, GBL), pp. 268–274.
- SAC-1999-SonahI #adaptation #evaluation #performance
- Performance Evaluation of New Adaptive Object Replacement Techniques for VOD Systems (BS, MRI), pp. 437–442.
- CC-1999-RubinBR #data type #recursion
- Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures (SR, DB, MR), pp. 259–273.
- OSDI-1999-BangaDM #resource management
- Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.
- CAV-1999-CimattiCGR #named #verification
- NUSMV: A New Symbolic Model Verifier (AC, EMC, FG, MR), pp. 495–499.
- IWTCS-1999-Willcock #syntax #towards
- New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
- LICS-1999-GabbayP #approach #syntax
- A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
- RTA-1999-LimetR #decidability
- A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.
- DAC-1998-PandaDENB #design #incremental #migration #named
- Migration: A New Technique to Improve Synthesized Designs Through Incremental Customization (RP, AD, TE, JN, DB), pp. 388–391.
- DAC-1998-SuttonD #approach #framework
- Framework Encapsulations: A New Approach to CAD Tool Interoperability (PRS, SWD), pp. 134–139.
- DATE-1998-Coudert #encoding #paradigm
- A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
- DATE-1998-Rosenstiel #design #industrial #standard #verification
- Formal Verification: A New Standard CAD Tool for the Industrial Design Flow (WR), p. 422.
- PODS-1998-AggarwalY #framework #generative
- A New Framework For Itemset Generation (CCA, PSY), pp. 18–24.
- SIGMOD-1998-GibbonsM #approximate #query #statistics #summary
- New Sampling-Based Summary Statistics for Improving Approximate Query Answers (PBG, YM), pp. 331–342.
- SIGMOD-1998-RaoR #correlation #invariant #query #reuse
- Reusing Invariants: A New Strategy for Correlated Queries (JR, KAR), pp. 37–48.
- VLDB-1998-KornLKF #data mining #mining #paradigm #performance
- Ratio Rules: A New Paradigm for Fast, Quantifiable Data Mining (FK, AL, YK, CF), pp. 582–593.
- CSEET-1998-CarterBCR #industrial #what
- What Industry Wants in Its New Hires (DC, MFB, RC, GR), pp. 126–127.
- ITiCSE-1998-Bampton #education
- Teaching computer science in Papua New Guinea (AB), pp. 25–27.
- ITiCSE-1998-MeyerV #bibliography #education #student
- A survey of first computing course students (poster): new findings and their implications for the curriculum (JM, SAV), p. 293.
- ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
- WRLA-1998-BorovanskyC #constraints #process #theorem proving #using
- Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
- ICSM-1998-CherinkaOR #maintenance #off the shelf #programming #question #static analysis
- Maintaining a COTS Integrated Solution — Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology? (RC, CMO, JR), pp. 160–169.
- PASTE-1998-Snelting #comprehension #concept analysis #framework
- Concept Analysis — A New Framework for Program Understanding (GS), pp. 1–10.
- PASTE-1998-TiceG #approach #named
- OPTVIEW: A New Approach for Examining Optimized Code (CT, SLG), pp. 19–26.
- PLDI-1998-SastryJ #algorithm
- A New Algorithm for Scalar Register Promotion based on SSA Form (AVSS, RDCJ), pp. 15–25.
- SAS-1998-GoyalP #problem
- A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.
- SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine
- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
- STOC-1998-Bshouty #algorithm #composition #learning #theorem
- A New Composition Theorem for Learning Algorithms (NHB), pp. 583–589.
- ICALP-1998-Brassard #information management #quantum
- New Horizons in Quantum Information Processing (GB), pp. 769–771.
- WIA-1998-Watson #algorithm #performance
- A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
- FM-1998-KoobUW #formal method #modelling #policy #process #security #topic #using
- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process (FK, MU, SW), pp. 302–310.
- ICFP-1998-Haiming #context-free grammar #recursion
- Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.
- TAGT-1998-FischerNTZ #diagrams #graph grammar #java #modelling
- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (TF, JN, LT, AZ), pp. 296–309.
- CHI-1998-ResnickMBBCKS
- Digital Manipulatives: New Toys to Think With (MR, FM, RB, RB, VC, KK, BS), pp. 281–287.
- CHI-1998-SumnerT #case study #design #experience #learning
- New Media, New Practices: Experiences in Open Learning Course Design (TS, JT), pp. 432–439.
- CIKM-1998-YuL #adaptation #algorithm #learning #online
- A New On-Line Learning Algorithm for Adaptive Text Filtering (KLY, WL), pp. 156–160.
- ICPR-1998-AricaY #recognition
- A new scheme for off-line handwritten connected digit recognition (NA, FTYV), pp. 1127–1129.
- ICPR-1998-AsadaBA #approach #image #synthesis
- Calibrated computer graphics: a new approach to realistic image synthesis based on camera calibration (NA, MB, AA), pp. 705–707.
- ICPR-1998-BrucksteinHHN #3d #estimation
- New devices for 3D pose estimation: mantis eyes, Agann paintings, sundials, and other space fiducials (AMB, RJH, TSH, ANN), pp. 305–309.
- ICPR-1998-CaiL #algorithm
- A new thresholding algorithm based on all-pole model (JC, ZQL), pp. 34–36.
- ICPR-1998-ChetverikovV #algorithm
- Tracking feature points: a new algorithm (DC, JV), pp. 1436–1438.
- ICPR-1998-HebertPG #fuzzy #geometry #online #recognition #representation
- A new fuzzy geometric representation for online isolated character recognition (JFH, MP, NG), pp. 1121–1123.
- ICPR-1998-HoffmanL #algorithm #geometry #trade-off
- Some trade-offs and a new algorithm for geometric hashing (MH, ML), pp. 1700–1704.
- ICPR-1998-KrejciFS #image #multi
- A new multichannel blind deconvolution method and its application to solar images (RK, JF, SS), pp. 1765–1767.
- ICPR-1998-RigollKW #approach #hybrid #recognition #scalability
- A new hybrid approach to large vocabulary cursive handwriting recognition (GR, AK, DW), pp. 1512–1514.
- ICPR-1998-SakaiYH #polynomial #robust
- A new robust quadratic discriminant function (MS, MY, HH), pp. 99–102.
- ICPR-1998-SatoY #classification #learning #using
- A formulation of learning vector quantization using a new misclassification measure (AS, KY), pp. 322–325.
- ICPR-1998-SenguptaO
- A new camera projection model and its application in reprojection (KS, JO), pp. 59–63.
- ICPR-1998-ZaoZLH #approach #image
- A new approach for intelligent object picking in line drawing images (JZ, HZ, JL, JH), pp. 1084–1088.
- SIGIR-1998-AllanPL #detection #online
- On-Line New Event Detection and Tracking (JA, RP, VL), pp. 37–45.
- SIGIR-1998-WechslerMS #documentation #retrieval
- New Techniques for Open-Vocabulary Spoken Document Retrieval (MW, EM, PS), pp. 20–27.
- REFSQ-1998-Salo #development #process #requirements
- Requirements for Groupware-Supported Requirements Process in New Product Development (AS), pp. 99–112.
- SAC-1998-CornoRS #algorithm #optimisation
- The selfish gene algorithm: a new evolutionary optimization strategy (FC, MSR, GS), pp. 349–355.
- SAC-1998-MatzenH #web
- A new tool for SGML with applications for the World Wide Web (RWM, GEH), pp. 752–759.
- ICSE-1998-AnquetilL #clustering #concept
- Extracting Concepts from File Names: A New File Clustering Criterion (NA, TCL), pp. 84–93.
- CC-1998-LelaitGE #algorithm #performance
- A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops (SL, GRG, CE), pp. 204–218.
- CC-1998-MalacariaH #analysis #approach #control flow
- A New Approach to Control Flow Analysis (PM, CH), pp. 95–108.
- HPCA-1998-VengroffG #branch #estimation #performance #predict #re-engineering
- Partial Sampling with Reverse State Reconstruction: A New Technique for Branch Predictor Performance Estimation (DEV, GRG), pp. 342–351.
- CAV-1998-ElgaardKM
- MONA 1.x: New Techniques for WS1S and WS2S (JE, NK, AM), pp. 516–520.
- JICSLP-1998-ShenCK #distance #execution #metric #named #parallel
- Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
- EDTC-1997-BensoPRRU #approach #fault #graph #low level
- A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs (AB, PP, MR, MSR, RU), pp. 560–565.
- EDTC-1997-CornoPRR #sequence #testing
- New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
- EDTC-1997-FauraHKCAI #integration #programmable
- A new field programmable system-on-a-chip for mixed signal integration (JF, CH, BK, JC, MAA, JMI), p. 610.
- EDTC-1997-Kristof #architecture #bound #effectiveness #idea #self #testing
- Extension of the boundary-scan architecture and new idea of BIST for more effective testing and self-testing of interconnections (AK), p. 630.
- EDTC-1997-OlbrichGARC #estimation #quality
- A new quality estimation methodology for mixed-signal and analogue ICs (TO, IAG, YEA, AMDR, JC), pp. 573–580.
- ICDAR-1997-Caesar #recognition
- New Features for Chinese Character Recognition (TC), pp. 592–595.
- ICDAR-1997-CracknellDD97a #analysis #comprehension #documentation #framework #image #named
- TABS — A New Software Framework for Document Image Processing, Analysis, and Understanding (CC, ACD, LD), pp. 1001–1005.
- ICDAR-1997-RahmanF #case study #multi #recognition #using
- Introducing New Multiple Expert Decision Combination Topologies: A Case Study using Recognition of Handwritten Characters (AFRR, MCF), p. 886–?.
- ICDAR-1997-TsengC97a
- A New Method for Segmenting Handwritten Chinese Characters (LYT, RCC), pp. 568–571.
- ICDAR-1997-ZhaoSX #string
- A New Method for Segmenting Unconstrained Handwritten Numeral String (BZ, HS, SX), pp. 524–527.
- CSMR-1997-Kilpi #challenge #configuration management #evaluation #framework #version control
- New Challenges for Version Control and Configuration Management: a Framework and Evaluation (TK), pp. 33–42.
- WCRE-1997-QuiliciWZ #approach #constraints
- New Experiments with a Constraint-Based Approach to Program Plan Matching (AQ, SW, YZ), pp. 114–123.
- PLDI-1997-ChowCKLLT #algorithm
- A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.
- STOC-1997-ParnafesRW #communication #modelling #problem
- Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
- ICALP-1997-AndreevCR #trade-off #worst-case
- Worst-Case Hardness Suffices for Derandomization: A New Method for Hardness-Randomness Trade-Offs (AEA, AEFC, JDPR), pp. 177–187.
- FME-1997-Gregoire #protocol #proving #using
- TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
- CHI-1997-SellenH #design
- Paper as an Analytic Resource for the Design of New Technologies (AS, RHRH), pp. 319–326.
- HCI-CC-1997-ButeraS #approach #convergence #towards
- The Convergence Toward a New Sociotechnical System Approach (FB, TS), pp. 201–204.
- HCI-CC-1997-EbinaI #approach #user interface
- A New Approach to Providing GUI Access for Blind People-Combined Tactile/Voice GUI Access (TE, SI), pp. 405–408.
- HCI-CC-1997-LindstromLS #implementation
- Organizational Support and Employee Well-Being in the Implementation of New VDT Application (KL, TL, JS), pp. 373–377.
- HCI-CC-1997-MamiyaHSK
- A New Way to Overcome the Uneasy Operation of Touch-Sensitive Displays by Incorporating “Click” Mechanism CC Switch (MM, HH, YS, MK), pp. 619–622.
- HCI-CC-1997-SchmitzNCS #development
- Emotional Demands in Musculoskeletal Discomfort: Development of a New Questionnaire (WS, LN, PC, MJS), pp. 505–508.
- HCI-CC-1997-WatersonOC #development
- Further Development of a New Method for Task Allocation in Complex Systems (PEW, MTO, CWC), pp. 257–260.
- HCI-SEC-1997-Borron #programming
- A New Form of Programming in the Light of Cognitive Dimensions (HJB), pp. 315–318.
- HCI-SEC-1997-JungY #analysis
- Managing Information by a New Compound Noun Analysis (IHJ, SYY), pp. 299–302.
- HCI-SEC-1997-KohnoA #concept #named
- ROIS: A New Concept to Change into Safe and Comfortable World (MK, YA), pp. 205–208.
- HCI-SEC-1997-Reichert #approach
- Perception-Oriented Stereo Rendering: A New Approach to Control the Third Dimension (LR), pp. 845–848.
- HCI-SEC-1997-SawaY #architecture #modelling #simulation
- New Modeling/Analyzing Architecture and Simulation Mechanism for Complex Structure (TS, MY), pp. 363–366.
- HCI-SEC-1997-Tarpin-BernardD #design pattern #interactive #named #question
- AMF: A New Design Pattern for Complex Interactive Software? (FTB, BTD), pp. 351–354.
- HCI-SEC-1997-Yamaoka #concept #design
- A New Design Concept and Method Based on Ergonomics and Kansei Engineering and So On (TY), pp. 547–550.
- ICML-1997-SchapireFBL #effectiveness
- Boosting the margin: A new explanation for the effectiveness of voting methods (RES, YF, PB, WSL), pp. 322–330.
- KDD-1997-FeldmanAAZK #documentation #keyword #mining
- Maximal Association Rules: A New Tool for Mining for Keyword Co-Occurrences in Document Collections (RF, YA, AA, AZ, WK), pp. 167–170.
- KDD-1997-ZakiPOL #algorithm #performance
- New Algorithms for Fast Discovery of Association Rules (MJZ, SP, MO, WL), pp. 283–286.
- SIGIR-1997-OgawaM #statistics #word
- Overlapping Statistical Word Indexing: A New Indexing Method for Japanese Text (YO, TM), pp. 226–234.
- UML-1997-Holz #architecture #uml
- Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.
- OOPSLA-1997-Hayes #named
- Ephemerons: A New Finalization Mechanism (BH), pp. 176–183.
- TOOLS-PACIFIC-1997-EveredKMS #java #named
- Genja — A New Proposal for Parameterised Types in Java (ME, JLK, GM, AS), pp. 181–195.
- TOOLS-USA-1997-DingleH #c++
- New Coding Patterns for Object Management in C++ (AD, THH), pp. 38–47.
- SAC-1997-OHara #framework
- Microsoft Windows CE: a new handheld computing platform (RO), pp. 295–296.
- ICSE-1997-KusumotoMKHTS #petri net #probability
- A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
ASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype- Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.
- PPoPP-1997-SubhlokY #parallel #programming
- A New Model for Integrated Nested Task and Data Parallel Programming (JS, BY), pp. 1–12.
- CADE-1997-BaaderT #approach #problem #word
- A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (FB, CT), pp. 19–33.
- CADE-1997-GiunchigliaRS #logic #testing
- A New Method for Testing Decision Procedures in Modal Logics (FG, MR, RS), pp. 264–267.
- RTA-1997-OyamaguchiO #linear #parallel #term rewriting
- A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems (MO, YO), pp. 187–201.
- RTA-1997-Sattler-Klein #monad
- New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
- TLCA-1997-Stark #equation
- Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
- DAC-1996-ChengCWM #estimation #hybrid
- A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
- DAC-1996-CoudertHM #algorithm #case study #comparative
- New Algorithms for Gate Sizing: A Comparative Study (OC, RWH, SM), pp. 734–739.
- DAC-1996-LiLLC #approach #clustering #linear
- New Spectral Linear Placement and Clustering Approach (JL, JL, LTL, CKC), pp. 88–93.
- DAC-1996-LillisCLH #performance #trade-off
- New Performance Driven Routing Techniques With Explicit Area/Delay Tradeoff and Simultaneous Wire Sizing (JL, CKC, TTYL, CYH), pp. 395–400.
- DAC-1996-Park
- A New Complete Diagnosis Patterns for Wiring Interconnects (SP), pp. 203–208.
- HT-1996-NurnbergLSS #hypermedia #operating system #paradigm
- Hypermedia Operating Systems: A New Paradigm for Computing (PJN, JJL, ERS, JLS), pp. 194–202.
- VLDB-1996-Celis #query #sql
- The Query Optimizer in Tandem’s new ServerWare SQL Product (PC), p. 592.
- VLDB-1996-MeoPC #mining
- A New SQL-like Operator for Mining Association Rules (RM, GP, SC), pp. 122–133.
- ITiCSE-1996-MartiPH #education #network #paradigm
- PACKET tracing: a new paradigm for teaching computer network courses (WFM, UWP, JAHJ), pp. 162–164.
- ESOP-1996-PalsbergPL #adaptation #approach #compilation #source code
- A New Approach to Compiling Adaptive Programs (JP, BPS, KJL), pp. 280–295.
- PLDI-1996-RinardD #analysis #commutative #compilation #framework
- Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers (MCR, PCD), pp. 54–67.
- PLDI-1996-SreedharGL #analysis #data flow #framework #graph #incremental #using
- A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (VCS, GRG, YFL), pp. 278–290.
- STOC-1996-AggarwalKW #layout #trade-off
- Node-Disjoint Paths on the Mesh and a New Trade-Off in VLSI Layout (AA, JMK, DPW), pp. 585–594.
- ICALP-1996-Hashiguchi #automaton #bound #distance
- New Upper Bounds to the Limitedness of Distance Automata (KH), pp. 324–335.
- WIA-1996-PontyZC #algorithm #automaton #polynomial #regular expression
- A New Quadratic Algorithm to Convert a Regular Expression into an Automaton (JLP, DZ, JMC), pp. 109–119.
- FME-1996-MartinsH #evaluation #performance #specification
- A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation (JJM, JPH), pp. 140–159.
- FME-1996-Vito #formal method #navigation #requirements
- Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
- ICFP-1996-GostanzaPN #data type #pattern matching
- A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.
- CHI-1996-VelichkovskyH #human-computer #interactive
- New Technological Windows into Mind: There is More in Eyes and Brains for Human-Computer Interaction (BV, JPH), pp. 496–503.
- CIKM-1996-LeeJH #concurrent #database
- A New Conflict Relation for Concurrency Control and Recovery in object-based Databases (SL, SYJ, CSH), pp. 288–295.
- CIKM-1996-ShinKC #named #performance #query
- S-signature: A New Scheme for Efficient Query Processing of Complex Objects in OODB (HS, KK, JWC), pp. 207–214.
- ICML-1996-FreundS #algorithm
- Experiments with a New Boosting Algorithm (YF, RES), pp. 148–156.
- ICPR-1996-Bayro-CorrochanoBS #algebra #geometry #network #self #using
- A new self-organizing neural network using geometric algebra (EBC, SB, GS), pp. 555–559.
- ICPR-1996-CrouzilMC #correlation #similarity
- A new correlation criterion based on gradient fields similarity (AC, LMP, SC), pp. 632–636.
- ICPR-1996-GroBertKN #approach #fuzzy #image
- A new approach to fuzzy morphology based on fuzzy integral and its application in image processing (SG, MK, BN), pp. 625–630.
- ICPR-1996-KnipeL #composition #re-engineering
- A new quadtree decomposition reconstruction method (JK, XL), pp. 364–369.
- ICPR-1996-LasenbyBLS #invariant
- A new methodology for computing invariants in computer vision (JL, EBC, ANL, GS), pp. 393–397.
- ICPR-1996-LiuL #approach #classification #effectiveness #performance #using
- An efficient and effective texture classification approach using a new notion in wavelet theory (JFL, JCML), pp. 820–824.
- ICPR-1996-LuoTB #algorithm #fuzzy #multi
- A new multilevel line-based stereo vision algorithm based on fuzzy techniques (AL, WT, HB), pp. 383–387.
- ICPR-1996-Matalas #approximate #image #multi #set
- A new set of multiscale texture features based on B-spline image approximation (IM), pp. 810–814.
- ICPR-1996-Matsui #detection #image #multi
- A new mathematical human vision model with an autonomous image observing mechanism and its application to multiple motion detection (TM), pp. 723–727.
- ICPR-1996-PalmeroIDC #documentation #logic
- A new neuro-fuzzy system for logical labeling of documents (GISP, JMCI, YAD, JLC), pp. 431–435.
- ICPR-1996-PeuraVK #approach #classification
- A new approach to land-based cloud classification (MP, AV, PK), pp. 143–147.
- ICPR-1996-PollefeysGO #constraints #self
- The modulus constraint: a new constraint self-calibration (MP, LJVG, AO), pp. 349–353.
- ICPR-1996-ShioyamaJ #3d #constraints
- Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.
- ICPR-1996-SongKL #architecture #network #pattern matching #pattern recognition #recognition
- A new recurrent neural network architecture for pattern recognition (HHS, SMK, SWL), pp. 718–722.
- ICPR-1996-SukanyaTTS #image
- A new operator for describing topographical image structure (PS, HT, RT, MS), pp. 50–54.
- ICPR-1996-VitulanoNVM #detection #using
- Edge detection using a new definition of entropy (SV, MN, DV, CM), pp. 141–145.
- ICPR-1996-YamamotoMTI0 #automation #detection
- Quoit filter-a new filter based on mathematical morphology to extract the isolated shadow, and its application to automatic detection of lung cancer in X-ray CT (SY, MM, YT, TI, TM), pp. 3–7.
- KDD-1996-IttnerS #generative
- Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
- KDD-1996-LagusHKK #approach #documentation #interactive #self
- Self-Organizing Maps of Document Collections: A New Approach to Interactive Exploration (KL, TH, SK, TK), pp. 238–243.
- KR-1996-Ginsberg #algorithm #generative
- A New Algorithm for Generative Planning (MLG), pp. 186–197.
- SIGIR-1996-Kwok #ad hoc #query #retrieval
- A New Method of Weighting Query Terms for Ad-Hoc Retrieval (KLK), pp. 187–195.
- OOPSLA-1996-GilL #abstraction
- Environmental Acquisition — A New Inheritance-Like Abstraction Mechanism (JYG, DHL), pp. 214–231.
- PLILP-1996-Li #approach #implementation #prolog
- Program Sharing: A New Implementation Approach for Prolog (XL), pp. 259–273.
- ICRE-1996-WhiteSNS
- Project Aurora: Dawn of a New Way (EAW, HTS, LAN, DWS), pp. 165–172.
- SAC-1996-BaoH #approach
- A new approach to software tool interoperability (YB, EH), pp. 500–509.
- ICSE-1996-HeidenreichMK #approach #consistency #re-engineering
- A New Approach to Consistency Control in Software Engineering (GH, MM, DK), pp. 289–297.
- CC-1996-BoucherF #compilation #implementation #paradigm #static analysis
- Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
- CADE-1996-Fernmuller #semantics
- Semantic Trees Revisited: Some New Completeness Results (CGF), pp. 568–582.
- CADE-1996-RousselM #compilation
- A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.
- CSL-1996-Yashin #logic #problem
- New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem (ADY), pp. 460–471.
- RTA-1996-BundgenSW
- ReDuX 1.5: New Facets of Rewriting (RB, CS, JW), pp. 412–415.
- RTA-1996-Voisin #interface #proving
- A New Proof Manager and Graphic Interface for Larch Prover (FV), pp. 408–411.
- DAC-1995-AlexanderR #algorithm
- New Performance-Driven FPGA Routing Algorithms (MJA, GR), pp. 562–567.
- DAC-1995-CoudertM #problem
- New Ideas for Solving Covering Problems (OC, JCM), pp. 641–646.
- DAC-1995-WuM #2d #approach #optimisation #orthogonal
- Orthogonal Greedy Coupling — A New Optimization Approach to 2-D FPGA Routing (YLW, MMS), pp. 568–573.
- ICDAR-v1-1995-LeeK95b #network #recognition
- A new type of recurrent neural network for handwritten character recognition (SWL, YJK), pp. 38–41.
- ICDAR-v1-1995-LeeL95a #recognition #segmentation
- A new methodology for gray-scale character segmentation and recognition (DJL, SWL), pp. 524–527.
- ICDAR-v1-1995-MenierLG #modelling #online #recognition
- A new modeling method for on-line handwriting recognition (GM, GL, PG), pp. 499–503.
- ICDAR-v1-1995-MurshedBS #approach #verification
- Off-line signature verification, without a priori knowledge of class /spl omega//sub 2/. A new approach (NAM, FB, RS), pp. 191–196.
- ICDAR-v2-1995-FanCW #approach #image
- A new vectorization-based approach to the skeletonization of binary images (KCF, DFC, MGW), pp. 627–630.
- ICDAR-v2-1995-Romeo-PakkerML #approach #segmentation
- A new approach for Latin/Arabic character segmentation (KRP, HM, YL), pp. 874–877.
- ICDAR-v2-1995-TangMMLS #analysis #approach #documentation
- A new approach to document analysis based on modified fractal signature (YYT, HM, XM, DL, CYS), pp. 567–570.
- DLT-1995-Stiebe
- Some New Decision Results for Edge Grammars (RS), pp. 329–338.
- ICALP-1995-BozanisKMT #bound #problem
- New Upper Bounds for Generalized Intersection Searching Problems (PB, NK, CM, AKT), pp. 464–474.
- ICALP-1995-KoblerW
- New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
- CHI-1995-HixTJ #concept #interactive #testing
- Pre-Screen Projection: From Concept to Testing of a New Interaction Technique (DH, JNT, RJKJ), pp. 226–233.
- CAiSE-1995-Bracchi #architecture #industrial
- The Impact of New Information Architectures on Industry and Government Transformation (GB), pp. 311–312.
- CIKM-1995-KimC #information retrieval #parallel #performance
- A New Parallel Signature File Method for Efficient Information Retrieval (JKK, JWC), pp. 66–73.
- CIKM-1995-RossBT #approach #named
- MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.
- KDD-1995-CiampiL #approach #data analysis #design #modelling #network #statistics
- Designing Neural Networks from Statistical Models: A New Approach to Data Exploration (AC, YL), pp. 45–50.
- SEKE-1995-Rosca #generative #synthesis #towards
- Towards a New Generation of Program Synthesis Approaches (JPR), p. 428.
- SIGIR-1995-Finch #documentation #partial order #representation
- Partial Orders for Document Representation: A New Methodology for Combining Document Features (SF), pp. 264–272.
- SIGIR-1995-HershEHWML #evaluation #information retrieval #metric #towards
- Towards New Measures of Information Retrieval Evaluation (WRH, DLE, DHH, SLW, AM, CL), pp. 164–170.
- SIGIR-1995-OgawaI #documentation #using
- A New Character-based Indexing Organization using Frequency Data for Japanese Documents (YO, MI), pp. 121–129.
- PLILP-1995-ButowGOT #semantics
- A New Strategy for Semantic Matching (BB, RG, EO, ST), pp. 81–96.
- POPL-1995-SchauserCG #algorithm #clustering #constraints #source code #strict #thread
- Separation Constraint Partitioning — A New Algorithm for Partitioning Non-strict Programs into Sequential Threads (KES, DEC, SCG), pp. 259–271.
- SAC-1995-BironK #feedback #information retrieval #performance
- New methods for relevance feedback: improving information retrieval performance (PVB, DHK), pp. 482–487.
- SAC-1995-BucklesP #database #fuzzy
- Fuzzy databases in the new era (BPB, FEP), pp. 497–502.
- SAC-1995-Hendrickson #algorithm #lr #parallel #parsing
- A new parallel LR parsing algorithm (KJH), pp. 277–281.
- ASF+SDF-1995-KampermanW #compilation #self
- The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
- HPDC-1995-RamanjuanBT #approach #clustering #memory management #network #parallel
- Network Shared Memory: A New Approach for Clustering Workstations for Parallel Processing (RSR, JB, KJT), pp. 48–56.
- SOSP-1995-TalluriHK
- A New Page Table for 64-bit Address Spaces (MT, MDH, YYAK), pp. 184–200.
- ICLP-1995-DegtyarevV #horn clause #similarity
- A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.
- ICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple
- Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.
- LICS-1995-KfouryW #normalisation #proving #reduction #semantics #λ-calculus
- New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
- DAC-1994-HaqueEC #megamodelling #multi #simulation
- A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections (MH, AEZ, SC), pp. 628–633.
- DAC-1994-HuYD #performance #verification
- New Techniques for Efficient Verification with Implicitly Conjoined BDDs (AJH, GY, DLD), pp. 276–282.
- DAC-1994-SunL #2d #architecture
- Routing in a New 2-Dimensional FPGA/FPIC Routing Architecture (YS, CLL), pp. 171–176.
- EDAC-1994-CalvoPM
- ICM2 IC: a new ATM switching element for 2.48 Gb/s communications (FC, PP, PM), pp. 65–69.
- EDAC-1994-FrosslK #simulation
- A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation (JF, TK), pp. 343–348.
- EDAC-1994-VuksicF #approach #fault #testing
- A New BIST Approach for Delay Fault Testing (AV, KF), pp. 284–288.
- HT-ECHT-1994-Levy #documentation
- Fixed or Fluid? Document Stability and New Media (DML), pp. 24–31.
- PODS-1994-LibkinW #set
- New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions (LL, LW), pp. 155–166.
- VLDB-1994-SetzerZ #algorithm #concurrent
- New Concurrency Control Algorithms for Accessing and Compacting B-Trees (VWS, AZ), pp. 238–248.
- STOC-1994-AlonYZ #graph #named #scalability
- Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs (NA, RY, UZ), pp. 326–335.
- FME-1994-Mukherjee #semantics
- A Semantics for NewSpeak in VDM-SL (PM), pp. 480–501.
- FME-1994-PaechR #automaton #behaviour #concept #modelling #refinement
- A new Concept of Refinement used for Behaviour Modelling with Automata (BP, BR), pp. 154–174.
LFP-1994-StefanovicM #behaviour #ml #standard- Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.
- CSCW-1994-KrautRCF #communication #social
- Life and Death of New Technology: Task, Utility and Social Influences on the Use of a Communication Medium (REK, RER, CC, RSF), pp. 13–21.
- AdaEurope-1994-DissauxFLM #ada #approach
- A New Approach for HOOD/Ada Mapping (PD, PF, PL, PM), pp. 147–154.
- AdaEurope-1994-Kettani #ada #how #realtime
- How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
- AdaEurope-1994-SevestreB #ada #generative #multi #operating system #thread
- Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
- TRI-Ada-1994-Cherry #ada #formal method #paradigm #re-engineering #visualisation
- Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
- ICML-1994-AbeM #predict #probability
- A New Method for Predicting Protein Secondary Structures Based on Stochastic Tree Grammars (NA, HM), pp. 3–11.
- SIGIR-1994-HershBLH #evaluation #interactive #named #research #retrieval #scalability
- OHSUMED: An Interactive Retrieval Evaluation and New Large Test Collection for Research (WRH, CB, TJL, DHH), pp. 192–201.
- PLILP-1994-Mantsivoda
- Flang System: A new Version (AM), pp. 467–468.
- PLILP-1994-Pettersson #implementation #named #semantics
- RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.
- SAC-1994-RothermelT #bibliography #learning #logic
- Test Review: a new method of computer-assisted learning to promote careful reading and logical skills (DR, GT), pp. 573–577.
- FSE-1994-JacksonR #dependence #reverse engineering
- A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.
- HPDC-1994-BurrellMP #analysis #capacity #implementation #multi #network #performance #protocol
- Performance Analysis of a New Implementation Efficient Capacity Allocation Protocol for Multimedia Traffic in ATM Networks (AB, DM, PPK), pp. 51–60.
- CADE-1994-Baker #automation #deduction
- A New Application for Explanation-Based Generalisation within Automated Deduction (SB), pp. 177–191.
- ICLP-1994-BoulangerS #abstract interpretation #approach #compilation
- Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
- ICLP-1994-KumonH #concurrent #logic
- A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.
- ISSTA-1994-FleyshgakkerW #analysis #approach #mutation testing #performance
- Efficient Mutation Analysis: A New Approach (VNF, SNW), pp. 185–195.
- DAC-1993-CoudertMF #logic
- A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
- DAC-1993-LaiFW #data type #performance #query
- HV/VH Trees: A New Spatial Data Structure for Fast Region Queries (GGL, DSF, DFW), pp. 43–47.
- DAC-1993-McGeerSBS #logic #named
- Espresso-Signature: A New Exact Minimizer for Logic Functions (PCM, JVS, RKB, ALSV), pp. 618–624.
- DAC-1993-Nagaraj #optimisation #performance
- A New Optimizer for Performance Optimization of Analog Integrated Circuits (NSN), pp. 148–153.
- DAC-1993-SilvaK #design #documentation #interface
- Active Documentation: A New Interface for VLSI Design (MJS, RHK), pp. 654–660.
- ICDAR-1993-Hamada #analysis #diagrams
- A new system for the analysis of schematic diagrams (AHH), pp. 369–372.
- ICDAR-1993-KuoW #segmentation
- A new method for the segmentation of mixed handprinted Chinese/English characters (HHK, JFW), pp. 810–813.
- ICDAR-1993-LiuZT #approach #online #recognition
- A new approach to on-line handwritten Chinese character recognition (YJL, LQZ, JT), pp. 192–195.
- ICDAR-1993-XuL #algorithm #image #string
- A new algorithm separating text strings from map images (TX, XL), pp. 910–913.
- PODS-1993-Revesz #on the #semantics
- On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.
- SIGMOD-1993-AnwarMC #database #object-oriented
- A New Perspective on Rule Support for Object-Oriented Databases (EA, LM, SC), pp. 99–108.
- SIGMOD-1993-NassifM #legacy #migration
- Issues and Approaches for Migration/Cohabitation between Legacy and new Systems (RN, DM), pp. 471–474.
- VLDB-1993-LampsonL #commit #optimisation
- A New Presumed Commit Optimization for Two Phase Commit (BWL, DBL), pp. 630–640.
- PLDI-1993-Pinter #approach #scheduling
- Register Allocation with Instruction Scheduling: A New Approach (SSP), pp. 248–257.
- STOC-1993-Fleischer
- Decision trees: old and new results (RF), pp. 468–477.
- ICALP-1993-Blum #approach #reliability #source code
- Program Result Checking: A New Approach to Making Programs More Reliable (MB), pp. 1–14.
- ICALP-1993-IbarraJTW #decidability
- New Decidability Results Concerning Two-way Counter Machines and Applications (OHI, TJ, NQT, HW), pp. 313–324.
- HCI-ACS-1993-Burger #assessment #case study #performance #usability
- Performance of a Usability Assessment Model: A New Zealand Case Study (SVB), pp. 660–665.
- HCI-ACS-1993-CakirC #documentation #evaluation #image #user interface
- Image Processing of Office Documents — Ergonomic Evaluation of the User Interface of a New System (GÇ, AÇ), pp. 797–802.
- HCI-ACS-1993-LindstromLP #implementation
- Follow-up of Job Demands and Strain Symptoms after Implementation of New VDT Applications in an Insurance Company (KL, TL, MP), pp. 1005–1010.
- HCI-ACS-1993-PuhakainenTL #aspect-oriented #health #implementation
- Follow-up after Implementation of a New Data System and Health Aspects in an Insurance Company (MP, IT, KL), pp. 999–1004.
- HCI-ACS-1993-Soares
- Data-Preparation Clerks in Brazilian Data Processing Centres: The Unskilled and Unhealthy New Jobs (AS), pp. 886–890.
- HCI-ACS-1993-Soderberg #design #how
- How the Design of the Premises Supports a New Organizational Structure as Viewed by Full-Time Operators in Large-Scaled Tele-Services (IS), pp. 839–844.
- HCI-ACS-1993-TsujiMND #analysis
- New Analysis of HRV Through Wavelet Transform (HT, HM, TN, TD), pp. 920–924.
- HCI-ACS-1993-Williams
- The Effects of New Information Technology on Interorganizational Relations: Electronic Tax Return Lodgement in Australia (TAW), pp. 356–361.
- HCI-SHI-1993-BauerR #development #interactive
- New Techniques for Interaction in Virtual Worlds — Contents of Development and Examples (WB, OR), pp. 687–692.
- HCI-SHI-1993-Cohill #approach #design #development #interface #tool support
- Information Tools: A New Approach to Interface Design and Development (AMC), pp. 915–920.
- HCI-SHI-1993-GulliksenJLNS #interface
- The Need for New Application Specific Interface Elements (JG, MJ, ML, EN, BLS), pp. 15–20.
- HCI-SHI-1993-HerczegHR #approach #design #programming #user interface #visual notation
- A New Approach to Visual Programming in User Interface Design (JH, HH, MR), pp. 74–79.
- HCI-SHI-1993-KumeJS #design #paradigm
- A New Paradigm for Diagnostic Expert System Based on Designer’s Knowledge (YK, HSJ, GS), pp. 867–872.
- INTERCHI-1993-ApperleyP #human-computer #interactive #research
- Human-computer interaction research at Massey University, New Zealand (MDA, CP), pp. 244–245.
- INTERCHI-1993-TakeuchiN
- Communicative facial displays as a new conversational modality (AT, KN), pp. 187–193.
- CIKM-1993-BhatiaY #approach #information management
- A New Approach to Knowledge Acquisition by Repertory Grids (SKB, QY), pp. 738–740.
- CIKM-1993-PissinouMP #design #development #information management #towards
- Towards the Design and Development of a New Model for Geographic Information Systems (NP, KM, EKP), pp. 565–573.
- SEKE-1993-Cheng #complexity #metric #rule-based
- A New Complexity Metric for OPS5 Rule-Based Systems (AMKC), pp. 244–247.
- SEKE-1993-YonezakiKSL #named #process
- TAP: A New Model for Software Process: Tasks-Agents-Products (NY, TK, MS, JL), pp. 346–350.
- ECOOP-1993-LiskovW #type system
- A New Definition of the Subtype Relation (BL, JMW), pp. 118–141.
- TOOLS-USA-1993-MorabitoS #analysis #approach #design #object-oriented
- A New Approach to Object-Oriented Analysis and Design (JM, MSS), pp. 45–55.
- PLILP-1993-Nederhof #algorithm #definite clause grammar #parsing #recursion #top-down
- A New Top-Down Parsing Algorithm for Left-Recursive DCGs (MJN), pp. 108–122.
- HPDC-1993-Kung #network #performance
- New Flow Control Methods for High-Speed Networks (HTK), p. 4.
- PPoPP-1993-MorrisettT #framework #ml #multi #standard
- Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
- SOSP-1993-JongeKH #approach #file system #logic
- The Logical Disk: A New Approach to Improving File Systems (WdJ, MFK, WCH), pp. 15–28.
- ICLP-1993-BossiBF #fixpoint #prolog #semantics
- A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.
- TLCA-1993-JungT
- A New Characterization of λ Definability (AJ, JT), pp. 245–257.
- DAC-1992-AbramoviciRM #approach #exclamation #testing
- Freeze!: A New Approach for Testing Sequential Circuits (MA, KBR, DTM), pp. 22–25.
- DAC-1992-CabodiCCGPR #traversal
- A New Model for Improving symbolic Product Machine Traversal (GC, PC, FC, SG, PP, MSR), pp. 614–619.
- DAC-1992-FangFL #approach #multi #performance #problem
- A New Efficient Approach to Multilayer Channel Routing Problem (SCF, WSF, SLL), pp. 579–584.
- DAC-1992-FujiiMMY #multi
- A Multi-Layer Channel Router with New Style of Over-the-Cell Routing (TF, YM, TM, TY), pp. 585–588.
- DAC-1992-Ho #modelling
- New Models for Four- and Five-Layer Channel Routing (TTH), pp. 589–593.
- DAC-1992-KimLS #graph #layout #modelling #using
- A New Hierarchical Layout Compactor Using Simplified Graph Models (WK, JL, HS), pp. 323–326.
- DAC-1992-KungDNG #algorithm #named
- BDDMAP: A Technology Mapper Based on a New Covering Algorithm (DSK, RFD, TAN, DJG), pp. 484–487.
- DAC-1992-LeeM #logic #multi #simulation
- Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
- DAC-1992-WuSHS
- Over-the-Cell Routers for New Cell Model (BW, NAS, NDH, MS), pp. 604–607.
- DAC-1992-ZeinED #logic #named
- HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
- PODS-1992-Beeri #challenge #modelling
- New Data Models and Languages — the Challenge (CB), pp. 1–15.
- PEPM-1992-KatzW #partial evaluation #towards
- Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.
- PLDI-1992-BrooksHS #approach #debugging
- A New Approach to Debugging Optimized Code (GB, GJH, SS), pp. 1–11.
- STOC-1992-BartalFKV #algorithm #problem #scheduling
- New Algorithms for an Ancient Scheduling Problem (YB, AF, HJK, RV), pp. 51–58.
- STOC-1992-BellantoniC #recursion
- A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) (SB, SAC), pp. 283–293.
- ICALP-1992-IbarraT #automaton #finite
- New Results Concerning Synchronized Finite Automata (OHI, NQT), pp. 126–137.
- ICALP-1992-Rote #how #metric
- A New Metric Between Polygons and How to Compute it (GR), pp. 404–415.
- KR-1992-GivanM
- New Results on Local Inference Relations (RG, DAM), pp. 403–412.
- ML-1992-PerezE #named #problem
- DYNAMIC: A New Role for Training Problems in EBL (MAP, OE), pp. 367–372.
- SIGIR-1992-Keen #ranking
- Term Position Ranking: Some New Test Results (EMK), pp. 66–76.
- OOPSLA-1992-DonyMC #prototype #taxonomy #validation
- Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation (CD, JM, PC), pp. 201–217.
- LICS-1992-AbramskyJ #geometry #interactive
- New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
- DAC-1991-HolmesSS #algorithm #using
- New Algorithm for Over-the-Cell Channel Routing Using Vacant Terminals (NDH, NAS, MS), pp. 126–131.
- DAC-1991-RaghavanR #analysis
- A New Nonlinear Driver Model for Interconnect Analysis (VR, RAR), pp. 561–566.
- DAC-1991-RaithB
- A New Hypergraph Based Rip-Up and Reroute Strategy (MR, MB), pp. 54–59.
- DAC-1991-ShihK #approach #equation #named #performance #using
- ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
- DAC-1991-Utesch #adaptation #approach #interactive #using
- A New Approach to Hierarchical Adaptation Using Sequence-Control Based on Cell Interactions (MCU), pp. 723–726.
- SIGMOD-1991-GuntzerKT #database #deduction #nondeterminism #reasoning
- New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.
- PEPM-1991-HuntS #analysis #perspective
- Binding Time Analysis: A New PERspective (SH, DS), pp. 154–165.
- PLDI-1991-Jain #pipes and filters #scheduling
- Circular Scheduling: A New Technique to Perform Software Pipelining (SJ), pp. 219–228.
- ICALP-1991-Chazelle #geometry
- Computational Geometry for the Gourmet: Old Fare and New Dishes (BC), pp. 686–696.
- CHI-1991-Furnas #comprehension #interface #modelling #reasoning #visual notation
- New graphical reasoning models for understanding graphical interfaces (GWF), pp. 71–78.
- KR-1991-Castaing #formal method #representation
- A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
- SIGIR-1991-Sutcliffe #distributed #information retrieval #using
- Distributed Representations in a Text Based Information Retrieval System: A New Way of Using the Vector Space Model (RFES), pp. 123–132.
- TOOLS-USA-1991-Taylor #lifecycle
- A New Lifecycle Model for Object Technology (DAT), pp. 393–394.
- PLILP-1991-AppelM #ml #standard
- Standard ML of New Jersey (AWA, DBM), pp. 1–13.
- ICSE-1991-Litke #implementation #process #towards
- Toward new Techniques to Assess the Software Implementation Process (JDL), pp. 74–82.
- PPoPP-1991-KungSGK #network #performance #scalability
- Parallelizing a New Class of Large Applications over High-speed Networks (HTK, PS, MG, MK), pp. 167–177.
- CSL-1991-Feferman #approach #data type
- A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.
- ICLP-1991-HentenryckD #constraints #logic #logic programming
- The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (PVH, YD), pp. 745–759.
- ICLP-1991-MansfieldTMN #approach #named #towards
- AMLOG-E: A New Approach towards Amalgamation (GM, AT, NM, SN), pp. 364–378.
- ICLP-1991-PierroMP #logic programming
- Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming (ADP, MM, CP), pp. 32–45.
- ISLP-1991-Kawamura #logic programming #performance #source code
- Derivation of Efficient Logic Programs by Synthesizing New Predicates (TK), pp. 611–625.
- ISLP-1991-MarienD #unification
- A New Scheme for Unification in WAM (AM, BD), pp. 257–271.
- DAC-1990-BrasenB #algorithm #named #optimisation
- MHERTZ: A New Optimization Algorithm for Floorplanning and Global Routing (DRB, MLB), pp. 107–110.
- DAC-1990-CarlsonR #algorithm #design #evaluation #parallel #performance #verification
- Design and Performance Evaluation of New Massively Parallel VLSI Mask Verification Algorithms in JIGSAW (ECC, RAR), pp. 253–259.
- DAC-1990-ChatterjeeH #approach #clustering
- A New Simultaneous Circuit Partitioning and Chip Placement Approach Based on Simulated Annealing (AC, RIH), pp. 36–39.
- DAC-1990-EdahiroY #algorithm #standard
- New Placement and Global Routing Algorithms for Standard Cell Layouts (ME, TY), pp. 642–645.
- DAC-1990-GiraldiB #automation #future of #generative #named
- EST: The New Frontier in Automatic Test-Pattern Generation (JG, MLB), pp. 667–672.
- DAC-1990-OkuboWW #algorithm
- New Algorithm for Overlapping Cell Treatment in Hierarchical CAD Data/Electron Beam Exposure Data Conversion (TO, TW, KW), pp. 321–326.
- DAC-1990-TeraiTS #algorithm #assurance #constraints #design #layout
- A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint (MT, KT, KS), pp. 96–102.
- SIGMOD-1990-WolfsonO #distributed #paradigm #parallel
- A New Paradigm for Parallel and Distributed Rule-Processing (OW, AO), pp. 133–142.
- VLDB-1990-GhandeharizadehD #clustering #database #multi
- Hybrid-Range Partitioning Strategy: A New Declustering Strategy for Multiprocessor Database Machines (SG, DJD), pp. 481–492.
- VLDB-1990-KitsuregawaO #database #parallel #robust
- Bucket Spreading Parallel Hash: A New, Robust, Parallel Hash Join Method for Data Skew in the Super Database Computer (SDC) (MK, YO), pp. 210–221.
- STOC-1990-Vishkin #pattern matching #performance
- Deterministic Sampling-A New Technique for Fast Pattern Matching (UV), pp. 170–180.
- ICALP-1990-Blum #approach #graph
- A New Approach to Maximum Matching in General Graphs (NB), pp. 586–597.
- ICALP-1990-DietzfelbingerH #realtime
- A New Universal Class of Hash Functions and Dynamic Hashing in Real Time (MD, FMadH), pp. 6–19.
- GG-1990-EhrigL #graph transformation
- Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.
- CHI-1990-Thomsen #paradigm
- Business instrument panel: a new paradigm for interfacing with financial data (CTT), pp. 161–166.
- SIGIR-1990-Egghe #formal method #information retrieval
- A New Method for Information Retrieval, Based on the Theory of Relative Concentration (LE), pp. 469–493.
- OOPSLA-ECOOP-1990-PurchaseW #fault #object-oriented #parallel #specification
- Message Pattern Specifications: A New Technique for Handling Errors in Parallel Object Oriented Systems (JAP, RLW), pp. 116–125.
- PLILP-1990-Fribourg #execution #prolog
- A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
- PLILP-1990-Huitouze #data type #implementation #prolog
- A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.
- CLP-1990-Fages90 #fixpoint #logic programming #semantics #source code
- A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.
- CLP-1990-UedaM90 #haskell #implementation
- A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.
- LICS-1990-BoudetCD #algorithm #equation #unification
- A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations (AB, EC, HD), pp. 289–299.
- LICS-1990-CroleP #fixpoint
- New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.
- DAC-1989-Coppola #algorithm #analysis #logic
- New Methods in the Analysis of Logic Minimization Data and Algorithms (AJC), pp. 226–231.
- DAC-1989-HoevenLDD #network #simulation
- A New Model for the High Level Description and Simulation of VLSI Networks (AJvdH, AAdL, EFD, PD), pp. 738–741.
- DAC-1989-HoVW #approach #problem
- A New Approach to the Rectilinear Steiner Tree Problem (JMH, GV, CKW), pp. 161–166.
- DAC-1989-SaucierDP #using
- State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory (GS, CD, FP), pp. 321–326.
- DAC-1989-SherwaniD #heuristic #problem
- A New Heuristic for Single Row Routing Problems (NAS, JSD), pp. 167–172.
- DAC-1989-WangKL #approach #fault #logic #robust #set
- A New Approach to Derive Robust Sets for Stuck-open Faults in CMOS Combinational Logic Circuits (JFW, TYK, JYL), pp. 726–729.
- DAC-1989-YangK #development #named #novel #simulation
- iSMILE: A Novel Circuit Simulation Program with Emphasis on New Device Model Development (ATY, SMK), pp. 630–633.
- STOC-1989-Feder #approach #fixpoint #network
- A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.
- STOC-1989-ReifS #geometry #named #random
- Polling: A New Randomized Sampling Technique for Computational Geometry (JHR, SS), pp. 394–404.
- ICALP-1989-LiV89a #approach #complexity #formal method
- A New Approach to Formal Language Theory by Kolmogorov Complexity (Preliminary Version) (ML, PMBV), pp. 506–520.
FPCA-1989-KuoM #analysis #strict #type inference- Strictness Analysis: A New Perspective Based on Type Inference (TMK, PM), pp. 260–272.
- FPCA-1989-Takayama #performance #proving #source code
- Extended Projection — New Method to Extract Efficient Programs from Constructive Proofs (YT), pp. 299–312.
- FPCA-1989-Traub #approach #clustering #compilation #functional #strict
- Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
- CHI-1989-Zanden #constraints #specification #visual notation
- Constraint grammars-a new model for specifying graphical applications (BTVZ), pp. 325–330.
- CAiSE-1989-KollerbaurLK #interface
- Lexivisual Interfaces — The New Look (AK, TL, MK).
- ML-1989-Anderson #learning #network
- Tower of Hanoi with Connectionist Networks: Learning New Features (CWA), pp. 345–349.
- ML-1989-Danyluk #bias #induction #information management
- Finding New Rules for Incomplete Theories: Explicit Biases for Induction with Contextual Information (APD), pp. 34–36.
- ML-1989-GamsK #empirical #learning
- New Empirical Learning Mechanisms Perform Significantly Better in Real Life Domains (MG, AK), pp. 99–103.
- ML-1989-MurrayP #integration
- Controlling Search for the Consequences of New Information During Knowledge Integration (KSM, BWP), pp. 290–295.
- ML-1989-Woodfill
- Labor Saving New Distinctions (JW), pp. 430–433.
- SIGIR-1989-Baeza-YatesG #approach
- A New Approach to Text Searching (RABY, GHG), pp. 168–175.
- OOPSLA-1989-Schelvis #approach #distributed #garbage collection #incremental
- Incremental Distribution of Timestamp Packets: A New Approach to Distributed Garbage Collection (MS), pp. 37–48.
ESEC-1989-Gottler #graph grammar #implementation #paradigm #visual notation- Graph Grammars, a new Paradigm for Implementing Visual Languages (HG), pp. 336–350.
- SOSP-1989-HutchinsonPAO #design #kernel
- RPC in the x-Kernel: Evaluating New Design Techniques (NCH, LLP, MBA, SWO), pp. 91–101.
- CSL-1989-Ohlbach #first-order #logic #multi #proving
- New Ways for Developing Proof Theories for First-Order Multi Modal Logics (HJO), pp. 271–308.
- RTA-1989-Gottler #graph grammar #implementation #visual notation
- Graph Grammars, A New Paradigma for Implementing Visual Languages (HG), pp. 152–166.
- DAC-1988-HillAHS #algorithm #fault #simulation
- A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits (FJH, EA, WKH, GQS), pp. 583–586.
- DAC-1988-LamD #performance
- Performance of a New Annealing Schedule (JL, JMD), pp. 306–311.
- DAC-1988-YaoYL #approach #problem
- A New Approach to the Pin Assignment Problem (XY, MY, CLL), pp. 566–572.
- DAC-1988-Zimmerman #estimation
- A New Area and Shape Function Estimation Technique for VLSI Layouts (GZ), pp. 60–65.
- ESOP-1988-AikenN #parallel #pipes and filters
- Perfect Pipelining: A New Loop Parallelization Technique (AA, AN), pp. 221–235.
- ESOP-1988-Consel #empirical #partial evaluation
- New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.
- ICALP-1988-Culik #decidability #equivalence #problem #proving
- New Techniques for Proving the Decidability of Equivalence Problems (KCI), pp. 162–175.
- ICALP-1988-Hartmanis #complexity
- New Developments in Structural Complexity Theory (JH), pp. 271–286.
- ML-1988-NatarajanT #framework #learning
- Two New Frameworks for Learning (BKN, PT), pp. 402–415.
- ALP-1988-Kucherov #algorithm #induction #proving #testing
- A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.
- PPEALS-1988-GoldmanG #experience #named
- Qlisp: Experience and New Directions (RG, RPG), pp. 111–123.
- CADE-1988-FranzenH #approach #unification
- A New Approach to Universal Unification and Its Application to AC-Unification (MF, LJH), pp. 643–657.
- CSL-1988-Eder #calculus #comparison
- A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods (EE), pp. 80–98.
- JICSCP-1988-ChuM88 #named
- SWIFT: A New Symbolic Processor (DAC, FGM), pp. 1415–1427.
- JICSCP-1988-FalaschiLMP88 #declarative #logic #semantics
- A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.
- LICS-1988-MeseguerM #algebra #monad #petri net
- Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
- DAC-1987-ApteK #layout #standard
- Strip Layout: A New Layout Methodology for Standard Circuit Modules (JA, GK), pp. 363–369.
- DAC-1987-KlingB #evolution #named #standard #using
- ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.
- DAC-1987-Rosenberg87a #interactive
- A New Interactive Supply/Demand Router with Rip-Up Capability for Printed Circuit Boards (ER), pp. 721–726.
- DAC-1987-ShahM
- A New Compaction Scheme Based on Compression Ridges (PCS, HNM), pp. 645–648.
- HT-1987-Crane #hypermedia
- From the Old to the New: Integrating Hypertext into Traditional Scholarship (GRC), pp. 51–55.
- HT-1987-RaymondT #hypermedia #taxonomy
- Hypertext and the New Oxford English Dictionary (DRR, FWT), pp. 143–153.
- PODS-1987-AtzeniB
- A New Basis for the Weak Instance Model (PA, MCDB), pp. 79–86.
- SIGMOD-1987-Freeston #grid
- The BANG File: A New Kind of Grid File (MF), pp. 260–269.
- VLDB-1987-GonnetT #approach #modelling
- Mind Your Grammar: a New Approach to Modelling Text (GHG, FWT), pp. 339–346.
- VLDB-1987-LiRW #database #performance #scalability
- A New Compression Method with Fast Searching on Large Databases (JL, DR, HKTW), pp. 311–318.
- VLDB-1987-Lu #database #transitive
- New Strategies for Computing the Transitive Closure of a Database Relation (HL), pp. 267–274.
- STOC-1987-Frederickson #approach #graph
- A New Approach to All Pairs Shortest Paths in Planar Graphs (Extended Abstract) (GNF), pp. 19–28.
- STOC-1987-MillerR #algorithm #graph #parallel
- A New Graph Triconnectivity Algorithm and Its Parallelization (GLM, VR), pp. 335–344.
- DAC-1986-BraunBDMMRS #multi #named
- Chameleon: a new multi-layer channel router (DB, JLB, SD, HKTM, KM, FR, ALSV), pp. 495–502.
- DAC-1986-FrisonG #editing #layout #metaprogramming #named
- MADMACS: a new VLSI layout macro editor (PF, EG), pp. 654–658.
- DAC-1986-GlesnerSS #compilation #named #statistics #verification
- SCAT — a new statistical timing verifier in a silicon compiler system (MG, JS, RBS), pp. 220–226.
- DAC-1986-Kruger #automation #design #generative #self #source code
- Automatic generation of self-test programs — a new feature of the MIMOLA design system (GK), pp. 378–384.
- DAC-1986-Marwedel #synthesis
- A new synthesis for the MIMOLA software system (PM), pp. 271–277.
- DAC-1986-NavedaCD #approach #multi
- A new approach to multi-layer PCB routing with short vias (JFN, KCC, DHCD), pp. 696–701.
- DAC-1986-SechenS #standard
- TimberWolf3.2: a new standard cell placement and global routing package (CS, ALSV), pp. 432–439.
- DAC-1986-SupowitF #verification
- A new method for verifying sequential circuits (KJS, SJF), pp. 200–207.
- DAC-1986-WatanabeS #algorithm #hardware #implementation
- A new routing algorithm and its hardware implementation (TW, YS), pp. 574–580.
- DAC-1986-WongL #algorithm #design
- A new algorithm for floorplan design (DFW, CLL), pp. 101–107.
- VLDB-1986-AbiteboulSGS #towards
- Towards DBMSs for Supporting New Applications (SA, MS, GG, ES), pp. 423–435.
- VLDB-1986-Seki #database #distributed #network #performance
- New Seat Reservation System for Japanese National Railways — Distributed Processing Network and High Efficiency Databases (ES), pp. 502–510.
- STOC-1986-GoldbergT #approach #problem
- A New Approach to the Maximum Flow Problem (AVG, RET), pp. 136–146.
- STOC-1986-LandauV #algorithm #approximate #parallel #performance #string
- Introducing Efficient Parallelism into Approximate String Matching and a New Serial Algorithm (GML, UV), pp. 220–230.
- STOC-1986-LiY #bound #parallel
- New Lower Bounds for Parallel Computation (ML, YY), pp. 177–187.
- ICALP-1986-Aurenhammer #diagrams
- A New Duality Result Concerning Voronoi Diagrams (FA), pp. 21–30.
- ICALP-1986-ShavitF #approach #detection
- A New Approach to Detection of Locally Indicative Stability (NS, NF), pp. 344–358.
- SIGIR-1986-Rijsbergen #framework #information retrieval
- A New Theoretical Framework for Information Retrieval (CJvR), pp. 194–200.
- OOPSLA-1986-Pascoe #named #paradigm
- Encapsulators: A New Software Paradigm in Smalltalk-80 (GAP), pp. 341–346.
- CADE-1986-HsiangR #proving #theorem proving
- A New Method for Establishing Refutational Completeness in Theorem Proving (JH, MR), pp. 141–152.
- CADE-1986-Lim #heuristic
- The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
- CADE-1986-Lins #combinator #execution
- A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
- ICLP-1986-MahlerSS86 #approach #prolog
- A New Approach for Intruducing Prolog to Naive Users (OM, ZS, EYS), pp. 544–551.
- DAC-1985-HennionSC #algorithm #generative
- A new algorithm for third generation circuit simulators: the one-step relaxation method (BH, PS, DC), pp. 137–143.
- DAC-1985-LaarhovenAD #algorithm #logic
- PHIPLA-a new algorithm for logic minimization (PJMvL, EHLA, MD), pp. 739–743.
- SIGIR-1985-Stubbs #taxonomy
- The New English Oxford English Dictionary and its Potential Users: Some Preliminary Comments (JOS), pp. 78–81.
- RTA-1985-RetyKKL #algorithm #logic programming #named #unification
- NARROWER: A New Algorithm for Unification and Its Application to Logic Programming (PR, CK, HK, PL), pp. 141–157.
- PODS-1984-KuperV #approach #database #logic
- A New Approach to Database Logic (GMK, MYV), pp. 86–96.
- VLDB-1984-StonebrakerR #database #interface
- Database Portals: A New Application Program Interface (MS, LAR), pp. 3–13.
- STOC-1984-DolevHSS #fault tolerance #network
- A New Look at Fault Tolerant Network Routing (DD, JYH, BS, HRS), pp. 526–535.
- STOC-1984-Karmarkar #algorithm #linear #polynomial #programming
- A New Polynomial-Time Algorithm for Linear Programming (NK), pp. 302–311.
- POPL-1984-Ossher #graph #named
- Grids: A New Program Structuring Mechanism Based on Layered Graphs (HO), pp. 11–22.
- ICSE-1984-Rogers #pascal #readability
- A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.
- CADE-1984-Kirchner #algorithm #equation #unification
- A New Equational Unification Method: A Generalization of Martelli-Montanari’s Algorithm (CK), pp. 224–247.
- CADE-1984-LankfordBB #algorithm
- A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
- CADE-1984-Paul #principle
- A New Interpretation of the Resolution Principle (EP), pp. 333–355.
- DAC-1983-ChengGKW #development #functional #simulation
- Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
- DAC-1983-GamalS #array #statistics
- A new statistical model for gate array routing (AEG, ZAS), pp. 671–674.
- DAC-1983-LeongL #problem
- A new channel routing problem (HWL, CLL), pp. 584–590.
- DAC-1983-SomenziGMP #testing #verification
- A new integrated system for PLA testing and verification (FS, SG, MM, PP), pp. 57–63.
- SIGMOD-1983-HoneymanS #independence
- A New Characterization of Independence (PH, ES), pp. 92–96.
- STOC-1983-Fich #bound #parallel
- New Bounds for Parallel Prefix Circuits (FEF), pp. 100–109.
- STOC-1983-ODunlaingSY #approach #named
- Retraction: A New Approach to Motion-Planning (Extended Abstract) (CÓ, MS, CKY), pp. 207–220.
- ICALP-1983-Gabarro #complexity
- Initial Index: A New Complexity Function for Languages (JG), pp. 226–236.
- SIGIR-1983-Rijsbergen83a #information retrieval
- Information Retrieval: New Directions, Old Solutions (CJvR), pp. 264–265.
- DAC-1982-ArnoldO #approach #geometry #layout #named
- Lyra: A new approach to geometric layout rule checking (MHA, JKO), pp. 530–536.
- DAC-1982-Hsu #2d #algorithm
- A new two-dimensional routing algorithm (CPH), pp. 46–50.
- DAC-1982-LelarasmeeS #named #scalability
- Relax: A new circuit for large scale MOS integrated circuits (EL, ALSV), pp. 682–687.
- DAC-1982-Marcotte #automation #named
- Robotics: The new automation tool (HRM), pp. 2–8.
- STOC-1982-Wigderson #algorithm #approximate #graph
- A New Approximate Graph Coloring Algorithm (AW), pp. 325–329.
- ICALP-1982-Ben-Ari #algorithm #garbage collection #on the fly #proving
- On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.
- ICALP-1982-GuttagKM #term rewriting #tool support
- Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems (JVG, DK, DRM), pp. 300–312.
- LFP-1982-Hughes #combinator #implementation
- Super Combinators: A New Implementation Method for Applicative Languages (RJMH), pp. 1–10.
- ICSE-1982-ShiratoriGN #communication #design #protocol
- A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems (NS, JG, SN), pp. 403–413.
- STOC-1981-KleitmanLLM #graph
- New Layouts for the Shuffle-Exchange Graph (Extended Abstract) (DJK, FTL, ML, GLM), pp. 278–292.
- ICALP-1981-Reutenauer #regular expression
- A New Characterization of the Regular Languages (CR), pp. 177–183.
- DAC-1980-DarringerJ #logic #synthesis
- A new look at logic synthesis (JAD, WHJJ), pp. 543–549.
- DAC-1980-El-Ziq #generative
- A new test pattern generation system (YMEZ), pp. 62–68.
- DAC-1980-McGrathW #design #layout #verification
- Design integrity and immunity checking: A new look at layout verification and design rule checking (EJM, TW), pp. 263–268.
- SIGMOD-1980-Kim
- A New Way to Compute the Product and Join of Relations (WK), pp. 179–187.
- VLDB-1980-Litwin #linear
- Linear Hashing: A New Tool for File and Table Addressing (WL), pp. 212–223.
- POPL-1980-Kamin #data type #specification
- Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.
- DAC-1979-LallierJ
- A new circuit placement program for FET chips (KWL, RKJ), pp. 109–113.
- DAC-1979-Pimont #algorithm
- New algorithms for grid-less routing of high density printed circuit boards (SP), p. 485.
- VLDB-1979-ParkerD #algorithm #dependence #multi
- Algorithmic Applications for a new Result on Multivalued Dependencies (DSPJ, CD), pp. 67–74.
- SCC-1979-PaiK #fault #parsing #syntax
- Global context recovery: A new strategy for parser recovery from syntax errors (ABP, RBK), pp. 158–167.
- ICSE-1979-Scowen #quality #source code
- A New Technique for Improving the Quality of Computer Programs (RSS), pp. 73–78.
- DAC-1978-DavidV #concept #design #named
- SIGMA-CAD: Some new concepts in design of general purpose CAD systems (BTD, GV), pp. 321–325.
- VLDB-1978-Hsiao
- An Opening Statement for the Session in Impact of New Technologies (DKH), p. 70.
- VLDB-1978-Kluge
- Impact of New Technologies (WEK), p. 71.
- STOC-1978-Katseff #problem
- A New Solution to the Critical Section Problem (HPK), pp. 86–88.
- POPL-1978-GlanvilleG #code generation #compilation
- A New Method for Compiler Code Generation (RSG, SLG), pp. 231–240.
- DAC-1977-Kovijanic #generative #testing #verification
- A new look at test generation and verification (PGK), pp. 58–63.
- VLDB-1977-FieldsN #using
- Using New Clues to Find Data (CF, NN), pp. 156–158.
- STOC-1977-GuibasMPR #linear #representation
- A New Representation for Linear Lists (LJG, EMM, MFP, JRR), pp. 49–60.
- STOC-1977-LeongS #multi #realtime #simulation
- New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.
- POPL-1977-Harrison #code generation #compilation #optimisation
- A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
- DAC-1976-Rau #multi
- A new philosophy for interconnection on multilayer boards (BRR), pp. 225–231.
- DAC-1976-WuS #algorithm #float
- A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.
- VLDB-1976-Kent #concept
- New Criteria for the Conceptual Model (WK), pp. 1–12.
- STOC-1976-Wand #hoare
- A New Incompleteness Result for Hoare’s System (MW), pp. 87–91.
- ICSE-1976-Feldman #case study #programming language
- New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study (MBF), pp. 237–242.
- ICSE-1976-Panzl #approach #testing #verification
- Test Procedures: A New Approach to Software Verification (DJP), pp. 477–485.
- DAC-1975-Fike #design #detection #fault #predict #question
- Predicting fault detectability in combinational circuits — a new design tool? (JLF), pp. 290–295.
- DAC-1975-GilliO #algebra #network #scalability #simulation
- A new algebraic procedure for the simulation of large digital networks (LG, FO), pp. 32–41.
- DAC-1975-Groger #approach #clustering #logic
- A new approach to structural partitioning of computer logic (HJG), pp. 378–383.
- POPL-1975-Lipton #named #process #proving #reduction
- Reduction: A New Method of Proving Properties of Systems of Processes (RJL), pp. 78–86.
- POPL-1975-Symes
- New Control Structures to Aid Gotolessness (DMS), pp. 194–203.
- DAC-1974-ArimaTAO #algorithm #generative #heuristic #testing
- A new heuristic test generation algorithm for sequential circuits (TA, MT, GA, JO), pp. 169–176.
- STOC-1974-Hammer #ll
- A New Grammatical Transformation into LL(k) Form (Extended Abstract) (MH), pp. 266–275.
- STOC-1974-Kung #algorithm #bound #evaluation #parallel
- New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions (HTK), pp. 323–333.
- SHARE-1964-Fielding
- New approaches (FGF).
- SHARE-1964-GordonO
- Printer graphics: New horizons in graphic output on the IBM 1403 printer (MG, AO).
