387 papers:
- CASE-2015-CheongSB #ad hoc #automation #optimisation
- Ad-hoc automated teller machine failure forecast and field service optimization (MLFC, KPS, BCB), pp. 1427–1433.
- VLDB-2015-AslayLB0L #social
- Viral Marketing Meets Social Advertising: Ad Allocation with Minimum Regret (ÇA, WL, FB, AG, LVSL), pp. 822–833.
- VLDB-2015-ZoumpatianosIP #interactive #named
- RINSE: Interactive Data Series Exploration with ADS+ (KZ, SI, TP), pp. 1912–1923.
- CHI-2015-Cramer #quality
- Effects of Ad Quality & Content-Relevance on Perceived Content Quality (HC), pp. 2231–2234.
- CHI-2015-YunASLZL #automation #online
- Beyond Eco-Feedback: Adding Online Manual and Automated Controls to Promote Workplace Sustainability (RY, AA, PS, BL, CZ, VL), pp. 1989–1992.
- DUXU-IXD-2015-EliasFC #game studies #interactive
- Ads-on Games and Fake Brands: Interactions, Commercials and Playful Branding (HE, EF, BJAdC), pp. 251–262.
- HCI-IT-2015-OkuboT #chat #development #visualisation
- Development of Chat System Added with Visualized Unconscious Non-verbal Information (MO, HT), pp. 353–362.
- HIMI-IKD-2015-KaoW #concept #interface #web
- Narrower Conceptual Scope in the App Than the Web Store Interface — The Size Does It and the Ad Has It (CLK, MYW), pp. 204–214.
- ICML-2015-MaSJJRT #distributed #optimisation
- Adding vs. Averaging in Distributed Primal-Dual Optimization (CM, VS, MJ, MIJ, PR, MT), pp. 1973–1982.
- KDD-2015-MahdianSV #algorithm
- Algorithmic Cartography: Placing Points of Interest and Ads on Maps (MM, OS, SV), pp. 755–764.
- KDD-2015-XuLLQL #effectiveness #online #optimisation
- Smart Pacing for Effective Online Ad Campaign Optimization (JX, KcL, WL, HQ, QL), pp. 2217–2226.
- RecSys-2015-KarSA #linear #online #video
- Selection and Ordering of Linear Online Video Ads (WK, VS, PA), pp. 203–210.
- SIGIR-2015-VuurensVBM #ad hoc #online #query
- Online News Tracking for Ad-Hoc Queries (JBPV, APdV, RB, PM), pp. 1047–1048.
- SIGIR-2015-ZhiltsovKN #ad hoc #dependence #retrieval #web
- Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data (NZ, AK, FN), pp. 253–262.
- OOPSLA-2015-UrecheBSO #ad hoc #automation #data transformation #representation
- Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.
- SAC-2015-GuessiMAON #architecture #named #ontology
- OntolAD: a formal ontology for architectural descriptions (MG, DAM, GA, FO, EYN), pp. 1417–1424.
- ICSE-v1-2015-GuiMNH #developer #mobile
- Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers (JG, SM, MN, WGJH), pp. 100–110.
- ICLP-J-2015-CristiaRF #constraints #logic programming #set
- Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
- HT-2014-Baeza-Yates #ad hoc
- The wisdom of ad-hoc crowds (RABY), pp. 1–2.
- SIGMOD-2014-GurajadaSMT #distributed #message passing #named #rdf
- TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
- SIGMOD-2014-ShiCDO #ad hoc #towards
- Towards unified ad-hoc data processing (XS, BC, GD, BCO), pp. 1263–1274.
- ITiCSE-2014-EricssonW #mining #what
- Mining job ads to find what skills are sought after from an employers’ perspective on IT graduates (ME, AW), p. 354.
- WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime
- A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
- SCAM-2014-MurtazaHKC #automation #detection
- Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
- ICALP-v2-2014-KosowskiP #case study #difference
- Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router (AK, DP), pp. 544–555.
- CHI-2014-Al-AkkadRBRZ #ad hoc #design #evaluation #lightweight #smarttech
- Help beacons: design and evaluation of an ad-hoc lightweight s.o.s. system for smartphones (AAA, LR, AB, DWR, AZ), pp. 1485–1494.
- CHI-2014-HaimsonBH #online
- DDFSeeks same: sexual health-related language in online personal ads for men who have sex with men (OLH, JRB, GRH), pp. 1615–1624.
- CHI-2014-KusunokiSWMZTB #ad hoc #design #multi
- Balancing design tensions: iterative display design to support ad hoc and multidisciplinary medical teamwork (DSK, AS, NW, IM, ZZ, GT, RSB), pp. 3777–3786.
- HCI-AIMT-2014-HumayounRHE #gesture #interactive #mobile #multi #web
- Adding Multi-Touch Gesture Interaction in Mobile Web Applications (SRH, FAR, SH, AE), pp. 48–57.
- ICEIS-v2-2014-HoosGKM #analysis #framework #identification #mobile #process
- Improving Business Processes Through Mobile Apps — An Analysis Framework to Identify Value-added App Usage Scenarios (EH, CG, SK, BM), pp. 71–82.
- ICEIS-v2-2014-MaretLL #ad hoc #community #semantics #web
- A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.
- ICEIS-v3-2014-SilvaA14a #design pattern #semantics
- Adding Semantic Relations among Design Patterns (MARS, JCA), pp. 46–56.
- CIKM-2014-AlabdulmohsinGZ #reverse engineering #robust
- Adding Robustness to Support Vector Machines Against Adversarial Reverse Engineering (IMA, XG, XZ), pp. 231–240.
- CIKM-2014-BalogKS #ad hoc #evaluation
- Head First: Living Labs for Ad-hoc Search Evaluation (KB, LK, AS), pp. 1815–1818.
- CIKM-2014-TuLLH #ad hoc #documentation #information retrieval
- Log-Bilinear Document Language Model for Ad-hoc Information Retrieval (XT, JL, BL, TH), pp. 1895–1898.
- CIKM-2014-ZhaoCCY #query
- Query Augmentation based Intent Matching in Retail Vertical Ads (HZ, YC, JFC, TWY), pp. 619–628.
- KDD-2014-TagamiHTOTT
- Filling context-ad vocabulary gaps with click logs (YT, TH, YT, SO, KT, AT), pp. 1955–1964.
- KDIR-2014-Bradford #ad hoc #query
- Incorporating Ad Hoc Phrases in LSI Queries (RBB), pp. 61–70.
- SEKE-2014-GaoKN #estimation #learning #quality #ranking
- Comparing Two Approaches for Adding Feature Ranking to Sampled Ensemble Learning for Software Quality Estimation (KG, TMK, AN), pp. 280–285.
- SAC-2014-BarbosaBAC #lightweight #privacy
- Lightweight privacy for smart metering data by adding noise (PB, AB, HA, SC), pp. 531–538.
- SAC-2014-LiuCM #ad hoc #approach #composition #mobile #network
- A low-latency service composition approach in mobile ad hoc networks (CL, JC, FLM), pp. 509–511.
- ICST-2014-PouldingW #automation #probability
- Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.
- ASE-2013-SouzaC #fault #integration #locality
- Adding context to fault localization with integration coverage (HAdS, MLC), pp. 628–633.
- SIGMOD-2013-FujiwaraNSMO #ad hoc #performance #personalisation #rank
- Efficient ad-hoc search for personalized PageRank (YF, MN, HS, TM, MO), pp. 445–456.
- SIGMOD-2013-JindalQM #flexibility #named
- CARTILAGE: adding flexibility to the Hadoop skeleton (AJ, JAQR, SM), pp. 1057–1060.
- CSEET-2013-Edwards #programming #testing
- Adding software testing to programming assignments (SHE), pp. 371–373.
- GCM-J-2012-KniemeyerK #graph transformation #model transformation #named
- XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
- CHI-2013-HasanAI #mobile #named
- Ad-binning: leveraging around device space for storing, browsing and retrieving mobile device content (KH, DA, PI), pp. 899–908.
- CHI-2013-HoubenBVLC #ad hoc #case study #information management
- Activity-centric support for ad hoc knowledge work: a case study of co-activity manager (SH, JEB, JV, KL, KC), pp. 2263–2272.
- CHI-2013-McPhersonGS
- The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.
- CHI-2013-XiaoHH13a #ad hoc #agile #interactive #named
- WorldKit: rapid and easy creation of ad-hoc interactive applications on everyday surfaces (RX, CH, SEH), pp. 879–888.
- CSCW-2013-SchneiderSPD #ad hoc #experience #how #online
- Arguments about deletion: how experience improves the acceptability of arguments in ad-hoc online task groups (JS, KS, AP, SD), pp. 1069–1080.
- DUXU-NTE-2013-Gyoda #ad hoc #analysis #communication #evaluation #network #performance
- Analysis and Evaluation of Wireless Ad Hoc Network Performance for a Disaster Communication Model and Scenarios (KG), pp. 65–74.
- HIMI-D-2013-KaoW #complexity
- The Right Level of Complexity in a Banner Ad: Roles of Construal Level and Fluency (CTK, MYW), pp. 604–613.
- HIMI-LCCB-2013-GuoZSP #axiom #usability
- Value Added by the Axiomatic Usability Method for Evaluating Consumer Electronics (YG, YZ, GS, RWP), pp. 457–466.
- CAiSE-2013-BeheshtiBN #ad hoc #analysis #aspect-oriented #process
- Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes (SMRB, BB, HRMN), pp. 51–67.
- CAiSE-2013-KapurugeHCK13a #ad hoc #adaptation #process
- Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling (MK, JH, AC, IK), pp. 384–399.
- ICEIS-v1-2013-Kozmina #recommendation
- Adding Recommendations to OLAP Reporting Tool (NK), pp. 169–176.
- CIKM-2013-RousseauV #ad hoc #approach #information retrieval
- Graph-of-word and TW-IDF: new approach to ad hoc IR (FR, MV), pp. 59–68.
- ECIR-2013-HuiGHL #analysis #keyword
- Sponsored Search Ad Selection by Keyword Structure Analysis (KH, BG, BH, TL), pp. 230–241.
- ECIR-2013-PatilDV #concept
- Leveraging Latent Concepts for Retrieving Relevant Ads for Short Text (AP, KSD, VV), pp. 780–783.
- KDD-2013-McMahanHSYEGNPDGCLWHBK #predict
- Ad click prediction: a view from the trenches (HBM, GH, DS, MY, DE, JG, LN, TP, ED, DG, SC, DL, MW, AMH, TB, JK), pp. 1222–1230.
- SEKE-2013-BublitzSOLAP #adaptation #pervasive #petri net #specification
- A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.
- SIGIR-2013-RousseauV #ad hoc #composition #information retrieval #normalisation
- Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.
- ECMFA-2013-Storrle #ad hoc #declarative #named #query
- MOCQL: A Declarative Language for Ad-Hoc Model Querying (HS), pp. 3–19.
- MoDELS-2013-FrancisKMP #spreadsheet #tool support
- Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
- MoDELS-2013-FrancisKMP #spreadsheet #tool support
- Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
- SAC-2013-ChoCC #ad hoc #mobile #network #trust
- Composite trust-based public key management in mobile ad hoc networks (JHC, KSC, IRC), pp. 1949–1956.
- SAC-2013-LiBB #ad hoc #approach #composition #web #web service
- Service farming: an ad-hoc and QoS-aware web service composition approach (WL, YB, FB), pp. 750–756.
- LICS-2013-MontanariS #complexity #equivalence #logic
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.
- DocEng-2012-Damera-VenkataB #automation #documentation
- Ad insertion in automatically composed documents (NDV, JB), pp. 3–12.
- SIGMOD-2012-ShuteOEHRSVWCJLT #distributed #fault tolerance #named
- F1: the fault-tolerant distributed RDBMS supporting google’s ad business (JS, MO, SE, BH, ER, BS, RV, CW, XC, BJ, KL, PT), pp. 777–778.
- SIGMOD-2012-ZellagK #consistency #detection #named #realtime
- ConsAD: a real-time consistency anomalies detector (KZ, BK), pp. 641–644.
- VLDB-2012-ZengJZ #logic #query
- Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data (QZ, XJ, HZ), pp. 728–739.
- ESOP-2012-KrishnaswamiB #equation #system f
- Adding Equations to System F Types (NRK, NB), pp. 417–435.
- CIAA-2012-GastinM #automaton
- Adding Pebbles to Weighted Automata (PG, BM), pp. 28–51.
- GT-VMT-2012-MaierM #ad hoc #automation #diagrams #editing #layout
- Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout (SM, MM).
- CHI-2012-SchwarzKHDW #ad hoc #mobile #scalability #using
- Phone as a pixel: enabling ad-hoc, large-scale displays using mobile devices (JS, DK, CH, PD, AW), pp. 2235–2238.
- ICEIS-J-2012-FillRK12a #formal method #metamodelling #modelling
- Formalizing Meta Models with FDMM: The ADOxx Case (HGF, TR, DK), pp. 429–451.
- ICEIS-v2-2012-Pohjalainen #agile #bottom-up #modelling
- Agile Models Need to be Bottom-up — Adding Productivity to a Late Project Makes it Later (PP), pp. 395–400.
- ICEIS-v3-2012-FillRK #metamodelling #modelling #named
- FDMM: A Formalism for Describing ADOxx Meta Models and Models (HGF, TR, DK), pp. 133–144.
- CIKM-2012-AzimiZZNMF #visual notation
- Visual appearance of display ads and its effect on click through rate (JA, RZ, YZ, VN, JM, XF), pp. 495–504.
- CIKM-2012-BalakrishnanB #optimisation #realtime
- Real-time bid optimization for group-buying ads (RB, RPB), pp. 1707–1711.
- CIKM-2012-BarajasAHKFA
- Dynamic effects of ad impressions on commercial actions in display advertising (JB, RA, MH, JK, AF, VA), pp. 1747–1751.
- CIKM-2012-KolesnikovLT #predict
- Predicting CTR of new ads via click prediction (AK, YL, VT), pp. 2547–2550.
- CIKM-2012-WangC #learning #predict #word
- Learning to predict the cost-per-click for your ad words (CJW, HHC), pp. 2291–2294.
- CIKM-2012-XinKALH #design #modelling
- Do ads compete or collaborate?: designing click models with full relationship incorporated (XX, IK, RA, MRL, HH), pp. 1839–1843.
- CIKM-2012-YuanW #correlation
- Sequential selection of correlated ads by POMDPs (SY, JW), pp. 515–524.
- ECIR-2012-NeumayerBN #ad hoc #modelling #on the #web
- On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data (RN, KB, KN), pp. 133–145.
- KDD-2012-BhalgatFM #online
- Online allocation of display ads with smooth delivery (AB, JF, VSM), pp. 1213–1221.
- KDD-2012-ChengZAMZZN #multi #predict
- Multimedia features for click prediction of new ads in display advertising (HC, RvZ, JA, EM, RZ, YZ, VN), pp. 777–785.
- RecSys-2012-Saez-TrumperQC #distance
- Ads and the city: considering geographic distance goes a long way (DST, DQ, JC), pp. 187–194.
- SIGIR-2012-RobertsonK12a #ad hoc #evaluation #on the #realtime #retrieval
- On real-time ad-hoc retrieval evaluation (SER, EK), pp. 1119–1120.
- SIGIR-2012-TononDC #ad hoc #retrieval
- Combining inverted indices and structured search for ad-hoc object retrieval (AT, GD, PCM), pp. 125–134.
- SIGIR-2012-YeHM #ad hoc #hybrid #information retrieval
- A hybrid model for ad-hoc information retrieval (ZY, JXH, JM), pp. 1025–1026.
- PADL-2012-ZhuFW #ad hoc #incremental
- LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.
- SAC-2012-MoraisC #ad hoc #detection #distributed #network
- A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
- SAC-2012-TreiberSDS #ad hoc #mobile #twitter #workflow
- Creating mobile ad hoc workflows with Twitter (MT, DS, SD, CS), pp. 1998–2000.
- ICST-2012-SheltonLAO #development #testing
- Adding Criteria-Based Tests to Test Driven Development (WS, NL, PA, JO), pp. 878–886.
- LICS-2012-Feigenbaum #privacy
- Privacy, Anonymity, and Accountability in Ad-Supported Services (JF), pp. 9–10.
- DAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #reliability #sequence
- Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
- DocEng-2011-PortierC #documentation #multi #process
- Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
- HT-2011-WoenselCT #approach #on the fly
- A generic approach for on-the-fly adding of context-aware features to existing websites (WVW, SC, ODT), pp. 143–152.
- SIGMOD-2011-HoweCKB #ad hoc #automation #database #query
- Automatic example queries for ad hoc databases (BH, GC, NK, LB), pp. 1319–1322.
- ITiCSE-2011-BoyceCPCB #education #evaluation #game studies #how #learning #motivation
- Experimental evaluation of BeadLoom game: how adding game elements to an educational tool improves motivation and learning (AKB, AC, SP, DC, TB), pp. 243–247.
- ITiCSE-2011-KonertRGSB #ad hoc #community #learning
- Supporting peer learning with ad-hoc communities (JK, KR, SG, RS, RB), p. 393.
- FoSSaCS-2011-DelzannoSZ #ad hoc #clique #network #on the #power of #verification
- On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (GD, AS, GZ), pp. 441–455.
- ICPC-2011-TothVBG #complexity #metric #predict #process
- Adding Process Metrics to Enhance Modification Complexity Prediction (GT, AZV, ÁB, TG), pp. 201–204.
- ICALP-v2-2011-ChlebusKPR #ad hoc #communication #distributed #network #performance
- Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
- ICFP-2011-GonthierZND #ad hoc #automation #how #proving
- How to make ad hoc proof automation less ad hoc (GG, BZ, AN, DD), pp. 163–175.
- AGTIVE-2011-BuchmannWW #case study #configuration management #graph transformation
- The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.
- CHI-2011-BlanchO #benchmark #metric #paradigm
- Benchmarking pointing techniques with distractors: adding a density factor to Fitts’ pointing paradigm (RB, MO), pp. 1629–1638.
- ICEIS-v4-2011-Naderipour #ad hoc #industrial #mining #process #using
- Mining of Ad-hoc Business Processes using Microsoft Sharepoint, Nitro & Prom 6.0 — An Industrial Practice (FN), pp. 413–418.
- CIKM-2011-DengLPCX #ad hoc #database #graph #predict #query #reachability
- Predicting the optimal ad-hoc index for reachability queries on graph databases (JD, FL, YP, BC, JX), pp. 2357–2360.
- CIKM-2011-LiangXL
- Adding structure to top-k: from items to expansions (XL, MX, LVSL), pp. 1699–1708.
- CIKM-2011-LiBY #ad hoc #architecture #clustering #mobile #network
- A cluster based mobile peer to peer architecture in wireless ad hoc networks (HL, KB, JY), pp. 2393–2396.
- CIKM-2011-TangLYSGGYZ #behaviour #learning #rank
- Learning to rank audience for behavioral targeting in display ads (JT, NL, JY, YS, SG, BG, SY, MZ), pp. 605–610.
- ECIR-2011-Gabrilovich #knowledge-based #retrieval
- Ad Retrieval Systems in vitro and in vivo: Knowledge-Based Approaches to Computational Advertising (EG), pp. 4–5.
- KDD-2011-ChenBAD #algorithm #realtime
- Real-time bidding algorithms for performance-based display ad allocation (YC, PB, BA, NRD), pp. 1307–1315.
- KDD-2011-CuiZLM #online
- Bid landscape forecasting in online ad exchange marketplace (YC, RZ, WL, JM), pp. 265–273.
- SIGIR-2011-KrikonK #ad hoc #feedback #retrieval
- Utilizing minimal relevance feedback for ad hoc retrieval (EK, OK), pp. 1099–1100.
- SIGIR-2011-TrotmanK #ad hoc #information retrieval
- Ad hoc IR: not much room for improvement (AT, DK), pp. 1095–1096.
- SIGIR-2011-ZhouHH #ad hoc #estimation #probability #using
- Enhancing ad-hoc relevance weighting using probability density estimation (XZ, JXH, BH), pp. 175–184.
- PADL-2011-MantadelisPJVB #ad hoc #mobile #network
- Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog (TM, KP, GJ, YV, YB), pp. 34–37.
- SAC-2011-HuangK #ad hoc #analysis #performance
- Performance analysis of IEEE 802.11 ad hoc based broadcast (YHH, CYK), pp. 72–73.
- ESEC-FSE-2011-MaozRR #diagrams #difference #named #process #semantics
- ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
- ESEC-FSE-2011-MeneelyRW #analysis #empirical #quality
- Does adding manpower also affect quality?: an empirical, longitudinal analysis (AM, PR, LW), pp. 81–90.
- SPLC-2011-LiW #evolution #product line
- Adding Value through Software Product Line Engineering: The Evolution of the FISCAN Software Product Lines (DL, DMW), pp. 213–222.
- HPDC-2011-AbbasiEWSK #performance #pipes and filters
- Just in time: adding value to the IO pipelines of high performance applications with JITStaging (HA, GE, MW, KS, SK), pp. 27–36.
- DATE-2010-PerezSF #data flow #graph #optimisation #relational
- Optimizing Data-Flow Graphs with min/max, adding and relational operations (JP, PS, VF), pp. 1361–1364.
- VLDB-2010-BedathurBDMW #ad hoc #mining
- Interesting-Phrase Mining for Ad-Hoc Text Analytics (SJB, KB, JD, NM, GW), pp. 1348–1357.
- VLDB-2010-Muthukrishnan #data transformation #internet #mining
- Data Management and Mining in Internet Ad Systems (SM), pp. 1655–1656.
- CSEET-2010-FinnieK #re-engineering
- Adding Service Engineering and Management to a Software Engineering Program (GF, PK), pp. 165–168.
- IFM-2010-AutexierL #c #impact analysis #source code #verification
- Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.
- SEFM-2010-BenettiMV #ad hoc #model checking #network #protocol
- Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA (DB, MM, LV), pp. 191–202.
- ICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network #transaction
- Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.
- ICPR-2010-EscaleraMPRP #fault #framework #online
- Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.
- ICPR-2010-RusinolNKVL #image #retrieval
- Perceptual Image Retrieval by Adding Color Information to the Shape Context Descriptor (MR, FN, DK, EV, JL), pp. 1594–1597.
- ICPR-2010-WuXJHCL #constraints #geometry #image #invariant #retrieval
- Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.
- KDD-2010-ChanGGHL #modelling #online #pipes and filters #scalability
- Evaluating online ad campaigns in a pipeline: causal models at scale (DC, RG, OG, TH, DL), pp. 7–16.
- SEKE-2010-Bouabana-TebibelGM #ad hoc #protocol
- Secure ad-hoc routing protocol (TBT, RNG, SM), pp. 771–776.
- SIGIR-2010-BuscherDC #quality #random #web
- The good, the bad, and the random: an eye-tracking study of ad quality in web search (GB, STD, EC), pp. 42–49.
- SIGIR-2010-ClinchantG #ad hoc #information retrieval #modelling
- Information-based models for ad hoc IR (SC, ÉG), pp. 234–241.
- SIGIR-2010-DaveV #learning
- Learning the click-through rate for rare/new ads from similar ads (KSD, VV), pp. 897–898.
- SIGIR-2010-FengWZM #image #mining #scalability #video
- Mining adjacent markets from a large-scale ads video collection for image advertising (GF, XJW, LZ, WYM), pp. 893–894.
- SIGIR-2010-HillardL #documentation #retrieval
- Clicked phrase document expansion for sponsored search ad retrieval (DH, CL), pp. 799–800.
- SIGIR-2010-KarimzadehganZ #ad hoc #estimation #information retrieval #modelling #statistics
- Estimation of statistical translation models based on mutual information for ad hoc information retrieval (MK, CZ), pp. 323–330.
- SIGIR-2010-KoolenK #ad hoc #revisited
- The importance of anchor text for ad hoc search revisited (MK, JK), pp. 122–129.
- ECMFA-2010-JohannesF #abstraction #composition #framework #modelling #network #reuse #using
- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework (JJ, MAF), pp. 132–143.
- ECOOP-2010-BiermanMT #c#
- Adding Dynamic Types to C# (GMB, EM, MT), pp. 76–100.
- TOOLS-EUROPE-2010-CarretonMCM #ad hoc #distributed #mobile #network #programming
- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks (ALC, SM, TVC, WDM), pp. 41–60.
- GPCE-2010-WolfingerLJM #framework #plugin
- Adding genericity to a plug-in framework (RW, ML, MJ, HM), pp. 93–102.
- SAC-2010-AquinoVP #flexibility #modelling #user interface
- Transformation templates: adding flexibility to model-driven engineering of user interfaces (NA, JV, OP), pp. 1195–1202.
- SAC-2010-DewaldHF #javascript #named
- ADSandbox: sandboxing JavaScript to fight malicious websites (AD, TH, FCF), pp. 1859–1864.
- SAC-2010-MohamedA #ad hoc #framework #network #novel
- Novel immune-based framework for securing ad hoc networks (YAM, ABA), pp. 1950–1957.
- SAC-2010-NaceraHAM #ad hoc #clustering #network
- A new two level hierarchy structuring for node partitioning in ad hoc networks (BN, HG, HA, MM), pp. 719–726.
- SAC-2010-SantosM #composition #documentation #hypermedia #reuse #semantics
- XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse (JAFdS, DCMS), pp. 1892–1897.
- SAC-2010-WibisonoLZ #ad hoc #collaboration #framework #mobile #network
- Collaborative context management framework for mobile ad hoc network environments (WW, SL, ABZ), pp. 558–562.
- SAC-2010-ZhouS #ad hoc #energy #network #performance #throughput #towards
- Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks (WZ, RS), pp. 749–755.
- HPDC-2010-JongCLPS #ad hoc #network
- Storage deduplication for Virtual Ad Hoc Network testbed by File-level Block Sharing (CHJ, CYJC, TL, AP, CS), pp. 699–706.
- OSDI-2010-XiongPZZM #ad hoc #harmful
- Ad Hoc Synchronization Considered Harmful (WX, SP, JZ, YZ, ZM), pp. 163–176.
- ASE-2009-KimLHK #documentation #java
- Adding Examples into Java Documents (JK, SL, SwH, SK), pp. 540–544.
- DocEng-2009-KuijkGCB #declarative #documentation #multi #visual notation
- Adding dynamic visual manipulations to declarative multimedia documents (FK, RLG, PC, DCAB), pp. 149–152.
- SIGMOD-2009-ChuBCDN #ad hoc #database #keyword #query
- Combining keyword search and forms for ad hoc querying of databases (EC, AB, XC, AD, JFN), pp. 349–360.
- SIGMOD-2009-JiangYCC #ad hoc #detection #named #query
- AIDE: ad-hoc intents detection engine over query logs (YJ, HTY, KCCC, YSC), pp. 1091–1094.
- VLDB-2009-GatterbauerBKS #database
- Believe It or Not: Adding Belief Annotations to Databases (WG, MB, NK, DS), pp. 1–12.
- VLDB-2009-SarigolRSA #ad hoc #mobile #network #social
- Enabling social networking in ad hoc networks of mobile phones (ES, OR, PS, GA), pp. 1634–1637.
- ICALP-v2-2009-KowalskiP #ad hoc #network
- Leader Election in Ad Hoc Radio Networks: A Keen Ear Helps (DRK, AP), pp. 521–533.
- ICALP-v2-2009-NisanBCFGMRSTVZ
- Google’s Auction for TV Ads (NN, JB, DC, TF, RG, YM, NR, MS, DT, HRV, DZ), pp. 309–327.
- ICFP-2009-FlattBF #ad hoc #documentation #named #tool support
- Scribble: closing the book on ad hoc documentation tools (MF, EB, RBF), pp. 109–120.
- CIKM-2009-AnastasakosHKR #approach #collaboration #graph #recommendation #using
- A collaborative filtering approach to ad recommendation using the query-ad click graph (TA, DH, SK, HR), pp. 1927–1930.
- CIKM-2009-ArmstrongMWZ #ad hoc #retrieval
- Improvements that don’t add up: ad-hoc retrieval results since 1998 (TGA, AM, WW, JZ), pp. 601–610.
- CIKM-2009-BeckerBGJP #web #what
- What happens after an ad click?: quantifying the impact of landing pages in web advertising (HB, AZB, EG, VJ, BP), pp. 57–66.
- CIKM-2009-PenevW #framework #mobile
- Framework for timely and accurate ads on mobile devices (AP, RKW), pp. 1067–1076.
- ECIR-2009-PapadopoulosMKB #graph #recommendation
- Lexical Graphs for Improved Contextual Ad Recommendation (SP, FM, YK, BB), pp. 216–227.
- RecSys-2009-TsatsouMKD #analysis #framework #personalisation #recommendation #semantics
- A semantic framework for personalized ad recommendation based on advanced textual analysis (DT, FM, IK, PCD), pp. 217–220.
- SIGIR-2009-GuoMLH #named #video
- AdOn: an intelligent overlay video advertising system (JG, TM, FL, XSH), pp. 628–629.
- SIGIR-2009-KapteinKK #ad hoc #category theory #using #wiki
- Using wikipedia categories for ad hoc search (RK, MK, JK), pp. 824–825.
- SIGIR-2009-RaghavanH #modelling #quality
- A relevance model based filter for improving ad quality (HR, DH), pp. 762–763.
- SIGIR-2009-ZhangYYLC #query
- Temporal query substitution for ad search (WZ, JY, SY, NL, ZC), pp. 798–799.
- ECOOP-2009-CutsemBDM #using
- Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.
- OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing
- Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
- TOOLS-EUROPE-2009-BoixCVMD #ad hoc #mobile #network
- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks (EGB, TVC, JV, WDM, TD), pp. 231–251.
- PPDP-2009-ZhuDFJMPW #ad hoc #distributed
- Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
- PADL-2009-XiFWZ #ad hoc #ambiguity #problem
- Ad Hoc Data and the Token Ambiguity Problem (QX, KF, DW, KQZ), pp. 91–106.
- SAC-2009-BatistaR #ad hoc #framework #middleware #mobile #network #specification
- High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case (VdFB, NSR), pp. 221–222.
- SAC-2009-LeePR #ad hoc #mobile #network #realtime
- A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks (JL, GLP, SuR), pp. 305–309.
- SAC-2009-MendesPDB #ad hoc #execution #named #process #specification #web #web service
- WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes (RM, PFP, FCD, TVB), pp. 692–693.
- SAC-2009-PhilipA #ad hoc #maintenance #network
- Mobility aware path maintenance in ad hoc networks (SJP, VA), pp. 201–206.
- ASE-2008-HegdeD #ad hoc #collaboration #programming
- Connecting Programming Environments to Support Ad-Hoc Collaboration (RH, PD), pp. 178–187.
- HT-2008-VaisenbergSMJM #approach
- A new approach for adding browser functionality (RV, AS, KAM, RJ, SM), pp. 247–248.
- SIGMOD-2008-BansalGK #ad hoc
- Ad-hoc aggregations of ranked lists in the presence of hierarchies (NB, SG, NK), pp. 67–78.
- SIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
- LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
- SIGMOD-2008-SereniAM #compilation #datalog #optimisation
- Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
- VLDB-2008-AgrawalCCG #ad hoc #scalability
- Scalable ad-hoc entity extraction from text collections (SA, KC, SC, VG), pp. 945–957.
- VLDB-2008-LogothetisY #ad hoc #in the cloud
- Ad-hoc data processing in the cloud (DL, KY), pp. 1472–1475.
- VLDB-2008-SlezakWES #ad hoc #named #query
- Brighthouse: an analytic data warehouse for ad-hoc queries (DS, JW, VE, PS), pp. 1337–1345.
- TACAS-2008-SaksenaWJ #ad hoc #graph grammar #modelling #protocol #verification
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (MS, OW, BJ), pp. 18–32.
- ICALP-A-2008-Muthukrishnan #internet
- Internet Ad Auctions: Insights and Directions (SM), pp. 14–23.
- IFL-2008-WangG #ad hoc #haskell #library
- A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.
- CHI-2008-JiangWFBKS #ad hoc #collaboration #interactive #named #visual notation
- LivOlay: interactive ad-hoc registration and overlapping of applications for collaborative visual exploration (HJ, DW, CF, MB, JK, CS), pp. 1357–1360.
- CSCW-2008-CaoMB #ad hoc #case study #game studies #multi
- Flashlight jigsaw: an exploratory study of an ad-hoc multi-player game on public displays (XC, MM, RB), pp. 77–86.
- EDOC-2008-Czarski #enterprise #internet
- More than Just an Internet Hype: Added Value with Spatial-Enabled Enterprise Applications (CC).
- ICEIS-DISI-2008-PennesiHRWS #what #why
- WWW++ — Adding Why to What, When and Where (PP, MH, CR, CYW, SS), pp. 304–309.
- CIKM-2008-PickensG #ad hoc #modelling #retrieval
- Ranked feature fusion models for ad hoc retrieval (JP, GG), pp. 893–900.
- CIKM-2008-WangBFJ
- A note on search based forecasting of ad volume in contextual advertising (XW, AZB, MF, VJ), pp. 1343–1344.
- ECIR-2008-AmatiABGG #ad hoc #automation #retrieval
- Automatic Construction of an Opinion-Term Vocabulary for Ad Hoc Retrieval (GA, EA, MB, CG, GG), pp. 89–100.
- ECIR-2008-LangWJLX #ad hoc #analysis #dependence #evaluation #retrieval
- An Evaluation and Analysis of Incorporating Term Dependency for Ad-Hoc Retrieval (HL, BW, GJFJ, JL, YX), pp. 602–606.
- KDD-2008-WuK #comparison #online #scalability
- Experimental comparison of scalable online ad serving (GW, BK), pp. 1008–1015.
- RecSys-2008-SchifanellaPGR #ad hoc #collaboration #mobile #named #network #self
- MobHinter: epidemic collaborative filtering and self-organization in mobile ad-hoc networks (RS, AP, CG, GR), pp. 27–34.
- SIGIR-2008-LiaoCH #image #named #optimisation #scheduling #video
- AdImage: video advertising by image matching and ad scheduling optimization (WSL, KTC, WHH), pp. 767–768.
- SIGIR-2008-RadlinskiBCGJR #approach #optimisation #query
- Optimizing relevance and revenue in ad search: a query substitution approach (FR, AZB, PC, EG, VJ, LR), pp. 403–410.
- MoDELS-2008-BernardiMP #analysis #dependence
- Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
- MoDELS-2008-BernardiMP #analysis #dependence
- Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
- POPL-2008-FisherWZW #ad hoc #automation #generative
- From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
- SAC-2008-BelohlavekV #concept analysis #dependence
- Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.
- SAC-2008-RezendeRL #ad hoc #architecture #mobile #network
- Publish/subscribe architecture for mobile ad hoc networks (CGR, BPSR, AAFL), pp. 1913–1917.
- SPLC-2008-HaugenMOOS #domain-specific language #standard #variability
- Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
- HPDC-2008-FigueiredoBJW #ad hoc #deployment #network #social
- Facilitating the deployment of ad-hoc virtual organizations with integrated social and overlay networks (RJOF, POB, PSJ, DW), pp. 201–204.
- DATE-2007-GburzynskiKO #ad hoc #low cost #network #performance #protocol
- A tiny and efficient wireless ad-hoc protocol for low-cost sensor networks (PG, BK, WO), pp. 1557–1562.
- DRR-2007-WalvoordEC #information management #recognition
- Adding contextual information to improve character recognition on the Archimedes Palimpsest (DJW, RLEJ, RLC).
- SIGMOD-2007-XinHC #ad hoc #ranking
- Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.
- VLDB-2007-DasGKS #ad hoc #data type #query
- Ad-hoc Top-k Query Answering for Data Streams (GD, DG, NK, NS), pp. 183–194.
- FASE-2007-PadbergHEMBE #ad hoc #architecture #consistency #maintenance #mobile #network
- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.
- ICALP-2007-CaragiannisFM #ad hoc #energy #exponential #heuristic #network
- An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks (IC, MF, LM), pp. 447–458.
- ICFP-2007-FlattYFF #composition #programming
- Adding delimited and composable control to a production programming environment (MF, GY, RBF, MF), pp. 165–176.
- IFL-2007-SulzmannL #haskell #named #regular expression
- XHaskell — Adding Regular Expression Types to Haskell (MS, KZML), pp. 75–92.
- GT-VMT-2007-GuerraL #graph transformation #recursion
- Adding Recursion to Graph Transformation (EG, JdL).
- HCI-AS-2007-McCoyEPG #online
- Online Ad Intrusiveness (SM, AE, PP, DFG), pp. 86–89.
- HIMI-IIE-2007-ShinPCC #ad hoc #energy #human-computer #mobile #network #performance
- Energy Efficient Route Discovery for Mobile HCI in Ad-Hoc Networks (KS, KP, MYC, HC), pp. 635–644.
- HIMI-MTT-2007-KimK #ad hoc #mobile #network #performance
- Distance-Based Bloom Filter for an Efficient Search in Mobile Ad Hoc Networks (BK, KK), pp. 471–479.
- EDOC-2007-RiveraV #behaviour #modelling
- Adding Behavior to Models (JER, AV), pp. 169–180.
- ICEIS-HCI-2007-EijkKSR #ad hoc #communication #mobile
- A WE-Centric Service for Mobile Police Officers to Support Communication in Ad-Hoc Groups (RvE, NdK, MS, ER), pp. 61–67.
- ICEIS-SAIC-2007-SchallGD #ad hoc #collaboration
- Pattern-Based Collaboration in Ad-Hoc Teams Through Message Annotation (DS, RG, SD), pp. 84–91.
- CIKM-2007-HeO #ad hoc #parametricity #probability #retrieval
- Parameter sensitivity in the probabilistic model for ad-hoc retrieval (BH, IO), pp. 263–272.
- ECIR-2007-SkomorowskiV #ad hoc #documentation #retrieval #topic
- Ad Hoc Retrieval of Documents with Topical Opinion (JS, OV), pp. 405–417.
- ECIR-2007-WeiC #ad hoc #framework #modelling #performance #retrieval
- Modeling Term Associations for Ad-Hoc Retrieval Performance Within Language Modeling Framework (XW, WBC), pp. 52–63.
- SIGIR-2007-LiLHC #ad hoc #corpus #query #using #wiki
- Improving weak ad-hoc queries using wikipedia as external corpus (YL, RWPL, EKSH, KFLC), pp. 797–798.
- SIGIR-2007-Wan07a #multi #named #summary
- TimedTextRank: adding the temporal dimension to multi-document summarization (XW), pp. 867–868.
- TOOLS-EUROPE-2007-HenrikssonJZA #composition #named #reuse
- Reuseware — Adding Modularity to Your Language of Choice (JH, JJ, SZ, UA), pp. 127–146.
- POPL-2007-PearlmutterS #higher-order #lazy evaluation #multi
- Lazy multivariate higher-order forward-mode AD (BAP, JMS), pp. 155–160.
- SAC-2007-JunJ #ad hoc #automation #mobile #network #protocol
- Automated routing protocol selection in mobile ad hoc networks (TJ, CJ), pp. 906–913.
- SAC-2007-KanzakiHN #ad hoc #mobile #network #performance #protocol
- An efficient TDMA slot assignment protocol in mobile ad hoc networks (AK, TH, SN), pp. 891–895.
- SAC-2007-LimaC #ad hoc #corba #framework #network
- A framework for CORBA interoperability in ad hoc networks (LAPLJ, AC), pp. 930–934.
- SAC-2007-MichalariasB #ad hoc #multi #network #query
- Multidimensional querying in wireless ad hoc networks (IM, CB), pp. 529–530.
- SAC-2007-SawaiSKHN #ad hoc #consistency #network
- Quorum-based consistency management among replicas in ad hoc networks with data update (YS, MS, AK, TH, SN), pp. 955–956.
- SAC-2007-TetsuyaAHN #ad hoc #generative #network #using
- Topology information generation methods using a routing table in ad hoc network applications (TT, AK, TH, SN), pp. 896–900.
- SAC-2007-YanWZ #ad hoc #mobile #network #protocol
- Dual agreement virtual subnet protocol for mobile ad-hoc networks (KQY, SCW, GYZ), pp. 953–954.
- GTTSE-2007-WykM #analysis #composition #java
- Adding Dimension Analysis to Java as a Composable Language Extension (EVW, YM), pp. 442–456.
- TestCom-FATES-2007-GrepetM #ad hoc #protocol #self
- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols (CG, SM), pp. 123–137.
- SIGMOD-2006-DalyMWFFGZ #ad hoc #named
- PADS: an end-to-end system for processing ad hoc data (MD, YM, DW, MFF, KF, RG, XZ), pp. 727–729.
- SIGMOD-2006-LiCI #ad hoc #ranking
- Supporting ad-hoc ranking aggregates (CL, KCCC, IFI), pp. 61–72.
- ICSM-2006-HouH #c++ #semantics
- Source-Level Linkage: Adding Semantic Information to C++ Fact-bases (DH, HJH), pp. 448–457.
- DLT-2006-AlurM #word
- Adding Nesting Structure to Words (RA, PM), pp. 1–13.
- SOFTVIS-2006-HundhausenBF #algorithm #design #pointer #visualisation
- Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary design (CDH, JLB, SF), pp. 155–156.
- ICEIS-SAIC-2006-RibeiroRC
- Adding Meaning to QoS Negotiation (CMFAR, NSR, PRFC), pp. 106–111.
- SEKE-2006-HuangC06a #nondeterminism #rule-based
- A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
- SIGIR-2006-ButtcherCL06a #ad hoc #proximity #retrieval #scalability
- Term proximity scoring for ad-hoc retrieval on very large text collections (SB, CLAC, BL), pp. 621–622.
- SIGIR-2006-WeiC #ad hoc #documentation #modelling #retrieval
- LDA-based document models for ad-hoc retrieval (XW, WBC), pp. 178–185.
- PADL-2006-BecketBMSSW #constraints #theorem proving
- Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
- SAC-2006-BonnetEV #ad hoc #mobile #network #using
- Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts (FB, PDE, EV), pp. 670–674.
- SAC-2006-CreeseGRX #ad hoc #multi #security
- Bootstrapping multi-party ad-hoc security (SC, MG, BR, MX), pp. 369–375.
- SAC-2006-LeeYKKK #ad hoc #distributed #mobile #network
- Distributed IPv6 addressing technique for mobile ad-hoc networks (DL, JY, HK, KK, KK), pp. 1156–1160.
- SAT-2006-Bacchus #named #satisfiability
- CSPs: Adding Structure to SAT (FB), p. 10.
- IWPC-2005-DearmanCF #control flow #data flow #representation #visual notation
- Adding Control-Flow to a Visual Data-Flow Representation (DD, AC, MF), pp. 297–306.
- PLDI-2005-FisherG #ad hoc #domain-specific language #named
- PADS: a domain-specific language for processing ad hoc data (KF, RG), pp. 295–304.
- PLDI-2005-NiKSI #ad hoc #mobile #network #programming
- Programming ad-hoc networks of mobile and resource-constrained devices (YN, UK, AS, LI), pp. 249–260.
- DLT-2005-Karianto #automaton #graph
- Adding Monotonic Counters to Automata and Transition Graphs (KW), pp. 308–319.
- FM-2005-Bolton #csp
- Adding Conflict and Confusion to CSP (CB), pp. 205–220.
- IFM-2005-KristensenWN #ad hoc #mobile #modelling #network #protocol #prototype
- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks (LMK, MW, PCN), pp. 266–286.
- SFM-2005-GerlaCLZCYD #ad hoc #network
- Dealing with Node Mobility in Ad Hoc Wireless Network (MG, LJC, YZL, BZ, JC, GY, SD), pp. 69–106.
- CHI-2005-BirnholtzFHB #ad hoc #chat #distributed #lightweight #scalability
- Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
- SOFTVIS-2005-CoxGR #data flow #parallel #source code #visual notation
- Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
- ICEIS-v4-2005-MisraPH #knowledge base #ontology
- Adding Support for Dynamic Ontologies to Existing Knowledge Bases (UM, ZP, JH), pp. 97–104.
- ICEIS-v4-2005-YiZZ #ad hoc #architecture #detection #mobile #network #using
- An Architecture for Intrusion Detection and Active Response Using Autonomous Agents in Mobile Ad Hoc Networks (PY, SZ, YZ), pp. 220–226.
- CIKM-2005-Diaz #ad hoc #retrieval
- Regularizing ad hoc retrieval scores (FD), pp. 672–679.
- CIKM-2005-YangH #ad hoc #network
- Cooperative caching for k-NN search in ad hoc networks (BY, ARH), pp. 333–334.
- CIKM-2005-ZhouC #ad hoc #documentation #modelling #quality #retrieval #web
- Document quality models for web ad hoc retrieval (YZ, WBC), pp. 331–332.
- ECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict
- Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.
- SIGIR-2005-ShenZ #ad hoc #feedback #information retrieval
- Active feedback in ad hoc information retrieval (XS, CZ), pp. 59–66.
- OOPSLA-2005-AllanACHKLMSST #aspectj
- Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
- OOPSLA-2005-TschantzE #java #named
- Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
- SAC-2005-BarrettEKMS #ad hoc #multi #network #probability #protocol
- Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios (CLB, SE, LK, MVM, JPS), pp. 1166–1173.
- SAC-2005-Hara #ad hoc #mobile #network
- Location management of data items in mobile ad hoc networks (TH), pp. 1174–1175.
- SAC-2005-KanzakiHN #ad hoc #adaptation #network #protocol
- An adaptive TDMA slot assignment protocol in ad hoc sensor networks (AK, TH, SN), pp. 1160–1165.
- DAC-2004-HuM #named
- DyAD: smart routing for networks-on-chip (JH, RM), pp. 260–263.
- SIGMOD-2004-IdreosKT #ad hoc #named #network #query
- P2P-DIET: An Extensible P2P Service that Unifies Ad-hoc and Continuous Querying in Super-Peer Networks (SI, MK, CT), pp. 933–934.
- VLDB-2004-MayerGKT #injection
- An Injection of Tree Awareness: Adding Staircase Join to PostgreSQL (SM, TG, MvK, JT), pp. 1305–1308.
- ICSM-2004-SoodD #approach #component #maintenance
- An Approach to Measure Software Maintenance and Support as a Value Added Component of To-Day’s Business (HRS, DD), p. 503.
- SCAM-2004-CeccatoT #aspect-oriented #programming
- Adding Distribution to Existing Applications by Means of Aspect Oriented Programming (MC, PT), pp. 107–116.
- CAiSE-2004-Henderson-SellersDT #concept
- Adding Agent-Oriented Concepts Derived from Gaia to Agent OPEN (BHS, JKD, QNNT), pp. 98–111.
- SIGIR-2004-KurlandL #ad hoc #corpus #information retrieval #modelling
- Corpus structure, language models, and ad hoc information retrieval (OK, LL), pp. 194–201.
- SAC-J-2003-Dong04 #behaviour #diagrams
- Adding pattern related information in structural and behavioral diagrams (JD), pp. 293–300.
- SAC-2004-TorgersenHEABG #java #programming language
- Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.
- SAC-PL-J-2004-TorgersenEHABG #java #programming language
- Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.
- ICSE-2004-BirmanRV #behaviour #web #web service
- Adding High Availability and Autonomic Behavior to Web Services (KPB, RvR, WV), pp. 17–26.
- ICLP-2004-JiaYY #set #source code
- Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
- DocEng-2003-GuoS #ad hoc #comparison #representation
- Context representation, transformation and comparison for ad hoc product data exchange (JG, CS), pp. 121–130.
- AdaEurope-2003-BurnsL #verification
- Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.
- CAiSE-2003-EmburyS #constraints #information management
- Analysing the Impact of Adding Integrity Constraints to Information Systems (SME, JS), pp. 175–192.
- ICEIS-v2-2003-HashemGH #ad hoc #algorithm #mobile #network #search-based
- A Quality-Of-Service-Aware Genetic Algorithm for the Source Routing in Ad-Hoc Mobile Networks (MH, SG, MH), pp. 589–599.
- CIKM-2003-MacskassyH #classification
- Adding numbers to text classification (SAM, HH), pp. 240–246.
- SEKE-2003-NetiniantiE #approach #aspect-oriented #using #verification
- Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach (PN, TE), pp. 54–60.
- SIGIR-2003-ZaragozaHT #ad hoc #information retrieval
- Bayesian extension to the language model for ad hoc information retrieval (HZ, DH, MET), pp. 4–9.
- LOPSTR-2003-FischerV #prolog #syntax #synthesis
- Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract) (BF, EV), pp. 56–58.
- RE-2003-BolchiniPR #analysis #hypermedia #requirements
- Adding Hypermedia Requirements to Goal-Driven Analysis (DB, PP, GR), pp. 127–137.
- SAC-2003-HuaJVT #algebra #analysis #approach #data mining #mining #named #performance #using
- ADMiRe: An Algebraic Approach to System Performance Analysis Using Data Mining Techniques (KAH, NJ, RV, DAT), pp. 490–496.
- SAC-2003-WombacherMR #ad hoc #classification #modelling #multi #workflow
- Classification of Ad hoc Multi-lateral Collaborations Based on Local Workflow Models (AW, BM, TR), pp. 1185–1190.
- ICLP-2003-JungKCMK #ontology #semantics #web
- Adding the Temporal Relations in Semantic Web Ontologies (KJ, HK, JC, YJM, PK), pp. 487–488.
- ICLP-2003-SonP #set
- Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.
- ASE-2002-AndrewsFL #testing
- Adding Value to Formal Test Oracles (JHA, RF, VDL), pp. 275–248.
- DATE-2002-LinLC #feedback #performance
- An Efficient Test and Diagnosis Scheme for the Feedback Type of Analog Circuits with Minimal Added Circuits (JWL, CLL, JEC), p. 1119.
- ICALP-2002-ChristerssonGL #ad hoc #bound #network
- Gossiping with Bounded Size Messages in ad hoc Radio Networks (MC, LG, AL), pp. 377–389.
- CHI-2002-PinelleG #evaluation #usability
- Groupware walkthrough: adding context to groupware usability evaluation (DP, CG), pp. 455–462.
- CHI-2002-SuhWRG #bibliography #documentation #interface
- Popout prism: adding perceptual principles to overview+detail document interfaces (BS, AW, RR, AG), pp. 251–258.
- CSCW-2002-EdwardsNSSBSWI #ad hoc #collaboration #peer-to-peer #using
- Using speakeasy for ad hoc peer-to-peer collaboration (WKE, MWN, JZS, TFS, DB, DKS, HCW, SI), pp. 256–265.
- AdaEurope-2002-Lamm #ada #contract #design
- Adding Design by Contract to the Ada Language (EL), pp. 205–218.
- KR-2002-Lutz #logic
- Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
- PADL-2002-ErwigB
- Adding Apples and Oranges (ME, MMB), pp. 173–191.
- SAC-2002-BarrettMSR #ad hoc #communication #framework #generative #modelling #network #simulation
- A mobility and traffic generation framework for modeling and simulating ad hoc communication networks (CLB, MVM, JPS, SSR), pp. 122–126.
- SAC-2002-WangHTN #ad hoc #network
- AODV compatible routing with extensive use of cache information in ad-hoc networks (WGW, TH, MT, SN), pp. 852–859.
- FSE-2002-JulienR #ad hoc #mobile #programming
- Egocentric context-aware programming in ad hoc mobile environments (CJ, GCR), pp. 21–30.
- OSDI-2002-MaddenFHH #ad hoc #named #network
- TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks (SM, MJF, JMH, WH), pp. 131–146.
- SAT-2002-DrakeFW #satisfiability
- Adding resolution to the DPLL procedure for satisfiability (LD, AF, TW), p. 46.
- TestCom-2002-Horvath #ad hoc #automation #generative #modelling #protocol #testing #validation
- Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation (EH), p. 235–?.
- FLOPS-2001-Lux #constraints #linear
- Adding Linear Constraints over Real Numbers to Curry (WL), pp. 185–200.
- SIGIR-2001-ZhaiL #ad hoc #case study #information retrieval #modelling
- A Study of Smoothing Methods for Language Models Applied to Ad Hoc Information Retrieval (CZ, JDL), pp. 334–342.
- TOOLS-USA-2001-ArnoutS #contract #design #dot-net #eiffel
- The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.
- ICSE-2001-RomanHH #ad hoc #consistency #network
- Consistent Group Membership in Ad Hoc Networks (GCR, QH, AH), pp. 381–388.
- CHI-2000-SalvucciA #interface
- Intelligent gaze-added interfaces (DDS, JRA), pp. 273–280.
- ICML-2000-KomarekM #adaptation #machine learning #performance #scalability #set
- A Dynamic Adaptation of AD-trees for Efficient Machine Learning on Large Data Sets (PK, AWM), pp. 495–502.
- TOOLS-EUROPE-2000-Mitchell #process
- Adding Value to the Unified Process (RM), p. 463.
- TOOLS-USA-2000-Mitchell00a #process
- Adding Value to the Unified Process (RM), pp. 435–436.
- SIGMOD-1999-BonnetBCCCHKMMOSS
- The Cornell Jaguar System: Adding Mobility to PREDATOR (PB, KB, ZC, VC, RC, TMH, RK, DM, TM, IO, PS, HS), pp. 580–581.
- HCI-CCAD-1999-BookG #interface
- Mental effort increases when adding a voice control feature to a familiar interface (RB, MG), pp. 23–27.
- HCI-CCAD-1999-Rebstock #case study #complexity #industrial #lessons learnt
- Adding complexity to the electronic market model: lessons learned from an oil industry case study (MR), pp. 1147–1151.
- CIKM-1999-JohnsonC #ad hoc
- Extending Complex Ad-Hoc OLAP (TJ, DC), pp. 170–179.
- TOOLS-EUROPE-1999-Taentzer #modelling #object-oriented #visual notation
- Adding Visual Rules to Object-Oriented Modeling Techniques (GT), pp. 275–284.
- TOOLS-PACIFIC-1999-ZendraC #eiffel #library
- Adding External Iterators to an Existing Eiffel Class Library (OZ, DC), pp. 188–199.
- ICSE-1999-BorgidaD #component #information management #towards
- Adding more “DL” to IDL: Towards More Knowledgeable Component Inter-Operability (AB, PTD), pp. 378–387.
- HPDC-1999-GopalanSMA #named #scheduling
- Baglets: Adding Hierarchical Scheduling to Aglets (AG, SS, MM, DA), pp. 229–235.
- ICLP-1999-Asvanyi #prolog
- Adding Functions to SICStus Prolog (TÁ), p. 605.
- ASE-1998-ChangR #automation #named #testing
- ADLscope: An Automated Specification-based Unit Testing Tool (JC, DJR), pp. 289–292.
- TAGT-1998-BusattoEMW #framework #graph transformation
- A Framework for Adding Packages to Graph Transformation Approaches (GB, GE, KM, AW), pp. 352–367.
- SIGIR-1998-KwokC #ad hoc #query #retrieval
- Improving Two-Stage Ad-Hoc Retrieval for Short Queries (KLK, MC), pp. 250–256.
- OOPSLA-1998-BrachaOSW #java #programming language
- Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.
- TOOLS-ASIA-1998-Newmarch #contract #java
- Adding Contracts to Java (JN), pp. 2–7.
- SIGMOD-1997-KornJF #ad hoc #dataset #query #scalability #sequence
- Efficiently Supporting Ad Hoc Queries in Large Datasets of Time Sequences (FK, HVJ, CF), pp. 289–300.
- OOPSLA-1997-AgesenFM #java
- Adding Type Parameterization to the Java Language (OA, SNF, JCM), pp. 49–65.
- RE-1997-HammerRHH #metric #requirements
- Requirements Metrics — Value Added (TH, LHR, LH, LEH), p. 141.
- SIGIR-1996-Kwok #ad hoc #query #retrieval
- A New Method of Weighting Query Terms for Ad-Hoc Retrieval (KLK), pp. 187–195.
- JICSLP-1996-ZukowskiF #database #evaluation #flexibility #query
- Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.
- STOC-1995-KargerP #combinator #constraints #multi #optimisation #problem
- Adding multiple cost constraints to combinatorial optimization problems, with applications to multicommodity flows (DRK, SAP), pp. 18–25.
- DLT-1995-Mitrana #self #sequence
- Binary Self-Adding Sequences (VM), pp. 64–70.
- SAC-1995-Beams #approach #development
- Adding spice to software development: a software development approach designed for rapidly changing environments (JDB), pp. 384–389.
- EDAC-1994-ByrneMLD #bibliography #optimisation #using
- An Overview of Analogue Optimisation Using “AD-OPT” (EB, OM, DL, BD), pp. 540–545.
- HT-ECHT-1994-Brown #hypermedia #network #question
- Adding Networking to Hypertext: Can it be Done Transparently? (PJB), pp. 51–58.
- HT-ECHT-1994-GarzottoMP #multi
- Adding Multimedia Collections to the Dexter Model (FG, LM, PP), pp. 70–80.
- PODS-1994-EiterGM #datalog
- Adding Disjunction to Datalog (TE, GG, HM), pp. 267–278.
- FME-1994-Fidge #development #realtime
- Adding Real Time to Formal Program Development (CJF), pp. 618–638.
- TRI-Ada-1994-LuksL #ada #education
- Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.
- SIGIR-1994-BuckleySA #feedback
- The Effect of Adding Relevance Information in a Relevance Feedback Environment (CB, GS, JA), pp. 292–300.
- ECOOP-1994-FreemanM #object-oriented #tool support #user interface #video
- Adding Digital Video to an Object-Oriented User Interface Toolkit (SMGF, MSM), pp. 493–512.
- CC-1994-ParrQ #ll #semantics
- Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k) (TJP, RWQ), pp. 263–277.
- VLDB-1993-SrivastavaRSS #database #logic #object-oriented
- Coral++: Adding Object-Orientation to a Logic Database Language (DS, RR, PS, SS), pp. 158–170.
- FME-1993-Ward #calculus #refinement #specification
- Adding Specification Constructors to the Refinement Calculus (NW), pp. 652–670.
- ICSE-1993-GarlanS #programming language
- Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.
- KR-1992-DoniniLNSN #concept
- Adding Epistemic Operators to Concept Languages (FMD, ML, DN, AS, WN), pp. 342–353.
- CADE-1992-BeckertH #semantics #similarity
- An Improved Method for Adding Equality to Free Variable Semantic Tableaux (BB, RH), pp. 507–521.
- ICALP-1991-AcetoH #algebra #finite #process #refinement
- Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
- PLILP-1991-Naish #equation #prolog
- Adding equations to NU-Prolog (LN), pp. 15–26.
- RTA-1991-BaaderN #algebra #commutative #equation #how #morphism #unification
- Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification (FB, WN), pp. 124–135.
- RTA-1991-Dougherty #algebra #λ-calculus
- Adding Algebraic Rewriting to the Untyped λ Calculus (Extended Abstract) (DJD), pp. 37–48.
- VDME-1990-Steensgaard-Madsen #data type
- Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.
- NACLP-1990-BonnerM #logic programming
- Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.
- ML-1989-TanS #approach #concept #learning #recognition
- Cost-Sensitive Concept Learning of Sensor Use in Approach ad Recognition (MT, JCS), pp. 392–395.
- POPL-1989-WadlerB #ad hoc #how #morphism #polymorphism
- How to Make ad-hoc Polymorphism Less ad-hoc (PW, SB), pp. 60–76.
- SIGMOD-1988-GyssensG #algebra #programming #relational #set
- The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.
- ESOP-1988-Horwitz #development #query #relational
- Adding Relational Query Facilities to Software Development Environments (SH), pp. 269–283.
- JICSCP-1988-BrayshawE88 #abstraction #prolog
- Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM (MB, ME), pp. 532–547.
- ICLP-1986-PooleG86 #prolog
- Gracefully adding negation and disjunction to Prolog (DP, RG), pp. 635–641.
- ICSE-1985-HooperEJ #distributed #prototype
- Distributed Software Prototyping with ADS (JWH, JTE, TAJ), pp. 216–223.
- ICSE-1985-MinskyL
- Ensuring Integrity by Adding Obligations to Privileges (NHM, AL), pp. 92–102.
- PODS-1983-Sciore83a #database
- Improving Database Schemes by Adding Attributes (ES), pp. 379–383.
- ILPC-1982-Bruynooghe82a #prolog #reliability #source code
- Adding Redundancy to Obtain more Reliable and Readable Prolog Programs (MB), pp. 129–133.
- CADE-1980-GloessL #algorithm
- Adding Dynamic Paramodulation to Rewrite Algorithms (PYG, JPHL), pp. 195–207.
- DAC-1974-Woodyard #design
- Computer aided ship design at MarAd (AHW), pp. 279–283.