BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
approach (259)
base (212)
algorithm (169)
method (161)
system (145)

Stem new$ (all stems)

1814 papers:

DACDAC-2015-HenkelKPS #roadmap
New trends in dark silicon (JH, HK, SP, MS), p. 6.
DACDAC-2015-Kahng #game studies
New game, new goal posts: a recent history of timing closure (ABK), p. 6.
DACDAC-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.
DATEDATE-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.
DATEDATE-2015-DupuisBFNR #hardware #testing
New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
DATEDATE-2015-HuQ #approximate #fault
A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
HTHT-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2015-JoglekarGP #data analysis
Smart Drill-Down: A New Data Exploration Operator (MJ, HGM, AGP), pp. 1928–1939.
VLDBVLDB-2015-PottiP #approximate #named #paradigm #query
DAQ: A New Paradigm for Approximate Query Processing (NP, JMP), pp. 898–909.
ITiCSEITiCSE-2015-XhakajL #approach #education
A New Approach To Teaching Red Black Tree (FX, CWL), pp. 278–283.
ESOPESOP-2015-TerauchiU #approach #refinement
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
TACASTACAS-2015-KumarSK #concept #scalability #slicing
Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
LATALATA-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.
LATALATA-2015-Restivo #research
The Shuffle Product: New Research Directions (AR), pp. 70–81.
CHICHI-2015-GrevetG #prototype #scalability #social #using
Piggyback Prototyping: Using Existing, Large-Scale Social Computing Systems to Prototype New Ones (CG, EG), pp. 4047–4056.
CHICHI-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.
CHICHI-2015-PlimmerHZKYJBD #interactive #tool support
New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHICHI-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.
CHICHI-2015-WoltersKMDM #corpus #design #interface
The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.
CSCWCSCW-2015-ChangHT #recommendation #using
Using Groups of Items to Bootstrap New Users in Recommender Systems (SC, FMH, LGT), pp. 1258–1269.
CSCWCSCW-2015-CiampagliaT #lightweight #named #wiki
MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.
CSCWCSCW-2015-Diakopoulos #editing
The Editor’s Eye: Curation and Comment Relevance on the New York Times (NAD), pp. 1153–1157.
CSCWCSCW-2015-Pierson
Outnumbered but Well-Spoken: Female Commenters in the New York Times (EP), pp. 1201–1213.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-DD-2015-Lera #approach #design #interactive #matter
Emotion-Centered-Design (ECD) New Approach for Designing Interactions that Matter (EdL), pp. 406–416.
HCIDUXU-DD-2015-PazPP #case study #heuristic #usability
Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.
HCIDUXU-IXD-2015-GomesFL
Antique School Furniture, New Technological Features Needs (AG, EF, LL), pp. 185–196.
HCIDUXU-IXD-2015-Pauzie
Head Up Display in Automotive: A New Reality for the Driver (AP), pp. 505–516.
HCIDUXU-IXD-2015-YangWP #empirical #research
New Research Methods for Media and Cognition Experiment Course (YY, SW, LP), pp. 327–334.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-IT-2015-GuXCZ #using
To Write not Select, a New Text Entry Method Using Joystick (ZG, XX, CC, YZ), pp. 35–43.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-IKD-2015-AinoyaKT
Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.
HCIHIMI-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.
HCIHIMI-IKD-2015-PiconeP #architecture #synthesis
A New Information Architecture: A Synthesis of Structure, Flow, and Dialectic (RARP, BP), pp. 320–331.
HCILCT-2015-PhamNT #education #music #recognition
Virtual Music Teacher for New Music Learners with Optical Music Recognition (VKP, HDN, MTT), pp. 415–426.
HCILCT-2015-SmithS #evolution #game studies #video
Let’s Play, Video Streams, and the Evolution of New Digital Literacy (PAS, AS), pp. 520–527.
HCILCT-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.
ECIRECIR-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.
ICMLICML-2015-GeZ #matrix
Intersecting Faces: Non-negative Matrix Factorization With New Guarantees (RG, JZ), pp. 2295–2303.
ICMLICML-2015-GuL #algorithm #fault
A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
KDDKDD-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.
SEKESEKE-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.
SIGIRSIGIR-2015-ParkKZG #retrieval
Retrieval of Relevant Opinion Sentences for New Products (DHP, HDK, CZ, LG), pp. 393–402.
SACSAC-2015-BekkoucheCR #approach #constraints #fault #locality #named
LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
SACSAC-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.
SACSAC-2015-NascimentoBJ #approach #geometry #recognition
A new approach to biometric recognition based on hand geometry (MVPdN, LVB, NLCJ), pp. 59–65.
SACSAC-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.
ICSEICSE-v2-2015-Devanbu
New Initiative: The Naturalness of Software (PTD), pp. 543–546.
HPDCHPDC-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.
PPoPPPPoPP-2015-ChenCM #named #parallel
Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
CAVCAV-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.
ICSTICST-2015-CastillosWW #approach
Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.
ICSTSAT-2015-IvriiRS #incremental #mining #satisfiability
Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
ICSTSAT-2015-Zielke0 #approach
A New Approach to Partial MUS Enumeration (CZ, MK), pp. 387–404.
CBSECBSE-2014-DidierM #approach #component #detection
A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
CASECASE-2014-HungLHTC #development
Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASECASE-2014-LvCDWC
A new designed quadruped robot with elastic joints (ML, WC, XD, JW, XC), pp. 1002–1007.
CASECASE-2014-XuJGX #energy #scalability
A new method to solve large-scale building energy management for energy saving (ZX, QSJ, XG, XX), pp. 940–945.
DACDAC-2014-EkenZWJLC #self
A New Field-assisted Access Scheme of STT-RAM with Self-reference Capability (EE, YZ, WW, RVJ, HL, YC), p. 6.
DACDAC-2014-HoC #optimisation #performance #pipes and filters
A New Asynchronous Pipeline Template for Power and Performance Optimization (KHH, YWC), p. 6.
DACDAC-2014-SwaminathanLLKSN #architecture #paradigm
Steep Slope Devices: Enabling New Architectural Paradigms (KS, HL, XL, MSK, JS, VN), p. 6.
DACDAC-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.
DATEDATE-2014-AyariABCKR #predict
New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.
DATEDATE-2014-ShangZXY #design
Asynchronous design for new on-chip wide dynamic range power electronics (DS, XZ, FX, AY), pp. 1–6.
DATEDATE-2014-Taylor #design
A landscape of the new dark silicon design regime (MBT), p. 1.
DATEDATE-2014-TenaceCMP #logic
Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.
DATEDATE-2014-XuB #hybrid #question
Hybrid side-channel/machine-learning attacks on PUFs: A new threat? (XX, WB), pp. 1–6.
DATEDATE-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.
DocEngDocEng-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.
DocEngDocEng-2014-Lynch #evolution
The evolving scholarly record: new uses and new forms (CAL), pp. 1–2.
DRRDRR-2014-BrunoL #dataset #documentation #open data #recognition #research
The Lehigh Steel Collection: a new open dataset for document recognition research (BB, DPL), p. ?–9.
DRRDRR-2014-CartonLC #interactive #learning #named
LearnPos: a new tool for interactive learning positioning (CC, AL, BC), p. ?–12.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2014-AlucOD #database #design #matter #rdf #why
Workload Matters: Why RDF Databases Need a New Design (GA, MTÖ, KD), pp. 837–840.
VLDBVLDB-2014-CetintemelDKMMMPSSTTWZ #named #streaming
S-Store: A Streaming NewSQL System for Big Velocity Applications (, JD, TK, SM, DM, JM, AP, MS, ES, NT, KT, HW, SBZ), pp. 1633–1636.
VLDBVLDB-2014-ChaPSKRL
Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.
ITiCSEITiCSE-2014-Rogers #learning #question
New technology, new learning? (YR), p. 1.
SANERCSMR-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.
MSRMSR-2014-KleinCK #debugging #detection
New features for duplicate bug detection (NK, CSC, NAK), pp. 324–327.
STOCSTOC-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.
STOCSTOC-2014-Williams #algorithm #bound #linear
New algorithms and lower bounds for circuits with linear threshold gates (RW), pp. 194–202.
FLOPSFLOPS-2014-NaR #formal method #subclass #type system
A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
DLTDLT-2014-ReinhardtY
The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALPICALP-v1-2014-GavinskyL #reduction
En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.
CHICHI-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.
HCIDHM-2014-OtaEH
Future Applied Conventional Technology Engineering New Academic Fields from Manufacturing Country JAPAN (TO, AE, HH), pp. 185–196.
HCIDUXU-DI-2014-Barros #gesture #interactive #interface #sketching
Extending ActionSketch for New Interaction Styles: Gestural Interfaces and Interactive Environments (GB), pp. 509–520.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-DP-2014-Schall14a
New Methods for Measuring Emotional Engagement (AS), pp. 347–357.
HCIDUXU-DP-2014-StamatoQM #challenge
Aging and New Technologies: Challenges and Perspectives (CS, MQ, CRM), pp. 173–184.
HCIDUXU-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.
HCIDUXU-TMT-2014-MedeirosCCR #challenge #design #interface
Challenges in Designing New Interfaces for Musical Expression (RM, FC, GC, GR), pp. 643–652.
HCIDUXU-TMT-2014-So
Affording Creativity and New Media Possibilities (ZS), pp. 675–685.
HCIHCI-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.
HCIHCI-AS-2014-HidakaO
Proposal for a New Entertainment System That Connects Real Life and Net Excitement (KH, KO), pp. 604–613.
HCIHCI-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.
HCIHIMI-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.
HCILCT-TRE-2014-FardounACL #communication #community
A New Way to Community Services — Communication with Administration (HMF, DMA, APC, SRL), pp. 397–407.
HCILCT-TRE-2014-LorenzKL #education #implementation
The Role of Educational Technologist in Implementing New Technologies at School (BL, KK, ML), pp. 288–296.
HCISCSM-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.
HCISCSM-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.
ICEISICEIS-v1-2014-AntunesS #data mining #mining #roadmap
New Trends in Knowledge Driven Data Mining (CA, AS), pp. 346–351.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-MahmoudBAG #approach #learning
A New Approach Based on Learning Services to Generate Appropriate Learning Paths (CBM, FB, MHA, FG), pp. 643–646.
ICEISICEIS-v3-2014-AndradeFBP
New Approaches for Geographic Location Propagation in Digital Photograph Collections (DOSdA, HFdF, CdSB, ACdP), pp. 92–99.
CIKMCIKM-2014-SongG #difference #named #privacy #query
Aroma: A New Data Protection Method with Differential Privacy and Accurate Query Answering (CS, TG), pp. 1569–1578.
ECIRECIR-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.
ICMLICML-c2-2014-SuttonMPH #equivalence #monte carlo
A new Q(λ) with interim forward view and Monte Carlo equivalence (RSS, ARM, DP, HvH), pp. 568–576.
ICPRICPR-2014-AwadCR #hybrid
A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
ICPRICPR-2014-Garcia-OrdasAGG #invariant #named
aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.
ICPRICPR-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.
ICPRICPR-2014-HoreY #image
A New Filter for Reducing HALO Artifacts in Tone Mapped Images (AH, OYP), pp. 889–894.
ICPRICPR-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.
ICPRICPR-2014-Lee #geometry #re-engineering
New Geometric Interpretation and Analytic Solution for Quadrilateral Reconstruction (JHL), pp. 4015–4020.
ICPRICPR-2014-LiYSC #image
A New Divergence Measure Based on Arimoto Entropy for Medical Image Registration (BL, GY, HS, JLC), pp. 3197–3202.
ICPRICPR-2014-MasselliZ #approach #geometry #performance #problem
A New Geometric Approach for Faster Solving the Perspective-Three-Point Problem (AM, AZ), pp. 2119–2124.
ICPRICPR-2014-MiaoSH #linear #multi #programming #robust
Fusion of Multibiometrics Based on a New Robust Linear Programming (DM, ZS, YH), pp. 291–296.
ICPRICPR-2014-SilvaTT #approach #graph #named
BoG: A New Approach for Graph Matching (FBS, ST, RdST), pp. 82–87.
ICPRICPR-2014-YamashitaW #classification #using
k-NN Classification of Handwritten Characters Using a New Distortion-Tolerant Matching Measure (YY, TW), pp. 262–267.
KDDKDD-2014-TangTL #future of #recommendation #social #social media
Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.
KDDKDD-2014-ZoeterDCA #algorithm #deployment
New algorithms for parking demand management and a city-scale deployment (OZ, CRD, SC, JMA), pp. 1819–1828.
KDIRKDIR-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.
KDIRKDIR-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.
KDIRKDIR-2014-DomeniconiMMP #ontology #random
Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (GD, MM, GM, PP), pp. 107–116.
MLDMMLDM-2014-AndreaSVU #detection #performance
A New Measure of Outlier Detection Performance (KA, GS, NV, AU), pp. 190–197.
MLDMMLDM-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.
RecSysRecSys-2014-KluverK #behaviour #recommendation
Evaluating recommender behavior for new users (DK, JAK), pp. 121–128.
SIGIRSIGIR-2014-LinSKC #modelling #recommendation
New and improved: modeling versions to improve app recommendation (JL, KS, MYK, TSC), pp. 647–656.
SIGIRSIGIR-2014-MuhleisenSLV #information retrieval #prototype
Old dogs are great at new tricks: column stores for ir prototyping (HM, TS, JL, APdV), pp. 863–866.
SKYSKY-2014-Favaro #reuse
Only the New? Knowledge Reuse in Innovation (JMF), pp. 1–3.
RERE-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.
SACSAC-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.
SACSAC-2014-ChoiKKLK #network
A new device discovery scheme in lighting control networks (SIC, SJK, IK, SKL, TGK), pp. 1743–1744.
SACSAC-2014-LoCCSL #algorithm #locality
ICAP, a new flash wear-leveling algorithm inspired by locality (SWL, BHC, YWC, TCS, YCL), pp. 1478–1483.
ICSEICSE-2014-XiaoCK #architecture #design
Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
ASPLOSASPLOS-2014-Gehlhaar #architecture #future of #scalability
Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
CGOCGO-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.
LICSLICS-CSL-2014-Ehrhard #correctness #proving
A new correctness criterion for MLL proof nets (TE), p. 10.
LICSLICS-CSL-2014-FredriksonJ #approach #privacy #satisfiability
Satisfiability modulo counting: a new approach for analyzing privacy properties (MF, SJ), p. 10.
LICSLICS-CSL-2014-GottlobM #bound #logic #problem
Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.
ICSTSAT-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.
CASECASE-2013-Xu #robust
New robust position and force regulation for a compliant microgripper (QX), pp. 801–806.
DACDAC-2013-Fang #simulation
A new time-stepping method for circuit simulation (GPF), p. 10.
DACDAC-2013-YangCTH #performance
New ERA: new efficient reliability-aware wear leveling for endurance enhancement of flash storage devices (MCY, YHC, CWT, PCH), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-KoeberlKS #generative
Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.
ICDARICDAR-2013-DoTT #approach #recognition #representation
New Approach for Symbol Recognition Combining Shape Context of Interest Points with Sparse Representation (THD, ST, ORT), pp. 265–269.
ICDARICDAR-2013-Furukawa #composition #using
A New Method for Discriminating Printers Based on Contours Qualities of Printed Characters Using Wavelet Decomposition (TF), pp. 1115–1119.
ICDARICDAR-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.
ICDARICDAR-2013-ZaraiLDW
Integrating Copies Obtained from Old and New Preservation Efforts (YZ, TL, ND, LW), pp. 47–51.
SIGMODSIGMOD-2013-SarmaD #research
SIGMOD 2013 new researcher symposium (ADS, XLD), pp. 1293–1294.
SIGMODSIGMOD-2013-YuHLCZ #database #estimation #named #query
CS2: a new database synopsis for query estimation (FY, WCH, CL, DC, MZ), pp. 469–480.
VLDBVLDB-2013-BoghSJ #approach #named #retrieval
GroupFinder: A New Approach to Top-K Point-of-Interest Group Retrieval (KSB, AS, CSJ), pp. 1226–1229.
VLDBVLDB-2013-DeBrabantPTSZ #approach #architecture #database #named
Anti-Caching: A New Approach to Database Management System Architecture (JD, AP, ST, MS, SBZ), pp. 1942–1953.
VLDBVLDB-2013-RamazzinaBS #framework
A New Service for Customer Care Based on the TrentoRise BigData Platform (SR, CLB, DS), pp. 1162–1163.
VLDBVLDB-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.
ITiCSEITiCSE-2013-BarguryPL #education
A nationwide exam as a tool for improving a new curriculum (IZB, BP, DL), pp. 267–272.
ITiCSEITiCSE-2013-RodgerGML
Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
ITiCSEITiCSE-2013-SabitzerS #concept #education #programming
Brain-based programming: a new concept for computer science education (BS, SS), p. 345.
CSMRCSMR-2013-ArnaoudovaPAG #anti #product line
A New Family of Software Anti-patterns: Linguistic Anti-patterns (VA, MDP, GA, YGG), pp. 187–196.
STOCSTOC-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.
STOCSTOC-2013-BhowmickDL #bound #product line
New bounds for matching vector families (AB, ZD, SL), pp. 823–832.
STOCSTOC-2013-LeeRS #approach #using
A new approach to computing maximum flows using electrical flows (YTL, SR, NS), pp. 755–764.
STOCSTOC-2013-Li #exponential #independence
New independent source extractors with exponential improvement (XL), pp. 783–792.
DLTDLT-2013-PrusaMO #automaton
New Results on Deterministic Sgraffito Automata (DP, FM, FO), pp. 409–419.
ICALPICALP-v1-2013-ChanLNS
New Doubling Spanners: Better and Simpler (THHC, ML, LN, SS), pp. 315–327.
ICALPICALP-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.
ICALPICALP-v2-2013-AlbersP #algorithm #online #scheduling #web
New Online Algorithms for Story Scheduling in Web Advertising (SA, AP), pp. 446–458.
IFLIFL-2013-HackettHJ #approach #optimisation #recursion #source code
The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.
CHICHI-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.
CHICHI-2013-FasteRES #design #distributed #human-computer
Brainstorm, Chainstorm, Cheatstorm, Tweetstorm: new ideation strategies for distributed HCI design (HF, NR, RE, ES), pp. 1343–1352.
CHICHI-2013-GibsonH #how #question #women
Digital motherhood: how does technology help new mothers? (LG, VLH), pp. 313–322.
CSCWCSCW-2013-BalesL #student
Supporting a sense of connectedness: meaningful things in the lives of new university students (ESB, SEL), pp. 1137–1146.
CSCWCSCW-2013-Monroy-HernandezBKCC
The new war correspondents: he rise of civic media curation in urban warfare (AMH, DB, EK, MDC, SC), pp. 1443–1452.
CSCWCSCW-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.
HCIDHM-HB-2013-BazleyB #information management #process
A Knowledge Transfer Process: Establishing Training in New Technology for an Ageing Workforce (CMB, DB), pp. 3–9.
HCIDHM-SET-2013-LuL #design #modelling #safety
Constructing Ergonomic Safety Modelling for Evaluating New Designs of Child Car Seats (CYL, HHL), pp. 338–347.
HCIDUXU-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.
HCIDUXU-NTE-2013-Pohlmeyer #challenge #design
Positive Design: New Challenges, Opportunities, and Responsibilities for Design (AEP), pp. 540–547.
HCIDUXU-PMT-2013-LuhCK #concept #design #development #process
A Design Process for New Concept Development (DBL, F(HC, V(HK), pp. 545–553.
HCIDUXU-PMT-2013-VinagreN #design #named
Usagame — A New Methodology to Support User Centered Design of Touchscreen Applications (PV, ILN), pp. 620–629.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-WM-2013-Gould #network
Dot, Line, Network: Helping Individuals Make Sense of “New Data” (EWG), pp. 496–505.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-AS-2013-CharoenpitO #biology #using
A New E-learning System Focusing on Emotional Aspect Using Biological Signals (SC, MO), pp. 343–350.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-HSM-2013-SakuradaH #interface #physics #using
A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
HCIHIMI-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.
HCIOCSC-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.
ICEISICEIS-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.
ICEISICEIS-v2-2013-FakhfakhTM #documentation #metric #multi #retrieval
A New Metric for Multimedia Retrieval in Structured Documents (SF, MT, WM), pp. 240–247.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2013-LefortierOSS #crawling
Timely crawling of high-quality ephemeral new content (DL, LO, ES, PS), pp. 745–750.
CIKMCIKM-2013-RousseauV #ad hoc #approach #information retrieval
Graph-of-word and TW-IDF: new approach to ad hoc IR (FR, MV), pp. 59–68.
ICMLICML-c1-2013-Shin #design #future of #kernel
A New Frontier of Kernel Design for Structured Data (KS), pp. 401–409.
KDDKDD-2013-CaoTCJ #named #online #paradigm #social
WiseMarket: a new paradigm for managing wisdom of online social users (CCC, YT, LC, HVJ), pp. 455–463.
KDDKDD-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.
KDDKDD-2013-NiemannW #approach #collaboration #recommendation
A new collaborative filtering approach for increasing the aggregate diversity of recommender systems (KN, MW), pp. 955–963.
RecSysRecSys-2013-Adamopoulos #predict #rating #recommendation
Beyond rating prediction accuracy: on new perspectives in recommender systems (PA), pp. 459–462.
RecSysRecSys-2013-GuoZTY #e-commerce #recommendation
Prior ratings: a new information source for recommender systems in e-commerce (GG, JZ, DT, NYS), pp. 383–386.
RecSysRecSys-2013-XuBATMK #recommendation
Catch-up TV recommendations: show old favourites and find new ones (MX, SB, SA, ST, AM, IK), pp. 285–294.
SEKESEKE-2013-SakamotoWF #design pattern #object-oriented #programming language
Extended Design Patterns in New Object-Oriented Programming Languages (S) (KS, HW, YF), pp. 600–605.
SIGIRSIGIR-2013-BouadjenekHB #named #personalisation #ranking #social #web
Sopra: a new social personalized ranking function for improving web search (MRB, HH, MB), pp. 861–864.
SIGIRSIGIR-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.
LOPSTRLOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid
A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.
POPLPOPL-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.
RERE-2013-MahauxM #paradigm #requirements #research
A new paradigm for applied requirements engineering research (MM, AM), pp. 353–356.
SACSAC-2013-KangCLLKN #clustering
Onion and pizza: new disk partitioning schemes for virtualization systems (DK, JC, NL, DL, SK, SHN), pp. 1616–1621.
SACSAC-2013-SilvaC #exception #interface #java
New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
CADECADE-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.
CSLCSL-2013-Statman #normalisation
A New Type Assignment for Strongly Normalizable Terms (RS), pp. 634–652.
ICSTICST-2013-ShuSHP #analysis #dependence #framework #named
JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
CASECASE-2012-DongNL #industrial #modelling
A new ELM based on interval-value for modeling in industry systems (MD, KN, ML), pp. 869–873.
CASECASE-2012-HsiehYCLTC
A new swappable fluidic module for applications of capillary convective polymerase chain reaction (YFH, ASY, CWC, SKL, LYT, PHC), pp. 900–903.
CASECASE-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.
CASECASE-2012-RyuYKKKK #design
Design of a new miniature haptic button based on magneto-rheological fluids (SR, THY, SYK, JHK, KUK, DSK), pp. 121–124.
CASECASE-2012-VoisembertRM #evaluation
Numerical evaluation of a new robotic manipulator based on inflatable joints (SV, AR, NM), pp. 544–549.
CASECASE-2012-YiLTW #framework #scheduling
A new operational framework to job shop scheduling for reducing carbon emissions (QY, CL, YT, QW), pp. 58–63.
DACDAC-2012-RoaCJ #logic
Material implication in CMOS: a new kind of logic (ER, WHC, BJ), pp. 1258–1259.
DACDAC-2012-SasanianWM #quantum #using
Realizing reversible circuits using a new class of quantum gates (ZS, RW, DMM), pp. 36–41.
DACDAC-2012-SunGR #design #nondeterminism #robust
A new uncertainty budgeting based method for robust analog/mixed-signal design (JS, PG, JMWR), pp. 529–535.
DATEDATE-2012-Chian #industrial #modelling
New foundry models — accelerations in transformations of the semiconductor industry (MC), p. 2.
DATEDATE-2012-FritzBAH #approach #evaluation #monitoring #performance
Evaluation of a new RFID system performance monitoring approach (GF, VB, OEKA, DH), pp. 1439–1442.
DATEDATE-2012-LeupersMPHSKV
Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
DATEDATE-2012-MarinissenVGHRMB #detection #process
EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
DATEDATE-2012-QuintonEBY #analysis #challenge #probability #roadmap
Challenges and new trends in probabilistic timing analysis (SQ, RE, DB, PMY), pp. 810–815.
DATEDATE-2012-SabenaRS #algorithm #testing
A new SBST algorithm for testing the register file of VLIW processors (DS, MSR, LS), pp. 412–417.
DATEDATE-2012-SekaninaS #image #logic #multi #towards
Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.
DATEDATE-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.
SIGMODSIGMOD-2012-Hanrahan #database
Analytic database technologies for a new kind of user: the data enthusiast (PH), pp. 577–578.
CSEETCSEET-2012-MaoJSZ #education
A New Model on the School-Enterprise Cooperation Curriculum Construction (HM, NJ, WS, YZ), pp. 115–119.
ITiCSEITiCSE-2012-Bargury #education
A new curriculum for junior-high in computer science (IZB), pp. 204–208.
ITiCSEITiCSE-2012-HershkovichH #education #how #tool support
How innovative technology tools can be used to create new methodology for teaching knowledge (EH, BH), p. 387.
ITiCSEITiCSE-2012-StephensonCOG #standard
The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.
ESOPESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
FASEFASE-2012-MahouachiKG #classification #design #detection #fault
A New Design Defects Classification: Marrying Detection and Correction (RM, MK, KG), pp. 455–470.
CSMRCSMR-2012-Villavicencio #maintenance #refactoring
A New Software Maintenance Scenario Based on Refactoring Techniques (GV), pp. 341–346.
SCAMSCAM-2012-BusingeSB #eclipse #plugin #predict
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.
PLDIPLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
SASSAS-2012-IoualalenM #abstract domain #representation
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
STOCSTOC-2012-ODonnellW #game studies #np-hard
A new point of NP-hardness for unique games (RO, JW), pp. 289–306.
FLOPSFLOPS-2012-Morihata #algorithm #parallel #problem
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.
ICALPICALP-v1-2012-CyganKPPW #clique #graph
Clique Cover and Graph Separation: New Incompressibility Results (MC, SK, MP, MP, MW), pp. 254–265.
GRAPHITEGRAPHITE-2012-EdelkampKT #clustering #named
Lex-Partitioning: A New Option for BDD Search (SE, PK, ÁT), pp. 66–82.
CHICHI-2012-BaillyMRWK #gesture #interactive #named #smarttech
ShoeSense: a new perspective on gestural interaction and wearable applications (GB, JM, MR, DW, SGK), pp. 1239–1248.
CHICHI-2012-CataldoE #communication #development
The impact of communication structure on new product development outcomes (MC, KE), pp. 3081–3090.
CHICHI-2012-KumarPL #interactive #speech #type system
Voice typing: a new speech interaction model for dictation on touchscreen devices (AK, TP, BL), pp. 2277–2286.
CHICHI-2012-ParkC #named #visualisation
V-model: a new innovative model to chronologically visualize narrative clinical texts (HP, JC), pp. 453–462.
CHICHI-2012-WangDLG #online
Digitality and materiality of new media: online TV watching in china (QW, XD, TL, NG), pp. 347–356.
CSCWCSCW-2012-AntinCN #behaviour #editing
Technology-mediated contributions: editing behaviors among new wikipedians (JA, CC, ON), pp. 373–382.
CSCWCSCW-2012-Gilbert12a #predict
Predicting tie strength in a new medium (EG), pp. 1047–1056.
CSCWCSCW-2012-MassimiDD
Finding a new normal: the role of technology in life disruptions (MM, JPD, CALD), pp. 719–728.
CSCWCSCW-2012-Schroeter #interactive
Engaging new digital locals with interactive urban screens to collaboratively improve the city (RS), pp. 227–236.
HILTHILT-2012-Kirtchev #compilation #implementation #performance #robust
A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
ICEISICEIS-J-2012-BanosBM #challenge #paradigm
Blog Preservation: Current Challenges and a New Paradigm (VB, NB, YM), pp. 29–51.
ICEISICEIS-J-2012-HayashiMB12a #education
Introducing New Technology in Educational Contexts: Schools as Organizations (ECSH, MCM, MCCB), pp. 340–357.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2012-KolesnikovLT #predict
Predicting CTR of new ads via click prediction (AK, YL, VT), pp. 2547–2550.
CIKMCIKM-2012-NiuLGC #probability #problem #ranking
A new probabilistic model for top-k ranking problem (SN, YL, JG, XC), pp. 2519–2522.
CIKMCIKM-2012-SuhGCK #clustering #multi
A new tool for multi-level partitioning in teradata (YKS, AG, AC, PK), pp. 2214–2218.
ECIRECIR-2012-EskevichMJ #evaluation #metric #retrieval #speech
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval (ME, WM, GJFJ), pp. 170–181.
ECIRECIR-2012-YanZ #approach #community #recommendation
A New Approach to Answerer Recommendation in Community Question Answering Services (ZY, JZ), pp. 121–132.
ICMLICML-2012-BalleQC #learning #modelling #optimisation
Local Loss Optimization in Operator Models: A New Insight into Spectral Learning (BB, AQ, XC), p. 236.
ICMLICML-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.
ICMLICML-2012-HennigK
Quasi-Newton Methods: A New Direction (PH, MK), p. 134.
ICMLICML-2012-KoepkeB #performance #predict
Fast Prediction of New Feature Utility (HAK, MB), p. 130.
ICMLICML-2012-KulisJ #algorithm
Revisiting k-means: New Algorithms via Bayesian Nonparametrics (BK, MIJ), p. 148.
ICMLICML-2012-NeufeldYZKS #reduction
Regularizers versus Losses for Nonlinear Dimensionality Reduction: A Factored View with New Convex Relaxations (JN, YY, XZ, RK, DS), p. 191.
ICPRICPR-2012-ChikhaouiWP #pervasive #process #recognition #statistics
A new statistical model for activity discovery and recognition in pervasive environments (BC, SW, HP), pp. 3435–3438.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2012-HouHZQ #named #paradigm #retrieval
Bag-of-feature-graphs: A new paradigm for non-rigid shape retrieval (TH, XH, MZ, HQ), pp. 1513–1516.
ICPRICPR-2012-KisilevFWTN #image
DFlow and DField: New features for capturing object and image relationships (PK, DF, EW, AT, YN), pp. 3590–3593.
ICPRICPR-2012-LiF #approach #named #process #recognition
ARMA-HMM: A new approach for early recognition of human activity (KL, YF), pp. 1779–1782.
ICPRICPR-2012-LiuSZ #feature model #graph
Sparsity Score: A new filter feature selection method based on graph (ML, DS, DZ), pp. 959–962.
ICPRICPR-2012-Lotte #classification
A new feature and associated optimal spatial filter for EEG signal classification: Waveform Length (FL), pp. 1302–1305.
ICPRICPR-2012-PengWK #segmentation
A new convex variational model for liver segmentation (JP, JW, DK), pp. 3754–3757.
ICPRICPR-2012-ShivakumaraHZTP #video
A new Iterative-Midpoint-Method for video character gap filling (PS, DBH, DZ, CLT, UP), pp. 673–676.
ICPRICPR-2012-SlimaneZKAHI #recognition
New features for complex Arabic fonts in cascading recognition system (FS, OZ, SK, AMA, JH, RI), pp. 738–741.
ICPRICPR-2012-WangGL #detection #image
A new depth descriptor for pedestrian detection in RGB-D images (NW, XG, JL), pp. 3688–3691.
ICPRICPR-2012-ZhaoWZW #3d #metric #re-engineering
A new metric for measuring image-based 3D reconstruction (XZ, RW, ZZ, WW), pp. 1030–1033.
KDDKDD-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.
KDDKDD-2012-Ma #information management #semantics
Semantic search and a new moore’s law effect in knowledge engineering (WYM), p. 586.
KDDKDD-2012-Zhang #challenge #information management
A new challenge of information processing under the 21st century (BZ), p. 224.
KDIRKDIR-2012-KharbatBO #algorithm #case study #dataset
A New Compaction Algorithm for LCS Rules — Breast Cancer Dataset Case Study (FK, LB, MO), pp. 382–385.
KDIRKDIR-2012-Michahelles #future of #information management #internet #towards
Internet of Things — Towards New Frontiers of Knowledge Management (FM).
KDIRKDIR-2012-NguyenC #automation #ontology #similarity
A New Structure-based Similarity Measure for Automatic Ontology Matching (TTAN, SC), pp. 443–449.
KDIRKDIR-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.
KDIRKDIR-2012-UddinAH #analysis #network #social
New Directions in the Analysis of Social Network Dynamics (MSU, SRA, LH), pp. 269–274.
KDIRKDIR-2012-ZanonACG #algorithm #query
A New Query Suggestion Algorithm for Taxonomy-based Search Engines (RZ, SA, MC, IG), pp. 151–156.
KEODKEOD-2012-KotowskiS #approach #library #ontology
Ontology Library — A New Approach for Storing, Searching and Discovering Ontologies (DK, DAS), pp. 271–277.
KEODKEOD-2012-NairM #correlation #thread
Correlating and Cross-linking Knowledge Threads in Informledge System for Creating New Knowledge (TRGN, MM), pp. 251–256.
KEODKEOD-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.
KEODKEOD-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.
KMISKMIS-2012-WangK #development #framework #on the
On the Development of a Theoretical Framework for New Product Development (LW, AK), pp. 49–59.
MLDMMLDM-2012-BouhamedMLR #heuristic #learning #network
A New Learning Structure Heuristic of Bayesian Networks from Data (HB, AM, TL, AR), pp. 183–197.
MLDMMLDM-2012-HoaD #learning
A New Learning Strategy of General BAMs (NTH, TDB), pp. 213–221.
MLDMMLDM-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2012-Kantor #research
A new look at old tricks: the fertile roots of current research (PBK), p. 1183.
SIGIRSIGIR-2012-MaCSSLW #assessment #query
New assessment criteria for query suggestion (ZM, YC, RS, TS, JL, JRW), pp. 1109–1110.
ECOOPECOOP-2012-BonoKM #composition #named
Magda: A New Language for Modularity (VB, JK, MM), pp. 560–588.
SACSAC-2012-HuangHL #algorithm #framework
Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
SACSAC-2012-LeungS #constraints #mining
A new class of constraints for constrained frequent pattern mining (CKSL, LS), pp. 199–204.
ICSEICSE-2012-Corrigan #information management
Augmented intelligence — The new AI — Unleashing human capabilities in knowledge work (JMC), pp. 1285–1288.
ICSEICSE-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.
CCCC-2012-HouVQJFV
A New Method for Program Inversion (CH, GV, DJQ, DJ, RF, RWV), pp. 81–100.
ISMMISMM-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.
OSDIOSDI-2012-HanMCR #interface #named #network #programming #scalability
MegaPipe: A New Programming Interface for Scalable Network I/O (SH, SM, BGC, SR), pp. 135–148.
ICSTICST-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.
IJCARIJCAR-2012-MarshallN #algorithm #unification
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
CASECASE-2011-DAngeloLL
A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.
CASECASE-2011-SekerZ
A new sliding mode controller for the DC to DC flyback converter (MS, EZ), pp. 720–724.
DACDAC-2011-ChangS #approach
Plugging versus logging: a new approach to write buffer management for solid-state disks (LPC, YCS), pp. 23–28.
DACDAC-2011-Hu #how #why
New sub-20nm transistors: why and how (CH), pp. 460–463.
DACDAC-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.
DATEDATE-2011-ChenLWH #3d #architecture #network
A new architecture for power network in 3D IC (HTC, HLL, ZCW, TH), pp. 401–406.
DATEDATE-2011-KimCY #distributed #predict #simulation
A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
DATEDATE-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.
DATEDATE-2011-ShinG #fault
A new circuit simplification method for error tolerant applications (DS, SKG), pp. 1566–1571.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-ThapliyalR #design
A new reversible design of BCD adder (HT, NR), pp. 1180–1183.
DATEDATE-2011-XueJZZ #evaluation #performance
Floorplanning exploration and performance evaluation of a new Network-on-Chip (LX, WJ, QZ, YZ), pp. 625–630.
DocEngDocEng-2011-AlmeidaHY #case study
Contributions to the study of SMS spam filtering: new collection and results (TAA, JMGH, AY), pp. 259–262.
DRRDRR-2011-AwalFMV #database #online
First experiments on a new online handwritten flowchart database (AMA, GF, HM, CVG), pp. 1–10.
DRRDRR-2011-Rodriguez-PineiroAPM #documentation #image
A new method for perspective correction of document images (JRP, PCA, FPG, AMG), pp. 1–10.
HTHT-2011-Pisarski #hypermedia #towards
New plots for hypertext?: towards poetics of a hypertext node (MP), pp. 313–318.
HTHT-2011-SeroussiBZ #modelling #personalisation #predict #rating #using
Personalised rating prediction for new users using latent factor models (YS, FB, IZ), pp. 47–56.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2011-MessaoudAAM #approach
New Binarization Approach Based on Text Block Extraction (IBM, HA, HEA, VM), pp. 1205–1209.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2011-SadriAJFH #recognition
A New System for Recognition of Handwritten Persian Bank Checks (JS, YA, MJJ, AF, MH), pp. 925–930.
ICDARICDAR-2011-ShivakumaraBSTP #recognition #segmentation #video
A New Gradient Based Character Segmentation Method for Video Text Recognition (PS, SB, BS, CLT, UP), pp. 126–130.
PODSPODS-2011-ShengT11b #2d #memory management #orthogonal
New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
SIGMODSIGMOD-2011-HanLMHY #approach #sequence
A new approach for processing ranked subsequence matching based on ranked union (WSH, JL, YSM, SwH, HY), pp. 457–468.
VLDBVLDB-2011-ChaudhuriN #future of
New Frontiers in Business Intelligence (SC, VRN), pp. 1502–1503.
VLDBVLDB-2011-Cudre-MaurouxE #data transformation #graph
Graph Data Management Systems for New Application Domains (PCM, SE), pp. 1510–1511.
CSEETCSEET-2011-KnudsonR #agile #industrial
Updating CS capstone projects to incorporate new agile methodologies used in industry (DK, AR), pp. 444–448.
CSEETCSEET-2011-RizviHMLJ
A new CS0 course for at-risk majors (MER, TH, DM, HL, MJ), pp. 314–323.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-Moy #education #performance #student #tool support
Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
ESOPESOP-2011-JimM #parsing
A New Method for Dependent Parsing (TJ, YM), pp. 378–397.
FASEFASE-2011-PostHP #named #realtime #requirements
rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
FASEFASE-2011-ZhangZL #api #complexity #graph
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
MSRMSR-2011-ParninBM #how #java
Java generics adoption: how new features are introduced, championed, or ignored (CP, CB, ERMH), pp. 3–12.
WCREWCRE-2011-PosnettHD #fault #question
Got Issues? Do New Features and Code Improvements Affect Defects? (DP, AH, PTD), pp. 211–215.
PEPMPEPM-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.
STOCSTOC-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.
ICALPICALP-v1-2011-AroraG #algorithm #fault #learning
New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
ICALPICALP-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.
ICALPICALP-v2-2011-MegowMS #algorithm #graph #online
Online Graph Exploration: New Results on Old and New Algorithms (NM, KM, PS), pp. 478–489.
IFMIFM-J-2009-SchneiderT11 #csp #interface #refinement
Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.
CEFPCEFP-2011-SlodicakMN #category theory #functional #programming
Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
AGTIVEAGTIVE-2011-RungeET #algebra #graph transformation #specification
AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
CHICHI-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.
CHICHI-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.
CHICHI-2011-HuBRK #named
MonoTrans2: a new human computation system to support monolingual translation (CH, BBB, PR, YK), pp. 1133–1136.
CHICHI-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.
CHICHI-2011-MadathilG #approach #testing #usability
Synchronous remote usability testing: a new approach facilitated by virtual worlds (KCM, JSG), pp. 2225–2234.
CHICHI-2011-MatthewsWMY #approach #collaboration #design #tool support
Collaboration personas: a new approach to designing workplace collaboration tools (TM, SW, TPM, SY), pp. 2247–2256.
CSCWCSCW-2011-Murphy-HillM #effectiveness #interactive #tool support
Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.
HCIDHM-2011-DAquaroMMR #game studies #question
Videogames and Elders: A New Path in LCT? (ND, DM, GM, LAR), pp. 245–254.
HCIDHM-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.
HCIDHM-2011-NeumannD #empirical #visual notation
The Two-Point Visual Control Model of Steering — New Empirical Evidence (HN, BD), pp. 493–502.
HCIDUXU-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.
HCIDUXU-v2-2011-MirandaHB11a #interactive #physics
Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
HCIHCD-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.
HCIHCI-ITE-2011-DadgariS
New Techniques for Merging Text Versions (DD, WS), pp. 331–340.
HCIHCI-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.
HCIHCI-UA-2011-Klenner-Moore #learning #process
Creating a New Context for Activity in Blended Learning Environments: Engaging the Twitchy Fingers (JKM), pp. 61–67.
HCIHIMI-v2-2011-Rebello #approach
Macroergonomics in Air Traffic Control — The Approach of a New System (LHBR), pp. 516–525.
HCIIDGD-2011-Dai #communication #development #interactive #mobile
New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
HCIIDGD-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.
ICEISICEIS-J-2011-CarvalhoSRP #named
PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
ICEISICEIS-v1-2011-AbramoviciJ #industrial #monitoring
A New Method for Monitoring Industrial Product-service Systems based on BSC and AHP (MA, FJ), pp. 190–196.
ICEISICEIS-v1-2011-LingEL #framework #internet #mobile
A New Framework of Location-based Services in Mobile Internet (XL, HE, LL), pp. 539–544.
ICEISICEIS-v1-2011-LiZS #network #predict
A New Network Traffic Prediction Model in Cognitive Networks (DL, RZ, XS), pp. 427–435.
ICEISICEIS-v1-2011-XiaoZTZC #network
A New Chinese Public Welfare Operation Mode based on Value Network Model (DX, ZZ, ZT, JZ, FC), pp. 510–514.
ICEISICEIS-v3-2011-ZhouL #analysis #metric
A New Method and Metric for Quantitative Risk Analysis (PZ, HL), pp. 25–33.
ICEISICEIS-v4-2011-Changxian #design #industrial #roadmap
New Trends of Ergonomics and Its Importance in Modern Industrial Design (CC), pp. 543–547.
ICEISICEIS-v4-2011-YangZZ #design #evaluation #online #optimisation
New Mechanism Design in the C2C Online Reputation Evaluation Optimizing (YY, WZ, XZ), pp. 53–62.
CIKMCIKM-2011-CardosoM #ranking #similarity
Google, bing and a new perspective on ranking similarity (BC, JM), pp. 1933–1936.
CIKMCIKM-2011-ChenWLXY #framework #named
SISP: a new framework for searching the informative subgraph based on PSO (CC, GW, HL, JX, YY), pp. 453–462.
CIKMCIKM-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.
ECIRECIR-2011-LipkaS #information management #representation
Classifying with Co-stems — A New Representation for Information Filtering (NL, BS), pp. 307–313.
ICMLICML-2011-Hernandez-OralloFR #classification #cost analysis #performance #visualisation
Brier Curves: a New Cost-Based Visualisation of Classifier Performance (JHO, PAF, CFR), pp. 585–592.
ICMLICML-2011-NikolenkoS #contest #rating
A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.
KDDKDD-2011-WilkinsonAN #classification #named #random
CHIRP: a new classifier based on composite hypercubes on iterated random projections (LW, AA, DTN), pp. 6–14.
KDIRKDIR-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.
KDIRKDIR-2011-VanetikG #mining #named
HashMax: A New Method for Mining Maximal Frequent Itemsets (NV, EG), pp. 140–145.
KEODKEOD-2011-BouiadjraB #approach #evaluation #ontology #state of the art
Ontology Evaluation — State of the Art, New Approach and Perspectives (ABB, SMB), pp. 365–368.
KMISKMIS-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.
KMISKMIS-2011-Silva #approach #concept #learning
Learning Organization — Concept and Proposal of a New Approach (AFdS), pp. 384–389.
MLDMMLDM-2011-HuangH
Discovering Text Patterns by a New Graphic Model (MH, RMH), pp. 428–442.
RecSysRecSys-2011-AnandG #approach #problem
A market-based approach to address the new item problem (SSA, NG), pp. 205–212.
SIGIRSIGIR-2011-Kantor #research
A new look at old tricks: the fertile roots of current research (PBK), pp. 1297–1298.
RERE-2011-SeyffOB #named #requirements
iRequire: Gathering end-user requirements for new apps (NS, GO, MB), pp. 347–348.
REFSQREFSQ-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.
SACSAC-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.
SACSAC-2011-BarreraV #approach #automation #summary
Automated extractive single-document summarization: beating the baselines with a new approach (AB, RV), pp. 268–269.
SACSAC-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.
SACSAC-2011-OliveiraLTFT #algorithm #documentation #image
A new algorithm for segmenting warped text-lines in document images (DMdO, RDL, GT, JF, MT), pp. 259–265.
SACSAC-2011-SreekumariC #multi #network
A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks (PS, SHC), pp. 498–505.
ESEC-FSEESEC-FSE-2011-CsallnerFL #source code #testing
New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ICSEICSE-2011-ChenZ #combinator #metric #testing #tuple
Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.
ICSEICSE-2011-Dresselhaus #design #roadmap
Exciting new trends in design thinking (BD), p. 622.
ICSEICSE-2011-MurtazaMGL #fault #using
Diagnosing new faults using mutants and prior faults (SSM, NHM, MG, ZL), pp. 960–963.
ICSEICSE-2011-RosuS #approach #logic #verification
Matching logic: a new program verification approach (GR, AS), pp. 868–871.
HPCAHPCA-2011-LiaoZB #architecture #network
A new server I/O architecture for high speed networks (GL, XZ, LNB), pp. 255–265.
CADECADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
CSLCSL-2011-GroheGHL #logic #recursion
L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
ICLPICLP-J-2011-DrescherT #logic programming #named #prolog
ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.
RTARTA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What’s New? (ST), pp. 1–2.
ICSTSAT-2011-Minato #diagrams #named #performance #permutation #problem
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
ICSTSAT-2011-TompkinsBH #heuristic #satisfiability
Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
TLCATLCA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what
Tree Automata, (Dis-)Equality Constraints and Term Rewriting — What’s New? (ST), pp. 3–5.
ECSAECSA-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.
ECSAECSA-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.
CASECASE-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.
DACDAC-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.
DACDAC-2010-LiaoYB #performance
A new IP lookup cache for high performance IP routers (GL, HY, LNB), pp. 338–343.
DATEDATE-2010-LazzariFMC #multi
A new quaternary FPGA based on a voltage-mode multi-valued circuit (CL, PFF, JM, LC), pp. 1797–1802.
DATEDATE-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.
DATEDATE-2010-OstendorffWSK #adaptation #approach
A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.
DATEDATE-2010-SterponeB #algorithm #multi
A new placement algorithm for the mitigation of multiple cell upsets in SRAM-based FPGAs (LS, NB), pp. 1231–1236.
DocEngDocEng-2010-BilaucaH #automation #layout
A new model for automated table layout (MB, PH), pp. 169–176.
DocEngDocEng-2010-RivaSOMP #metric
Two new aesthetic measures for item alignment (ADR, AKS, JBSdO, IHM, RFBP), pp. 263–266.
DRRDRR-2010-KatsuyamaMHOK #classification
A new pre-classification method based on associative matching method (YK, AM, YH, SO, NK), pp. 1–10.
HTHT-2010-GippB #approach #detection #identification #independence
Citation based plagiarism detection: a new approach to identify plagiarized work language independently (BG, JB), pp. 273–274.
SIGMODSIGMOD-2010-TalukdarIP #automation #integration #keyword #search-based
Automatically incorporating new sources in keyword search-based data integration (PPT, ZGI, FCNP), pp. 387–398.
SIGMODSIGMOD-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.
VLDBVLDB-2010-AbadiCCGPR #database #question #what
Cloud Databases: What’s New? (DA, MJC, SC, HGM, JMP, RR), p. 1657.
VLDBVLDB-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.
VLDBVLDB-2010-SchreiberBGMR #sql
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider (TS, SB, TG, MM, JR), pp. 1549–1552.
CSEETCSEET-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.
SCAMSCAM-2010-UjhaziFPG #concept #metric #object-oriented
New Conceptual Coupling and Cohesion Metrics for Object-Oriented Systems (BU, RF, DP, TG), pp. 33–42.
ICALPICALP-v1-2010-Duan #data type
New Data Structures for Subgraph Connectivity (RD), pp. 201–212.
LATALATA-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.
IFLIFL-2010-MichelsPA #paradigm #user interface
iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.
ICGTICGT-2010-Khomenko #behaviour
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.
CHICHI-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.
CHICHI-2010-EisenbergSM #api #named
Apatite: a new interface for exploring APIs (DSE, JS, BAM), pp. 1331–1334.
CHICHI-2010-SmythEB #named
MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.
CHICHI-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.
CAiSECAiSE-2010-BouassidaB #approach #detection #problem
A New Approach for Pattern Problem Detection (NB, HBA), pp. 150–164.
CAiSECAiSE-2010-JarkeLLMR #design #requirements
The Brave New World of Design Requirements: Four Key Principles (MJ, PL, KL, JM, WNR), pp. 470–482.
ICEISICEIS-AIDSS-2010-LassigT #enterprise #generative
New Approaches to Enterprise Cooperation Generation and Management (JL, UT), pp. 350–359.
ICEISICEIS-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.
ICEISICEIS-HCI-2010-ReisBB #challenge #network #social
New Perspectives for Search in Social Networks — A Challenge for Inclusion (JCdR, RB, MCCB), pp. 53–62.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2010-AlgarniLX #documentation
Selected new training documents to update user profile (AA, YL, YX), pp. 799–808.
CIKMCIKM-2010-HaghaniMA #personalisation #web
The gist of everything new: personalized top-k processing over web 2.0 streams (PH, SM, KA), pp. 489–498.
CIKMCIKM-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.
CIKMCIKM-2010-KamaliT #retrieval
A new mathematics retrieval system (SK, FWT), pp. 1413–1416.
CIKMCIKM-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.
ICMLICML-2010-WangZ #analysis
A New Analysis of Co-Training (WW, ZHZ), pp. 1135–1142.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-GlumovM #algorithm #image #robust #scalability
The New Blockwise Algorithm for Large-Scale Images Robust Watermarking (NIG, VAM), pp. 1453–1456.
ICPRICPR-2010-JiangWXD #classification #image
A New Biologically Inspired Feature for Scene Image Classification (AJ, CW, BX, RD), pp. 758–761.
ICPRICPR-2010-JouiliTL #algorithm #clustering #graph
Median Graph Shift: A New Clustering Algorithm for Graph Domain (SJ, ST, VL), pp. 950–953.
ICPRICPR-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.
ICPRICPR-2010-MengXZZ #recognition #word
A New Application of MEG and DTI on Word Recognition (LM, JX, DZ, HZ), pp. 2472–2475.
ICPRICPR-2010-MumtazMM #approach
A New Approach to Aircraft Surface Inspection Based on Directional Energies of Texture (MM, ABM, HM), pp. 4404–4407.
ICPRICPR-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.
ICPRICPR-2010-Sato #classification #design #kernel #learning
A New Learning Formulation for Kernel Classifier Design (AS), pp. 2897–2900.
ICPRICPR-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.
ICPRICPR-2010-ShivakumaraPT #detection #video
New Wavelet and Color Features for Text Detection in Video (PS, TQP, CLT), pp. 3996–3999.
ICPRICPR-2010-Temerinac-OttKB #evaluation
Evaluation of a New Point Clouds Registration Method Based on Group Averaging Features (MTO, MK, HB), pp. 2452–2455.
ICPRICPR-2010-XueJ #3d #recognition
A New Rotation Feature for Single Tri-axial Accelerometer Based 3D Spatial Handwritten Digit Recognition (YX, LJ), pp. 4218–4221.
KDDKDD-2010-AdaB #composition #generative
The new iris data: modular data generators (IA, MRB), pp. 413–422.
KDDKDD-2010-LichtenwalterLC #predict
New perspectives and methods in link prediction (RL, JTL, NVC), pp. 243–252.
KDIRKDIR-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.
KMISKMIS-2010-AmelaDV #framework
A New Framework for the Control of LMS in Its (VA, JLD, MV), pp. 287–289.
KMISKMIS-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.
KMISKMIS-2010-Pankowska #project management
ICT Innovation Project Management — New Knowledge Areas in PMBOK (MP), pp. 294–299.
KRKR-2010-SiddiqiH #roadmap
New Advances in Sequential Diagnosis (SAS, JH).
SEKESEKE-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.
SIGIRSIGIR-2010-AggarwalZ #modelling #paradigm #representation #visual notation
Graphical models for text: a new paradigm for text representation and processing (CCA, PZ), pp. 899–900.
SIGIRSIGIR-2010-DaveV #learning
Learning the click-through rate for rare/new ads from similar ads (KSD, VV), pp. 897–898.
QAPLQAPL-2010-StefanekHB #analysis #parallel #performance
A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
RERE-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.
SACSAC-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.
SACSAC-2010-JiaLLZ #satisfiability
Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
SACSAC-2010-KimY #multi #personalisation #recommendation
New theoretical findings in multiple personalized recommendations (YHK, YY), pp. 94–98.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
ICSEICSE-2010-BoehmL #incremental #process
New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSEICSE-2010-DagenaisOBRV
Moving into a new software project landscape (BD, HO, RKEB, MPR, JdV), pp. 275–284.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
HPDCHPDC-2010-MarinCG #web
New caching techniques for web search engines (MM, VGC, CGP), pp. 215–226.
PPoPPPPoPP-2010-Chakrabarti #abstraction #analysis #effectiveness #performance #source code
New abstractions for effective performance analysis of STM programs (DRC), pp. 333–334.
CAVCAV-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.
CSLCSL-2010-GanzowK #algorithm #higher-order #induction #logic #monad
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (TG, LK), pp. 366–380.
LICSLICS-2010-BartoK #csp
New Conditions for Taylor Varieties and CSP (LB, MK), pp. 100–109.
LICSLICS-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.
ICSTSAT-2010-BalintF #probability #satisfiability
Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.
ICSTSAT-2010-TompkinsH #satisfiability
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
CASECASE-2009-WuS #heuristic #multi #problem
A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.
DACDAC-2009-ChenCH #design #information retrieval #order
New spare cell design for IR drop minimization in Engineering Change Order (HTC, CCC, TH), pp. 402–407.
DATEDATE-2009-ChenW #3d #modelling #simulation
New simulation methodology of 3D surface roughness loss for interconnects modeling (QC, NW), pp. 1184–1189.
DATEDATE-2009-Cilardo #architecture
A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
DATEDATE-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.
DATEDATE-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.
HTHT-2009-VitaliIB
New forms of Xanalogical storage and function (FV, ADI, JB), pp. 389–390.
ICDARICDAR-2009-BoubakerKA #algorithm #detection
New Algorithm of Straight or Curved Baseline Detection for Short Arabic Handwritten Writing (HB, MK, AMA), pp. 778–782.
ICDARICDAR-2009-CoustatyOPV #composition
Drop Caps Decomposition for Indexing a New Letter Extraction Method (MC, JMO, RP, NV), pp. 476–480.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2009-ImpedovoMFS #process #roadmap
New Trends in Digital Scanning Processes (SI, RM, AF, ES), pp. 1071–1075.
ICDARICDAR-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.
ICDARICDAR-2009-SadriC #approach #documentation #optimisation
A New Approach for Skew Correction of Documents Based on Particle Swarm Optimization (JS, MC), pp. 1066–1070.
ICDARICDAR-2009-ShahabiR #documentation #identification
A New Method for Writer Identification of Handwritten Farsi Documents (FS, MR), pp. 426–430.
ICDARICDAR-2009-SlimaneIKAH #database #evaluation #image #protocol
A New Arabic Printed Text Image Database and Evaluation Protocols (FS, RI, SK, AMA, JH), pp. 946–950.
ICDARICDAR-2009-WangHL #verification
A New Block Partitioned Text Feature for Text Verification (XW, LH, CL), pp. 366–370.
VLDBVLDB-2009-CohenDDHW #analysis #big data
MAD Skills: New Analysis Practices for Big Data (JC, BD, MD, JMH, CW), pp. 1481–1492.
CSMRCSMR-2009-SpekK #framework
Transferring Software to a New Framework in a Brownfield Environment (PvdS, SK), pp. 311–312.
STOCSTOC-2009-ChenM #approach #design
A new approach to auctions and resilient mechanism design (JC, SM), pp. 503–512.
STOCSTOC-2009-ImpagliazzoKW
New direct-product testers and 2-query PCPs (RI, VK, AW), pp. 131–140.
STOCSTOC-2009-KunS
A new line of attack on the dichotomy conjecture (GK, MS), pp. 725–734.
LATALATA-2009-Onodera #locality #using
New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
IFMIFM-2009-SchneiderT #csp #interface #refinement
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.
CHICHI-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.
CHICHI-2009-CoyleD #collaboration #design
Clinical evaluations and collaborative design: developing new technologies for mental healthcare interventions (DC, GD), pp. 2051–2060.
CHICHI-2009-GuoYS #interactive
Touch and toys: new techniques for interaction with a remote group of robots (CG, JEY, ES), pp. 491–500.
CHICHI-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.
CHICHI-2009-LawA #game studies #named #using
Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
CHICHI-2009-LimLL
Interactivity attributes: a new way of thinking and describing interactivity (YKL, SSL, KyL), pp. 105–108.
CHICHI-2009-MarkAS
Resilience through technology adoption: merging the old and the new in Iraq (GM, BAA, BS), pp. 689–698.
HCIDHM-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.
HCIDHM-2009-NiedermaierDEK #process #usability
The New BMW iDrive — Applied Processes and Methods to Assure High Usability (BN, SD, LE, AK), pp. 443–452.
HCIHCD-2009-ChouC #experience #physics #user interface
Engaging Experience: A New Perspective of User Experience with Physical Products (CJC, CC), pp. 31–40.
HCIHCD-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.
HCIHCD-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.
HCIHCD-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.
HCIHCD-2009-SimoesP #adaptation
Older Drivers and New In-Vehicle Technologies: Adaptation and Long-Term Effects (AS, MP), pp. 552–561.
HCIHCI-AUII-2009-BreuerKWPS
Love at First Encounter — Start-Up of New Applications (HB, MK, MW, NP, FS), pp. 585–594.
HCIHCI-AUII-2009-IslamOL #framework #video
New Integrated Framework for Video Based Moving Object Tracking (MZI, CMO, CWL), pp. 423–432.
HCIHCI-AUII-2009-JiK #named #using
CLURD: A New Character-Inputting System Using One 5-Way Key Module (HJ, TK), pp. 39–47.
HCIHCI-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.
HCIHCI-NIMT-2009-SchreiberWB #concept #interactive #using
New Interaction Concepts by Using the Wii Remote (MS, MvWM, RB), pp. 261–270.
HCIHCI-NT-2009-BullingerB #collaboration #development #human-computer #interactive
Collaborative Development and New Devices for Human-Computer Interaction (HJB, GB), pp. 789–795.
HCIHCI-NT-2009-PujolU #design #effectiveness
Productive Love: A New Proposal for Designing Affective Technology (RSP, HU), pp. 725–734.
HCIHCI-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.
HCIHCI-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.
HCIHCI-VAD-2009-Yarlikas #analysis #automation
A New Automatic Teller Machine (ATM) Proposal through the Analysis of ATMs of Three Banks (SY), pp. 641–650.
HCIHIMI-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.
HCIHIMI-II-2009-RingardDPC #approach #collaboration
Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration (JR, SD, SLDP, CC), pp. 835–844.
HCIOCSC-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.
AdaSIGAda-2009-Knight #ada #approach #named #verification
Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
AdaSIGAda-2009-RosenT #ada #semantics
The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
ICEISICEIS-AIDSS-2009-BoryczkaK #approach #heuristic
A New Heuristic Function in Ant-miner Approach (UB, JK), pp. 33–38.
ICEISICEIS-DISI-2009-ElarissKG #multi #optimisation #paradigm #query
Query Melting — A New Paradigm for GIS Multiple Query Optimization (HEE, SK, DG), pp. 82–90.
ICEISICEIS-ISAS-2009-LiM #development #simulation
A Simulation Model for Managing Engineering Changes Along with New Product Development (WL, YBM), pp. 13–18.
ICEISICEIS-SAIC-2009-Li #development
Managing Engineering Changes Along with New Product Development (WL), pp. 193–199.
ECIRECIR-2009-PereiraDP #multi
Multidimensional Relevance: A New Aggregation Criterion (CdCP, MD, GP), pp. 264–275.
ECIRECIR-2009-Wang #analysis #documentation #information retrieval #ranking
Mean-Variance Analysis: A New Document Ranking Theory in Information Retrieval (JW0), pp. 4–16.
ICMLICML-2009-BennettBC #information retrieval #machine learning #summary #tutorial
Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
KDDKDD-2009-BifetHPKG #data type #evolution
New ensemble methods for evolving data streams (AB, GH, BP, RK, RG), pp. 139–148.
KDDKDD-2009-YeK #data mining #mining
Time series shapelets: a new primitive for data mining (LY, EJK), pp. 947–956.
KEODKEOD-2009-RocheCDR #named #paradigm
Ontoterminology — A New Paradigm for Terminology (CR, MCC, LD, PR), pp. 321–326.
KMISKMIS-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.
MLDMMLDM-2009-GadK #clustering #semantics #similarity #using
New Semantic Similarity Based Model for Text Clustering Using Extended Gloss Overlaps (WKG, MSK), pp. 663–677.
MLDMMLDM-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.
RecSysRecSys-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.
RecSysRecSys-2009-PilaszyT #metadata #recommendation
Recommending new movies: even a few ratings are more valuable than metadata (IP, DT), pp. 93–100.
SEKESEKE-2009-GratiTG #diagrams #interactive #quality
Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.
POPLPOPL-2009-TateSTL #approach #optimisation #similarity
Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
RERE-2009-MillerFM #architecture #requirements
Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.
SACSAC-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.
SACSAC-2009-CorderoVB #clustering #framework
A new protein motif extraction framework based on constrained co-clustering (FC, AV, MB), pp. 776–781.
SACSAC-2009-HuangSMZH #approach #using
A new cross-training approach by using labeled data (DH, ES, GM, HZ, CCH), pp. 941–942.
SACSAC-2009-KangGC #predict #scalability
A new inter-layer prediction scheme for spatial scalability with different frame rates (JK, GG, KC), pp. 1779–1783.
SACSAC-2009-LeccaPPS #generative #network #parametricity #probability
A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SACSAC-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.
SACSAC-2009-MasaruS #algorithm #modelling #search-based
Daily demand forecasting of new products utilizing diffusion models and genetic algorithms (TM, MS), pp. 1106–1107.
SACSAC-2009-RoeslerHC #case study #distance #learning #multi
A new multimedia synchronous distance learning system: the IVA study case (VR, RH, CHC), pp. 1765–1770.
SACSAC-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.
SACSAC-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.
SPLCSPLC-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.
CGOCGO-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.
ISMMISMM-2009-OanceaMW #algorithm #approach
A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.
SOSPSOSP-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.
ICLPICLP-2009-VoetsS #analysis #approach #logic programming #source code
A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.
ICSTSAT-2009-BailleuxBR #constraints #encoding #pseudo
New Encodings of Pseudo-Boolean Constraints into CNF (OB, YB, OR), pp. 181–194.
DACDAC-2008-FraerKM #paradigm #synthesis
A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
DATEDATE-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.
DATEDATE-2008-RealCCDV #analysis #hardware
Defeating classical Hardware Countermeasures: a new processing for Side Channel Analysis (DR, CC, JC, MD, FV), pp. 1274–1279.
DATEDATE-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.
DATEDATE-2008-VermaBI #design #latency #paradigm
Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
DocEngDocEng-2008-Boyer #documentation #interactive #web
Interactive office documents: a new face for web 2.0 applications (JMB), pp. 8–17.
DocEngDocEng-2008-LaenderGCFSS #library #problem
Keeping a digital library clean: new solutions to old problems (AHFL, MAG, RGC, AAF, RLTS, AJCS), pp. 257–262.
HTHT-2008-VaisenbergSMJM #approach
A new approach for adding browser functionality (RV, AS, KAM, RJ, SM), pp. 247–248.
SIGMODSIGMOD-2008-ShaullSX #named
Skippy: a new snapshot indexing method for time travel in the storage manager (RS, LS, HX), pp. 637–648.
VLDBVLDB-2008-LiTSPJM #architecture
Out-of-order processing: a new architecture for high-performance stream systems (JL, KT, VS, VP, TJ, DM), pp. 274–288.
ITiCSEITiCSE-2008-CorberaGRRT #architecture #development
Development of a new MOODLE module for a basic course on computer architecture (FC, EG, JR, SR, MAT), p. 349.
WCREWCRE-2008-VaucherSV #object-oriented
Discovering New Change Patterns in Object-Oriented Systems (SV, HAS, JGV), pp. 37–41.
STOCSTOC-2008-AaronsonW #complexity #named
Algebrization: a new barrier in complexity theory (SA, AW), pp. 731–740.
STOCSTOC-2008-GentryPV #encryption
Trapdoors for hard lattices and new cryptographic constructions (CG, CP, VV), pp. 197–206.
FLOPSFLOPS-2008-Kobayashi08a #backtracking #continuation
A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.
FLOPSFLOPS-2008-Voigtlander #semantics
Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.
DLTDLT-2008-Csuhaj-VarjuDV
Some New Modes of Competence-Based Derivations in CD Grammar Systems (ECV, JD, GV), pp. 228–239.
ICALPICALP-A-2008-BlellochVW #approach #combinator #graph #problem
A New Combinatorial Approach for Sparse Graph Problems (GEB, VV, RW), pp. 108–120.
SEFMSEFM-2008-Giacobazzi08a #obfuscation
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking (RG), pp. 7–18.
SEFMSEFM-2008-PetrenkoP #challenge #formal method
Formal Methods and Innovation Economy: Facing New Challenges (AKP, OLP), pp. 367–371.
GT-VMTGT-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.
CHICHI-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.
CHICHI-2008-GrimesH #human-computer #research
Celebratory technology: new directions for food research in HCI (AG, RH), pp. 467–476.
CSCWCSCW-2008-EgelmanBI #paradigm #product line
Family accounts: a new paradigm for user accounts within the home environment (SE, AJBB, KMI), pp. 669–678.
CSCWCSCW-2008-MarkS #collaboration
Resilience in collaboration: technology as a resource for new patterns of action (GM, BS), pp. 137–146.
AdaEuropeAdaEurope-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.
CAiSECAiSE-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.
EDOCEDOC-2008-Sirtl #as a service #web
Software plus Services: New IT- and Business Opportunities by Uniting SaaS, SOA and Web 2.0 (HS).
ICEISICEIS-AIDSS-2008-StateCRP #algorithm #classification #learning
A New Learning Algorithm for Classification in the Reduced Space (LS, CC, IR, PV), pp. 155–160.
CIKMCIKM-2008-BarskySTU #using
A new method for indexing genomes using on-disk suffix trees (MB, US, AT, CU), pp. 649–658.
CIKMCIKM-2008-HeW #feedback #information retrieval
Translation enhancement: a new relevance feedback method for cross-language information retrieval (DH, DW), pp. 729–738.
CIKMCIKM-2008-HoweF #collaboration #parametricity
Re-considering neighborhood-based collaborative filtering parameters in the context of new data (AEH, RDF), pp. 1481–1482.
CIKMCIKM-2008-LuoYY #detection #realtime #video
Real-time new event detection for video streams (GL, RY, PSY), pp. 379–388.
ECIRECIR-2008-FishbeinE #classification #encoding
Integrating Structure and Meaning: A New Method for Encoding Structure for Text Classification (JMF, CE), pp. 514–521.
ICMLICML-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.
ICPRICPR-2008-DingSK #recognition
A new courtesy amount recognition module of a Check Reading System (WD, CYS, AK), pp. 1–4.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2008-KoSB #testing
A new HMM training and testing scheme (AHRK, RS, AdSBJ), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-MaL #approach #online #recognition
A new radical-based approach to online handwritten Chinese character recognition (LLM, CLL), pp. 1–4.
ICPRICPR-2008-SahaB #clustering #multi #symmetry #using
A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
ICPRICPR-2008-SteinbisVH
New extensions of the 3-simplex for exterior orientation (JMS, TV, WAH), pp. 1–5.
ICPRICPR-2008-TsuboiK #sequence
A new objective function for sequence labeling (YT, HK), pp. 1–4.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2008-Wang #algorithm #string
A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
ICPRICPR-2008-WanYM #algorithm #segmentation
A new algorithm for static camera foreground segmentation via active coutours and GMM (CW, BY, ZM), pp. 1–4.
RecSysRecSys-2008-CelmaH #approach #novel #recommendation
A new approach to evaluating novel recommendations (ÒC, PH), pp. 179–186.
SIGIRSIGIR-2008-CanKBKOU #detection
Bilkent news portal: a personalizable system with new event detection and tracking capabilities (FC, SK, OB, SK, HCO, EU), p. 885.
SIGIRSIGIR-2008-Robertson #precise
A new interpretation of average precision (SR), pp. 689–690.
SIGIRSIGIR-2008-XuA08a #modelling #multi #probability #retrieval
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution (ZX, RA), pp. 427–434.
SIGIRSIGIR-2008-YilmazAR #correlation #information retrieval #rank
A new rank correlation coefficient for information retrieval (EY, JAA, SR), pp. 587–594.
SACSAC-2008-BarczakJM #empirical #evaluation
Empirical evaluation of a new structure for AdaBoost (ALCB, MJJ, CHM), pp. 1764–1765.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2008-RibeiroTT #algorithm #feature model
A new algorithm for data discretization and feature selection (MXR, AJMT, CTJ), pp. 953–954.
SACSAC-2008-ShiguemoriVS #approach #network #retrieval
Atmospheric temperature retrieval from satellite data: new non-extensive artificial neural network approach (EHS, HFdCV, JDSdS), pp. 1688–1692.
OSDIOSDI-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.
OSDIOSDI-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.
ICSTSAT-2008-CreignouDER #quantifier #random
New Results on the Phase Transition for Random Quantified Boolean Formulas (NC, HD, UE, RR), pp. 34–47.
ICSTSAT-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.
ECSAECSA-2007-WaignierMD #architecture #framework #named
FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.
WICSAWICSA-2007-AlmeidaAGNML #approach #architecture #design #towards
Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach (ESdA, , VCG, LMN, SRdLM, DL), p. 30.
WICSAWICSA-2007-FragaL #approach #architecture #enterprise #ontology
Training Initiative for New Software/Enterprise Architects: An Ontological Approach (AF, JL), p. 19.
CASECASE-2007-Ho #optimisation #paradigm #towards
Towards a New Paradigm for Optimization (YCH), p. 97–?.
CASECASE-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.
CASECASE-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.
DACDAC-2007-Burns #design
Designing a New Automotive DNA (LDB).
DACDAC-2007-JiangHS #design #difference
A New Twisted Differential Line Structure in Global Bus Design (ZJ, SH, WS), pp. 180–183.
DACDAC-2007-MrugalskiRCT #power management #testing
New Test Data Decompressor for Low Power Applications (GM, JR, DC, JT), pp. 539–544.
DACDAC-2007-Scheffer
CAD Implications of New Interconnect Technologies (LS), pp. 576–581.
DACDAC-2007-SmithCHRSW #difference #industrial #named
Electronics: The New Differential in the Automotive Industry (NS, AC, CH, WCR, ALSV, FW), p. 446.
DATEDATE-2007-FangH #hybrid #performance #satisfiability
A new hybrid solution to boost SAT solver performance (LF, MSH), pp. 1307–1313.
DATEDATE-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.
DATEDATE-2007-HairionECS #design #safety
New safety critical radio altimeter for airbus and related design flow (DH, SE, EC, MS), pp. 684–688.
DATEDATE-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.
DATEDATE-2007-LisselGG #design #industrial #perspective #verification
Introducing new verification methods into a company’s design flow: an industrial user’s point of view (RL, JG), pp. 689–694.
DATEDATE-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.
DocEngDocEng-2007-Mello #algorithm #documentation #image
A new Tsallis entropy-based thresholding algorithm for images of historical documents (CABM), pp. 32–34.
ICDARICDAR-2007-BoubakerKA #modelling #online
New Strategy for the On-Line Handwriting Modelling (HB, MK, AMA), pp. 1233–1247.
ICDARICDAR-2007-NejadR #identification #verification
A New Method for Writer Identification and Verification Based on Farsi/Arabic Handwritten Texts (FN, MR), pp. 829–833.
ICDARICDAR-2007-RosmanTT #motivation
A New Physically Motivated Warping Model for Form Drop-Out (GR, AT, DT), pp. 774–778.
ICDARICDAR-2007-Silva #analysis #documentation #metric #performance
New Metrics for Evaluating Performance in Document Analysis Tasks_Application to the Table Case (ACeS), pp. 481–485.
ICDARICDAR-2007-Watt #aspect-oriented
New Aspects of InkML for Pen-Based Computing (SMW), pp. 457–460.
ICDARICDAR-2007-YoshidaN #approach #documentation #modelling #parsing #web
Web Document Parsing: A New Approach to Modeling Layout-Language Relations (MY, HN), pp. 203–207.
ICDARICDAR-2007-YuZL #approach #recognition
A New Syntactic Approach to Graphic Symbol Recognition (YY, WZ, WL), pp. 516–520.
ICDARICDAR-2007-ZhangL #recognition
A New Vectorial Signature for Quick Symbol Indexing, Filtering and Recognition (WZ, WL), pp. 536–540.
SIGMODSIGMOD-2007-LuoTY #adaptation #detection #realtime
Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.
VLDBVLDB-2007-Brodie #data transformation
Computer Science 2.0: A New World of Data Management (MLB), p. 1161.
ITiCSEITiCSE-2007-Sanchez-TorrubiaTC #algorithm #graph #interactive #learning #tool support
New interactive tools for graph algorithms active learning (MGST, CTB, JC), p. 337.
WRLAWRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming
A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.
FoSSaCSFoSSaCS-2007-HirschkoffP #congruence #π-calculus
A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
CSMRCSMR-2007-Suijs #experience #framework #legacy
An Experience in Introducing a New Control Platform on a Legacy System (ES), pp. 319–320.
SASSAS-2007-WeiMZC #algorithm #decompiler #identification
A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.
STOCSTOC-2007-Pap
Some new results on node-capacitated packing of A-paths (GP), pp. 599–604.
CIAACIAA-2007-Yli-JyraK #compilation #parallel
A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
ICALPICALP-2007-Chazelle #algorithm #design
Ushering in a New Era of Algorithm Design (BC), p. 1.
CHICHI-2007-BallagasMRB #interface #mobile #prototype #ubiquitous
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing (RB, FM, RR, JOB), pp. 1107–1116.
CHICHI-2007-LehnHLH
Engaging constable: revealing art with new technology (DvL, JH, PL, CH), pp. 1485–1494.
HCIDHM-2007-KangXCX #algorithm
A New Decoding Algorithm in MIMO-ZP-OFDM Systems (RK, CX, HC, HX), pp. 130–135.
HCIDHM-2007-KurodaOKTOY #animation #coordination
Finding Origin Points for New Coordinate System Suitable for Sign Animation (TK, KO, RK, TT, NO, HY), pp. 415–422.
HCIDHM-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.
HCIDHM-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.
HCIHCI-AS-2007-MaY #experience #user interface
UX Office. A New Software Application for User Experience Services (LM, XY), pp. 649–653.
HCIHCI-AS-2007-MutoI #how #user interface
How New Technologies Can Help Create Better UI’s for Medical Devices (WHM, EWI), pp. 499–507.
HCIHCI-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.
HCIHCI-IDU-2007-ItohHTK #design #process
A New User-Centered Design Process for Creating New Value and Future (YI, YH, HT, MK), pp. 108–116.
HCIHCI-IDU-2007-KimJBKJY #framework
A New Framework of Measuring the Business Values of Software (IKK, BSJ, SB, AK, YGJ, MHY), pp. 559–568.
HCIHCI-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.
HCIHCI-IPT-2007-Ouramdane-DjerrahOM #3d #collaboration #interactive
A New Model of Collaborative 3D Interaction in Shared Virtual Environment (NOD, SO, MM), pp. 663–672.
HCIHCI-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.
HCIHCI-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.
HCIHCI-MIE-2007-MascioFT #evaluation #image
Evaluation of VISTO: A New Vector Image Search TOol (TDM, DF, LT), pp. 836–845.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-IIE-2007-AndoM #education #student
A New Method for Teachers and Students to Record Daily Progress in a Class (AA, KM), pp. 245–251.
HCIHIMI-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.
HCIHIMI-MTT-2007-MascioLM #image #interface
The Interface of VISTO, a New Vector Image Search Tool (TDM, LL, VM), pp. 417–426.
HCIHIMI-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.
HCIHIMI-MTT-2007-SpathPHR #user interface
New Approaches to Intuitive Auditory User Interfaces (DS, MP, LH, BR), pp. 975–984.
HCIOCSC-2007-GonzalezGC #development
Fostering Knowledge Mode Conversion in New Product Development Environment (EGM, DAGZ, MC), pp. 352–361.
HCIOCSC-2007-ZhengSR #authoring #collaboration #data transformation #named
WikiTable: A New Tool for Collaborative Authoring and Data Management (XSZ, IS, RR), pp. 501–508.
AdaEuropeAdaEurope-2007-RivasR #ada #implementation #realtime
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
ICEISICEIS-AIDSS-2007-RaimondiPVM #fuzzy #logic
A New Fuzzy Logic Controller for Trading on the Stock Market (FMR, SP, PV, MM), pp. 322–329.
ICEISICEIS-DISI-2007-BergamaschiOGS #metadata
Relevant values: New metadata to provide insight on attribute values at schema level (SB, MO, FG, CS), pp. 274–279.
ICEISICEIS-DISI-2007-Chen #algorithm #pattern matching
A new algorithm for twig pattern matching (YC), pp. 44–51.
ICEISICEIS-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.
ICEISICEIS-HCI-2007-BimonteTMF #metric #visualisation
Supporting Geographical Measures through a New Visualization Metaphor in Spatial OLAP (SB, AT, SDM, FF), pp. 19–26.
ICEISICEIS-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.
ICEISICEIS-HCI-2007-WerdaMH #approach #interactive
A New LIP-Reading Approach for Human Computer Interaction (SW, WM, ABH), pp. 27–36.
ICEISICEIS-SAIC-2007-DandashWLS #detection #internet
A New Group Key Management Structure for Fraudulent Internet Banking Payments Detection (OD, YW, PDL, BS), pp. 57–62.
ICMLICML-2007-MnihH #modelling #statistics #visual notation
Three new graphical models for statistical language modelling (AM, GEH), pp. 641–648.
KDDKDD-2007-Fayyad #internet #mining #web
From mining the web to inventing the new sciences underlying the internet (UMF), pp. 2–3.
MLDMMLDM-2007-CuiL #sequence
A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
RecSysRecSys-2007-NguyenDB #induction #recommendation #rule-based
Improving new user recommendations with rule-based induction on cold user data (ATN, ND, CB), pp. 121–128.
SEKESEKE-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.
SIGIRSIGIR-2007-CustisA #approach #query
A new approach for evaluating query expansion: query-document term mismatch (TC, KAK), pp. 575–582.
SIGIRSIGIR-2007-Lee #probability
IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model (LL), pp. 751–752.
SIGIRSIGIR-2007-SevillanoAS #clustering #named
BordaConsensus: a new consensus function for soft cluster ensembles (XS, FA, JCS), pp. 743–744.
SIGIRSIGIR-2007-Wan #clustering #documentation #evaluation #named #using
OMES: a new evaluation strategy using optimal matching for document clustering (XW), pp. 693–694.
SIGIRSIGIR-2007-ZhangZW #detection
New event detection based on indexing-tree and named entity (KZ, JZ, LGW), pp. 215–222.
SACSAC-2007-SatzgerPTU #adaptation #detection #distributed
A new adaptive accrual failure detector for dependable distributed systems (BS, AP, WT, TU), pp. 551–555.
SACSAC-2007-VogelerGB #documentation #tool support #xml
New specialist tools for medieval document XML markup (GV, SG, BB), pp. 594–599.
ESEC-FSEESEC-FSE-2007-EvansS #approach #detection #difference #testing
Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.
SPLCSPLC-2007-Krueger #generative #product line
The 3-Tiered Methodology: Pragmatic Insights from New Generation Software Product Lines (CWK), pp. 97–106.
CCCC-2007-FiremanPZ #algorithm
New Algorithms for SIMD Alignment (LF, EP, AZ), pp. 1–15.
CCCC-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.
LCTESLCTES-2007-XuT #named
Tetris: a new register pressure control technique for VLIW processors (WX, RT), pp. 113–122.
SOSPSOSP-2007-AguileraMSVK #distributed #named #paradigm #scalability
Sinfonia: a new paradigm for building scalable distributed systems (MKA, AM, MAS, ACV, CTK), pp. 159–174.
ISSTAISSTA-2007-ChangPY #approach #what
Finding what’s not there: a new approach to revealing neglected conditions in software (RYC, AP, JY), pp. 163–173.
LICSLICS-2007-RanzatoT #algorithm #equivalence #performance #simulation
A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
ICSTSAT-2007-HerasLO #named #satisfiability
MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.
FATESTestCom-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.
FATESTestCom-FATES-2007-DesmoulinV #generative #testing
A New Method for Interoperability Test Generation (AD, CV), pp. 58–73.
QoSAQoSA-2006-CorryHS #architecture
Traveling Architects — A New Way of Herding Cats (AVC, KMH, DS), pp. 111–126.
ASEASE-2006-HanakawaI #ajax #web
A new web browser including a transferable function to Ajax codes (NH, NI), pp. 351–352.
ASEASE-2006-Maurer #assembly
The Rearranger — A New Assembler Utility (WDM), pp. 357–358.
CASECASE-2006-LiHZ #algorithm #multi
A New Data Association Algorithm for Multiple Passive Sensors (CL, CH, HZ), pp. 594–599.
CASECASE-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.
CASECASE-2006-YanFLLZZTY #automation
A new automatic cooking machine for Chinese dishes (WXY, ZF, YHL, RQL, YZZ, XYZ, JHT, PY), pp. 534–539.
DACDAC-2006-ChoP #named
BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.
DACDAC-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.
DACDAC-2006-LuoNP #design #incremental #performance
A new LP based incremental timing driven placement for high performance designs (TL, DN, DZP), pp. 1115–1120.
DACDAC-2006-RadT #clustering #hybrid
A new hybrid FPGA with nanoscale clusters and CMOS routing (RMR, MT), pp. 727–730.
DATEDATE-2006-JerinicLHM #functional #metric #verification
New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.
DATEDATE-DF-2006-CampobelloCCM #network
GALS networks on chip: a new solution for asynchronous delay-insensitive links (GC, MC, CC, DM), pp. 160–165.
DATEDATE-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.
DocEngDocEng-2006-Moore #documentation
Every page is different: a new document type for commercial printing (KM), p. 2.
DRRDRR-2006-WangDLL #authentication #documentation
A new document authentication method by embedding deformation characters (XW, XD, HL, CL).
SIGMODSIGMOD-2006-Gutmans #named #paradigm #php #web
PHP: supporting the new paradigm of situational and composite web applications (AG), p. 707.
VLDBVLDB-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.
VLDBVLDB-2006-MokbelCA #privacy #query
The New Casper: Query Processing for Location Services without Compromising Privacy (MFM, CYC, WGA), pp. 763–774.
VLDBVLDB-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.
ITiCSEITiCSE-2006-WirthB #algorithm #research #student
New algorithms research for first year students (AW, MB), pp. 128–132.
TACASTACAS-2006-SiminiceanuC #diagrams #metric
New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
STOCSTOC-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.
STOCSTOC-2006-AroraC #approximate
New approximation guarantee for chromatic number (SA, EC), pp. 215–224.
STOCSTOC-2006-RoughgardenS #trade-off
New trade-offs in cost-sharing mechanisms (TR, MS), pp. 79–88.
STOCSTOC-2006-Zhang #bound #quantum #random
New upper and lower bounds for randomized and quantum local search (SZ), pp. 634–643.
DLTDLT-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.
ICALPICALP-v1-2006-AulettaPPPV #verification
New Constructions of Mechanisms with Verification (VA, RDP, PP, GP, CV), pp. 596–607.
ICALPICALP-v1-2006-Bille #algorithm #regular expression
New Algorithms for Regular Expression Matching (PB), pp. 643–654.
ICALPICALP-v2-2006-Vergnaud #verification
New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures (DV), pp. 58–69.
FMFM-2006-Stephan #formal method #lightweight #plugin #security
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
ICGTICGT-2006-Lins #algorithm
New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.
CHICHI-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.
CHICHI-2006-GongT #evaluation #fault #metric
A new error metric for text entry method evaluation (JG, PT), pp. 471–474.
CHICHI-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.
CHICHI-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.
ICEISICEIS-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.
ICEISICEIS-DISI-2006-DingGJH #approach #modelling #transaction
A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.
ICEISICEIS-ISAS-2006-LewandowskiB #development #framework #process
A New Framework for the Support of Software Development Cooperative Activities (AL, GB), pp. 36–43.
CIKMCIKM-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.
CIKMCIKM-2006-MokhtaripourJ
Introduction to a new Farsi stemmer (AM, SJ), pp. 826–827.
CIKMCIKM-2006-TatikondaPK #algorithm #mining
TRIPS and TIDES: new algorithms for tree mining (ST, SP, TMK), pp. 455–464.
ECIRECIR-2006-Hawking #enterprise #future of #question
Enterprise Search — The New Frontier? (DH), p. 12.
ICMLICML-2006-AzranG #approach #clustering #data-driven
A new approach to data driven clustering (AA, ZG), pp. 57–64.
ICPRICPR-v1-2006-CaoN
New RHT-Based Ellipsoid Recovery Method (CKC, TSN), pp. 622–625.
ICPRICPR-v1-2006-ChenC #multi #performance #quality
New Efficient Octree Construction from Multiple Object Silhouettes with Construction Quality Control (ZC, HLC), pp. 127–130.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v1-2006-LuM #constraints
A New Structural Constraint and its Application in Wide Baseline Matching (XL, RM), pp. 84–89.
ICPRICPR-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.
ICPRICPR-v1-2006-SkelleyFSH #database
Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
ICPRICPR-v1-2006-WuMLC #segmentation
A New Method of Object Segmentation in the Basketball Videos (LW, XM, XL, SC), pp. 319–322.
ICPRICPR-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.
ICPRICPR-v2-2006-ChenS #graph #verification
A New Off-line Signature Verification Method based on Graph (SC, SNS), pp. 869–872.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2006-SaraM #invariant #named #recognition #towards
FAIR: Towards A New Feature for Affinely-Invariant Recognition (RS, MM), pp. 412–416.
ICPRICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using
A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
ICPRICPR-v2-2006-ZhangR #incremental #learning
A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.
ICPRICPR-v2-2006-ZhengZ #2d #3d #framework #metric #similarity
A Unifying MAP-MRF Framework for Deriving New Point Similarity Measures for Intensity-based 2D-3D Registration (GZ, XZ), pp. 1181–1185.
ICPRICPR-v3-2006-AmorAC #3d #authentication #recognition
New Experiments on ICP-Based 3D Face Recognition and Authentication (BBA, MA, LC), pp. 1195–1199.
ICPRICPR-v3-2006-ArcelliBS #3d #set
A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.
ICPRICPR-v3-2006-ChenY06a #adaptation #equation #image
A new adaptive diffusion equation for image noise removal and feature preservation (SC, XY), pp. 885–888.
ICPRICPR-v3-2006-KananFE #locality #performance #recognition #using
An Efficient Face Recognition System Using a New Optimized Localization Method (HRK, KF, ME), pp. 564–567.
ICPRICPR-v3-2006-PengWT #image #performance
A New Efficient SVM-based Image Registration Method (DP, DW, JWT), pp. 782–785.
ICPRICPR-v3-2006-SalmonDW #detection
A new method to detect arcs and segments from curvature profiles (JPS, IDR, LW), pp. 387–390.
ICPRICPR-v3-2006-WangHWH #approach #image
A New Approach for Fractal Image Compression on a Virtual Hexagonal Structure (HW, XH, QW, TH), pp. 909–912.
ICPRICPR-v4-2006-AreekulSJ #algorithm #locality
The New Focal Point Localization Algorithm for Fingerprint Registration (VA, KS, SJ), pp. 497–500.
ICPRICPR-v4-2006-DuB #image #segmentation
A New Hierarchical Image Segmentation Method (XD, TDB), pp. 108–112.
ICPRICPR-v4-2006-KoSB #random
A New Objective Function for Ensemble Selection in Random Subspaces (AHRK, RS, AdSBJ), pp. 185–188.
ICPRICPR-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.
ICPRICPR-v4-2006-LiuXYD #hybrid #verification
A New Hybrid GMM/SVM for Speaker Verification (ML, YX, ZY, BD), pp. 314–317.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v4-2006-VandeportaeleCMG #linear
A New Linear Calibration Method for Paracatadioptric Cameras (BV, MC, PM, PG), pp. 647–651.
ICPRICPR-v4-2006-YuC06a #segmentation #statistics #using
Filament Preserving Segmentation for SAR Sea Ice Imagery Using a New Statistical Model (QY, DAC), pp. 849–852.
ICPRICPR-v4-2006-YuI #approach #named #semantics
Spatial-HMM: A new approach for Semantic Annotation of Histological (FY, HHSI), pp. 663–666.
KDDKDD-2006-HashimotoAUKM #mining #order #performance #probability
A new efficient probabilistic model for mining labeled ordered trees (KH, KFAK, NU, MK, HM), pp. 177–186.
KDDKDD-2006-LateckiSL
New EM derived from Kullback-Leibler divergence (LJL, MS, RL), pp. 267–276.
KDDKDD-2006-MeruguRP #approach #estimation #multi
A new multi-view regression approach with an application to customer wallet estimation (SM, SR, CP), pp. 656–661.
KDDKDD-2006-Moore #algorithm #statistics
New cached-sufficient statistics algorithms for quickly answering statistical questions (AM), p. 2.
KRKR-2006-WachterH #graph #representation
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.
SEKESEKE-2006-HuangC06a #nondeterminism #rule-based
A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
SEKESEKE-2006-NieXSW #generative #heuristic #testing
A New Heuristic for Test Suite Generation for Pair-wise Testing (CN, BX, LS, ZW), pp. 517–521.
SIGIRSIGIR-2006-DiaoS #summary #web
A new web page summarization method (QD, JS), pp. 639–640.
SACSAC-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.
SACSAC-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.
SACSAC-2006-NevesCFB #knowledge base
A new table interpretation methodology with little knowledge base: table interpretation methodology (LAPN, JMdC, JF, FB), pp. 847–852.
SACSAC-2006-RuttiWS #abstraction #implementation #interface #protocol
Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.
SACSAC-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.
SACSAC-2006-ZytnickiGS #consistency #csp
A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
FSEFSE-2006-GulavaniHKNR #algorithm #named
SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
ICSEICSE-2006-Ruthruff #paradigm #program analysis
Experimental program analysis: a new paradigm for program analysis (JRR), pp. 977–980.
ICSEICSE-2006-Zhao #analysis #approach #testing
A new approach for software testability analysis (LZ), pp. 985–988.
SPLCSPLC-2006-Krueger #development #product line
New Methods in Software Product Line Development (CWK), pp. 95–102.
SPLCSPLC-2006-Krueger06a #generative #named #product line #tutorial
Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories (CWK), p. 216.
ASPLOSASPLOS-2006-KawahitoKMIN #framework #recognition
A new idiom recognition framework for exploiting hardware-assist instructions (MK, HK, TM, HI, TN), pp. 382–393.
HPCAHPCA-2006-Shaw #architecture #biology
New architectures for a new biology (DES), p. 4.
HPDCHPDC-2006-OrtizJM #data transformation #towards
Toward a New Direction on Data Management in Grids (AO, JJ, AM), pp. 377–378.
CAVCAV-2006-WulfDHR #algorithm #anti #automaton #finite #named
Antichains: A New Algorithm for Checking Universality of Finite Automata (MDW, LD, TAH, JFR), pp. 17–30.
ISSTAISSTA-2006-RuthruffER #paradigm #program analysis
Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
WICSAWICSA-2005-LiLC #architecture #reliability
Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
CASECASE-2005-PanSY #approach #optimisation #problem
A new optimization approach to the general single machine earliness-tardiness problem (YP, LS, HY), pp. 43–48.
DACDAC-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.
DACDAC-2005-BrennerS #algorithm #performance
Faster and better global placement by a new transportation algorithm (UB, MS), pp. 591–596.
DACDAC-2005-CoburnRR #estimation #paradigm
Power emulation: a new paradigm for power estimation (JC, SR, AR), pp. 700–705.
DACDAC-2005-LiuCO #approximate #design #multi
Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design (YL, SC, WTO), pp. 248–253.
DACDAC-2005-VolkerinkM #architecture #using
Response compaction with any number of unknowns using a new LFSR architecture (EHV, SM), pp. 117–122.
DATEDATE-2005-BodeanBL #ram #self
New Schemes for Self-Testing RAM (GB, DB, AL), pp. 858–859.
DATEDATE-2005-Brinkmeyer #approach #component #testing
A New Approach to Component Testing (HB), pp. 534–535.
DATEDATE-2005-Campagnolo #detection #generative
eMICAM a New Generation of Active DNA Chip with in Situ Electrochemical Detection (RC), pp. 1338–1339.
DATEDATE-2005-CasuM #design #pipes and filters
A New System Design Methodology for Wire Pipelined SoC (MRC, LM), pp. 944–945.
DATEDATE-2005-ChakrabortyT #analysis #scheduling #streaming
A New Task Model for Streaming Applications and Its Schedulability Analysis (SC, LT), pp. 486–491.
DATEDATE-2005-Conti #analysis #architecture #power management
SystemC Analysis of a New Dynamic Power Management Architectur (MC), pp. 177–178.
DATEDATE-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.
DATEDATE-2005-LopezPN #embedded #metric
A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
DATEDATE-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.
DocEngDocEng-2005-AvilaLO #algorithm #image
A new rotation algorithm for monochromatic images (BTÁ, RDL, LO), pp. 130–132.
DRRDRR-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.
DRRDRR-2005-SadriSB #approach #recognition #segmentation #string
New approach for segmentation and recognition of handwritten numeral strings (JS, CYS, TDB), pp. 92–100.
DRRDRR-2005-WangDJH #recognition #statistics
New statistical method for machine-printed Arabic character recognition (HW, XD, JJ, MH), pp. 127–135.
ICDARICDAR-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.
ICDARICDAR-2005-KangG #ranking #recognition
A New Feature Ranking Method in a HMM-Based Handwriting Recognition System (SK, VG), pp. 779–783.
ICDARICDAR-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.
ICDARICDAR-2005-WangC #classification #using
A Hierarchical Classifier Using New Support Vector Machine (YCFW, DC), pp. 851–855.
ICDARICDAR-2005-YangYS
A New Method of Recognizing Chinese Fonts (ZY, LY, CYS), pp. 962–966.
PODSPODS-2005-Gottlob #algorithm
Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.
CSEETCSEET-2005-Cowling #approach #diagrams #formal method
Translating Diagrams: A New Approach to Introducing Formal Methods (AJC), pp. 121–128.
ITiCSEITiCSE-2005-Cardoso #challenge #education
New challenges in computer science education (JMPC), pp. 203–207.
ITiCSEITiCSE-2005-FossumH #assessment #source code
A new quantitative assessment tool for computer science programs (TVF, SMH), pp. 153–157.
ITiCSEITiCSE-2005-SweedykK #game studies #re-engineering
Fun and games: a new software engineering course (ES, RMK), pp. 138–142.
WRLAWRLA-2004-DuranEL05 #evaluation #maude
New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
ESOPESOP-2005-RanganathABDH #slicing
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
TACASTACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis
A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.
ICSMEICSM-IT-2005-BhawnaniR #evolution #maintenance #named
ReleasePlanner — Planning new Releases for Software Maintenance and Evolution (PB, GR), pp. 73–76.
PASTEPASTE-2005-CookO #component #deployment #named
MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.
SCAMSCAM-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.
STOCSTOC-2005-BarakKSSW #graph #independence #simulation
Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors (BB, GK, RS, BS, AW), pp. 1–10.
STOCSTOC-2005-CicaleseL #query
A new strategy for querying priced information (FC, ESL), pp. 674–683.
STOCSTOC-2005-PassR #encryption #protocol
New and improved constructions of non-malleable cryptographic protocols (RP, AR), pp. 533–542.
DLTDLT-2005-BorelR #word
Some New Results on Palindromic Factors of Billiard Words (JPB, CR), pp. 180–188.
ICALPICALP-2005-EisenbrandGOS #design #network
New Approaches for Virtual Private Network Design (FE, FG, GO, MS), pp. 1151–1162.
ICALPICALP-2005-LipmaaWB #security #verification
Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction (HL, GW, FB), pp. 459–471.
SEFMSEFM-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.
AdaEuropeAdaEurope-2005-BordinV #ada
A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.
AdaEuropeAdaEurope-2005-RivasMH #ada #policy #scheduling
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
ICEISICEIS-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.
ICEISICEIS-v3-2005-NandiK #adaptation #component #integration
Adaptive Business Objects — A new Component Model for Business Integration (PN, SK), pp. 179–188.
ICEISICEIS-v4-2005-SongLN #database #mobile
A new Model for Database Service Discovery in Mobile Agent System (LS, XL, JN), pp. 214–219.
CIKMCIKM-2005-HuangLH #approach #distributed #mining #permutation
A new permutation approach for distributed association rule mining (YH, ZL, HH), pp. 351–352.
CIKMCIKM-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.
CIKMCIKM-2005-Shneiderman
Leonardo’s laptop: human needs and the new computing technologies (BS), p. 1.
CIKMCIKM-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.
ECIRECIR-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.
ICMLICML-2005-ChuK
New approaches to support vector ordinal regression (WC, SSK), pp. 145–152.
ICMLICML-2005-SilvaS #identification #learning #modelling
New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.
ICMLICML-2005-WangS #classification #kernel
New kernels for protein structural motif discovery and function classification (CW, SDS), pp. 940–947.
ICMLICML-2005-ZhouLZ #clustering #distance #metric
A new Mallows distance based metric for comparing clusterings (DZ, JL, HZ), pp. 1028–1035.
KDDKDD-2005-ZhangWZ #classification #privacy
A new scheme on privacy-preserving data classification (NZ, SW, WZ), pp. 374–383.
LSOLSO-2005-DedeneSBL #generative #web #web service
New generation E-Learning technology by Web Services (GD, MS, MDB, WL), pp. 77–81.
MLDMMLDM-2005-Bak #classification #linear #multi
A New Multidimensional Feature Transformation for Linear Classifiers and Its Applications (EB), pp. 275–284.
MLDMMLDM-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.
SEKESEKE-2005-Lee
Managed P2P — New Channel of Digital Media (JL), p. 788.
SIGIRSIGIR-2005-Flores #challenge #future of #information retrieval #question
The future of media, blogs and innovation: new IR challenges? (FF), p. 218.
ECMFAECMDA-FA-2005-Bloomfield #industrial #metamodelling #model transformation
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.
MODELSMoDELS-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.
MODELSMoDELS-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.
PPDPPPDP-2005-Gabbay #calculus
A new calculus of contexts (MG), pp. 94–105.
RERE-2005-Corniou #challenge #information management #policy
The Role of Information Systems within Corporate Strategy and Management Policies: New Challenges (JPC), p. 4.
SACSAC-2005-BartakR
Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.
SACSAC-2005-ChenA #analysis #approach #comparative #predict #sequence #using
A new approach for gene prediction using comparative sequence analysis (RC, HHA), pp. 177–184.
SACSAC-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-FSEESEC-FSE-2005-McCloskeyB #approach #c #named #refactoring
ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.
SPLCSPLC-2005-EtxeberriaM #architecture #evaluation #product line
Product-Line Architecture: New Issues for Evaluation (LE, GSM), pp. 174–185.
HPCAHPCA-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.
HPDCHPDC-2005-EnglandWS #metric #robust #scheduling
A new metric for robustness with application to job scheduling (DE, JBW, JS), pp. 135–143.
HPDCHPDC-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.
ICLPICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
ICSTSAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set
A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
ICSTSAT-2005-WeiS #approach
A New Approach to Model Counting (WW, BS), pp. 324–339.
DACDAC-2004-CasuM #approach #design #latency
A new approach to latency insensitive design (MRC, LM), pp. 576–581.
DACDAC-2004-Kerntopf #algorithm #heuristic #logic #synthesis
A new heuristic algorithm for reversible logic synthesis (PK), pp. 834–837.
DACDAC-2004-ParkCYC #power management #testing
A new state assignment technique for testing and low power (SP, SC, SY, MJC), pp. 510–513.
DACDAC-2004-RaviKLMR #design #embedded #security
Security as a new dimension in embedded system design (SR, PCK, RBL, GM, AR), pp. 753–760.
DATEDATE-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.
DATEDATE-v1-2004-HounsellT #embedded #synthesis
Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration (BIH, RT), pp. 682–683.
DATEDATE-v1-2004-PerezMT #scheduling #using
A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling (DGP, GM, OT), pp. 552–557.
DATEDATE-v2-2004-HsiehH #design #effectiveness
A New Effective Congestion Model in Floorplan Design (YLH, TMH), pp. 1204–1209.
DATEDATE-v2-2004-JabirP #diagrams #multi #named #representation
MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.
DATEDATE-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.
DATEDATE-v2-2004-SogomonyanMOG #self
A New Self-Checking Sum-Bit Duplicated Carry-Select Adder (ESS, DM, VO, MG), pp. 1360–1361.
DocEngDocEng-2004-SilvaRSM #composition #concept #xml
NCL 2.0: integrating new concepts to XML modular languages (HVOS, RFR, LFGS, DCMS), pp. 188–197.
DRRDRR-2004-WangD04a #multi #statistics
New statistical method for multifont printed Tibetan/English OCR (HW, XD), pp. 155–165.
HTHT-2004-Gillmor
We the media: technology empowers a new grassroots journalism (DG), pp. 270–271.
VLDBVLDB-2004-Ailamaki #architecture #database #hardware
Database Architecture for New Hardware (AA), p. 1241.
VLDBVLDB-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.
ITiCSEITiCSE-WGR-2004-Campbell #assurance #security
IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
ICSMEICSM-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.
STOCSTOC-2004-ChuzhoyN #scheduling
New hardness results for congestion minimization and machine scheduling (JC, JN), pp. 28–34.
STOCSTOC-2004-HolmerinK #equation #linear #verification
A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
STOCSTOC-2004-PrabhakaranS #security
New notions of security: achieving universal composability without trusted setup (MP, AS), pp. 242–251.
STOCSTOC-2004-RozenmanSW #product line
A new family of Cayley expanders (?) (ER, AS, AW), pp. 445–454.
DLTDLT-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.
DLTDLT-2004-DowneyM #complexity
Some New Directions and Questions in Parameterized Complexity (RGD, CM), pp. 12–26.
ICALPICALP-2004-Fleischer #algorithm #bound #linear #network
Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks (LF), pp. 544–554.
ICALPICALP-2004-Williams #algorithm #constraints
A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.
CHICHI-2004-Cornett #design #game studies #multi #online #usability
The usability of massively multiplayer online roleplaying games: designing for new users (SC), pp. 703–710.
CHICHI-2004-PaekDL #internet #named
WaveLens: a new view onto Internet search results (TP, STD, RL), pp. 727–734.
CSCWCSCW-2004-DaveWM #navigation #online #scalability
Flash forums and forumReader: navigating a new kind of large-scale online discussion (KD, MW, MJM), pp. 232–241.
ICEISICEIS-v1-2004-El-SonbatyK #algorithm #incremental #mining #performance
New Fast Algorithm for Incremental Mining of Association Rules (YES, RK), pp. 275–281.
ICEISICEIS-v1-2004-MoraECGG
A/D Case: A New Heart for FD3 (AM, ME, PC, IPdG, JG), pp. 482–490.
ICEISICEIS-v2-2004-DangerRB #approach #mining #named
Objectminer: A New Approach for Mining Complex Objects (RD, JRS, RBL), pp. 42–47.
ICEISICEIS-v2-2004-Feoktistov #difference #evolution
New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2004-BonatoG
A New Model to Manage IDS Alerts (MAB, WGJ), pp. 601–604.
ICEISICEIS-v3-2004-KaletasAH
A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
ICEISICEIS-v3-2004-YongzhengX #taxonomy
A New Vulnerability Taxonomy Based on Privilege Escalation (YZ, XcY), pp. 596–600.
ICEISICEIS-v5-2004-LiongosariGS #generative #library #research
A New Generation of Digital Library to Support Drug Discovery Research (ESL, AG, MS), pp. 301–306.
ICPRICPR-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.
ICPRICPR-v1-2004-Martin-MerinoM #algorithm #visualisation
A New Sammon Algorithm for Sparse Data Visualization (MMM, AM), pp. 477–481.
ICPRICPR-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.
ICPRICPR-v2-2004-Kazanov #algorithm #image #segmentation
A New Color Image Segmentation Algorithm based on Watershed Transformation (MK), pp. 590–593.
ICPRICPR-v2-2004-RayBP #algorithm #problem #search-based
New Operators of Genetic Algorithms for Traveling Salesman Problem (SSR, SB, SKP), pp. 497–500.
ICPRICPR-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.
ICPRICPR-v3-2004-ChenYC #distance #multi #recognition
Inter-Subspace Distance: A New Method for Face Recognition with Multiple Samples (JHC, SLY, CSC), pp. 140–143.
ICPRICPR-v3-2004-HuangWTC #recognition #segmentation
A New Iris Segmentation Method for Recognition (JH, YW, TT, JC), pp. 554–557.
ICPRICPR-v3-2004-KovalevK #quantifier
A New Method for Quantification of Age-Related Brain Changes (VAK, FK), pp. 770–773.
ICPRICPR-v3-2004-LiMH
New Method for Sparse Point-Sets Matching with Underlying Non-Rigidity (BL, QM, HH), pp. 8–11.
ICPRICPR-v4-2004-FrancoLM #approach #feedback
A New Approach for Relevance Feedback Through Positive and Negative Samples (AF, AL, DM), pp. 905–908.
ICPRICPR-v4-2004-HabedB #approach #constraints #self
Camera Self-Calibration: A New Approach for Solving the Modulus Constraint (AH, BB), pp. 116–119.
ICPRICPR-v4-2004-Moreno-SecoMO #classification #nearest neighbour #rule-based
A New Classification Rule based on Nearest Neighbour Search (FMS, LM, JO), pp. 408–411.
ICPRICPR-v4-2004-PagesSF
A New Optimised De Bruijn Coding Strategy for Structured Light Patterns (JP, JS, JF), pp. 284–287.
ICPRICPR-v4-2004-PoonWS
A New Method in Locating and Segmenting Palmprint into Region-of-Interest (CP, DCMW, HCS), pp. 533–536.
ICPRICPR-v4-2004-ReddyS #estimation #predict
A New Predictive Full-Search Block Motion Estimation (VSKR, SS), pp. 721–724.
ICPRICPR-v4-2004-Richard #approach #consistency #difference #image
A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2004-GilburdSW #distributed #named #privacy #scalability
k-TTP: a new privacy model for large-scale distributed environments (BG, AS, RW), pp. 563–568.
SIGIRSIGIR-2004-KumaranA #classification #detection
Text classification and named entities for new event detection (GK, JA), pp. 297–304.
SIGIRSIGIR-2004-LamHC #learning #mining #similarity
Learning phonetic similarity for matching named entity translations and mining new translations (WL, RH, PSC), pp. 289–296.
TOOLSTOOLS-USA-2003-BadriB04 #empirical
A Proposal of a New Class Cohesion Criterion: An Empirical Study (LB, MB), pp. 145–159.
PPDPPPDP-2004-MarinM #lazy evaluation
New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
SACSAC-2004-AvilaL #algorithm #documentation
A new algorithm for removing noisy borders from monochromatic documents (BTÁ, RDL), pp. 1219–1225.
SACSAC-2004-Chen #algorithm #transitive
A new algorithm for computing transitive closures (YC), pp. 1091–1092.
SACSAC-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.
SACSAC-2004-Guo #algorithm #clustering #evaluation #framework #functional
A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
SACSAC-2004-HeZ
A new signature scheme: joint-signature (LSH, NZ), pp. 807–812.
SACSAC-2004-JoCC #approach #modelling
A new approach to the BDI agent-based modeling (CHJ, GC, JC), pp. 1541–1545.
SACSAC-2004-Masero #health
New ICT applications in health care (VM), pp. 241–242.
SACSAC-2004-OrlandoPS #algorithm #mining #sequence
A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.
ICSEICSE-2004-BustardHS #named #re-engineering #research
BoF: New Directions in UK Software Engineering Research (DWB, MH, IS), pp. 693–694.
ICSEICSE-2004-Mantyla #design #quality
Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations (MM), pp. 48–50.
LCTESLCTES-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.
CAVCAV-2004-BarrettB #implementation
CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
CSLCSL-2004-Maier #liveness #ltl #safety
Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
IJCARIJCAR-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.
ASEASE-2003-GuptaH #detection #invariant #test coverage
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
DACDAC-2003-MishchenkoWK #algorithm #composition
A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.
DACDAC-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.
DATEDATE-2003-ChoiR #logic
A New Crosstalk Noise Model for DOMINO Logic Circuits (SHC, KR), pp. 11112–11113.
DATEDATE-2003-GouraryRUZM #analysis #simulation
A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.
DATEDATE-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.
DATEDATE-2003-MaciiMCZ #algorithm #embedded #energy
A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors (AM, EM, FC, RZ), pp. 10024–10029.
DATEDATE-2003-PomeranzR #approach #generative #testing
A New Approach to Test Generation and Test Compaction for Scan Circuits (IP, SMR), pp. 11000–11005.
DATEDATE-2003-RaghunathanRHQ #challenge #design #mobile
Securing Mobile Appliances: New Challenges for the System Designer (AR, SR, SH, JJQ), pp. 10176–10183.
DATEDATE-2003-TanRJ #approach #architecture #embedded #energy
Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
ICDARICDAR-2003-DawoudK #approach #image
New Approach for the Skeletonization of Handwritten Characters in Gray-Level Images (AD, MK), pp. 1233–1237.
ICDARICDAR-2003-GrecoILSS
Bank-check Processing System: Modifications Due to the New European Currency (NG, DI, MGL, AS, LS), pp. 343–348.
ICDARICDAR-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.
ICDARICDAR-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–?.
ICDARICDAR-2003-ZouariHLA #classification #parallel
A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
SIGMODSIGMOD-2003-PadmanabhanBMCH #clustering #layout #multi
Multi-Dimensional Clustering: A New Data Layout Scheme in DB2 (SP, BB, TM, LC, MH), pp. 637–641.
TACASTACAS-2003-BDSV #analysis #encryption #information management #protocol #representation
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (ICB, LD, RS, AV), pp. 284–298.
STOCSTOC-2003-DemetrescuI #approach
A new approach to dynamic all pairs shortest paths (CD, GFI), pp. 159–166.
STOCSTOC-2003-DinurGKR #multi
A new multilayered PCP and the hardness of hypergraph vertex cover (ID, VG, SK, OR), pp. 595–601.
STOCSTOC-2003-ODonnellS #bound #polynomial
New degree bounds for polynomial threshold functions (RO, RAS), pp. 325–334.
STOCSTOC-2003-Regev #encryption
New lattice based cryptographic constructions (OR), pp. 407–416.
CIAACIAA-2003-KempeBGGN #compilation #finite #named
WFSC — A New Weighted Finite State Compiler (AK, CB, TG, FG, FN), pp. 108–119.
CIAACIAA-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.
CHICHI-2003-KitamuraYHKK #tool support
Things happening in the brain while humans learn to use new tools (YK, YY, HI, FK, MK), pp. 417–424.
CHICHI-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.
SOFTVISSOFTVIS-2003-GutwengerJKKLM #approach #diagrams #uml #visualisation
A New Approach for Visualizing UML Class Diagrams (CG, MJ, KK, JK, SL, PM), pp. 179–188.
AdaEuropeAdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
ICEISICEIS-v2-2003-PetitP #approach #data mining #mining
A New Approach of Data Mining: The Meta Projectories (CP, SP), pp. 515–518.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v4-2003-CostaOS #multi
A New User-Oriented Model to Manage Multiple Digital Credentials (CMAC, JLO, AS), pp. 190–196.
ICMLICML-2003-MooreW #learning #network
Optimal Reinsertion: A New Search Operator for Accelerated and More Accurate Bayesian Network Structure Learning (AWM, WKW), pp. 552–559.
ICMLICML-2003-WuS #optimisation
New í-Support Vector Machines and their Sequential Minimal Optimization (XW, RKS), pp. 824–831.
KDDKDD-2003-Gray #online #prototype
On-line science: the world-wide telescope as a prototype for the new computational science (JG), p. 3.
KDDKDD-2003-PeterCG #algorithm #clustering #dataset #scalability
New unsupervised clustering algorithm for large datasets (WP, JC, CG), pp. 643–648.
SIGIRSIGIR-2003-BrantsC #detection
A System for new event detection (TB, FC), pp. 330–337.
UMLUML-2003-BackBLMP #empirical
A Workbench to Experiment on New Model Engineering Applications (RJB, DB, JL, LM, IP), pp. 96–100.
POPLPOPL-2003-Chakaravarthy #analysis #complexity
New results on the computability and complexity of points — to analysis (VTC), pp. 115–125.
SACSAC-2003-FernandezCGPC #algorithm #multi
A New Cache Management Algorithm for Multimedia Storage Systems (JF, JC, FG, JMP, AC), pp. 956–960.
SACSAC-2003-LiZO #data mining #distributed #mining #modelling #similarity
A New Distributed Data Mining Model Based on Similarity (TL, SZ, MO), pp. 432–436.
SACSAC-2003-MenezesT #approach #scalability
A New Approach to Scalable Linda-systems Based on Swarms (RM, RT), pp. 375–379.
ICSEICSE-2003-AbrahamssonWSR #agile #analysis #comparative
New Directions on Agile Methods: A Comparative Analysis (PA, JW, MTS, JR), pp. 244–254.
CCCC-2003-Danvy #monad #normalisation
A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.
CADECADE-2003-GaillourdetHLS
The New WALDMEISTER Loop at Work (JMG, TH, BL, HS), pp. 317–321.
ICLPICLP-2003-GuoG
A New Mode Declaration for Tabled Predicates (HFG, GG), pp. 485–486.
LICSLICS-2003-GanzingerK #proving #theorem proving
New Directions in Instantiation-Based Theorem Proving (HG, KK), pp. 55–64.
LICSLICS-2003-Kopylov #type system
Dependent Intersection: A New Way of Defining Records in Type Theory (AK), pp. 86–95.
LICSLICS-2003-PitermanV #decidability #future of #stack
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (NP, MYV), p. 381–?.
RTARTA-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.
DACDAC-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.
DACDAC-2002-LeeKK #named #verification
VeriCDF: a new verification methodology for charged device failures (JL, KWK, SMK), pp. 874–879.
DATEDATE-2002-BerrojoGCRSEL #injection
New Techniques for Speeding-Up Fault-Injection Campaigns (LB, IG, FC, MSR, GS, LE, CL), pp. 847–852.
DATEDATE-2002-Borel
European CAD from the 60’s to the New Millenium (JB), p. 992.
DATEDATE-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.
DATEDATE-2002-Kania #approach #multi #using
Improved Technology Mapping for PAL-Based Devices Using a New Approach to Multi-Output Boolean Functions (DK), p. 1087.
DATEDATE-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.
DATEDATE-2002-LeeLFCH #problem
A New Formulation for SOC Floorplan Area Minimization Problem (CHL, YCL, WYF, CCC, TMH), p. 1100.
DATEDATE-2002-MicheliB #design #network #paradigm
Networks on Chip: A New Paradigm for Systems on Chip Design (GDM, LB), pp. 418–419.
DATEDATE-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.
SIGMODSIGMOD-2002-JosifovskiSHL #named #query
Garlic: a new flavor of federated query processing for DB2 (VJ, PMS, LMH, ETL), pp. 524–532.
VLDBVLDB-2002-CarneyCCCLSSTZ #data transformation #monitoring
Monitoring Streams — A New Class of Data Management Applications (DC, , MC, CC, SL, GS, MS, NT, SBZ), pp. 215–226.
VLDBVLDB-2002-GotoK #database #mobile #using
A New Passenger Support System for Public Transport using Mobile Database Access (KG, YK), pp. 908–919.
CSEETCSEET-2002-FullerCD #approach #case study #education #risk management
A New Approach to Teaching Software Risk Management with Case Studies (AF, PRC, LD), p. 215–?.
TACASTACAS-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.
TACASTACAS-2002-Jackson #alloy #modelling #named
Alloy: A New Technology for Software Modelling (DJ), p. 20.
CSMRCSMR-2002-Favre #approach
A New Approach to Software Exploration: Back-Packing with GSEE (JMF), p. 251–?.
PEPMASIA-PEPM-2002-IwamaK #type system #virtual machine
A new type system for JVM lock primitives (FI, NK), pp. 71–82.
STOCSTOC-2002-EiterGM #generative
New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
STOCSTOC-2002-GuruswamiI #linear
Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets (VG, PI), pp. 812–821.
STOCSTOC-2002-JainMS #approach #problem
A new greedy approach for facility location problems (KJ, MM, AS), pp. 731–740.
STOCSTOC-2002-ScharbrodtSS #analysis #scheduling
A new average case analysis for completion time scheduling (MS, TS, AS), pp. 170–178.
ICALPICALP-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.
ICALPICALP-2002-DemetrescuI #bound #trade-off
Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths (CD, GFI), pp. 633–643.
ICALPICALP-2002-EpsteinSS #bound #online
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing (LE, SSS, RvS), pp. 306–317.
ICALPICALP-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.
CHICHI-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.
CSCWCSCW-2002-StevensW #bound #data access #maintenance
A new dimension in access control: studying maintenance engineering across organizational boundaries (GS, VW), pp. 196–205.
AdaEuropeAdaEurope-2002-GonzalezSMMG #ada #how
How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.
ICEISICEIS-2002-Carballo #estimation
Risk Managment in the New Economy: Estimation and Control of Projects for E-Business and Start-Ups (RC), p. 35.
ICEISICEIS-2002-KamogawaM #architecture #process #towards
Towards a New Business Process Architecture (TK, MJM), pp. 823–829.
ICEISICEIS-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.
CIKMCIKM-2002-ChangC #algorithm #integration #web
A new cache replacement algorithm for the integration of web caching and prefectching (CYC, MSC), pp. 632–634.
ICMLICML-2002-ChenWZ #approach #statistics
A New Statistical Approach to Personal Name Extraction (ZC, LW, FZ), pp. 67–74.
ICPRICPR-v1-2002-BingLP #recognition
A New LDA-Based Method for Face Recognition (YB, JL, CP), pp. 168–171.
ICPRICPR-v1-2002-CoquinB #image
A New Method to Compute the Distortion Vector Field from Two Images (DC, PB), pp. 279–282.
ICPRICPR-v1-2002-LioliosKFK #approach #recognition
A New Shape Transformation Approach to Handwritten Character Recognition (NL, EK, NF, GKK), pp. 584–587.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v1-2002-WangHT #identification
A New Attempt to Gait-based Human Identification (LW, WH, TT), pp. 115–118.
ICPRICPR-v1-2002-ZhuY #classification #documentation
A New Textual/Non-Textual Classifier for Document Skew Correction (XZ, XY), pp. 480–482.
ICPRICPR-v2-2002-ChengWHT #approach #equation #self
A New Approach to Solving Kruppa Equations for Camera Self-Calibration (LC, FW, ZH, HTT), pp. 308–311.
ICPRICPR-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.
ICPRICPR-v2-2002-GuunterB #classification #recognition
A New Combination Scheme for HMM-Based Classififiers and its Application to Handwriting Recognition (SG, HB), pp. 332–337.
ICPRICPR-v2-2002-IwataKY
The Proposal of a New Robot Vision System Called the Horizon View Camera (AI, KK, KY), pp. 709–712.
ICPRICPR-v2-2002-MaZ #representation #video
Motion Texture: A New Motion Based Video Representation (YFM, HZ), pp. 548–551.
ICPRICPR-v2-2002-XieJ #detection #performance
A New Efficient Ellipse Detection Method (YX, QJ), pp. 957–960.
ICPRICPR-v3-2002-KimKP #algorithm #image
New Enhancement Algorithm for Fingerprint Images (BGK, HJK, DJP), pp. 879–882.
ICPRICPR-v3-2002-LiLSW #algorithm #geometry #image
New Algorithm for Geometric Transformations of Digital Images and Patterns (ZCL, JYL, CYS, HW), pp. 315–318.
ICPRICPR-v3-2002-LiZL #set
A New Strategy for Selecting Working Sets Applied in SMO (JL, BZ, FL), pp. 427–430.
ICPRICPR-v3-2002-Ruiz-PinalesL #recognition
A New Perceptive System for the Recognition of Cursive Handwriting (JRP, EL), pp. 53–56.
ICPRICPR-v3-2002-ShashuaLA #approach #recognition
Manifold Pursuit: A New Approach to Appearance Based Recognition (AS, AL, SA), pp. 590–594.
ICPRICPR-v4-2002-HlaouiW #algorithm #graph
A New Algorithm for Inexact Graph Matching (AH, SW), pp. 180–183.
KDDKDD-2002-ChenHS #algorithm
A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.
KDDKDD-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.
LSOLSO-2002-Ruhe #learning #paradigm #re-engineering
Software Engineering Decision Support ? A New Paradigm for Learning Software Organizations (GR), pp. 104–113.
SEKESEKE-2002-MorisioST
A new method to evaluate software artifacts against predefined profiles (MM, IS, AT), pp. 811–818.
SEKESEKE-2002-RuheEP #requirements
Quantitative WinWin: a new method for decision support in requirements negotiation (GR, AE, DP), pp. 159–166.
SIGIRSIGIR-2002-CrammerS #algorithm #online #product line #ranking
A new family of online algorithms for category ranking (KC, YS), pp. 151–158.
SIGIRSIGIR-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.
SIGIRSIGIR-2002-PossasZMR #approach #information retrieval
Set-based model: a new approach for information retrieval (BP, NZ, WMJ, BARN), pp. 230–237.
RERE-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.
RERE-2002-FritzhannsK #approach #assessment
Product Management Assessment — A New Approach to Optimize the Early Phases (TF, FK), pp. 124–126.
SACSAC-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.
SACSAC-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.
SACSAC-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.
HPCAHPCA-2002-Patterson #research
Recovery Oriented Computing: A New Research Agenda for a New Century (DAP), p. 247.
HPCAHPCA-2002-SuhDR #clustering #memory management #monitoring #scheduling
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (GES, SD, LR), pp. 117–128.
CADECADE-2002-GeorgievaHS #decidability
A New Clausal Class Decidable by Hyperresolution (LG, UH, RAS), pp. 260–274.
ISSTAISSTA-2002-Bishop #bound #reliability
Rescaling reliability bounds for a new operational profile (PGB), pp. 180–190.
SATSAT-2002-HirschK #named #satisfiability
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (EH, AK), p. 38.
SATSAT-2002-Schoening #bound #satisfiability
New worst case bounds on k-SAT (Keynote Talk) (US), p. 1.
ICTSSTestCom-2002-Peleska #hardware #integration #product line #testing
Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.
ICTSSTestCom-2002-SerdarT #approach #finite #generative #sequence #state machine
A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
ASEASE-2001-GouraudDGM #automation #statistics #testing
A New Way of Automating Statistical Testing Methods (SDG, AD, MCG, BM), pp. 5–12.
DACDAC-2001-ChenGB
A New Gate Delay Model for Simultaneous Switching and Its Applications (LCC, SKG, MAB), pp. 289–294.
DACDAC-2001-KohnoM #behaviour #pipes and filters #verification
A New Verification Methodology for Complex Pipeline Behavior (KK, NM), pp. 816–821.
DACDAC-2001-LahiriRL #architecture #communication #design #named
LOTTERYBUS: A New High-Performance Communication Architecture for System-on-Chip Designs (KL, AR, GL), pp. 15–20.
DACDAC-2001-WhittemoreKS #incremental #named #satisfiability
SATIRE: A New Incremental Satisfiability Engine (JW, JK, KAS), pp. 542–545.
DACDAC-2001-ZhaoS #algorithm #pattern matching
A New Structural Pattern Matching Algorithm for Technology Mapping (MZ, SSS), pp. 371–376.
DATEDATE-2001-LienigJA #approach #named
AnalogRouter: a new approach of current-driven routing for analog circuits (JL, GJ, TA), p. 819.
DocEngDocEng-2001-PhelpsW #framework #multi
The multivalent browser: a platform for new ideas (TAP, RW), pp. 58–67.
HTHT-2001-Kahn #architecture #hypermedia
Information architecture: a new discipline for organizing hypertext (PK), pp. 1–2.
HTHT-2001-WiilHN #approach #hypermedia #multi
Multiple open services: a new approach to service provision in open hypermedia systems (UKW, DLH, PJN), pp. 83–92.
ICDARICDAR-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–?.
ICDARICDAR-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.
ICDARICDAR-2001-HouleBS #using
Handwriting Stroke Extraction Using a New XYTC Transform (GFH, KB, MS), pp. 91–95.
ICDARICDAR-2001-LiuLHY #algorithm #analysis #component #layout
A New Component Based Algorithm for Newspaper Layout Analysis (FL, YL, DH, MY), pp. 1176–1180.
ICDARICDAR-2001-YoonLKC #paradigm #recognition #segmentation #string
New Paradigm for Segmentation and Recognition of Handwritten Numeral String (SY, YL, GK, YC), pp. 205–209.
VLDBVLDB-2001-WaasCB #approach #interactive #named #query #similarity
FeedbackBypass: A New Approach to Interactive Similarity Query Processing (IB, PC, FW), pp. 201–210.
FoSSaCSFoSSaCS-2001-GourantonRS
Synchronized Tree Languages Revisited and New Applications (VG, PR, HS), pp. 214–229.
CSMRCSMR-2001-MorettiCO #algorithm #control flow #graph
New Algorithms for Control-Flow Graph Structuring (EM, GC, AO), pp. 184–187.
CSMRCSMR-2001-Pighin #component #maintenance #reuse
A New Methodology for Component Reuse and Maintenance (MP), pp. 196–199.
IWPCIWPC-2001-Bennett #component #comprehension #evolution
Systems Evolution, Components and Services: Understanding the New Software Environment (KHB), pp. 3–6.
IWPCIWPC-2001-FoxDHH #comprehension
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension (CF, SD, MH, RMH), pp. 89–97.
STOCSTOC-2001-Ambainis #bound #protocol #quantum
A new protocol and lower bounds for quantum coin flipping (AA), pp. 134–142.
DLTDLT-2001-SchwentickTV #automaton
Partially-Ordered Two-Way Automata: A New Characterization of DA (TS, DT, HV), pp. 239–250.
ICALPICALP-2001-Dodis #random
New Imperfect Random Source with Applications to Coin-Flipping (YD), pp. 297–309.
ICALPICALP-2001-Roura
A New Method for Balancing Binary Search Trees (SR), pp. 469–480.
ICFPICFP-2001-Paterson
A New Notation for Arrows (RP), pp. 229–240.
CHICHI-2001-CarrollR #community #network
Better home shopping or new democracy? evaluating community network outcomes (JMC, MBR), pp. 372–379.
CHICHI-2001-Muller #analysis
Layered participatory analysis: new developments in the CARD technique (MJM), pp. 90–97.
AdaEuropeAdaEurope-2001-Burns #ada #policy
Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEuropeAdaEurope-2001-Tokar #ada #runtime
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
ICEISICEIS-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.
ICEISICEIS-v2-2001-LopesO #distributed #persistent
A New Mechanism for Distributed Managers Persistence (RPL, JLO), pp. 1040–1045.
ICEISICEIS-v2-2001-PetitD #concept #integration #modelling
O.C.: A New Concept for Modelling and Information Integration (CP, CD), pp. 888–892.
ICMLICML-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.
ICMLICML-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.
KDDKDD-2001-KeoghCP #approach #database #named #scalability
Ensemble-index: a new approach to indexing large databases (EJK, SC, MJP), pp. 117–125.
SIGIRSIGIR-2001-NomotoM #approach #summary
A New Approach to Unsupervised Text Summarization (TN, YM), pp. 26–34.
UMLUML-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.
OOPSLAOOPSLA-2001-McDirmidFH #component #java #named
Jiazzi: New-Age Components for Old-Fashioned Java (SM, MF, WCH), pp. 211–222.
POPLPOPL-2001-AbadiF #communication #mobile
Mobile values, new names, and secure communication (MA, CF), pp. 104–115.
SACSAC-2001-HousniTKP #algorithm #distributed
A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
SACSAC-2001-LarocheBS #composition #markov #process
A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.
HPCAHPCA-2001-AcacioGGD #architecture #multi #scalability
A New Scalable Directory Architecture for Large-Scale Multiprocessors (MEA, JG, JMG, JD), pp. 97–106.
HPCAHPCA-2001-KailasEA #clustering #code generation #framework #named
CARS: A New Code Generation Framework for Clustered ILP Processors (KK, KE, AKA), pp. 133–143.
HPDCHPDC-2001-LanfermannARS #grid #migration
Nomadic Migration: A New Tool for Dynamic Grid Computing (GL, GA, TR, ES), pp. 429–430.
IJCARIJCAR-2001-GanzingerM #bottom-up #logic programming #source code #theorem
A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.
IJCARIJCAR-2001-Patel-SchneiderS #generative #random
A New System and Methodology for Generating Random Modal Formulae (PFPS, RS), pp. 464–468.
ASEASE-2000-MansurovV #case study #interface #modelling #visual notation
New Visual Interface for Engineering Use Case Models (NM, DV), pp. 297–300.
DACDAC-2000-ChangCWW #representation
B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.
DACDAC-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.
DATEDATE-2000-DiezL #metric
Influence of Manufacturing Variations in IDDQ Measurements: A New Test Criterion (JMD, JCL), pp. 645–649.
DATEDATE-2000-FrohlichGF #clustering #parallel #simulation
A New Partitioning Method for Parallel Simulation of VLSI Circuits on Transistor Level (NF, VG, JF), pp. 679–684.
DATEDATE-2000-GouraryRUZGM #approach
A New Approach for Computation of Timing Jitter in Phase Locked Loops (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 345–349.
DATEDATE-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.
DATEDATE-2000-Saab #algorithm #clustering #effectiveness #multi #performance
A New Effective And Efficient Multi-Level Partitioning Algorithm (YS), pp. 112–116.
VLDBVLDB-2000-ChakrabartiM #approach #reduction
Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2000-WangZ #relational #sql #using
Using SQL to Build New Aggregates and Extenders for Object- Relational Systems (HW, CZ), pp. 166–175.
CSEETCSEET-2000-Runeson #case study #experience #re-engineering
A New Software Engineering Program — Structure and Initial Experiences (PR), pp. 223–232.
WRLAWRLA-2000-Hilberdink #logic
New Foundations for Rewriting Logic (HH), pp. 43–69.
ICSMEICSM-2000-Kammer #challenge #maintenance
Software Maintenance in the New Millennium: Issues and Challenges (RK), p. 2.
STOCSTOC-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.
STOCSTOC-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.
STOCSTOC-2000-MacielPW #principle #proving
A new proof of the weak pigeonhole principle (AM, TP, ARW), pp. 368–377.
STOCSTOC-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.
CIAACIAA-2000-ChamparnaudZ #automaton #canonical #finite
New Finite Automaton Constructions Based on Canonical Derivatives (JMC, DZ), pp. 94–104.
ICALPICALP-2000-EsparzaH #approach #ltl #model checking
A New Unfolding Approach to LTL Model Checking (JE, KH), pp. 475–486.
WLCWLC-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.
WLCWLC-2000-LombardyS #on the
On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
CHICHI-2000-FreiSMI #design #named
curlybot: designing a new class of computational toys (PF, VS, BM, HI), pp. 129–136.
CHICHI-2000-FrohlichP #3d #polynomial
The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.
CSCWCSCW-2000-BowersM #interactive
Machinery in the new factories: interaction and technology in a bank’s telephone call centre (JB, DBM), pp. 49–58.
CSCWCSCW-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.
CSCWCSCW-2000-PalenSY #behaviour #mobile
Going wireless: behavior & practice of new mobile phone users (LP, MCS, EY), pp. 201–210.
EDOCEDOC-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.
ICEISICEIS-2000-Greene #case study #open source
Case Study: A New World for the Enterprise--E-Commerce and Open Sources (TG), p. XLIII.
ICEISICEIS-2000-WatkinsC #network
Decoding BCM Codes With a New Competitive Neural Network (FJW, RAC), pp. 227–234.
CIKMCIKM-2000-KrugerGCGFLO #named
DEADLINER: Building a New Niche Search Engine (AK, CLG, FC, EJG, GWF, SL, CWO), pp. 272–281.
CIKMCIKM-2000-SakuraiYUK
The Subspace Coding Method: A New Indexing Scheme for High-Dimensional Data (YS, MY, SU, HK), pp. 210–218.
ICPRICPR-v1-2000-AzuelaG #image
New Method to Count Objects into an Image (JHSA, GG), pp. 1470–1473.
ICPRICPR-v1-2000-MalmH #approach
A New Approach to Hand-Eye Calibration (HM, AH), pp. 1525–1529.
ICPRICPR-v2-2000-HuangHS #automation #recognition
A New Automatic Quasar Recognition Technique Based on PCA and the Hough Transform (LyH, ZH, FS), pp. 2499–2502.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2000-OliveiraLBS #approach #segmentation
A New Segmentation Approach for Handwritten Digits (LESdO, EL, FB, RS), pp. 2323–2326.
ICPRICPR-v2-2000-PalaciosR #approach #editing #prototype
Weighting Prototypes. A New Editing Approach (RPP, EV), pp. 2025–2028.
ICPRICPR-v2-2000-Pavlidis #2d #interface
A New Paper/Computer Interface: Two-Dimensional Symbologies (TP), pp. 2145–2151.
ICPRICPR-v2-2000-PolickerG #algorithm #clustering #fuzzy #predict
A New Algorithm for Time Series Prediction by Temporal Fuzzy Clustering (SP, ABG), pp. 2728–2731.
ICPRICPR-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.
ICPRICPR-v3-2000-DaoudiM #invariant #multi #representation
New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.
ICPRICPR-v3-2000-Garcia-VareaSC #approach #statistics
A New Approach to Speech-Input Statistical Translation (IGV, AS, FC), pp. 3094–3097.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2000-ZhangW #clustering #image #segmentation
A New Method of Color Image Segmentation Based on Intensity and Hue Clustering (CZ, PSPW), pp. 3617–3620.
ICPRICPR-v4-2000-SuzukiMSA #realtime #recognition
A New System for the Real-Time Recognition of Handwritten Mathematical Formulas (TS, KM, YS, SA), pp. 4515–4518.
KDDKDD-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.
SIGIRSIGIR-2000-AuCSGR #paradigm #visualisation
New paradigms in information visualization (PA, MC, SS, YG, SMR), pp. 307–309.
SIGIRSIGIR-2000-StokesHC #detection #online #semantics
Lexical semantic relatedness and online new event detection (NS, PH, JC), pp. 324–325.
TOOLSTOOLS-EUROPE-2000-Pour #component #development #enterprise #java
Enterprise JavaBeans (EJB): New Opportunities for Component-Based Development of Web-Based Enterprise Solutions (GP), p. 473.
TOOLSTOOLS-USA-2000-SimonS #component
New Microsoft Component Technologies (RS, ES), pp. 393–394.
GPCESAIG-2000-SongF #approach #termination
A New Termination Approach for Specialization (LS, YF), pp. 72–91.
PADLPADL-2000-HuCT #algorithm #analysis #data mining #mining
Calculating a New Data Mining Algorithm for Market Basket Analysis (ZH, WNC, MT), pp. 169–184.
POPLPOPL-2000-Hinze #approach #functional #programming
A New Approach to Generic Functional Programming (RH), pp. 119–132.
SACSAC-2000-MortonT #3d #adaptation #finite
A New 3D Adaptive Finite Element Scheme with l-Irregular Hexahedral Element Meshes (DM, JMT), pp. 99–104.
ICSEICSE-2000-Castells
Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.
HPCAHPCA-2000-HaungsSF #analysis #branch #classification #metric
Branch Transition Rate: A New Metric for Improved Branch Classification Analysis (MH, PS, MKF), pp. 241–250.
HPDCHPDC-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.
ICLPCL-2000-GrasH #prolog
A New Module System for Prolog (DCG, MVH), pp. 131–148.
ICLPCL-2000-StorrT #calculus #equation
A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.
LICSLICS-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.
RTARTA-2000-Moreau #compilation
REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
ICTSSTestCom-2000-GrabowskiWWH #design #on the #testing
On the Design of the New Testing Language TTCN-3 (JG, AW, CW, DH), pp. 161–176.
DATEDATE-1999-JochensKSN #component #megamodelling
A New Parameterizable Power Macro-Model for Datapath Components (GJ, LK, ES, WN), p. 29–?.
ICDARICDAR-1999-AokiANNM #approach #multi #recognition
A New Approach for Multilingual Address Recognition (YA, TA, AN, NN, HM), pp. 313–316.
ICDARICDAR-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.
ICDARICDAR-1999-PalmeroD #documentation #using
Structured Document Labeling and Rule Extraction using a New Recurrent Fuzzy-neural System (GISP, YAD), pp. 181–184.
ICDARICDAR-1999-SchomakerVL #image #query
New Use for the Pen: Outline-based Image Queries (LS, LV, EdL), pp. 293–296.
ICDARICDAR-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.
ICDARICDAR-1999-ZhuSW #algorithm #fourier #image
A New Distinguishing Algorithm of Connected Character Image based on Fourier Transform (XZ, YS, SW), pp. 788–791.
SIGMODSIGMOD-1999-AggarwalWY #similarity
A New Method for Similarity Indexing of Market Basket Data (CCA, JLW, PSY), pp. 407–418.
SIGMODSIGMOD-1999-LometT #logic
Logical Logging to Extend Recovery to New Domains (DBL, MRT), pp. 73–84.
VLDBVLDB-1999-BonczMK #architecture #database #memory management
Database Architecture Optimized for the New Bottleneck: Memory Access (PAB, SM, MLK), pp. 54–65.
VLDBVLDB-1999-Campbell #architecture #sql
The New Locking, Logging, and Recovery Architecture of Microsoft SQL Server 7.0 (DC), p. 249.
CSEETCSEET-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-1999-FuenteCC #architecture #education
Teaching computer architecture with a new superscalar processor emulator (SRdlF, MIGC, RMC), pp. 99–102.
PASTEPASTE-1999-Balmas #paradigm #query #source code
Query by Outlines: A New Paradigm to Help Manage Programs (FB), pp. 86–94.
PASTEPASTE-1999-Preston #fortran #legacy
New Type Signatures for Legacy Fortran Subroutines (NWP), pp. 76–85.
PLDIPLDI-1999-SongL #locality
New Tiling Techniques to Improve Cache Temporal Locality (YS, ZL), pp. 215–228.
PLDIPLDI-1999-WuMPOH #debugging #framework
A New Framework for Debugging Globally Optimized Code (LCW, RM, HP, BO, WmWH), pp. 181–191.
SASSAS-1999-KollerM #abstract interpretation
A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.
STOCSTOC-1999-Indyk99a #combinator #design #symmetry
Inerpolation of Symmetric Functions and a New Type of Combinatorial Design (PI), pp. 736–740.
DLTDLT-1999-LoftusSW #problem
New problems of pattern avoidance (JL, JS, MwW), pp. 185–199.
DLTDLT-1999-Yokomori #paradigm #self #towards
Computation = self-assembly + conformational change: toward new computing paradigms (TY), pp. 32–43.
ICALPICALP-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.
ICALPICALP-1999-BuhrmanJLV
New Applications of the Incompressibility Method (HB, TJ, ML, PMBV), pp. 220–229.
ICALPICALP-1999-NiedermeierR #bound #satisfiability
New Upper Bounds for MaxSat (RN, PR), pp. 575–584.
ICALPICALP-1999-RozenbergS #paradigm
DNA Computing: New Ideas and Paradigms (GR, AS), pp. 106–118.
FMFM-v1-1999-Dunne #specification
The Safe Machine: A New Specification Construct for B (SD), pp. 472–489.
CHICHI-1999-Druin
Cooperative Inquiry: Developing new Technologies for Children with Children (AD), pp. 592–599.
CHICHI-1999-MynattIEL #named
Flatland: New Dimensions in Office Whiteboards (EDM, TI, WKE, AL), pp. 346–353.
HCIHCI-CCAD-1999-HedmanL #community #human-computer #requirements
Orientation versus accomodation — new requirements for the HCI of digital communities (AH, SL), pp. 457–461.
HCIHCI-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.
HCIHCI-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.
HCIHCI-CCAD-1999-Menzel #design
New design solution for call center work places from the point of view of furniture manufacturer (DM), pp. 1327–1331.
HCIHCI-CCAD-1999-RashevOS #design #education #towards
Computer aided design in medical domain: a new viewpoint towards computer aided education (RR, RO, HS), pp. 621–625.
HCIHCI-EI-1999-BondarovskaiaS #social #using
Psychological, Ethic, and Social Peculiarities of Using New Information Technologies (VMB, AAS), pp. 129–132.
HCIHCI-EI-1999-FarrellAT #interface
Harnessing New Dimensions for Creating Informed Interfaces (CF, RA, FT), pp. 357–361.
HCIHCI-EI-1999-Goppold
Spatio-Temporal Perspectives: A new way for cognitive enhancement (AG), pp. 476–480.
HCIHCI-EI-1999-HuuhtanenRL #implementation
Age and Implementation of new Information Technology in Banking Tasks (PH, TR, TL), pp. 3–5.
HCIHCI-EI-1999-KinoeM #idea
Discovering Latent Relationships among Ideas: A Methodology for Facilitating New Idea Creation (YK, HM), pp. 1242–1246.
HCIHCI-EI-1999-LuSUI
A New Method to Synthesize Japanese Sign Language Based on Intuitive Motion Primitives (SL, HS, TU, SI), pp. 441–445.
HCIHCI-EI-1999-Stroem #concept #design
Inattentive Use: A New design Concept (GS), pp. 1153–1157.
HCIHCI-EI-1999-SuzukiKO #design #named #process
QUIS: applying a new walkthrough method to a product design process (SS, AK, KO), pp. 933–937.
HCIHCI-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.
HCIHCI-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.
AdaEuropeAdaEurope-1999-RuizG #implementation #low level #runtime
Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
EDOCEDOC-1999-Blackshaw #corba
CORBA in the new millenium: the changing landscape (BPB), pp. 264–269.
ICEISICEIS-1999-Stamper #analysis #design #paradigm
Information-Field Paradigm and New Directions for Systems Analysis and Design (RKS), p. VI.
ICEISICEIS-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.
ECIRACIR-1999-Helderman #challenge #information management #information retrieval
Knowledge Management and Information Retrieval: Some New Challenges (LMH).
KDDKDD-1999-AggarwalWWY #approach #collaboration #graph
Horting Hatches an Egg: A New Graph-Theoretic Approach to Collaborative Filtering (CCA, JLW, KLW, PSY), pp. 201–212.
KDDKDD-1999-LouieK #named #visualisation
Origami: A New Data Visualization Tool (JQL, TK), pp. 405–408.
SIGIRSIGIR-1999-DaiLK #information management #segmentation #statistics
A New Statistical Formula for Chinese Text Segmentation Incorporating Contextual Information (YD, TEL, CSGK), pp. 82–89.
SIGIRSIGIR-1999-FungL #approach #classification #image #retrieval
A New Approach for Image Classification and Retrieval (poster abstract) (CYF, KFL), pp. 301–302.
SIGIRSIGIR-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.
ECOOPECOOP-1999-GaspariZ #algebra #corba #process #specification
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
TOOLSTOOLS-ASIA-1999-JiangLX #generative
Agent Class Methodology: A New Kind of Autonomous Object Generation Methodology (HJ, DL, XX), pp. 245–252.
TOOLSTOOLS-ASIA-1999-TsaiTW #architecture #object-oriented
A New Architecture of Object-Oriented Rule Base Management System (CJT, SST, YCW), pp. 200–203.
TOOLSTOOLS-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.
SACSAC-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.
SACSAC-1999-MarmelsteinL #approach #clustering #evolution
A New Approach for Evolving Clusters (REM, GBL), pp. 268–274.
SACSAC-1999-SonahI #adaptation #evaluation #performance
Performance Evaluation of New Adaptive Object Replacement Techniques for VOD Systems (BS, MRI), pp. 437–442.
CCCC-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.
OSDIOSDI-1999-BangaDM #resource management
Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.
CAVCAV-1999-CimattiCGR #named #verification
NUSMV: A New Symbolic Model Verifier (AC, EMC, FG, MR), pp. 495–499.
ICTSSIWTCS-1999-Willcock #syntax #towards
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
LICSLICS-1999-GabbayP #approach #syntax
A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
RTARTA-1999-LimetR #decidability
A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.
DACDAC-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.
DACDAC-1998-SuttonD #approach #framework
Framework Encapsulations: A New Approach to CAD Tool Interoperability (PRS, SWD), pp. 134–139.
DATEDATE-1998-Coudert #encoding #paradigm
A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
DATEDATE-1998-Rosenstiel #design #industrial #standard #verification
Formal Verification: A New Standard CAD Tool for the Industrial Design Flow (WR), p. 422.
PODSPODS-1998-AggarwalY #framework #generative
A New Framework For Itemset Generation (CCA, PSY), pp. 18–24.
SIGMODSIGMOD-1998-GibbonsM #approximate #query #statistics #summary
New Sampling-Based Summary Statistics for Improving Approximate Query Answers (PBG, YM), pp. 331–342.
SIGMODSIGMOD-1998-RaoR #correlation #invariant #query #reuse
Reusing Invariants: A New Strategy for Correlated Queries (JR, KAR), pp. 37–48.
VLDBVLDB-1998-KornLKF #data mining #mining #paradigm #performance
Ratio Rules: A New Paradigm for Fast, Quantifiable Data Mining (FK, AL, YK, CF), pp. 582–593.
CSEETCSEET-1998-CarterBCR #industrial #what
What Industry Wants in Its New Hires (DC, MFB, RC, GR), pp. 126–127.
ITiCSEITiCSE-1998-Bampton #education
Teaching computer science in Papua New Guinea (AB), pp. 25–27.
ITiCSEITiCSE-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.
ESOPESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.
WRLAWRLA-1998-BorovanskyC #constraints #process #theorem proving #using
Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
ICSMEICSM-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.
PASTEPASTE-1998-Snelting #comprehension #concept analysis #framework
Concept Analysis — A New Framework for Program Understanding (GS), pp. 1–10.
PASTEPASTE-1998-TiceG #approach #named
OPTVIEW: A New Approach for Examining Optimized Code (CT, SLG), pp. 19–26.
PLDIPLDI-1998-SastryJ #algorithm
A New Algorithm for Scalar Register Promotion based on SSA Form (AVSS, RDCJ), pp. 15–25.
SASSAS-1998-GoyalP #problem
A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.
SASSAS-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.
STOCSTOC-1998-Bshouty #algorithm #composition #learning #theorem
A New Composition Theorem for Learning Algorithms (NHB), pp. 583–589.
ICALPICALP-1998-Brassard #information management #quantum
New Horizons in Quantum Information Processing (GB), pp. 769–771.
CIAAWIA-1998-Watson #algorithm #performance
A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
FMFM-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.
ICFPICFP-1998-Haiming #context-free grammar #recursion
Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.
ICGTTAGT-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.
CHICHI-1998-ResnickMBBCKS
Digital Manipulatives: New Toys to Think With (MR, FM, RB, RB, VC, KK, BS), pp. 281–287.
CHICHI-1998-SumnerT #case study #design #experience #learning
New Media, New Practices: Experiences in Open Learning Course Design (TS, JT), pp. 432–439.
CIKMCIKM-1998-YuL #adaptation #algorithm #learning #online
A New On-Line Learning Algorithm for Adaptive Text Filtering (KLY, WL), pp. 156–160.
ICPRICPR-1998-AricaY #recognition
A new scheme for off-line handwritten connected digit recognition (NA, FTYV), pp. 1127–1129.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-1998-CaiL #algorithm
A new thresholding algorithm based on all-pole model (JC, ZQL), pp. 34–36.
ICPRICPR-1998-ChetverikovV #algorithm
Tracking feature points: a new algorithm (DC, JV), pp. 1436–1438.
ICPRICPR-1998-HebertPG #fuzzy #geometry #online #recognition #representation
A new fuzzy geometric representation for online isolated character recognition (JFH, MP, NG), pp. 1121–1123.
ICPRICPR-1998-HoffmanL #algorithm #geometry #trade-off
Some trade-offs and a new algorithm for geometric hashing (MH, ML), pp. 1700–1704.
ICPRICPR-1998-KrejciFS #image #multi
A new multichannel blind deconvolution method and its application to solar images (RK, JF, SS), pp. 1765–1767.
ICPRICPR-1998-RigollKW #approach #hybrid #recognition #scalability
A new hybrid approach to large vocabulary cursive handwriting recognition (GR, AK, DW), pp. 1512–1514.
ICPRICPR-1998-SakaiYH #polynomial #robust
A new robust quadratic discriminant function (MS, MY, HH), pp. 99–102.
ICPRICPR-1998-SatoY #classification #learning #using
A formulation of learning vector quantization using a new misclassification measure (AS, KY), pp. 322–325.
ICPRICPR-1998-SenguptaO
A new camera projection model and its application in reprojection (KS, JO), pp. 59–63.
ICPRICPR-1998-ZaoZLH #approach #image
A new approach for intelligent object picking in line drawing images (JZ, HZ, JL, JH), pp. 1084–1088.
SIGIRSIGIR-1998-AllanPL #detection #online
On-Line New Event Detection and Tracking (JA, RP, VL), pp. 37–45.
SIGIRSIGIR-1998-WechslerMS #documentation #retrieval
New Techniques for Open-Vocabulary Spoken Document Retrieval (MW, EM, PS), pp. 20–27.
REFSQREFSQ-1998-Salo #development #process #requirements
Requirements for Groupware-Supported Requirements Process in New Product Development (AS), pp. 99–112.
SACSAC-1998-CornoRS #algorithm #optimisation
The selfish gene algorithm: a new evolutionary optimization strategy (FC, MSR, GS), pp. 349–355.
SACSAC-1998-MatzenH #web
A new tool for SGML with applications for the World Wide Web (RWM, GEH), pp. 752–759.
ICSEICSE-1998-AnquetilL #clustering #concept
Extracting Concepts from File Names: A New File Clustering Criterion (NA, TCL), pp. 84–93.
CCCC-1998-LelaitGE #algorithm #performance
A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops (SL, GRG, CE), pp. 204–218.
CCCC-1998-MalacariaH #analysis #approach #control flow
A New Approach to Control Flow Analysis (PM, CH), pp. 95–108.
HPCAHPCA-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.
CAVCAV-1998-ElgaardKM
MONA 1.x: New Techniques for WS1S and WS2S (JE, NK, AM), pp. 516–520.
ICLPJICSLP-1998-ShenCK #distance #execution #metric #named #parallel
Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
DATEEDTC-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.
DATEEDTC-1997-CornoPRR #sequence #testing
New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
DATEEDTC-1997-FauraHKCAI #integration #programmable
A new field programmable system-on-a-chip for mixed signal integration (JF, CH, BK, JC, MAA, JMI), p. 610.
DATEEDTC-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.
DATEEDTC-1997-OlbrichGARC #estimation #quality
A new quality estimation methodology for mixed-signal and analogue ICs (TO, IAG, YEA, AMDR, JC), pp. 573–580.
ICDARICDAR-1997-Caesar #recognition
New Features for Chinese Character Recognition (TC), pp. 592–595.
ICDARICDAR-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.
ICDARICDAR-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–?.
ICDARICDAR-1997-TsengC97a
A New Method for Segmenting Handwritten Chinese Characters (LYT, RCC), pp. 568–571.
ICDARICDAR-1997-ZhaoSX #string
A New Method for Segmenting Unconstrained Handwritten Numeral String (BZ, HS, SX), pp. 524–527.
CSMRCSMR-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.
WCREWCRE-1997-QuiliciWZ #approach #constraints
New Experiments with a Constraint-Based Approach to Program Plan Matching (AQ, SW, YZ), pp. 114–123.
PLDIPLDI-1997-ChowCKLLT #algorithm
A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.
STOCSTOC-1997-ParnafesRW #communication #modelling #problem
Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
ICALPICALP-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.
FMFME-1997-Gregoire #protocol #proving #using
TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
CHICHI-1997-SellenH #design
Paper as an Analytic Resource for the Design of New Technologies (AS, RHRH), pp. 319–326.
HCIHCI-CC-1997-ButeraS #approach #convergence #towards
The Convergence Toward a New Sociotechnical System Approach (FB, TS), pp. 201–204.
HCIHCI-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.
HCIHCI-CC-1997-LindstromLS #implementation
Organizational Support and Employee Well-Being in the Implementation of New VDT Application (KL, TL, JS), pp. 373–377.
HCIHCI-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.
HCIHCI-CC-1997-SchmitzNCS #development
Emotional Demands in Musculoskeletal Discomfort: Development of a New Questionnaire (WS, LN, PC, MJS), pp. 505–508.
HCIHCI-CC-1997-WatersonOC #development
Further Development of a New Method for Task Allocation in Complex Systems (PEW, MTO, CWC), pp. 257–260.
HCIHCI-SEC-1997-Borron #programming
A New Form of Programming in the Light of Cognitive Dimensions (HJB), pp. 315–318.
HCIHCI-SEC-1997-JungY #analysis
Managing Information by a New Compound Noun Analysis (IHJ, SYY), pp. 299–302.
HCIHCI-SEC-1997-KohnoA #concept #named
ROIS: A New Concept to Change into Safe and Comfortable World (MK, YA), pp. 205–208.
HCIHCI-SEC-1997-Reichert #approach
Perception-Oriented Stereo Rendering: A New Approach to Control the Third Dimension (LR), pp. 845–848.
HCIHCI-SEC-1997-SawaY #architecture #modelling #simulation
New Modeling/Analyzing Architecture and Simulation Mechanism for Complex Structure (TS, MY), pp. 363–366.
HCIHCI-SEC-1997-Tarpin-BernardD #design pattern #interactive #named #question
AMF: A New Design Pattern for Complex Interactive Software? (FTB, BTD), pp. 351–354.
HCIHCI-SEC-1997-Yamaoka #concept #design
A New Design Concept and Method Based on Ergonomics and Kansei Engineering and So On (TY), pp. 547–550.
ICMLICML-1997-SchapireFBL #effectiveness
Boosting the margin: A new explanation for the effectiveness of voting methods (RES, YF, PB, WSL), pp. 322–330.
KDDKDD-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.
KDDKDD-1997-ZakiPOL #algorithm #performance
New Algorithms for Fast Discovery of Association Rules (MJZ, SP, MO, WL), pp. 283–286.
SIGIRSIGIR-1997-OgawaM #statistics #word
Overlapping Statistical Word Indexing: A New Indexing Method for Japanese Text (YO, TM), pp. 226–234.
UMLUML-1997-Holz #architecture #uml
Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.
OOPSLAOOPSLA-1997-Hayes #named
Ephemerons: A New Finalization Mechanism (BH), pp. 176–183.
TOOLSTOOLS-PACIFIC-1997-EveredKMS #java #named
Genja — A New Proposal for Parameterised Types in Java (ME, JLK, GM, AS), pp. 181–195.
TOOLSTOOLS-USA-1997-DingleH #c++
New Coding Patterns for Object Management in C++ (AD, THH), pp. 38–47.
SACSAC-1997-OHara #framework
Microsoft Windows CE: a new handheld computing platform (RO), pp. 295–296.
ICSEICSE-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+SDFASF+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.
PPoPPPPoPP-1997-SubhlokY #parallel #programming
A New Model for Integrated Nested Task and Data Parallel Programming (JS, BY), pp. 1–12.
CADECADE-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.
CADECADE-1997-GiunchigliaRS #logic #testing
A New Method for Testing Decision Procedures in Modal Logics (FG, MR, RS), pp. 264–267.
RTARTA-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.
RTARTA-1997-Sattler-Klein #monad
New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
TLCATLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
DACDAC-1996-ChengCWM #estimation #hybrid
A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
DACDAC-1996-CoudertHM #algorithm #case study #comparative
New Algorithms for Gate Sizing: A Comparative Study (OC, RWH, SM), pp. 734–739.
DACDAC-1996-LiLLC #approach #clustering #linear
New Spectral Linear Placement and Clustering Approach (JL, JL, LTL, CKC), pp. 88–93.
DACDAC-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.
DACDAC-1996-Park
A New Complete Diagnosis Patterns for Wiring Interconnects (SP), pp. 203–208.
HTHT-1996-NurnbergLSS #hypermedia #operating system #paradigm
Hypermedia Operating Systems: A New Paradigm for Computing (PJN, JJL, ERS, JLS), pp. 194–202.
VLDBVLDB-1996-Celis #query #sql
The Query Optimizer in Tandem’s new ServerWare SQL Product (PC), p. 592.
VLDBVLDB-1996-MeoPC #mining
A New SQL-like Operator for Mining Association Rules (RM, GP, SC), pp. 122–133.
ITiCSEITiCSE-1996-MartiPH #education #network #paradigm
PACKET tracing: a new paradigm for teaching computer network courses (WFM, UWP, JAHJ), pp. 162–164.
ESOPESOP-1996-PalsbergPL #adaptation #approach #compilation #source code
A New Approach to Compiling Adaptive Programs (JP, BPS, KJL), pp. 280–295.
PLDIPLDI-1996-RinardD #analysis #commutative #compilation #framework
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers (MCR, PCD), pp. 54–67.
PLDIPLDI-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.
STOCSTOC-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.
ICALPICALP-1996-Hashiguchi #automaton #bound #distance
New Upper Bounds to the Limitedness of Distance Automata (KH), pp. 324–335.
CIAAWIA-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.
FMFME-1996-MartinsH #evaluation #performance #specification
A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation (JJM, JPH), pp. 140–159.
FMFME-1996-Vito #formal method #navigation #requirements
Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
ICFPICFP-1996-GostanzaPN #data type #pattern matching
A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.
CHICHI-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.
CIKMCIKM-1996-LeeJH #concurrent #database
A New Conflict Relation for Concurrency Control and Recovery in object-based Databases (SL, SYJ, CSH), pp. 288–295.
CIKMCIKM-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.
ICMLICML-1996-FreundS #algorithm
Experiments with a New Boosting Algorithm (YF, RES), pp. 148–156.
ICPRICPR-1996-Bayro-CorrochanoBS #algebra #geometry #network #self #using
A new self-organizing neural network using geometric algebra (EBC, SB, GS), pp. 555–559.
ICPRICPR-1996-CrouzilMC #correlation #similarity
A new correlation criterion based on gradient fields similarity (AC, LMP, SC), pp. 632–636.
ICPRICPR-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.
ICPRICPR-1996-KnipeL #composition #re-engineering
A new quadtree decomposition reconstruction method (JK, XL), pp. 364–369.
ICPRICPR-1996-LasenbyBLS #invariant
A new methodology for computing invariants in computer vision (JL, EBC, ANL, GS), pp. 393–397.
ICPRICPR-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.
ICPRICPR-1996-LuoTB #algorithm #fuzzy #multi
A new multilevel line-based stereo vision algorithm based on fuzzy techniques (AL, WT, HB), pp. 383–387.
ICPRICPR-1996-Matalas #approximate #image #multi #set
A new set of multiscale texture features based on B-spline image approximation (IM), pp. 810–814.
ICPRICPR-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.
ICPRICPR-1996-PalmeroIDC #documentation #logic
A new neuro-fuzzy system for logical labeling of documents (GISP, JMCI, YAD, JLC), pp. 431–435.
ICPRICPR-1996-PeuraVK #approach #classification
A new approach to land-based cloud classification (MP, AV, PK), pp. 143–147.
ICPRICPR-1996-PollefeysGO #constraints #self
The modulus constraint: a new constraint self-calibration (MP, LJVG, AO), pp. 349–353.
ICPRICPR-1996-ShioyamaJ #3d #constraints
Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.
ICPRICPR-1996-SongKL #architecture #network #pattern matching #pattern recognition #recognition
A new recurrent neural network architecture for pattern recognition (HHS, SMK, SWL), pp. 718–722.
ICPRICPR-1996-SukanyaTTS #image
A new operator for describing topographical image structure (PS, HT, RT, MS), pp. 50–54.
ICPRICPR-1996-VitulanoNVM #detection #using
Edge detection using a new definition of entropy (SV, MN, DV, CM), pp. 141–145.
ICPRICPR-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.
KDDKDD-1996-IttnerS #generative
Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
KDDKDD-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.
KRKR-1996-Ginsberg #algorithm #generative
A New Algorithm for Generative Planning (MLG), pp. 186–197.
SIGIRSIGIR-1996-Kwok #ad hoc #query #retrieval
A New Method of Weighting Query Terms for Ad-Hoc Retrieval (KLK), pp. 187–195.
OOPSLAOOPSLA-1996-GilL #abstraction
Environmental Acquisition — A New Inheritance-Like Abstraction Mechanism (JYG, DHL), pp. 214–231.
PPDPPLILP-1996-Li #approach #implementation #prolog
Program Sharing: A New Implementation Approach for Prolog (XL), pp. 259–273.
REICRE-1996-WhiteSNS
Project Aurora: Dawn of a New Way (EAW, HTS, LAN, DWS), pp. 165–172.
SACSAC-1996-BaoH #approach
A new approach to software tool interoperability (YB, EH), pp. 500–509.
ICSEICSE-1996-HeidenreichMK #approach #consistency #re-engineering
A New Approach to Consistency Control in Software Engineering (GH, MM, DK), pp. 289–297.
CCCC-1996-BoucherF #compilation #implementation #paradigm #static analysis
Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
CADECADE-1996-Fernmuller #semantics
Semantic Trees Revisited: Some New Completeness Results (CGF), pp. 568–582.
CADECADE-1996-RousselM #compilation
A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.
CSLCSL-1996-Yashin #logic #problem
New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem (ADY), pp. 460–471.
RTARTA-1996-BundgenSW
ReDuX 1.5: New Facets of Rewriting (RB, CS, JW), pp. 412–415.
RTARTA-1996-Voisin #interface #proving
A New Proof Manager and Graphic Interface for Larch Prover (FV), pp. 408–411.
DACDAC-1995-AlexanderR #algorithm
New Performance-Driven FPGA Routing Algorithms (MJA, GR), pp. 562–567.
DACDAC-1995-CoudertM #problem
New Ideas for Solving Covering Problems (OC, JCM), pp. 641–646.
DACDAC-1995-WuM #2d #approach #optimisation #orthogonal
Orthogonal Greedy Coupling — A New Optimization Approach to 2-D FPGA Routing (YLW, MMS), pp. 568–573.
ICDARICDAR-v1-1995-LeeK95b #network #recognition
A new type of recurrent neural network for handwritten character recognition (SWL, YJK), pp. 38–41.
ICDARICDAR-v1-1995-LeeL95a #recognition #segmentation
A new methodology for gray-scale character segmentation and recognition (DJL, SWL), pp. 524–527.
ICDARICDAR-v1-1995-MenierLG #modelling #online #recognition
A new modeling method for on-line handwriting recognition (GM, GL, PG), pp. 499–503.
ICDARICDAR-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.
ICDARICDAR-v2-1995-FanCW #approach #image
A new vectorization-based approach to the skeletonization of binary images (KCF, DFC, MGW), pp. 627–630.
ICDARICDAR-v2-1995-Romeo-PakkerML #approach #segmentation
A new approach for Latin/Arabic character segmentation (KRP, HM, YL), pp. 874–877.
ICDARICDAR-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.
DLTDLT-1995-Stiebe
Some New Decision Results for Edge Grammars (RS), pp. 329–338.
ICALPICALP-1995-BozanisKMT #bound #problem
New Upper Bounds for Generalized Intersection Searching Problems (PB, NK, CM, AKT), pp. 464–474.
ICALPICALP-1995-KoblerW
New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
CHICHI-1995-HixTJ #concept #interactive #testing
Pre-Screen Projection: From Concept to Testing of a New Interaction Technique (DH, JNT, RJKJ), pp. 226–233.
CAiSECAiSE-1995-Bracchi #architecture #industrial
The Impact of New Information Architectures on Industry and Government Transformation (GB), pp. 311–312.
CIKMCIKM-1995-KimC #information retrieval #parallel #performance
A New Parallel Signature File Method for Efficient Information Retrieval (JKK, JWC), pp. 66–73.
CIKMCIKM-1995-RossBT #approach #named
MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.
KDDKDD-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.
SEKESEKE-1995-Rosca #generative #synthesis #towards
Towards a New Generation of Program Synthesis Approaches (JPR), p. 428.
SIGIRSIGIR-1995-Finch #documentation #partial order #representation
Partial Orders for Document Representation: A New Methodology for Combining Document Features (SF), pp. 264–272.
SIGIRSIGIR-1995-HershEHWML #evaluation #information retrieval #metric #towards
Towards New Measures of Information Retrieval Evaluation (WRH, DLE, DHH, SLW, AM, CL), pp. 164–170.
SIGIRSIGIR-1995-OgawaI #documentation #using
A New Character-based Indexing Organization using Frequency Data for Japanese Documents (YO, MI), pp. 121–129.
PPDPPLILP-1995-ButowGOT #semantics
A New Strategy for Semantic Matching (BB, RG, EO, ST), pp. 81–96.
POPLPOPL-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.
SACSAC-1995-BironK #feedback #information retrieval #performance
New methods for relevance feedback: improving information retrieval performance (PVB, DHK), pp. 482–487.
SACSAC-1995-BucklesP #database #fuzzy
Fuzzy databases in the new era (BPB, FEP), pp. 497–502.
SACSAC-1995-Hendrickson #algorithm #lr #parallel #parsing
A new parallel LR parsing algorithm (KJH), pp. 277–281.
ASF+SDFASF+SDF-1995-KampermanW #compilation #self
The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
HPDCHPDC-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.
SOSPSOSP-1995-TalluriHK
A New Page Table for 64-bit Address Spaces (MT, MDH, YYAK), pp. 184–200.
ICLPICLP-1995-DegtyarevV #horn clause #similarity
A New Procedural Interpretation of Horn Clauses with Equality (AD, AV), pp. 565–579.
ICLPICLP-1995-Moreno-Navarro #constraints #inheritance #logic programming #tuple
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (JJMN), p. 829.
LICSLICS-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.
DACDAC-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.
DACDAC-1994-HuYD #performance #verification
New Techniques for Efficient Verification with Implicitly Conjoined BDDs (AJH, GY, DLD), pp. 276–282.
DACDAC-1994-SunL #2d #architecture
Routing in a New 2-Dimensional FPGA/FPIC Routing Architecture (YS, CLL), pp. 171–176.
DATEEDAC-1994-CalvoPM
ICM2 IC: a new ATM switching element for 2.48 Gb/s communications (FC, PP, PM), pp. 65–69.
DATEEDAC-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.
DATEEDAC-1994-VuksicF #approach #fault #testing
A New BIST Approach for Delay Fault Testing (AV, KF), pp. 284–288.
HTHT-ECHT-1994-Levy #documentation
Fixed or Fluid? Document Stability and New Media (DML), pp. 24–31.
PODSPODS-1994-LibkinW #set
New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions (LL, LW), pp. 155–166.
VLDBVLDB-1994-SetzerZ #algorithm #concurrent
New Concurrency Control Algorithms for Accessing and Compacting B-Trees (VWS, AZ), pp. 238–248.
STOCSTOC-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.
FMFME-1994-Mukherjee #semantics
A Semantics for NewSpeak in VDM-SL (PM), pp. 480–501.
FMFME-1994-PaechR #automaton #behaviour #concept #modelling #refinement
A new Concept of Refinement used for Behaviour Modelling with Automata (BP, BR), pp. 154–174.
LISPLFP-1994-StefanovicM #behaviour #ml #standard
Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.
CSCWCSCW-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.
AdaEuropeAdaEurope-1994-DissauxFLM #ada #approach
A New Approach for HOOD/Ada Mapping (PD, PF, PL, PM), pp. 147–154.
AdaEuropeAdaEurope-1994-Kettani #ada #how #realtime
How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
AdaEuropeAdaEurope-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.
AdaTRI-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.
ICMLICML-1994-AbeM #predict #probability
A New Method for Predicting Protein Secondary Structures Based on Stochastic Tree Grammars (NA, HM), pp. 3–11.
SIGIRSIGIR-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.
PPDPPLILP-1994-Mantsivoda
Flang System: A new Version (AM), pp. 467–468.
PPDPPLILP-1994-Pettersson #implementation #named #semantics
RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.
SACSAC-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.
FSEFSE-1994-JacksonR #dependence #reverse engineering
A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.
HPDCHPDC-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.
CADECADE-1994-Baker #automation #deduction
A New Application for Explanation-Based Generalisation within Automated Deduction (SB), pp. 177–191.
ICLPICLP-1994-BoulangerS #abstract interpretation #approach #compilation
Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
ICLPICLP-1994-KumonH #concurrent #logic
A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.
ISSTAISSTA-1994-FleyshgakkerW #analysis #approach #mutation testing #performance
Efficient Mutation Analysis: A New Approach (VNF, SNW), pp. 185–195.
DACDAC-1993-CoudertMF #logic
A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
DACDAC-1993-LaiFW #data type #performance #query
HV/VH Trees: A New Spatial Data Structure for Fast Region Queries (GGL, DSF, DFW), pp. 43–47.
DACDAC-1993-McGeerSBS #logic #named
Espresso-Signature: A New Exact Minimizer for Logic Functions (PCM, JVS, RKB, ALSV), pp. 618–624.
DACDAC-1993-Nagaraj #optimisation #performance
A New Optimizer for Performance Optimization of Analog Integrated Circuits (NSN), pp. 148–153.
DACDAC-1993-SilvaK #design #documentation #interface
Active Documentation: A New Interface for VLSI Design (MJS, RHK), pp. 654–660.
ICDARICDAR-1993-Hamada #analysis #diagrams
A new system for the analysis of schematic diagrams (AHH), pp. 369–372.
ICDARICDAR-1993-KuoW #segmentation
A new method for the segmentation of mixed handprinted Chinese/English characters (HHK, JFW), pp. 810–813.
ICDARICDAR-1993-LiuZT #approach #online #recognition
A new approach to on-line handwritten Chinese character recognition (YJL, LQZ, JT), pp. 192–195.
ICDARICDAR-1993-XuL #algorithm #image #string
A new algorithm separating text strings from map images (TX, XL), pp. 910–913.
PODSPODS-1993-Revesz #on the #semantics
On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.
SIGMODSIGMOD-1993-AnwarMC #database #object-oriented
A New Perspective on Rule Support for Object-Oriented Databases (EA, LM, SC), pp. 99–108.
SIGMODSIGMOD-1993-NassifM #legacy #migration
Issues and Approaches for Migration/Cohabitation between Legacy and new Systems (RN, DM), pp. 471–474.
VLDBVLDB-1993-LampsonL #commit #optimisation
A New Presumed Commit Optimization for Two Phase Commit (BWL, DBL), pp. 630–640.
PLDIPLDI-1993-Pinter #approach #scheduling
Register Allocation with Instruction Scheduling: A New Approach (SSP), pp. 248–257.
STOCSTOC-1993-Fleischer
Decision trees: old and new results (RF), pp. 468–477.
ICALPICALP-1993-Blum #approach #reliability #source code
Program Result Checking: A New Approach to Making Programs More Reliable (MB), pp. 1–14.
ICALPICALP-1993-IbarraJTW #decidability
New Decidability Results Concerning Two-way Counter Machines and Applications (OHI, TJ, NQT, HW), pp. 313–324.
HCIHCI-ACS-1993-Burger #assessment #case study #performance #usability
Performance of a Usability Assessment Model: A New Zealand Case Study (SVB), pp. 660–665.
HCIHCI-ACS-1993-CakirC #documentation #evaluation #image #user interface
Image Processing of Office Documents — Ergonomic Evaluation of the User Interface of a New System (, ), pp. 797–802.
HCIHCI-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.
HCIHCI-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.
HCIHCI-ACS-1993-Soares
Data-Preparation Clerks in Brazilian Data Processing Centres: The Unskilled and Unhealthy New Jobs (AS), pp. 886–890.
HCIHCI-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.
HCIHCI-ACS-1993-TsujiMND #analysis
New Analysis of HRV Through Wavelet Transform (HT, HM, TN, TD), pp. 920–924.
HCIHCI-ACS-1993-Williams
The Effects of New Information Technology on Interorganizational Relations: Electronic Tax Return Lodgement in Australia (TAW), pp. 356–361.
HCIHCI-SHI-1993-BauerR #development #interactive
New Techniques for Interaction in Virtual Worlds — Contents of Development and Examples (WB, OR), pp. 687–692.
HCIHCI-SHI-1993-Cohill #approach #design #development #interface #tool support
Information Tools: A New Approach to Interface Design and Development (AMC), pp. 915–920.
HCIHCI-SHI-1993-GulliksenJLNS #interface
The Need for New Application Specific Interface Elements (JG, MJ, ML, EN, BLS), pp. 15–20.
HCIHCI-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.
HCIHCI-SHI-1993-KumeJS #design #paradigm
A New Paradigm for Diagnostic Expert System Based on Designer’s Knowledge (YK, HSJ, GS), pp. 867–872.
CHIINTERCHI-1993-ApperleyP #human-computer #interactive #research
Human-computer interaction research at Massey University, New Zealand (MDA, CP), pp. 244–245.
CHIINTERCHI-1993-TakeuchiN
Communicative facial displays as a new conversational modality (AT, KN), pp. 187–193.
CIKMCIKM-1993-BhatiaY #approach #information management
A New Approach to Knowledge Acquisition by Repertory Grids (SKB, QY), pp. 738–740.
CIKMCIKM-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.
SEKESEKE-1993-Cheng #complexity #metric #rule-based
A New Complexity Metric for OPS5 Rule-Based Systems (AMKC), pp. 244–247.
SEKESEKE-1993-YonezakiKSL #named #process
TAP: A New Model for Software Process: Tasks-Agents-Products (NY, TK, MS, JL), pp. 346–350.
ECOOPECOOP-1993-LiskovW #type system
A New Definition of the Subtype Relation (BL, JMW), pp. 118–141.
TOOLSTOOLS-USA-1993-MorabitoS #analysis #approach #design #object-oriented
A New Approach to Object-Oriented Analysis and Design (JM, MSS), pp. 45–55.
PPDPPLILP-1993-Nederhof #algorithm #definite clause grammar #parsing #recursion #top-down
A New Top-Down Parsing Algorithm for Left-Recursive DCGs (MJN), pp. 108–122.
HPDCHPDC-1993-Kung #network #performance
New Flow Control Methods for High-Speed Networks (HTK), p. 4.
PPoPPPPoPP-1993-MorrisettT #framework #ml #multi #standard
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
SOSPSOSP-1993-JongeKH #approach #file system #logic
The Logical Disk: A New Approach to Improving File Systems (WdJ, MFK, WCH), pp. 15–28.
ICLPICLP-1993-BossiBF #fixpoint #prolog #semantics
A New Fixpoint Semantics for Prolog (AB, MB, MF), pp. 374–389.
TLCATLCA-1993-JungT
A New Characterization of λ Definability (AJ, JT), pp. 245–257.
DACDAC-1992-AbramoviciRM #approach #exclamation #testing
Freeze!: A New Approach for Testing Sequential Circuits (MA, KBR, DTM), pp. 22–25.
DACDAC-1992-CabodiCCGPR #traversal
A New Model for Improving symbolic Product Machine Traversal (GC, PC, FC, SG, PP, MSR), pp. 614–619.
DACDAC-1992-FangFL #approach #multi #performance #problem
A New Efficient Approach to Multilayer Channel Routing Problem (SCF, WSF, SLL), pp. 579–584.
DACDAC-1992-FujiiMMY #multi
A Multi-Layer Channel Router with New Style of Over-the-Cell Routing (TF, YM, TM, TY), pp. 585–588.
DACDAC-1992-Ho #modelling
New Models for Four- and Five-Layer Channel Routing (TTH), pp. 589–593.
DACDAC-1992-KimLS #graph #layout #modelling #using
A New Hierarchical Layout Compactor Using Simplified Graph Models (WK, JL, HS), pp. 323–326.
DACDAC-1992-KungDNG #algorithm #named
BDDMAP: A Technology Mapper Based on a New Covering Algorithm (DSK, RFD, TAN, DJG), pp. 484–487.
DACDAC-1992-LeeM #logic #multi #simulation
Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DACDAC-1992-WuSHS
Over-the-Cell Routers for New Cell Model (BW, NAS, NDH, MS), pp. 604–607.
DACDAC-1992-ZeinED #logic #named
HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
PODSPODS-1992-Beeri #challenge #modelling
New Data Models and Languages — the Challenge (CB), pp. 1–15.
PEPMPEPM-1992-KatzW #partial evaluation #towards
Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.
PLDIPLDI-1992-BrooksHS #approach #debugging
A New Approach to Debugging Optimized Code (GB, GJH, SS), pp. 1–11.
STOCSTOC-1992-BartalFKV #algorithm #problem #scheduling
New Algorithms for an Ancient Scheduling Problem (YB, AF, HJK, RV), pp. 51–58.
STOCSTOC-1992-BellantoniC #recursion
A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) (SB, SAC), pp. 283–293.
ICALPICALP-1992-IbarraT #automaton #finite
New Results Concerning Synchronized Finite Automata (OHI, NQT), pp. 126–137.
ICALPICALP-1992-Rote #how #metric
A New Metric Between Polygons and How to Compute it (GR), pp. 404–415.
KRKR-1992-GivanM
New Results on Local Inference Relations (RG, DAM), pp. 403–412.
ICMLML-1992-PerezE #named #problem
DYNAMIC: A New Role for Training Problems in EBL (MAP, OE), pp. 367–372.
SIGIRSIGIR-1992-Keen #ranking
Term Position Ranking: Some New Test Results (EMK), pp. 66–76.
OOPSLAOOPSLA-1992-DonyMC #prototype #taxonomy #validation
Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation (CD, JM, PC), pp. 201–217.
LICSLICS-1992-AbramskyJ #geometry #interactive
New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
DACDAC-1991-HolmesSS #algorithm #using
New Algorithm for Over-the-Cell Channel Routing Using Vacant Terminals (NDH, NAS, MS), pp. 126–131.
DACDAC-1991-RaghavanR #analysis
A New Nonlinear Driver Model for Interconnect Analysis (VR, RAR), pp. 561–566.
DACDAC-1991-RaithB
A New Hypergraph Based Rip-Up and Reroute Strategy (MR, MB), pp. 54–59.
DACDAC-1991-ShihK #approach #equation #named #performance #using
ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
DACDAC-1991-Utesch #adaptation #approach #interactive #using
A New Approach to Hierarchical Adaptation Using Sequence-Control Based on Cell Interactions (MCU), pp. 723–726.
SIGMODSIGMOD-1991-GuntzerKT #database #deduction #nondeterminism #reasoning
New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.
PEPMPEPM-1991-HuntS #analysis #perspective
Binding Time Analysis: A New PERspective (SH, DS), pp. 154–165.
PLDIPLDI-1991-Jain #pipes and filters #scheduling
Circular Scheduling: A New Technique to Perform Software Pipelining (SJ), pp. 219–228.
ICALPICALP-1991-Chazelle #geometry
Computational Geometry for the Gourmet: Old Fare and New Dishes (BC), pp. 686–696.
CHICHI-1991-Furnas #comprehension #interface #modelling #reasoning #visual notation
New graphical reasoning models for understanding graphical interfaces (GWF), pp. 71–78.
KRKR-1991-Castaing #formal method #representation
A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
SIGIRSIGIR-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.
TOOLSTOOLS-USA-1991-Taylor #lifecycle
A New Lifecycle Model for Object Technology (DAT), pp. 393–394.
PPDPPLILP-1991-AppelM #ml #standard
Standard ML of New Jersey (AWA, DBM), pp. 1–13.
ICSEICSE-1991-Litke #implementation #process #towards
Toward new Techniques to Assess the Software Implementation Process (JDL), pp. 74–82.
PPoPPPPoPP-1991-KungSGK #network #performance #scalability
Parallelizing a New Class of Large Applications over High-speed Networks (HTK, PS, MG, MK), pp. 167–177.
CSLCSL-1991-Feferman #approach #data type
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.
ICLPICLP-1991-HentenryckD #constraints #logic #logic programming
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (PVH, YD), pp. 745–759.
ICLPICLP-1991-MansfieldTMN #approach #named #towards
AMLOG-E: A New Approach towards Amalgamation (GM, AT, NM, SN), pp. 364–378.
ICLPICLP-1991-PierroMP #logic programming
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming (ADP, MM, CP), pp. 32–45.
ICLPISLP-1991-Kawamura #logic programming #performance #source code
Derivation of Efficient Logic Programs by Synthesizing New Predicates (TK), pp. 611–625.
ICLPISLP-1991-MarienD #unification
A New Scheme for Unification in WAM (AM, BD), pp. 257–271.
DACDAC-1990-BrasenB #algorithm #named #optimisation
MHERTZ: A New Optimization Algorithm for Floorplanning and Global Routing (DRB, MLB), pp. 107–110.
DACDAC-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.
DACDAC-1990-ChatterjeeH #approach #clustering
A New Simultaneous Circuit Partitioning and Chip Placement Approach Based on Simulated Annealing (AC, RIH), pp. 36–39.
DACDAC-1990-EdahiroY #algorithm #standard
New Placement and Global Routing Algorithms for Standard Cell Layouts (ME, TY), pp. 642–645.
DACDAC-1990-GiraldiB #automation #future of #generative #named
EST: The New Frontier in Automatic Test-Pattern Generation (JG, MLB), pp. 667–672.
DACDAC-1990-OkuboWW #algorithm
New Algorithm for Overlapping Cell Treatment in Hierarchical CAD Data/Electron Beam Exposure Data Conversion (TO, TW, KW), pp. 321–326.
DACDAC-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.
SIGMODSIGMOD-1990-WolfsonO #distributed #paradigm #parallel
A New Paradigm for Parallel and Distributed Rule-Processing (OW, AO), pp. 133–142.
VLDBVLDB-1990-GhandeharizadehD #clustering #database #multi
Hybrid-Range Partitioning Strategy: A New Declustering Strategy for Multiprocessor Database Machines (SG, DJD), pp. 481–492.
VLDBVLDB-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.
STOCSTOC-1990-Vishkin #pattern matching #performance
Deterministic Sampling-A New Technique for Fast Pattern Matching (UV), pp. 170–180.
ICALPICALP-1990-Blum #approach #graph
A New Approach to Maximum Matching in General Graphs (NB), pp. 586–597.
ICALPICALP-1990-DietzfelbingerH #realtime
A New Universal Class of Hash Functions and Dynamic Hashing in Real Time (MD, FMadH), pp. 6–19.
ICGTGG-1990-EhrigL #graph transformation
Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.
CHICHI-1990-Thomsen #paradigm
Business instrument panel: a new paradigm for interfacing with financial data (CTT), pp. 161–166.
SIGIRSIGIR-1990-Egghe #formal method #information retrieval
A New Method for Information Retrieval, Based on the Theory of Relative Concentration (LE), pp. 469–493.
OOPSLAOOPSLA-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.
PPDPPLILP-1990-Fribourg #execution #prolog
A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
PPDPPLILP-1990-Huitouze #data type #implementation #prolog
A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.
ICLPCLP-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.
ICLPCLP-1990-UedaM90 #haskell #implementation
A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.
LICSLICS-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.
LICSLICS-1990-CroleP #fixpoint
New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.
DACDAC-1989-Coppola #algorithm #analysis #logic
New Methods in the Analysis of Logic Minimization Data and Algorithms (AJC), pp. 226–231.
DACDAC-1989-HoevenLDD #network #simulation
A New Model for the High Level Description and Simulation of VLSI Networks (AJvdH, AAdL, EFD, PD), pp. 738–741.
DACDAC-1989-HoVW #approach #problem
A New Approach to the Rectilinear Steiner Tree Problem (JMH, GV, CKW), pp. 161–166.
DACDAC-1989-SaucierDP #using
State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory (GS, CD, FP), pp. 321–326.
DACDAC-1989-SherwaniD #heuristic #problem
A New Heuristic for Single Row Routing Problems (NAS, JSD), pp. 167–172.
DACDAC-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.
DACDAC-1989-YangK #development #named #novel #simulation
iSMILE: A Novel Circuit Simulation Program with Emphasis on New Device Model Development (ATY, SMK), pp. 630–633.
STOCSTOC-1989-Feder #approach #fixpoint #network
A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.
STOCSTOC-1989-ReifS #geometry #named #random
Polling: A New Randomized Sampling Technique for Computational Geometry (JHR, SS), pp. 394–404.
ICALPICALP-1989-LiV89a #approach #complexity #formal method
A New Approach to Formal Language Theory by Kolmogorov Complexity (Preliminary Version) (ML, PMBV), pp. 506–520.
FPCAFPCA-1989-KuoM #analysis #strict #type inference
Strictness Analysis: A New Perspective Based on Type Inference (TMK, PM), pp. 260–272.
FPCAFPCA-1989-Takayama #performance #proving #source code
Extended Projection — New Method to Extract Efficient Programs from Constructive Proofs (YT), pp. 299–312.
FPCAFPCA-1989-Traub #approach #clustering #compilation #functional #strict
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
CHICHI-1989-Zanden #constraints #specification #visual notation
Constraint grammars-a new model for specifying graphical applications (BTVZ), pp. 325–330.
CAiSECAiSE-1989-KollerbaurLK #interface
Lexivisual Interfaces — The New Look (AK, TL, MK).
ICMLML-1989-Anderson #learning #network
Tower of Hanoi with Connectionist Networks: Learning New Features (CWA), pp. 345–349.
ICMLML-1989-Danyluk #bias #induction #information management
Finding New Rules for Incomplete Theories: Explicit Biases for Induction with Contextual Information (APD), pp. 34–36.
ICMLML-1989-GamsK #empirical #learning
New Empirical Learning Mechanisms Perform Significantly Better in Real Life Domains (MG, AK), pp. 99–103.
ICMLML-1989-MurrayP #integration
Controlling Search for the Consequences of New Information During Knowledge Integration (KSM, BWP), pp. 290–295.
ICMLML-1989-Woodfill
Labor Saving New Distinctions (JW), pp. 430–433.
SIGIRSIGIR-1989-Baeza-YatesG #approach
A New Approach to Text Searching (RABY, GHG), pp. 168–175.
OOPSLAOOPSLA-1989-Schelvis #approach #distributed #garbage collection #incremental
Incremental Distribution of Timestamp Packets: A New Approach to Distributed Garbage Collection (MS), pp. 37–48.
ESECESEC-1989-Gottler #graph grammar #implementation #paradigm #visual notation
Graph Grammars, a new Paradigm for Implementing Visual Languages (HG), pp. 336–350.
SOSPSOSP-1989-HutchinsonPAO #design #kernel
RPC in the x-Kernel: Evaluating New Design Techniques (NCH, LLP, MBA, SWO), pp. 91–101.
CSLCSL-1989-Ohlbach #first-order #logic #multi #proving
New Ways for Developing Proof Theories for First-Order Multi Modal Logics (HJO), pp. 271–308.
RTARTA-1989-Gottler #graph grammar #implementation #visual notation
Graph Grammars, A New Paradigma for Implementing Visual Languages (HG), pp. 152–166.
DACDAC-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.
DACDAC-1988-LamD #performance
Performance of a New Annealing Schedule (JL, JMD), pp. 306–311.
DACDAC-1988-YaoYL #approach #problem
A New Approach to the Pin Assignment Problem (XY, MY, CLL), pp. 566–572.
DACDAC-1988-Zimmerman #estimation
A New Area and Shape Function Estimation Technique for VLSI Layouts (GZ), pp. 60–65.
ESOPESOP-1988-AikenN #parallel #pipes and filters
Perfect Pipelining: A New Loop Parallelization Technique (AA, AN), pp. 221–235.
ESOPESOP-1988-Consel #empirical #partial evaluation
New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.
ICALPICALP-1988-Culik #decidability #equivalence #problem #proving
New Techniques for Proving the Decidability of Equivalence Problems (KCI), pp. 162–175.
ICALPICALP-1988-Hartmanis #complexity
New Developments in Structural Complexity Theory (JH), pp. 271–286.
ICMLML-1988-NatarajanT #framework #learning
Two New Frameworks for Learning (BKN, PT), pp. 402–415.
PPDPALP-1988-Kucherov #algorithm #induction #proving #testing
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.
PPoPPPPEALS-1988-GoldmanG #experience #named
Qlisp: Experience and New Directions (RG, RPG), pp. 111–123.
CADECADE-1988-FranzenH #approach #unification
A New Approach to Universal Unification and Its Application to AC-Unification (MF, LJH), pp. 643–657.
CSLCSL-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.
ICLPJICSCP-1988-ChuM88 #named
SWIFT: A New Symbolic Processor (DAC, FGM), pp. 1415–1427.
ICLPJICSCP-1988-FalaschiLMP88 #declarative #logic #semantics
A New Declarative Semantics for Logic Languages (MF, GL, MM, CP), pp. 993–1005.
LICSLICS-1988-MeseguerM #algebra #monad #petri net
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
DACDAC-1987-ApteK #layout #standard
Strip Layout: A New Layout Methodology for Standard Circuit Modules (JA, GK), pp. 363–369.
DACDAC-1987-KlingB #evolution #named #standard #using
ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.
DACDAC-1987-Rosenberg87a #interactive
A New Interactive Supply/Demand Router with Rip-Up Capability for Printed Circuit Boards (ER), pp. 721–726.
DACDAC-1987-ShahM
A New Compaction Scheme Based on Compression Ridges (PCS, HNM), pp. 645–648.
HTHT-1987-Crane #hypermedia
From the Old to the New: Integrating Hypertext into Traditional Scholarship (GRC), pp. 51–55.
HTHT-1987-RaymondT #hypermedia #taxonomy
Hypertext and the New Oxford English Dictionary (DRR, FWT), pp. 143–153.
PODSPODS-1987-AtzeniB
A New Basis for the Weak Instance Model (PA, MCDB), pp. 79–86.
SIGMODSIGMOD-1987-Freeston #grid
The BANG File: A New Kind of Grid File (MF), pp. 260–269.
VLDBVLDB-1987-GonnetT #approach #modelling
Mind Your Grammar: a New Approach to Modelling Text (GHG, FWT), pp. 339–346.
VLDBVLDB-1987-LiRW #database #performance #scalability
A New Compression Method with Fast Searching on Large Databases (JL, DR, HKTW), pp. 311–318.
VLDBVLDB-1987-Lu #database #transitive
New Strategies for Computing the Transitive Closure of a Database Relation (HL), pp. 267–274.
STOCSTOC-1987-Frederickson #approach #graph
A New Approach to All Pairs Shortest Paths in Planar Graphs (Extended Abstract) (GNF), pp. 19–28.
STOCSTOC-1987-MillerR #algorithm #graph #parallel
A New Graph Triconnectivity Algorithm and Its Parallelization (GLM, VR), pp. 335–344.
DACDAC-1986-BraunBDMMRS #multi #named
Chameleon: a new multi-layer channel router (DB, JLB, SD, HKTM, KM, FR, ALSV), pp. 495–502.
DACDAC-1986-FrisonG #editing #layout #metaprogramming #named
MADMACS: a new VLSI layout macro editor (PF, EG), pp. 654–658.
DACDAC-1986-GlesnerSS #compilation #named #statistics #verification
SCAT — a new statistical timing verifier in a silicon compiler system (MG, JS, RBS), pp. 220–226.
DACDAC-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.
DACDAC-1986-Marwedel #synthesis
A new synthesis for the MIMOLA software system (PM), pp. 271–277.
DACDAC-1986-NavedaCD #approach #multi
A new approach to multi-layer PCB routing with short vias (JFN, KCC, DHCD), pp. 696–701.
DACDAC-1986-SechenS #standard
TimberWolf3.2: a new standard cell placement and global routing package (CS, ALSV), pp. 432–439.
DACDAC-1986-SupowitF #verification
A new method for verifying sequential circuits (KJS, SJF), pp. 200–207.
DACDAC-1986-WatanabeS #algorithm #hardware #implementation
A new routing algorithm and its hardware implementation (TW, YS), pp. 574–580.
DACDAC-1986-WongL #algorithm #design
A new algorithm for floorplan design (DFW, CLL), pp. 101–107.
VLDBVLDB-1986-AbiteboulSGS #towards
Towards DBMSs for Supporting New Applications (SA, MS, GG, ES), pp. 423–435.
VLDBVLDB-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.
STOCSTOC-1986-GoldbergT #approach #problem
A New Approach to the Maximum Flow Problem (AVG, RET), pp. 136–146.
STOCSTOC-1986-LandauV #algorithm #approximate #parallel #performance #string
Introducing Efficient Parallelism into Approximate String Matching and a New Serial Algorithm (GML, UV), pp. 220–230.
STOCSTOC-1986-LiY #bound #parallel
New Lower Bounds for Parallel Computation (ML, YY), pp. 177–187.
ICALPICALP-1986-Aurenhammer #diagrams
A New Duality Result Concerning Voronoi Diagrams (FA), pp. 21–30.
ICALPICALP-1986-ShavitF #approach #detection
A New Approach to Detection of Locally Indicative Stability (NS, NF), pp. 344–358.
SIGIRSIGIR-1986-Rijsbergen #framework #information retrieval
A New Theoretical Framework for Information Retrieval (CJvR), pp. 194–200.
OOPSLAOOPSLA-1986-Pascoe #named #paradigm
Encapsulators: A New Software Paradigm in Smalltalk-80 (GAP), pp. 341–346.
CADECADE-1986-HsiangR #proving #theorem proving
A New Method for Establishing Refutational Completeness in Theorem Proving (JH, MR), pp. 141–152.
CADECADE-1986-Lim #heuristic
The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
CADECADE-1986-Lins #combinator #execution
A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
ICLPICLP-1986-MahlerSS86 #approach #prolog
A New Approach for Intruducing Prolog to Naive Users (OM, ZS, EYS), pp. 544–551.
DACDAC-1985-HennionSC #algorithm #generative
A new algorithm for third generation circuit simulators: the one-step relaxation method (BH, PS, DC), pp. 137–143.
DACDAC-1985-LaarhovenAD #algorithm #logic
PHIPLA-a new algorithm for logic minimization (PJMvL, EHLA, MD), pp. 739–743.
SIGIRSIGIR-1985-Stubbs #taxonomy
The New English Oxford English Dictionary and its Potential Users: Some Preliminary Comments (JOS), pp. 78–81.
RTARTA-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.
PODSPODS-1984-KuperV #approach #database #logic
A New Approach to Database Logic (GMK, MYV), pp. 86–96.
VLDBVLDB-1984-StonebrakerR #database #interface
Database Portals: A New Application Program Interface (MS, LAR), pp. 3–13.
STOCSTOC-1984-DolevHSS #fault tolerance #network
A New Look at Fault Tolerant Network Routing (DD, JYH, BS, HRS), pp. 526–535.
STOCSTOC-1984-Karmarkar #algorithm #linear #polynomial #programming
A New Polynomial-Time Algorithm for Linear Programming (NK), pp. 302–311.
POPLPOPL-1984-Ossher #graph #named
Grids: A New Program Structuring Mechanism Based on Layered Graphs (HO), pp. 11–22.
ICSEICSE-1984-Rogers #pascal #readability
A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.
CADECADE-1984-Kirchner #algorithm #equation #unification
A New Equational Unification Method: A Generalization of Martelli-Montanari’s Algorithm (CK), pp. 224–247.
CADECADE-1984-LankfordBB #algorithm
A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
CADECADE-1984-Paul #principle
A New Interpretation of the Resolution Principle (EP), pp. 333–355.
DACDAC-1983-ChengGKW #development #functional #simulation
Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
DACDAC-1983-GamalS #array #statistics
A new statistical model for gate array routing (AEG, ZAS), pp. 671–674.
DACDAC-1983-LeongL #problem
A new channel routing problem (HWL, CLL), pp. 584–590.
DACDAC-1983-SomenziGMP #testing #verification
A new integrated system for PLA testing and verification (FS, SG, MM, PP), pp. 57–63.
SIGMODSIGMOD-1983-HoneymanS #independence
A New Characterization of Independence (PH, ES), pp. 92–96.
STOCSTOC-1983-Fich #bound #parallel
New Bounds for Parallel Prefix Circuits (FEF), pp. 100–109.
STOCSTOC-1983-ODunlaingSY #approach #named
Retraction: A New Approach to Motion-Planning (Extended Abstract) (, MS, CKY), pp. 207–220.
ICALPICALP-1983-Gabarro #complexity
Initial Index: A New Complexity Function for Languages (JG), pp. 226–236.
SIGIRSIGIR-1983-Rijsbergen83a #information retrieval
Information Retrieval: New Directions, Old Solutions (CJvR), pp. 264–265.
DACDAC-1982-ArnoldO #approach #geometry #layout #named
Lyra: A new approach to geometric layout rule checking (MHA, JKO), pp. 530–536.
DACDAC-1982-Hsu #2d #algorithm
A new two-dimensional routing algorithm (CPH), pp. 46–50.
DACDAC-1982-LelarasmeeS #named #scalability
Relax: A new circuit for large scale MOS integrated circuits (EL, ALSV), pp. 682–687.
DACDAC-1982-Marcotte #automation #named
Robotics: The new automation tool (HRM), pp. 2–8.
STOCSTOC-1982-Wigderson #algorithm #approximate #graph
A New Approximate Graph Coloring Algorithm (AW), pp. 325–329.
ICALPICALP-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.
ICALPICALP-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.
LISPLFP-1982-Hughes #combinator #implementation
Super Combinators: A New Implementation Method for Applicative Languages (RJMH), pp. 1–10.
ICSEICSE-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.
STOCSTOC-1981-KleitmanLLM #graph
New Layouts for the Shuffle-Exchange Graph (Extended Abstract) (DJK, FTL, ML, GLM), pp. 278–292.
ICALPICALP-1981-Reutenauer #regular expression
A New Characterization of the Regular Languages (CR), pp. 177–183.
DACDAC-1980-DarringerJ #logic #synthesis
A new look at logic synthesis (JAD, WHJJ), pp. 543–549.
DACDAC-1980-El-Ziq #generative
A new test pattern generation system (YMEZ), pp. 62–68.
DACDAC-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.
SIGMODSIGMOD-1980-Kim
A New Way to Compute the Product and Join of Relations (WK), pp. 179–187.
VLDBVLDB-1980-Litwin #linear
Linear Hashing: A New Tool for File and Table Addressing (WL), pp. 212–223.
POPLPOPL-1980-Kamin #data type #specification
Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.
DACDAC-1979-LallierJ
A new circuit placement program for FET chips (KWL, RKJ), pp. 109–113.
DACDAC-1979-Pimont #algorithm
New algorithms for grid-less routing of high density printed circuit boards (SP), p. 485.
VLDBVLDB-1979-ParkerD #algorithm #dependence #multi
Algorithmic Applications for a new Result on Multivalued Dependencies (DSPJ, CD), pp. 67–74.
PLDISCC-1979-PaiK #fault #parsing #syntax
Global context recovery: A new strategy for parser recovery from syntax errors (ABP, RBK), pp. 158–167.
ICSEICSE-1979-Scowen #quality #source code
A New Technique for Improving the Quality of Computer Programs (RSS), pp. 73–78.
DACDAC-1978-DavidV #concept #design #named
SIGMA-CAD: Some new concepts in design of general purpose CAD systems (BTD, GV), pp. 321–325.
VLDBVLDB-1978-Hsiao
An Opening Statement for the Session in Impact of New Technologies (DKH), p. 70.
VLDBVLDB-1978-Kluge
Impact of New Technologies (WEK), p. 71.
STOCSTOC-1978-Katseff #problem
A New Solution to the Critical Section Problem (HPK), pp. 86–88.
POPLPOPL-1978-GlanvilleG #code generation #compilation
A New Method for Compiler Code Generation (RSG, SLG), pp. 231–240.
DACDAC-1977-Kovijanic #generative #testing #verification
A new look at test generation and verification (PGK), pp. 58–63.
VLDBVLDB-1977-FieldsN #using
Using New Clues to Find Data (CF, NN), pp. 156–158.
STOCSTOC-1977-GuibasMPR #linear #representation
A New Representation for Linear Lists (LJG, EMM, MFP, JRR), pp. 49–60.
STOCSTOC-1977-LeongS #multi #realtime #simulation
New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.
POPLPOPL-1977-Harrison #code generation #compilation #optimisation
A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
DACDAC-1976-Rau #multi
A new philosophy for interconnection on multilayer boards (BRR), pp. 225–231.
DACDAC-1976-WuS #algorithm #float
A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.
VLDBVLDB-1976-Kent #concept
New Criteria for the Conceptual Model (WK), pp. 1–12.
STOCSTOC-1976-Wand #hoare
A New Incompleteness Result for Hoare’s System (MW), pp. 87–91.
ICSEICSE-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.
ICSEICSE-1976-Panzl #approach #testing #verification
Test Procedures: A New Approach to Software Verification (DJP), pp. 477–485.
DACDAC-1975-Fike #design #detection #fault #predict #question
Predicting fault detectability in combinational circuits — a new design tool? (JLF), pp. 290–295.
DACDAC-1975-GilliO #algebra #network #scalability #simulation
A new algebraic procedure for the simulation of large digital networks (LG, FO), pp. 32–41.
DACDAC-1975-Groger #approach #clustering #logic
A new approach to structural partitioning of computer logic (HJG), pp. 378–383.
POPLPOPL-1975-Lipton #named #process #proving #reduction
Reduction: A New Method of Proving Properties of Systems of Processes (RJL), pp. 78–86.
POPLPOPL-1975-Symes
New Control Structures to Aid Gotolessness (DMS), pp. 194–203.
DACDAC-1974-ArimaTAO #algorithm #generative #heuristic #testing
A new heuristic test generation algorithm for sequential circuits (TA, MT, GA, JO), pp. 169–176.
STOCSTOC-1974-Hammer #ll
A New Grammatical Transformation into LL(k) Form (Extended Abstract) (MH), pp. 266–275.
STOCSTOC-1974-Kung #algorithm #bound #evaluation #parallel
New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions (HTK), pp. 323–333.
DACSHARE-1964-Fielding
New approaches (FGF).
DACSHARE-1964-GordonO
Printer graphics: New horizons in graphic output on the IBM 1403 printer (MG, AO).

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