BibSLEIGH — result stem

Used together with:

search (219)
web (85)
queri (77)
use (61)
base (57)

Stem result$ (all stems)

799 papers:

ECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #performance #traceability: Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
SIGMOD-2015-Widom: Three Favorite Results (JW), p. 659.
VLDB-2015-SeahBS #concept #image #named #social #summary: PRISM: Concept-preserving Summarization of Top-K Social Image Search Results (BSS, SSB, AS), pp. 1868–1879.
ITiCSE-2015-KafuraBC #design: Design and Preliminary Results From a Computational Thinking Course (DGK, ACB, BC), pp. 63–68.
FoSSaCS-2015-Winter #bisimulation #finite #λ-calculus: A Completeness Result for Finite λ-bisimulations (JW), pp. 117–132.
ICPC-2015-SabiMHK #code search #keyword #order: Reordering results of keyword-based code search for supporting simultaneous code changes (YS, HM, YH, SK), pp. 289–290.
ICSME-2015-OliveiraVBS #developer #metric #validation: Validating metric thresholds with developers: An early result (PO, MTV, AB, AS), pp. 546–550.
SANER-2015-YangMT #design pattern #detection #quality: Measuring the quality of design pattern detection results (SY, AM, VT), pp. 53–62.
CHI-2015-KayMM #gender #image #representation: Unequal Representation and Gender Stereotypes in Image Search Results for Occupations (MK, CM, SAM), pp. 3819–3828.
CHI-2015-SpeicherBG #question: S.O.S.: Does Your Search Engine Results Page (SERP) Need Help? (MS, AB, MG), pp. 1005–1014.
DHM-EH-2015-TianLYJCS #analysis #scalability #video: Single-Variable Scenario Analysis of Vehicle-Pedestrian Potential Crash Based on Video Analysis Results of Large-Scale Naturalistic Driving Data (RT, LL, KY, FJ, YC, RS), pp. 295–304.
DUXU-IXD-2015-BevilacquaFMGKC #usability: Robot-Era Project: Preliminary Results on the System Usability (RB, EF, FM, SG, SK, IC, RE, FC, PD), pp. 553–561.
LCT-2015-SoleimaniGHWG #empirical: CyberPLAYce, A Cyber-Physical-Spatial Storytelling Tool: Results from an Empirical Study with 8-10-Year-Old Storytellers (AS, KEG, DCH, IDW, CGM), pp. 438–446.
ICEIS-v2-2015-PereiraBD #formal method #uml: Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ECIR-2015-ProkhorenkovaUS #adaptation #web: Adaptive Caching of Fresh Web Search Results (LOP, YU, ES, DL, PS), pp. 110–122.
SIGIR-2015-BakkalAT #cost analysis: Cost-Aware Result Caching for Meta-Search Engines (EB, ISA, IHT), pp. 739–742.
SIGIR-2015-Carterette #effectiveness #random #testing: The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
SIGIR-2015-HeBVAR #evaluation #framework #predict #quality #ranking #refinement: Untangling Result List Refinement and Ranking Quality: a Framework for Evaluation and Prediction (JH, MB, APdV, LA, MdR), pp. 293–302.
SIGIR-2015-KellyA #behaviour #case study #experience #how #user interface: How many results per page?: A Study of SERP Size, Search Behavior and User Experience (DK, LA), pp. 183–192.
SIGIR-2015-LiuLZ0M #web: Influence of Vertical Result in Web Search Examination (ZL, YL, KZ, MZ, SM), pp. 193–202.
SIGIR-2015-TrippasSSC #communication #comprehension #summary #towards #web: Towards Understanding the Impact of Length in Web Search Result Summaries over a Speech-only Communication Channel (JRT, DS, MS, LC), pp. 991–994.
MoDELS-2015-Fernandez-SaezC #bibliography #documentation #industrial #maintenance #on the #uml: On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.
SAC-2015-NonnenmacherOBV #modelling #process: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
ICSE-v2-2015-AndersonHVWCBG #student: CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results (PVA, SH, MAV, DW, MC, JEB, GCG), pp. 455–464.
ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code: Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
CAV-2015-LeinoW #fine-grained #verification: Fine-Grained Caching of Verification Results (KRML, VW), pp. 380–397.
ICST-2015-ArltMPW #dependence #testing: If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
LICS-2015-BienvenuKP #complexity #owl #query: Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results (MB, SK, VVP), pp. 317–328.
ECSA-2014-JamrozPW #adaptation #architecture #development #enterprise: Adapting Enterprise Architecture at a Software Development Company and the Resultant Benefits (KJ, DP, JW), pp. 170–185.
ECSA-2014-LewisLP #architecture #bibliography #perspective: Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review (GAL, PL, GP), pp. 154–169.
DocEng-2014-WilliamsCG #ranking: Classifying and ranking search engine results as potential sources of plagiarism (KW, HHC, CLG), pp. 97–106.
SIGMOD-2014-LangNRN #database: Partial results in database systems (WL, RVN, ER, JFN), pp. 1275–1286.
CSMR-WCRE-2014-HillRFM #case study #code search #query #refinement: NL-based query refinement and contextualized code search results: A user study (EH, MRV, JAF, GM), pp. 34–43.
DLT-2014-ReinhardtY: The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALP-v1-2014-Ben-SassonRTW #algorithm #proving: Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications (EBS, NRZ, MT, JW), pp. 955–966.
ICALP-v2-2014-Wehar: Hardness Results for Intersection Non-Emptiness (MW), pp. 354–362.
CHI-2014-ThreattMGWBH #design #evaluation #process: An assistive robotic table for older and post-stroke adults: results from participatory design and evaluation activities with clinical staff (AT, JM, KEG, IDW, JOB, SH), pp. 673–682.
HCI-AIMT-2014-Alexandris #word: Accessing Cause-Result Relation and Diplomatic Information in Ancient “Journalistic” Texts with Universal Words (CA), pp. 351–361.
HIMI-DE-2014-PohlSKAM #usability: Evaluating the Dot-Based Contingency Wheel: Results from a Usability and Utility Study (MP, FS, SK, BA, SM), pp. 76–86.
LCT-NLE-2014-MeskeSVRO #case study #education: Cloud Storage Services in Higher Education — Results of a Preliminary Study in the Context of the Sync&Share-Project in Germany (CM, SS, RV, DR, AÖ), pp. 161–171.
CIKM-2014-CamposDJN #named #query: GTE-Rank: Searching for Implicit Temporal Query Results (RC, GD, AMJ, CN), pp. 2081–2083.
CIKM-2014-ChanDYTZ #classification #ranking #retrieval: Term Selection and Result Reranking for Question Retrieval by Exploiting Hierarchical Classification (WC, JD, WY, JT, XZ), pp. 141–150.
CIKM-2014-OzdemirayA #performance #predict #query: Query Performance Prediction for Aspect Weighting in Search Result Diversification (AMO, ISA), pp. 1871–1874.
CIKM-2014-YuR #multi: Search Result Diversification via Filling Up Multiple Knapsacks (HY, FR), pp. 609–618.
ECIR-2014-BelloginSVS #challenge #dataset #evaluation #web: Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track (AB, TS, APdV, AS), pp. 430–436.
ECIR-2014-LefortierSRR #case study #using #video #web: Blending Vertical and Web Results — A Case Study Using Video Intent (DL, PS, FR, MdR), pp. 184–196.
ECIR-2014-NainiA #feature model #learning #rank: Exploiting Result Diversification Methods for Feature Selection in Learning to Rank (KDN, ISA), pp. 455–461.
ECIR-2014-NguyenK #query #topic: Leveraging Dynamic Query Subtopics for Time-Aware Search Result Diversification (TNN, NK), pp. 222–234.
ICML-c2-2014-Thomas14a #convergence #named: GeNGA: A Generalization of Natural Gradient Ascent with Positive and Negative Convergence Results (PT), pp. 1575–1583.
ICPR-2014-SatoKSK #classification #learning #multi: Learning Multiple Complex Features Based on Classification Results (YS, KK, YS, MK), pp. 3369–3373.
KDD-2014-LiangRR #learning #personalisation: Personalized search result diversification via structured learning (SL, ZR, MdR), pp. 751–760.
KEOD-2014-AzaiezA #analysis #how #question #towards: How to Guarantee Analysis Results Coherence after Data Warehouse Schema Changes Propagation towards Data Marts? (NA, JA), pp. 428–435.
KEOD-2014-GavrilovaL #design #ontology #visual notation: Cognitive Style Affecting Visual Ontology Design — KOMET Project Results (TAG, IAL), pp. 207–214.
SIGIR-2014-KharazmiSSV #difference #using: Using score differences for search result diversification (SK, MS, FS, DV), pp. 1143–1146.
SIGIR-2014-LeeTC #behaviour #multi #risk management: Characterizing multi-click search behavior and the risks and opportunities of changing results during use (CJL, JT, SdlC), pp. 515–524.
SIGIR-2014-LomakinaPS #web: Web search without “stupid” results (AL, NP, PS), pp. 943–946.
SIGIR-2014-MaLWSBWW #named #policy #query #web: PAAP: prefetch-aware admission policies for query results cache in web search engines (HM, WL, BW, LS, XB, LW, BW), pp. 983–986.
SIGIR-2014-MorenoDC #clustering #query #web: Query log driven web search results clustering (JGM, GD, GC), pp. 777–786.
SIGIR-2014-QureshiOP #approach #visualisation: A perspective-aware approach to search: visualizing perspectives in news search results (MAQ, CO, GP), pp. 1261–1262.
SIGIR-2014-RoitmanHK #using: Using the cross-entropy method to re-rank search results (HR, SH, OK), pp. 839–842.
SIGIR-2014-SeahBS #concept #image #named #social #summary: PRISM: concept-preserving social image search results summarization (BSS, SSB, AS), pp. 737–746.
SIGIR-2014-WuH #data fusion: Search result diversification via data fusion (SW, CH), pp. 827–830.
SIGIR-2014-ZhuLGCN #learning: Learning for search result diversification (YZ, YL, JG, XC, SN), pp. 293–302.
REFSQ-2014-AbeleinP #communication #developer #scalability: State of Practice of User-Developer Communication in Large-Scale IT Projects — Results of an Expert Interview Series (UA, BP), pp. 95–111.
SAC-2014-MesmoudiH #declarative #framework #query #scalability: A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.
SAC-2014-ParkY #multi #network #simulation #smarttech: Encountering smartphones in network simulation: a preliminary result on multi-radio multicast (YP, WY), pp. 1727–1728.
ICSE-2014-NadiBKC #analysis #constraints #empirical #mining: Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.
ICST-2014-AliH #challenge #lessons learnt #modelling #testing #video: Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair: Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
DRR-2013-SchusterHME #documentation #how #rule-based: Rule-based versus training-based extraction of index terms from business documents: how to combine the results (DS, MH, KM, DE).
ICDAR-2013-KhayyatLS #classification #verification #word: Verification of Hierarchical Classifier Results for Handwritten Arabic Word Spotting (MK, LL, CYS), pp. 572–576.
VLDB-2013-DengF #complexity #on the #query: On the Complexity of Query Result Diversification (TD, WF), pp. 577–588.
VLDB-2013-DrosouP #algorithm #modelling #named: POIKILO: A Tool for Evaluating the Results of Diversification Models and Algorithms (MD, EP), pp. 1246–1249.
VLDB-2013-LiC #performance #query: Efficient Indexing for Diverse Query Results (LL, CYC), pp. 745–756.
FoSSaCS-2013-DahlqvistP #algebra #logic: Some Sahlqvist Completeness Results for Coalgebraic Logics (FD, DP), pp. 193–208.
ICSM-2013-Roldan-VegaMHF #code search #named #query #refinement: CONQUER: A Tool for NL-Based Query Refinement and Contextualizing Code Search Results (MRV, GM, EH, JAF), pp. 512–515.
ICSM-2013-Yamashita #case study #comparative #how #maintenance #smell: How Good Are Code Smells for Evaluating Software Maintainability? Results from a Comparative Case Study (AY), pp. 566–571.
STOC-2013-BeckNT #calculus #polynomial #trade-off: Some trade-off results for polynomial calculus: extended abstract (CB, JN, BT), pp. 813–822.
STOC-2013-GuptaTW #algorithm #bound #graph: Sparsest cut on bounded treewidth graphs: algorithms and hardness results (AG, KT, DW), pp. 281–290.
DLT-2013-PrusaMO #automaton: New Results on Deterministic Sgraffito Automata (DP, FM, FO), pp. 409–419.
LATA-2013-DelzannoT #complexity #decidability #network #verification: Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (GD, RT), pp. 238–249.
SEFM-2013-GesellMS #verification: Lifting Verification Results for Preemption Statements (MG, AM, KS), pp. 91–105.
CHI-2013-BaxterML: Pirates of the search results page (KB, LWM, JL), pp. 3023–3026.
CHI-2013-FeildWF: Supporting orientation during search result examination (HF, RWW, XF), pp. 2999–3008.
CHI-2013-LaucknerH: The presentation of health-related search results and its impact on negative emotional outcomes (CL, GH), pp. 333–342.
CHI-2013-SchwartzDSRW #energy: Cultivating energy literacy: results from a longitudinal living lab study of a home energy management system (TS, SD, GS, LR, VW), pp. 1193–1202.
CSCW-2013-NovA #design: Personality-targeted design: theory, experimental procedure, and preliminary results (ON, OA), pp. 977–984.
DUXU-CXC-2013-MirandaHPB #game studies #interactive: Exploring Adjustable Interactive Rings in Game Playing: Preliminary Results (LCdM, HHH, RP, MCCB), pp. 518–527.
DUXU-NTE-2013-StillwaterK #design #empirical #feedback #matter #multi: Design Matters: Mid-Term Results from a Multi-Design Fuel Economy Feedback Experiment (TS, KSK), pp. 578–584.
HIMI-D-2013-DjamasbiPY13a #contest: Search Results Pages and Competition for Attention Theory: An Exploratory Eye-Tracking Study (SD, AHP, R(Y), pp. 576–583.
ICEIS-v1-2013-Santibanez-GonzalezM #network #novel: A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network — Theoretical and Computational Results (EDRSG, NM), pp. 570–577.
CIKM-2013-ChengAH #how #question: How fresh do you want your search results? (SC, AA, VH), pp. 1271–1280.
CIKM-2013-ChuklinSR #modelling: Modeling clicks beyond the first result page (AC, PS, MdR), pp. 1217–1220.
CIKM-2013-KhanDS #multi #scalability: Scalable diversification of multiple search results (HAK, MD, MAS), pp. 775–780.
CIKM-2013-MirylenkaP #navigation #network #topic #wiki: Navigating the topical structure of academic search results via the Wikipedia category network (DM, AP), pp. 891–896.
CIKM-2013-SpeicherBG #exclamation #interactive #predict #web: TellMyRelevance!: predicting the relevance of web search results from cursor interactions (MS, AB, MG), pp. 1281–1290.
ECIR-2013-GuanY: Increasing Stability of Result Organization for Session Search (DG, HY), pp. 471–482.
ECIR-2013-MarkovAC13a #on the: On CORI Results Merging (IM, AA, FC), pp. 752–755.
ECIR-2013-MorenoD #clustering #image #interface #mobile #using #web: Using Text-Based Web Image Search Results Clustering to Minimize Mobile Devices Wasted Space-Interface (JGM, GD), pp. 532–544.
ECIR-2013-SantosCSM #image #multimodal #ranking: Multimodal Re-ranking of Product Image Search Results (JMdS, JMBC, PCS, ESdM), pp. 62–73.
ECIR-2013-ThollardQ #image #ranking: Content-Based Re-ranking of Text-Based Image Search Results (FT, GQ), pp. 618–629.
ICML-c1-2013-Shamir0 #convergence #optimisation #probability: Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
KDIR-KMIS-2013-CherichiF #microblog: Relevant Information Discovery in Microblogs — Combining Post’s Features and Author’s Features to Improve Search Results (SC, RF), pp. 128–135.
KEOD-2013-CalegariFP #categorisation #comparative #ontology: Comparative Evaluations of a Hierarchical Categorization of Search Results based on a Granular View of Domain Ontologies (SC, FF, GP), pp. 361–366.
KEOD-2013-Surynek #bibliography #collaboration #web: A Survey of Collaborative Web Search — Through Collaboration among Search Engine Users to More Relevant Results (PS), pp. 331–336.
MLDM-2013-SigdelA #assessment #classification #correlation #named: Pacc — A Discriminative and Accuracy Correlated Measure for Assessment of Classification Results (MS, RSA), pp. 281–295.
RecSys-2013-DzyaburaT #how #recommendation: Not by search alone: how recommendations complement search results (DD, AT), pp. 371–374.
SIGIR-2013-AgeevLA #behaviour #summary #using: Improving search result summaries by using searcher behavior data (MA, DL, EA), pp. 13–22.
SIGIR-2013-DangC: Term level search result diversification (VD, WBC), pp. 603–612.
SIGIR-2013-FafaliosT #named #realtime #semantics #web: X-ENS: semantic enrichment of web search results at real-time (PF, YT), pp. 1089–1090.
SIGIR-2013-GuoJLYA #interactive #mining #mobile #predict #web: Mining touch interaction data on mobile devices to predict web search result relevance (QG, HJ, DL, SY, EA), pp. 153–162.
SIGIR-2013-HongS: Search result diversification in resource selection for federated search (DH, LS), pp. 613–622.
SIGIR-2013-KongA #query: Extracting query facets from search results (WK, JA), pp. 93–102.
SIGIR-2013-Leveling #coordination #generative #query: Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
SIGIR-2013-SakaiDYLZKSI #mining #summary #topic: Summary of the NTCIR-10 INTENT-2 task: subtopic mining and search result diversification (TS, ZD, TY, YL, MZ, MPK, RS, MI), pp. 761–764.
SIGIR-2013-SazogluCOAU #metric: A financial cost metric for result caching (FBS, BBC, RO, ISA, ÖU), pp. 873–876.
SIGIR-2013-ShaniT #game studies: Displaying relevance scores for search results (GS, NT), pp. 901–904.
SIGIR-2013-ShokouhiWBR #ranking: Fighting search engine amnesia: reranking repeated results (MS, RWW, PNB, FR), pp. 273–282.
SIGIR-2013-TrieschniggTH #named: SearchResultFinder: federated search made easy (DT, KTKJ, DH), pp. 1113–1114.
SIGIR-2013-WangLZMZQZ #modelling: Incorporating vertical results into search click models (CW, YL, MZ, SM, MZ, JQ, KZ), pp. 503–512.
REFSQ-2013-PhilippoHKCB #ambiguity #empirical #evaluation: Requirement Ambiguity Not as Important as Expected — Results of an Empirical Evaluation (EJP, WH, BK, MRVC, DMB), pp. 65–79.
SAC-2013-PlegasS #information management: Reducing information redundancy in search results (YP, SS), pp. 886–893.
CADE-2013-KersaniP #decidability #first-order: Completeness and Decidability Results for First-Order Clauses with Indices (AK, NP), pp. 58–75.
SIGMOD-2012-0002S #optimisation #query: Holistic optimization by prefetching query results (KR, SS), pp. 133–144.
SIGMOD-2012-ElghandourA #named #pipes and filters #reuse: ReStore: reusing results of MapReduce jobs in pig (IE, AA), pp. 701–704.
SIGMOD-2012-SinghNJ #agile #named #query #relational: Skimmer: rapid scrolling of relational query results (MS, AN, HVJ), pp. 181–192.
VLDB-2012-ElghandourA #named #pipes and filters #reuse: ReStore: Reusing Results of MapReduce Jobs (IE, AA), pp. 586–597.
VLDB-2012-LaptevZZ #pipes and filters: Early Accurate Results for Advanced Analytics on MapReduce (NL, KZ, CZ), pp. 1028–1039.
VLDB-2012-QinYC: Diversifying Top-K Results (LQ, JXY, LC), pp. 1124–1135.
VLDB-2013-DrosouP12 #difference: DisC diversity: result diversification based on dissimilarity and coverage (MD, EP), pp. 13–24.
CSEET-2012-BareissSK #education #re-engineering: Changes in Transferable Knowledge Resulting from Study in a Graduate Software Engineering Curriculum (RB, TS, EPK), pp. 3–12.
ITiCSE-2012-CooperNS #using: Initial results of using an intelligent tutoring system with Alice (SC, YJN, LS), pp. 138–143.
ICALP-v1-2012-CyganKPPW #clique #graph: Clique Cover and Graph Separation: New Incompressibility Results (MC, SK, MP, MP, MW), pp. 254–265.
ICALP-v2-2012-FearnleyS #bound #game studies: Time and Parallelizability Results for Parity Games with Bounded Treewidth (JF, SS), pp. 189–200.
ICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance: Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.
CIKM-2012-AltingovdeBCOSU #query #web: Characterizing web search queries that match very few or no results (ISA, RB, BBC, RO, ES, ÖU), pp. 2000–2004.
CIKM-2012-HasanMTK #query: Diversifying query results on semi-structured data (MH, AM, VJT, EJK), pp. 2099–2103.
CIKM-2012-KanhabuaN #learning #query #rank: Learning to rank search results for time-sensitive queries (NK, KN), pp. 2463–2466.
CIKM-2012-KashyapH: Comprehension-based result snippets (AK, VH), pp. 1075–1084.
CIKM-2012-KhabsaTG #using: Entity resolution using search engine results (MK, PT, CLG), pp. 2363–2366.
CIKM-2012-LappasV: Customizing search results for non-native speakers (TL, MV), pp. 1829–1833.
CIKM-2012-SteinGH #clustering: Search result presentation based on faceted clustering (BS, TG, DH), pp. 1940–1944.
CIKM-2012-WuJZ #behaviour: Serial position effects of clicking behavior on result pages returned by search engines (MW, SJ, YZ), pp. 2411–2414.
CIKM-2012-ZhengFY #concept: Exploiting concept hierarchy for result diversification (WZ, HF, CY), pp. 1844–1848.
ECIR-2012-AliciAOCU #adaptation #query #web: Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines (SA, ISA, RO, BBC, ÖU), pp. 401–412.
ECIR-2012-BerendsenKNRW #ambiguity #people #web: Result Disambiguation in Web People Search (RB, BK, EPN, MdR, WW), pp. 146–157.
ICPR-2012-YamasakiC #classification #recognition #refinement: Confidence-assisted classification result refinement for object recognition featuring TopN-Exemplar-SVM (TY, TC), pp. 1783–1786.
KDIR-2012-WenerstromK #multi #summary: Search Result Summaries Improved by Structure and Multimedia (BW, MK), pp. 181–186.
KEOD-2012-AbdelazzizN #ontology #recommendation #using: Enhancing the Results of Recommender Systems using Implicit Ontology Relations (LA, KN), pp. 5–14.
SEKE-2012-RiveroC #usability #using #web: Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.
SIGIR-2012-BaiJ #online #realtime #web: Online result cache invalidation for real-time web search (XB, FPJ), pp. 641–650.
SIGIR-2012-ChuklinS #how #query: How query extensions reflect search result abandonments (AC, PS), pp. 1087–1088.
SIGIR-2012-DangC #approach: Diversity by proportionality: an election-based approach to search result diversification (VD, WBC), pp. 65–74.
SIGIR-2012-HeHV #topic: Combining implicit and explicit topic representations for result diversification (JH, VH, APdV), pp. 851–860.
SIGIR-2012-HongS #algorithm #multi #retrieval: Mixture model with multiple centralized retrieval algorithms for result merging in federated search (DH, LS), pp. 821–830.
SIGIR-2012-IwataSYCLWN #named #visualisation #web: AspecTiles: tile-based visualization of diversified web search results (MI, TS, TY, YC, YL, JRW, SN), pp. 85–94.
SIGIR-2012-JonassenCS #query: Prefetching query results and its impact on search engines (SJ, BBC, FS), pp. 631–640.
SIGIR-2012-LagunA #estimation: Re-examining search result snippet examination time forrelevance estimation (DL, EA), pp. 1141–1142.
SIGIR-2012-LevelingJ #case study #documentation: Making results fit into 40 characters: a study in document rewriting (JL, GJFJ), pp. 1107–1108.
SIGIR-2012-LiuBC #behaviour #interactive #personalisation #using: Personalization of search results using interaction behaviors in search sessions (CL, NJB, MJC), pp. 205–214.
SIGIR-2012-MaW #query #web: User-aware caching and prefetching query results in web search engines (HM, BW), pp. 1163–1164.
SIGIR-2012-ShiZWLH #adaptation #recommendation: Adaptive diversification of recommendation results via latent factor portfolio (YS, XZ, JW, ML, AH), pp. 175–184.
SIGIR-2012-ValletC #personalisation: Personalized diversification of search results (DV, PC), pp. 841–850.
SAC-2012-ChengZQ #detection #fine-grained #topic: Fine-grained topic detection in news search results (JC, JZ, SQ), pp. 912–917.
ICSE-2012-Keivanloo #integration #mining #online #repository: Online sharing and integration of results from mining software repositories (IK), pp. 1644–1646.
ICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web: Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
DocEng-2011-AlmeidaHY #case study: Contributions to the study of SMS spam filtering: new collection and results (TAA, JMGH, AY), pp. 259–262.
ICDAR-2011-LiangWS #image #segmentation: A Method of Evaluating Table Segmentation Results Based on a Table Image Ground Truther (YL, YW, ES), pp. 247–251.
PODS-2011-ShengT11b #2d #memory management #orthogonal: New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
SIGMOD-2011-StoyanovichLMR #named #ranking #semantics #visualisation: SkylineSearch: semantic ranking and result visualization for pubmed (JS, ML, WM, KAR), pp. 1247–1250.
VLDB-2011-CapanniniNPS #performance #web: Efficient Diversification of Web Search Results (GC, FMN, RP, FS), pp. 451–459.
VLDB-2011-LiuNC #clustering #query: Query Expansion Based on Clustered Results (ZL, SN, YC), pp. 350–361.
VLDB-2011-NandiJ #interactive #paradigm: Guided Interaction: Rethinking the Query-Result Paradigm (AN, HVJ), pp. 1466–1469.
VLDB-2011-RameshSJ #keyword: Keyword Search on Form Results (AR, SS, PJ), pp. 1189–1200.
VLDB-2011-VieiraRBHSTT #named #query: DivDB: A System for Diversifying Query Results (MRV, HLR, MCNB, MH, DS, CTJ, VJT), pp. 1395–1398.
CSEET-2011-JiS #programming: Comparing extreme programming and Waterfall project results (FJ, TS), pp. 482–486.
ICSM-2011-KhomhCZSD #fault #predict #testing #using: Predicting post-release defects using pre-release field testing results (FK, BC, YZ, AS, DD), pp. 253–262.
WCRE-2011-GravinoRST #comprehension #design pattern #documentation #source code: Does the Documentation of Design Pattern Instances Impact on Source Code Comprehension? Results from Two Controlled Experiments (CG, MR, GS, GT), pp. 67–76.
STOC-2011-Dobzinski #combinator: An impossibility result for truthful combinatorial auctions with submodular valuations (SD), pp. 139–148.
STOC-2011-Yoshida #algorithm #approximate #bound #csp: Optimal constant-time approximation algorithms and (unconditional) inapproximability results for every bounded-degree CSP (YY), pp. 665–674.
DLT-J-2010-BordihnKM11 #automaton #communication #finite #parallel: Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 1577–1592.
ICALP-v2-2011-BovaCV #comparison: Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.
ICALP-v2-2011-MegowMS #algorithm #graph #online: Online Graph Exploration: New Results on Old and New Algorithms (NM, KM, PS), pp. 478–489.
CHI-2011-DowFSASK #design #multi #prototype: Prototyping dynamics: sharing multiple designs improves exploration, group rapport, and results (SD, JF, DS, BA, DLS, SRK), pp. 2807–2816.
CHI-2011-SchwarzM #assessment #web: Augmenting web pages and search results to support credibility assessment (JS, MRM), pp. 1245–1254.
CHI-2011-YamamotoT #web: Enhancing credibility judgment of web search results (YY, KT), pp. 1235–1244.
CSCW-2011-BednarikSP #bidirectional #collaboration: Bidirectional gaze in remote computer mediated collaboration: setup and initial results from pair-programming (RB, AS, SP), pp. 597–600.
CSCW-2011-McGillCJCBL #elicitation #game studies #online: Eliciting risk perceptions with an online game: preliminary results (WLM, YC, MJ, JJC, SB, GL), pp. 681–684.
DUXU-v2-2011-MirandaHB11a #interactive #physics: Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
HCD-2011-MirandaHB #empirical #interactive: Adjustable Interactive Rings for iDTV: First Results of an Experiment with End-Users (LCdM, HHH, MCCB), pp. 262–271.
HCI-UA-2011-Vera-MunozAPOPB #evaluation #usability: Results of the Usability and Acceptance Evaluation of a Cardiac Rehabilitation System (CVM, MTA, IP, MO, JMPB, ADdB), pp. 219–225.
CAiSE-2011-KofP #feedback #formal method #generative #modelling #requirements: From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
CIKM-2011-AktolgaA #query #ranking: Reranking search results for sparse queries (EA, JA), pp. 173–182.
CIKM-2011-AnastasiuGB #clustering #collaboration #framework #personalisation: A framework for personalized and collaborative clustering of search results (DCA, BJG, DB), pp. 573–582.
CIKM-2011-ArguelloDC #learning #web: Learning to aggregate vertical results into web search results (JA, FD, JC), pp. 201–210.
CIKM-2011-BachmannSLS #database #ranking: Extracting cross references from life science databases for search result ranking (AB, RS, ML, MS), pp. 1253–1258.
CIKM-2011-BozzonBFT #multi #set: Diversification for multi-domain result sets (AB, MB, PF, MT), pp. 1905–1908.
CIKM-2011-CoffmanW #keyword #learning #rank #relational: Learning to rank results in relational keyword search (JC, ACW), pp. 1689–1698.
CIKM-2011-Collins-ThompsonBWCS #personalisation #web: Personalizing web search results by reading level (KCT, PNB, RWW, SdlC, DS), pp. 403–412.
CIKM-2011-DrosouP #database #named #recommendation: ReDRIVE: result-driven database exploration through recommendations (MD, EP), pp. 1547–1552.
CIKM-2011-KacimiG #query: Diversifying search results of controversial queries (MK, JG), pp. 93–98.
CIKM-2011-LoumakisSG #image #smell: This image smells good: effects of image information scent in search engine results pages (FL, SS, DG), pp. 475–484.
CIKM-2011-SteinGH #clustering #precise #web: Beyond precision@10: clustering the long tail of web search results (BS, TG, DH), pp. 2141–2144.
CIKM-2011-StyskinRVS #ranking #set: Recency ranking by diversification of result set (AS, FR, FV, PS), pp. 1949–1952.
CIKM-2011-XuJL #image #mining #online #ranking: Retrieving and ranking unannotated images through collaboratively mining online search results (SX, HJ, FCML), pp. 485–494.
CIKM-2011-YamamotoNT #interface #named #ranking: RerankEverything: a reranking interface for exploring search results (TY, SN, KT), pp. 1913–1916.
CIKM-2011-ZhengFYW #enterprise: Search result diversification for enterprise data (WZ, HF, CY, MW), pp. 1901–1904.
ECIR-2011-AltingovdeOCU #approach #hybrid: Second Chance: A Hybrid Approach for Dynamic Result Caching in Search Engines (ISA, RO, BBC, ÖU), pp. 510–516.
ECIR-2011-ArguelloDCC: A Methodology for Evaluating Aggregated Search Results (JA, FD, JC, BC), pp. 141–152.
ECIR-2011-Demartini #named #retrieval #sentiment: ARES: A Retrieval Engine Based on Sentiments — Sentiment-Based Search Result Annotation and Diversification (GD), pp. 772–775.
ECIR-2011-KimC #analysis #web: An Analysis of Time-Instability in Web Search Results (JK, VRC), pp. 466–478.
KMIS-2011-UrdzikovaJ #research: Complaints Management in Terms of Business Practice in Slovakia — Research Results (JU, MJ), pp. 302–305.
SEKE-2011-RiazMT #bibliography #maintenance #predict #relational: Maintainability Predictors for Relational Database-Driven Software Applications: Results from a Survey (MR, EM, EDT), pp. 420–425.
SIGIR-2011-AliciAOCU #web: Timestamp-based result cache invalidation for web search engines (SA, ISA, RO, BBC, ÖU), pp. 973–982.
SIGIR-2011-AltingovdeOU #evolution #web: Evolution of web search results within years (ISA, RO, ÖU), pp. 1237–1238.
SIGIR-2011-AnastasiuGB #clustering #collaboration #named #personalisation: ClusteringWiki: personalized and collaborative clustering of search results (DCA, BJG, DB), pp. 1263–1264.
SIGIR-2011-Bhatia #multi: Multidimensional search result diversification: diverse search results for diverse users (SB), pp. 1331–1332.
SIGIR-2011-ChenWSPY: Diversifying product search results (XC, HW, XS, JP, YY), pp. 1093–1094.
SIGIR-2011-ColeZLBG #documentation: Knowledge effects on document selection in search results pages (MJC, XZ, CL, NJB, JG), pp. 1219–1220.
SIGIR-2011-Ghorab #adaptation #information retrieval #multi #personalisation #query: Improving query and result list adaptation in personalized multilingual information retrieval (MRG), pp. 1323–1324.
SIGIR-2011-HaasMTB #web: Enhanced results for web search (KH, PM, PT, RB), pp. 725–734.
SIGIR-2011-HeHS: A weighted curve fitting method for result merging in federated search (CH, DH, LS), pp. 1177–1178.
SIGIR-2011-MoravejiRBM #performance: Measuring improvement in user search performance resulting from optimal search tips (NM, DMR, JB, DM), pp. 355–364.
SIGIR-2011-SakaiS #using: Evaluating diversified search results using per-intent graded relevance (TS, RS), pp. 1043–1052.
SIGIR-2011-SantosMO: Intent-aware search result diversification (RLTS, CM, IO), pp. 595–604.
SIGIR-2011-SantosMO11b #how #question #web: How diverse are web search results? (RLTS, CM, IO), pp. 1187–1188.
SIGIR-2011-SongZH #query: Post-ranking query suggestion by diversifying search results (YS, DZ, LwH), pp. 815–824.
SIGIR-2011-SongZXLL #query #ranking: Query term ranking based on search results overlap (WS, YZ, YX, TL, SL), pp. 1253–1254.
SIGIR-2011-WangA #analysis #semantics: Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
PADL-2011-FodorAR: Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.
ESEC-FSE-2011-CafeoNFCR #product line: Inferring test results for dynamic software product lines (BBPC, JN, FCF, RC, AR), pp. 500–503.
ICSE-2011-GeTXT #execution #named #symbolic computation #verification: DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSE-2011-WuSG #case study #empirical: Empirical results on the study of software vulnerabilities (YW, HPS, RG), pp. 964–967.
CSL-2011-Eickmeyer #first-order #logic #random: Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
LICS-2011-MarcinkowskiM #logic: The Ultimate Undecidability Result for the Halpern-Shoham Logic (JM, JM), pp. 377–386.
LICS-2011-Pitassi #bibliography #complexity #proving #state of the art: Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results (TP), p. 119.
DAC-2010-Breuer #bound #hardware: Hardware that produces bounded rather than exact results (MAB), pp. 871–876.
SIGMOD-2010-ChenGN #named #statistics: PR-join: a non-blocking join achieving higher early result rate with statistical guarantees (SC, PBG, SN), pp. 147–158.
SIGMOD-2010-RaghavanR #framework #generative #multi #named #query: ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
VLDB-2010-LiuNSBMWC #comparison #named: XSACT: A Comparison Tool for Structured Search Results (ZL, SN, PS, SB, TM, RW, YC), pp. 1581–1584.
VLDB-2010-MenestrinaWG: Evaluating Entity Resolution Results (DM, SW, HGM), pp. 208–219.
ITiCSE-2010-EhlertS #comparison #object-oriented: Comparison of OOP first and OOP later: first results regarding the role of comfort level (AE, CS), pp. 108–112.
ITiCSE-2010-RosslingM #standard: An unusual CS 1 with high standards and confirming results (GR, MM), pp. 169–173.
CSMR-2010-KnieselBHFCGT #design pattern #detection #tool support: DPDX--Towards a Common Result Exchange Format for Design Pattern Detection Tools (GK, AB, PH, LJF, AC, YGG, NT), pp. 232–235.
ICPC-2010-ChanZHS #testing #visualisation: Visualizing the Results of Field Testing (BC, YZ, AEH, AS), pp. 114–123.
MSR-2010-Herbsleb #mining #named #question: MSR: Mining for scientific results? (JDH).
FLOPS-2010-BartheBK #framework #functional: A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.
CIAA-2010-DiekertK #complexity #regular expression: Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) (VD, SK), pp. 105–114.
DLT-2010-BordihnKM #automaton #communication #finite #parallel: Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 88–99.
LATA-2010-Tamm #automaton: Some Minimality Results on Biresidual and Biseparable Automata (HT), pp. 573–584.
ICFP-2010-Pop #case study #experience #haskell #python: Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project (IP), pp. 369–374.
CHI-2010-FerrisWB #named #realtime: OneBusAway: results from providing real-time arrival information for public transit (BF, KW, AB), pp. 1807–1816.
ICEIS-ISAS-2010-ClariziaGN #identification #query #web: A New Technique for Identification of Relevant Web Pages in Informational Queries Results (FC, LG, PN), pp. 70–79.
CIKM-2010-HanZ #semantics #topic #web #wiki: Topic-driven web search result organization by leveraging wikipedia semantic knowledge (XH, JZ), pp. 1749–1752.
CIKM-2010-KashyapHP #named #query: FACeTOR: cost-driven exploration of faceted query results (AK, VH, MP), pp. 719–728.
CIKM-2010-SantosMO #web: Selectively diversifying web search results (RLTS, CM, IO), pp. 1179–1188.
CIKM-2010-SautterBK #estimation: Result-size estimation for information-retrieval subqueries (GS, KB, AK), pp. 709–718.
CIKM-2010-ZaragozaCB #question #ranking #web: Web search solved?: all result rankings the same? (HZ, BBC, RABY), pp. 529–538.
ECIR-2010-RudinacLH #consistency #query #retrieval: Exploiting Result Consistency to Select Query Expansions for Spoken Content Retrieval (SR, ML, AH), pp. 645–648.
ECIR-2010-SantosPMO: Explicit Search Result Diversification through Sub-queries (RLTS, JP, CM, IO), pp. 87–99.
ECIR-2010-StamouE: Interpreting User Inactivity on Search Results (SS, ENE), pp. 100–113.
ICPR-2010-Nowak #challenge #contest: ImageCLEF@ICPR Contest: Challenges, Methodologies and Results of the Photo Annotation Task (SN), pp. 489–492.
ICPR-2010-PastorTCV #corpus: A Bi-modal Handwritten Text Corpus: Baseline Results (MP, AHT, FC, EV), pp. 1933–1936.
ICPR-2010-RomeroTV #analysis #corpus #image: Computer Assisted Transcription of Text Images: Results on the GERMANA Corpus and Analysis of Improvements Needed for Practical Use (VR, AHT, EV), pp. 2017–2020.
KDIR-2010-MollerEDS #automation #ontology #recognition #using: Automatic Spatial Plausibility Checks for Medical Object Recognition Results using a Spatio-anatomical Ontology (MM, PE, AD, DS), pp. 5–13.
KDIR-2010-ZhuLC #ranking: Ranking Classes of Search Engine Results (ZZ, ML, IJC), pp. 294–301.
KR-2010-HuL #correctness #problem #reasoning: A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
RecSys-2010-MarxHM #algorithm #comprehension #hybrid #recommendation: Increasing consumers’ understanding of recommender results: a preference-based hybrid algorithm with strong explanatory power (PM, THT, AM), pp. 297–300.
SIGIR-2010-BlancoBJLTZ #incremental: Caching search engine results over incremental indices (RB, EB, FJ, RL, LT, HZ), pp. 82–89.
SIGIR-2010-CarpinetoR #clustering: Optimal meta search results clustering (CC, GR), pp. 170–177.
SIGIR-2010-ChandarC #using: Diversification of search results using webgraphs (PC, BC), pp. 869–870.
SIGIR-2010-GyllstromM #multi: A picture is worth a thousand search results: finding child-oriented multimedia results with collAge (KG, MFM), pp. 731–732.
SIGIR-2010-LuPWD #personalisation #web: Personalize web search results with user’s location (YL, FP, XW, BD), pp. 763–764.
SIGIR-2010-RadovanovicNI #modelling #on the: On the existence of obstinate results in vector space models (MR, AN, MI), pp. 186–193.
SIGIR-2010-YinHZL #approach #modelling #using #wiki: A survival modeling approach to biomedical search result diversification using wikipedia (XY, XH, XZ, ZL), pp. 901–902.
REFSQ-2010-FerrariSHGSM #architecture #interactive #prototype #requirements: Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results (RF, OS, CH, JG, WS, NHM), pp. 23–29.
SAC-2010-HongSE #multi: WMS-extracting multiple sections data records from search engine results pages (JLH, EGS, SE), pp. 1696–1701.
SAC-2010-PirkolaT #approach #crawling #problem #using: Addressing the limited scope problem of focused crawling using a result merging approach (AP, TT), pp. 1735–1740.
ICSE-2010-Gysin #code search #social: Improved social trustability of code search results (FSG), pp. 513–514.
CSL-2010-LohmannV #complexity #dependence #logic: Complexity Results for Modal Dependence Logic (PL, HV), pp. 411–425.
ISSTA-2010-Jiang #analysis #automation #testing: Automated analysis of load testing results (ZMJ), pp. 143–146.
SAT-2010-PorschenSS #complexity #linear #problem: Complexity Results for Linear XSAT-Problems (SP, TS, ES), pp. 251–263.
DATE-2009-Perry #design #modelling #quality #synthesis: Model Based Design needs high level synthesis — A collection of high level synthesis techniques to improve productivity and quality of results for model based electronic design (SP), pp. 1202–1207.
ICDAR-2009-GrosickiCBG #evaluation: Results of the RIMES Evaluation Campaign for Handwritten Mail Processing (EG, MC, JMB, EG), pp. 941–945.
ICDAR-2009-IndermuhleLB #analysis #documentation: Combining Alignment Results for Historical Handwritten Document Analysis (EI, ML, HB), pp. 1186–1190.
ICDAR-2009-RasagnaKJM #clustering #documentation #recognition #robust #word: Robust Recognition of Documents by Fusing Results of Word Clusters (VR, AK, CVJ, RM), pp. 566–570.
VLDB-2009-BaoBDG #difference #named #workflow: PDiffView: Viewing the Difference in Provenance of Workflow Results (ZB, SCB, SBD, PG), pp. 1638–1641.
VLDB-2009-LiuSC #difference: Structured Search Result Differentiation (ZL, PS, YC), pp. 313–324.
VLDB-2009-ZhouSA #query #scalability: Scalable Delivery of Stream Query Results (YZ, AS, KA), pp. 49–60.
ITiCSE-2009-Saeli #education #how #programming: How to teach programming in secondary education: first results of a PhD project (MS), p. 356.
ITiCSE-2009-SchluterB #education #empirical: The attributes of task difficulty in informatics in secondary education: first results of an empirical study (KS, TB), p. 357.
STOC-2009-DworkNRRV #algorithm #complexity #on the #performance: On the complexity of differentially private data release: efficient algorithms and hardness results (CD, MN, OR, GNR, SPV), pp. 381–390.
CIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism: Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
CIAA-2009-GruberHT #automaton #empirical #finite #regular expression: Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.
DLT-2009-CzeizlerCKS #pseudo #word: An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words (EC, EC, LK, SS), pp. 183–194.
ICALP-v1-2009-ArbitmanNS #performance #worst-case: De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results (YA, MN, GS), pp. 107–118.
ICALP-v1-2009-DemaineHK #algorithm #approximate #graph: Approximation Algorithms via Structural Results for Apex-Minor-Free Graphs (EDD, MH, KiK), pp. 316–327.
CHI-2009-OliveiraAR #metric #web: Discriminating the relevance of web search results with measures of pupil size (FTPO, AA, DMR), pp. 2209–2212.
DHM-2009-TianDBAH #implementation #performance: The Performance of BCMA-Aided Healthcare Service: Implementation Factors and Results (RT, VGD, CB, SRA, KH), pp. 560–568.
HCD-2009-KimJK #mobile: User Needs of Mobile Phone Wireless Search: Focusing on Search Result Pages (YJK, SJJ, MJK), pp. 446–451.
HCD-2009-LokmanHNN #analysis #difference #evaluation: Website Affective Evaluation: Analysis of Differences in Evaluations Result by Data Population (AML, AFH, NLMN, MN), pp. 643–652.
HCI-NT-2009-MatsudaUOM #analysis #eye tracking #multi: An Analysis of Eye Movements during Browsing Multiple Search Results Pages (YM, HU, MO, KiM), pp. 121–130.
HIMI-DIE-2009-AndoSIO #visualisation: Facilitating Search through Visualized Results (TA, SS, TI, SO), pp. 339–344.
HIMI-II-2009-ChanLLH #mobile #requirements #user interface: Discovering User Interface Requirements of Search Results for Mobile Clients by Contextual Inquiry (DLC, RWPL, HVL, EKSH), pp. 365–374.
OCSC-2009-WuO #bibliography #online: Medication Adherence among the Elderly and Technology Aids: Results from an Online Survey Study (HW, AAO), pp. 719–727.
ICEIS-DISI-2009-KleinschmagerH #aspect-oriented #programming: Is the Application of Aspect-oriented Programming Constructs Beneficial? — First Experimental Results (SK, SH), pp. 196–201.
ICEIS-J-2009-StruskaP #named #testing: BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.
CIKM-2009-AlonsoGB #clustering #timeline #using: Clustering and exploring search results using timeline constructions (OA, MG, RABY), pp. 97–106.
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-CaoQCS #feedback #query: Exploring path query results through relevance feedback (HC, YQ, KSC, MLS), pp. 1959–1962.
CIKM-2009-KanungoGKW #algorithm #summary #user satisfaction #web: Web search result summarization: title selection algorithms and user satisfaction (TK, NG, KYK, LW), pp. 1581–1584.
CIKM-2009-KrikonKB #ranking: Utilizing inter-passage and inter-document similarities for re-ranking search results (EK, OK, MB), pp. 1597–1600.
CIKM-2009-LiaoM #documentation #re-engineering: Feature engineering on event-centric surrogate documents to improve search results (WL, IM), pp. 1629–1632.
ECIR-2009-AltingovdeOU #cost analysis #query #web: A Cost-Aware Strategy for Query Result Caching in Web Search Engines (ISA, RO, ÖU), pp. 628–636.
ECIR-2009-ParamitaTS #image: Generic and Spatial Approaches to Image Search Results Diversification (MLP, JT, MS), pp. 603–610.
KDD-2009-Hand #data mining #mining #modelling #tool support: Mismatched models, wrong results, and dreadful decisions: on choosing appropriate data mining tools (DJH), pp. 1–2.
KDD-2009-LeeHNW #clustering #query: Query result clustering for object-level search (JL, SwH, ZN, JRW), pp. 1205–1214.
KDIR-2009-CamposDJ #clustering #topic #web: Disambiguating Web Search Results by Topic and Temporal Clustering — A Proposal (RC, GD, AMJ), pp. 292–296.
SIGIR-2009-ZhangACEH: Improving user confidence in cultural heritage aggregated results (JZ, AA, HSMC, VE, LH), pp. 702–703.
ECMDA-FA-2009-SadovykhVGHGE #on the: On Study Results: Round Trip Engineering of Space Systems (AS, LV, EG, AH, JG, OE), pp. 265–276.
SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web: SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.
PPoPP-2009-HaTA #parallel #programming: Preliminary results on nb-feb, a synchronization primitive for parallel programming (PHH, PT, OJA), pp. 295–296.
CADE-2009-HorbachW #decidability: Decidability Results for Saturation-Based Model Building (MH, CW), pp. 404–420.
CADE-2009-Sofronie-Stokkermans #locality: Locality Results for Certain Extensions of Theories with Bridging Functions (VSS), pp. 67–83.
RTA-2009-BursucC #algebra #bound #protocol #security: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (SB, HCL), pp. 133–147.
DATE-2008-SchirnerD #modelling #scheduling #using: Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling (GS, RD), pp. 122–127.
VLDB-2008-GarrodMAMMOT #query #scalability #web: Scalable query result caching for web applications (CG, AM, AA, BMM, TCM, CO, AT), pp. 550–561.
VLDB-2008-PangM #authentication #query: Authenticating the query results of text search engines (HP, KM), pp. 126–137.
VLDB-2008-PoessN #analysis #challenge #energy #power management: Energy cost, the key challenge of today’s data centers: a power consumption analysis of TPC-C results (MP, RON), pp. 1229–1240.
ESOP-2008-LeinoM #verification: Verification of Equivalent-Results Methods (KRML, PM), pp. 307–321.
STOC-2008-Raghavendra #algorithm #csp #question: Optimal algorithms and inapproximability results for every CSP? (PR), pp. 245–254.
CIAA-2008-HolzerK #complexity #finite #nondeterminism: Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
LATA-2008-KrassovitskiyRV: Further Results on Insertion-Deletion Systems with One-Sided Contexts (AK, YR, SV), pp. 333–344.
CHI-2008-FarzanDMDGB #enterprise: Results from deploying a participation incentive mechanism within the enterprise (RF, JMD, DRM, CD, WG, EB), pp. 563–572.
CHI-2008-ShamiEM #exclamation: Pick me!: link selection in expertise search results (NSS, KE, DRM), pp. 1089–1092.
CHI-2008-StockZKREGTW #interface: A co-located interface for narration to support reconciliation in a conflict: initial results from Jewish and Palestinian youth (OS, MZ, CK, CR, ZE, DGB, DT, PL(W), pp. 1583–1592.
CAiSE-2008-SienaMLKPS #case study #effectiveness #modelling #traceability: Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability (AS, NAMM, JL, IKK, AP, AS), pp. 182–196.
ICEIS-AIDSS-2008-JansLV #case study #data mining #mining #reduction: Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.
ICEIS-DISI-2008-TrienekensG #case study #enterprise: Measuring Critical Success Factors in ERP Projects — Results from a Case Study in a SME (JJMT, PvG), pp. 203–209.
ICEIS-HCI-2008-MileyRM #learning: Traditional Learning Vs. e-LEARNING — Some Results from Training Call Centre Personnel (MM, JAR, CM), pp. 299–307.
ICEIS-HCI-2008-MordechaiFD #interface #named #taxonomy #using: TTLS: A Grouped Display of Search Results Based on Organizational Taxonomy Using the LCC&K Interface (VM, AJF, OD), pp. 47–53.
ICEIS-ISAS1-2008-OhgrenS #bibliography #enterprise #ontology: Do SME Need Ontologies? — Results from a Survey among Small and Medium-sized Enterprises (AÖ, KS), pp. 104–111.
CIKM-2008-BordognaCPR #clustering #documentation #web: A language for manipulating clustered web documents results (GB, AC, GP, SR), pp. 23–32.
CIKM-2008-ChuangC #query #web: Integrating web query results: holistic schema matching (SLC, KCCC), pp. 33–42.
CIKM-2008-KinneyHZ #how: How evaluator domain expertise affects search result relevance judgments (KAK, SBH, JZ), pp. 591–598.
CIKM-2008-OzcanAU #query: Utilization of navigational queries for result presentation and caching in search engines (RO, ISA, ÖU), pp. 1499–1500.
ECIR-2008-RitchieTR #information retrieval #using: Using Terms from Citations for IR: Some First Results (AR, ST, SR), pp. 211–221.
ICPR-2008-ZitouniSOD #algorithm #graph #image #ranking #using #web: Re-ranking of web image search results using a graph algorithm (HZ, SGS, DO, PD), pp. 1–4.
RecSys-2008-AgrahriMR #people #question: Can people collaborate to improve the relevance of search results? (AKA, DATM, JR), pp. 283–286.
RecSys-2008-KrishnanNNDK #online #predict #recommendation: Who predicts better?: results from an online study comparing humans and an online recommender system (VK, PKN, MN, RTD, JAK), pp. 211–218.
SEKE-2008-DuZR #concept analysis #release planning #using: Explaining Product Release Planning Results Using Concept Analysis (GD, TZ, GR), pp. 137–142.
SIGIR-2008-BenderskyK #graph #ranking #using: Re-ranking search results using document-passage graphs (MB, OK), pp. 853–854.
SIGIR-2008-LiuLLJ #clustering #geometry #query #ranking: Spectral geometry for simultaneously clustering and ranking query search results (YL, WL, YL, LJ), pp. 539–546.
SIGIR-2008-SiferL: Refining search results with facet landscapes (MS, JL), p. 881.
SIGIR-2008-SkobeltsynJPB #named #web: ResIn: a combination of results caching and index pruning for high-performance web search engines (GS, FJ, VP, RABY), pp. 131–138.
SIGIR-2008-SmithK #adaptation: User adaptation: good results from poor systems (CLS, PBK), pp. 147–154.
SIGIR-2008-YasukawaY #clustering #mobile: Clustering search results for mobile terminals (MY, HY), p. 880.
SAC-2008-AiresSM #using: Optical flow using color information: preliminary results (KRTA, AMS, AADM), pp. 1607–1611.
SAC-2008-MerhavF #on the #peer-to-peer: On filtering irrelevant results in peer-to-peer search (YM, OF), pp. 1171–1172.
SAC-2008-MutschlerWR #empirical #workflow: Workflow management versus case handling: results from a controlled software experiment (BM, BW, MR), pp. 82–89.
SPLC-2008-KruegerCB #product line: HomeAway’s Transition to Software Product Line Practice: Engineering and Business Results in 60 Days (CWK, DC, RB), pp. 297–306.
CSL-2008-BeyersdorffM #bound: A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (OB, SM), pp. 199–214.
SAT-2008-CreignouDER #quantifier #random: New Results on the Phase Transition for Random Quantified Boolean Formulas (NC, HD, UE, RR), pp. 34–47.
ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
ASE-2007-TairasGB #clone detection #detection #visualisation: Visualizing clone detection results (RT, JG, IDB), pp. 549–550.
DocEng-2007-ThetNK #web: Filtering product reviews from web search results (TTT, JCN, CSGK), pp. 196–198.
DRR-2007-ShangLD #optimisation #pattern matching: OCR result optimization based on pattern matching (JS, CL, XD).
HT-2007-BrownFB #learning: Real users, real results: examining the limitations of learning styles within AEH (EJB, TF, TJB), pp. 57–66.
ICDAR-2007-Breuel #workflow: The hOCR Microformat for OCR Workflow and Results (TMB), pp. 1063–1067.
PODS-2007-ChakaravarthyPRAM #algorithm #approximate #identification: Decision trees for entity identification: approximation algorithms and hardness results (VTC, VP, SR, PA, MKM), pp. 53–62.
SIGMOD-2007-ChenL #navigation: Addressing diverse user preferences in SQL-query-result navigation (ZC, TL), pp. 641–652.
FoSSaCS-2007-HirschkoffP #congruence #π-calculus: A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
FoSSaCS-2007-TozawaM #complexity #context-free grammar: Complexity Results on Balanced Context-Free Languages (AT, YM), pp. 346–360.
STOC-2007-Lynch #algorithm #distributed #modelling #proving: Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
STOC-2007-Pap: Some new results on node-capacitated packing of A-paths (GP), pp. 599–604.
DLT-2007-BertoniR #monad: Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
ICALP-2007-LaroseT #algebra #constraints #problem: Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.
LATA-2007-BaaderHP #automaton #exclamation #logic: SI! Automata Can Show PSPACE Results for Description Logics (FB, JH, RP), pp. 67–78.
LATA-2007-Blanchet-SadriCN #word: Fine and Wilf’s Periodicity Result on Partial Words and Consequences (FBS, KC, JN), pp. 115–126.
CHI-2007-WangJHDZ #clustering #image #named #semantics #web: IGroup: presenting web image search results in semantic clusters (SW, FJ, JH, QD, LZ), pp. 587–596.
HCI-AS-2007-MakkonenV #empirical #multi: Some Empirical Results on a Multimedia Work Support System (JM, AV), pp. 654–662.
HCI-AS-2007-QinR #metric: Relevance Measurement on Chinese Search Results (HQ, PLPR), pp. 981–988.
HCI-IDU-2007-GuoS #bibliography #industrial #web: Factor Structure of Content Preparation for E-Business Web Sites: A Survey Results of Industrial Employees in P.R. China (YG, GS), pp. 784–795.
HIMI-MTT-2007-ChuCWCR #interface: A Treemap-Based Result Interface for Search Engine Users (SC, JC, ZW, CHHC, VVR), pp. 401–410.
SIGAda-2007-LauW #component: Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
ICEIS-AIDSS-2007-WenningGTSK #algorithm #distributed #framework: Investigations on Object-Centered Routing in Dynamic Environments: Algorithmic Framework and Initial Numerical Results — Support for Distributed Decision Making in Transport Systems (BLW, CG, ATG, JS, HK), pp. 225–230.
ICEIS-HCI-2007-MotzB: Investigations into Shipborne Alarm Management — Conduction and Results of Field Studies (FM, MAB), pp. 136–141.
CIKM-2007-PaltoglouSS #hybrid: Hybrid results merging (GP, MS, MS), pp. 321–330.
ECIR-2007-DalmauF #approach #clustering: Experimental Results of the Signal Processing Approach to Distributional Clustering of Terms on Reuters-21578 Collection (MCD, ÓWMF), pp. 678–681.
ECIR-2007-PaltoglouSS #algorithm #modelling #multi #using: Results Merging Algorithm Using Multiple Regression Models (GP, MS, MS), pp. 173–184.
ECIR-2007-Shokouhi07a #effectiveness #segmentation: Segmentation of Search Engine Results for Effective Data-Fusion (MS), pp. 185–197.
KDD-2007-ZhaoMY #mining: Mining templates from search result records of search engines (HZ, WM, CTY), pp. 884–893.
SIGIR-2007-AlonsoGB #timeline #using #visualisation: Search results using timeline visualizations (OA, MG, RABY), p. 908.
SIGIR-2007-CetintasS #effectiveness #performance #trade-off: Exploration of the tradeoff between effectiveness and efficiency for results merging in federated search (SC, LS), pp. 707–708.
SIGIR-2007-HuffmanH #how #predict #question: How well does result relevance predict session satisfaction? (SBH, MH), pp. 567–574.
SIGIR-2007-Jansen #query #web: Investigating the relevance of sponsored results for web ecommerce queries (BJJ), pp. 857–858.
SIGIR-2007-MizzaroR #analysis #evaluation #information retrieval #network: Hits hits TREC: exploring IR evaluation results with network analysis (SM, SR), pp. 479–486.
SIGIR-2007-TurpinTHW #generative #performance #web: Fast generation of result snippets in web search (AT, YT, DH, HEW), pp. 127–134.
SIGIR-2007-WangZ #web: Learn from web search logs to organize search results (XW, CZ), pp. 87–94.
REFSQ-2007-Winkler #data flow #empirical: Information Flow Between Requirement Artifacts. Results of an Empirical Study (SW0), pp. 232–246.
SAC-2007-VuMTA #knowledge base #using #web: Using a knowledge base to disambiguate personal name in web search results (QMV, TM, AT, JA), pp. 839–843.
ESEC-FSE-2007-PaytonJR #assessment #automation #consistency #query: Automatic consistency assessment for query results in dynamic environments (JP, CJ, GCR), pp. 245–254.
ASE-2006-HassanZ #certification #predict #using: Using Decision Trees to Predict the Certification Result of a Build (AEH, KZ), pp. 189–198.
DATE-2006-NelsonZDBPMB #fault: Extraction of defect density and size distributions from wafer sort test results (JEN, TZ, RD, JGB, NP, WM, RD(B), pp. 913–918.
SIGMOD-2006-DasHKS #query: Ordering the attributes of query results (GD, VH, NK, SS), pp. 395–406.
VLDB-2006-Luo #detection #performance #query: Efficient Detection of Empty-Result Queries (GL), pp. 1015–1025.
VLDB-2006-ZhaoMY #automation: Automatic Extraction of Dynamic Record Sections From Search Engine Result Pages (HZ, WM, CTY), pp. 989–1000.
ITiCSE-2006-GharibyanG #case study #gender: Gender gap in computer science does not exist in one former soviet republic: results of a study (HG, SG), pp. 222–226.
FoSSaCS-2006-JancarS #similarity #term rewriting: Undecidability Results for Bisimilarity on Prefix Rewrite Systems (PJ, JS), pp. 277–291.
SCAM-2006-BoogerdM #profiling #using: Prioritizing Software Inspection Results using Static Profiling (CB, LM), pp. 149–160.
ICALP-v1-2006-CaiC #algorithm #artificial reality: Some Results on Matchgates and Holographic Algorithms (JyC, VC), pp. 703–714.
ICALP-v1-2006-KhotP #clique: Better Inapproximability Results for MaxClique, Chromatic Number and Min-3Lin-Deletion (SK, AKP), pp. 226–237.
CIKM-2006-ChitrapuraJK #ambiguity #summary: Search result summarization and disambiguation via contextual dimensions (KPC, SJ, RK), pp. 876–877.
CIKM-2006-DangLLHC #clustering #similarity: Query-specific clustering of search results based on document-context similarity scores (EKFD, RWPL, DLL, KSH, SCfC), pp. 886–887.
CIKM-2006-SuWHL #database #e-commerce #query #ranking #web: Query result ranking over e-commerce web databases (WS, JW, QH, FHL), pp. 575–584.
CIKM-2006-ThomasH #evaluation #set: Evaluation by comparing result sets in context (PT, DH), pp. 94–101.
CIKM-2006-ZhuangC #query #ranking #using: Re-ranking search results using query logs (ZZ, SC), pp. 860–861.
ECIR-2006-BogersB #ranking: Authoritative Re-ranking of Search Results (TB, AvdB), pp. 519–522.
ECIR-2006-BoydellS #collaboration #ranking #web: Title and Snippet Based Result Re-ranking in Collaborative Web Search (OB, BS), pp. 484–487.
ECIR-2006-JohoJ #case study #comparative #effectiveness #web: A Comparative Study of the Effectiveness of Search Result Presentation on the Web (HJ, JMJ), pp. 302–313.
ECIR-2006-LiangDT #summary #web: Evaluating Web Search Result Summaries (SFL, SD, JT), pp. 96–106.
ECIR-2006-Osinski #approximate #clustering #matrix #quality: Improving Quality of Search Results Clustering with Approximate Matrix Factorisations (SO), pp. 167–178.
ICPR-v2-2006-Rosenberger #adaptation #evaluation #image #segmentation: Adaptative evaluation of image segmentation results (CR), pp. 399–402.
ICPR-v4-2006-GurevichKMSV #analysis #automation: Technology for Automated Morphologic Analysis of Cytological Slides. Methods and Results (IBG, DK, DM, OS, IV), pp. 711–714.
KDD-2006-AgichteinZ #behaviour #identification #mining #web: Identifying “best bet” web search results by mining past user behavior (EA, ZZ), pp. 902–908.
KDD-2006-GionisMMT #data mining #mining: Assessing data mining results via swap randomization (AG, HM, TM, PT), pp. 167–176.
SEKE-2006-LiPZXS #component #ranking #retrieval: Ranking Component Retrieval Results by Leveraging User History Information (YL, YP, LZ, BX, JS), pp. 284–289.
SIGIR-2006-AgichteinBDR #interactive #learning #modelling #predict #web: Learning user interaction models for predicting web search result preferences (EA, EB, STD, RR), pp. 3–10.
SIGIR-2006-AlonsoG #clustering #using: Clustering of search results using temporal attributes (OA, MG), pp. 597–598.
SIGIR-2006-KumaranA #feedback #pseudo: Simple questions to improve pseudo-relevance feedback results (GK, JA), pp. 661–662.
SIGIR-2006-RadlinskiD #personalisation #using #web: Improving personalized web search using result diversification (FR, STD), pp. 691–692.
RE-2006-DavisTHJM #bibliography #effectiveness #elicitation #empirical #perspective #requirements: Effectiveness of Requirements Elicitation Techniques: Empirical Results Derived from a Systematic Review (AMD, ÓDT, AMH, NJJ, AMM), pp. 176–185.
ICSE-2006-LiHSR #case study #experience #fault #predict: Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB Inc (PLL, JDH, MS, BR), pp. 413–422.
CAV-2006-BustanH #complexity: Some Complexity Results for SystemVerilog Assertions (DB, JH), pp. 205–218.
CSL-2006-LowS #modelling: Universality Results for Models in Locally Boolean Domains (TL, TS), pp. 456–470.
CSL-2006-Ong #approach #infinity #semantics #verification: Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.
ICLP-2006-SzaboS #prolog #standard: Improving the ISO Prolog Standard by Analyzing Compliance Test Results (PS, PS), pp. 257–269.
IJCAR-2006-BonacinaGNRZ #decidability: Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures (MPB, SG, EN, SR, DZ), pp. 513–527.
VMCAI-2006-Bozzelli #automaton #complexity #model checking: Complexity Results on Branching-Time Pushdown Model Checking (LB), pp. 65–79.
DATE-2005-RaabeBAZ #architecture #detection #hardware #simulation: Hardware Accelerated Collision Detection — An Architecture and Simulation Results (AR, BB, JKA, GZ), pp. 130–135.
DRR-2005-OertelOBB #documentation #recognition #using #validation #web: Using the web to validate document recognition results: experiments with business cards (CO, SO, AB, DB), pp. 17–27.
ICDAR-2005-KieningerD #approach #benchmark #metric #recognition #towards: An Approach towards Benchmarking of Table Structure Recognition Results (TK, AD), pp. 1232–1236.
ICDAR-2005-Lucas #contest: Text Locating Competition Results (SML), pp. 80–85.
SIGMOD-2005-DennyF #query: Predicate Result Range Caching for Continuous Queries (MD, MJF), pp. 646–657.
SIGMOD-2005-PangJRT #query #relational #verification: Verifying Completeness of Relational Query Results in Data Publishing (HP, AJ, KR, KLT), pp. 407–418.
SIGMOD-2005-TaoYPMH #named #optimisation #performance: RPJ: Producing Fast Join Results on Streams through Rate-based Optimization (YT, MLY, DP, MH, NM), pp. 371–382.
VLDB-2005-Galindo-LegariaGKW #database #performance #query: Database Change Notifications: Primitives for Efficient Database Query Result Caching (CAGL, TG, CK, FW), pp. 1275–1278.
VLDB-2005-Lawrence #algorithm #configuration management #performance: Early Hash Join: A Configurable Algorithm for the Efficient and Early Production of Join Results (RL), pp. 841–852.
VLDB-2005-PandeyROCC #random #ranking: Shuffling a Stacked Deck: The Case for Partially Randomized Ranking of Search Engine Results (SP, SR, CO, JC, SC), pp. 781–792.
MSR-2005-HayesDS #feedback #how #mining #re-engineering: Text mining for software engineering: how analyst feedback impacts final results (JHH, AD, SKS), pp. 56–60.
STOC-2005-AlekhnovichAT #towards: Towards strong nonapproximability results in the Lovasz-Schrijver hierarchy (MA, SA, IT), pp. 294–303.
DLT-2005-BorelR #word: Some New Results on Palindromic Factors of Billiard Words (JPB, CR), pp. 180–188.
DLT-2005-BrlekLL: A Note on a Result of Daurat and Nivat (SB, GL, AL), pp. 189–198.
DLT-2005-Straubing #regular expression: Inexpressibility Results for Regular Languages in Nonregular Settings (HS), pp. 69–77.
ICALP-2005-AbdullaDOW #automaton #complexity #decidability: Decidability and Complexity Results for Timed Automata via Channel Machines (PAA, JD, JO, JW), pp. 1089–1101.
FM-2005-EislerSJSS #case study #model checking: Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.
CHI-2005-Kaki #category theory #documentation #named #ranking: Findex: search result categories help users when document ranking fails (MK), pp. 131–140.
CIKM-2005-BambaRM #clustering #named #query: OSQR: overlapping clustering of query results (BB, PR, MKM), pp. 239–240.
CIKM-2005-KumaranJM #topic #web: Biasing web search results for topic familiarity (GK, RJ, OM), pp. 271–272.
CIKM-2005-RoyMBR #automation #query #towards: Towards automatic association of relevant unstructured content with structured query results (PR, MKM, BB, SR), pp. 405–412.
CIKM-2005-WanGLD: Person resolution in person search results: WebHawk (XW, JG, ML, BD), pp. 163–170.
ECIR-2005-CoyleS #interactive #using #web: Enhancing Web Search Result Lists Using Interaction Histories (MC, BS), pp. 543–545.
ICML-2005-SilvaS #identification #learning #modelling: New d-separation identification results for learning continuous latent variable models (RBdAeS, RS), pp. 808–815.
SIGIR-2005-LiangDT #order #query #summary #using: Using query term order for result summarisation (SFL, SD, JT), pp. 629–630.
SIGIR-2005-UdaniDDS #induction #using #web: Noun sense induction using web search results (GU, SD, AD, TS), pp. 657–658.
SIGIR-2005-ZhangLLJXFCM #graph #using #web: Improving web search results using affinity graph (BZ, HL, YL, LJ, WX, WF, ZC, WYM), pp. 504–511.
SAC-2005-Bourgeois-RepubliqueVC #algorithm #interactive: An interactive evolutionary algorithm for cochlear implant fitting: first results (CBR, GV, PC), pp. 231–235.
SAC-2005-RaposoPAV #automation #maintenance #query #using #web: Automatic wrapper maintenance for semi-structured web sources using results from previous queries (JR, AP, MÁ, ÁV), pp. 654–659.
SAC-2005-SilvaS #design #framework: A framework for result handling in bioinformatics: an application to computer assisted drug design (AOdS, ONdS), pp. 128–132.
CSL-2005-Kieronski #equivalence #transitive: Results on the Guarded Fragment with Equivalence or Transitive Relations (EK), pp. 309–324.
TLCA-2005-DavidN #normalisation #proving #symmetry #λ-calculus #μ-calculus: Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.
DocEng-2004-GancarskiH #documentation #xml: Presenting the results of relevance-oriented search over XML documents (ALG, PRH), pp. 31–33.
SIGMOD-2004-ChakrabartiCH #automation #categorisation #query: Automatic Categorization of Query Results (KC, SC, SwH), pp. 755–766.
VLDB-2004-ChaudhuriDHW #database #probability #query #ranking: Probabilistic Ranking of Database Query Results (SC, GD, VH, GW), pp. 888–899.
VLDB-2004-GuhaKMS #approximate: Merging the Results of Approximate Match Operations (SG, NK, AM, DS), pp. 636–647.
FoSSaCS-2004-BucciarelliL #parallel: Hypergraphs and Degrees of Parallelism: A Completeness Result (AB, BL), pp. 58–71.
CSMR-2004-RiccaTPG #multi #web: Experimental Results on the Alignment of Multilingual Web Sites (FR, PT, EP, CG), pp. 288–295.
STOC-2004-ChuzhoyN #scheduling: New hardness results for congestion minimization and machine scheduling (JC, JN), pp. 28–34.
STOC-2004-Devanur #algorithm #constraints #equilibrium: The spending constraint model for market equilibrium: algorithmic, existence and uniqueness results (NRD), pp. 519–528.
ICALP-2004-GandhiHKS #migration #scheduling: Improved Results for Data Migration and Open Shop Scheduling (RG, MMH, GK, HS), pp. 658–669.
ICALP-2004-MerkleMS #effectiveness: Some Results on Effective Randomness (WM, NM, TAS), pp. 983–995.
SEFM-2004-LanotteMT #decidability #parametricity #probability #security: Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.
CHI-2004-PaekDL #internet #named: WaveLens: a new view onto Internet search results (TP, STD, RL), pp. 727–734.
ICEIS-v1-2004-Soja #enterprise #implementation #research: Important Factors in ERP Systems Implementations: Result of the Research in Polish Enterprises (PS), pp. 84–90.
ICEIS-v2-2004-TagarelliTG #clustering #linear #mining #programming: Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques (AT, IT, SG), pp. 84–91.
ICEIS-v2-2004-WuW04a #algorithm #comparison #set: Result Comparison of Two Rough Set Based Discretization Algorithms (SW, WW), pp. 511–514.
ICEIS-v3-2004-Reijers #empirical #performance #workflow: Performance Improvement by Workflow Management Systems: Preliminary Results from an Empirical Study (HAR), pp. 359–366.
CIKM-2004-ZhaoK #clustering #documentation #summary: Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.
KDD-2004-KantarciogluJC #data mining #mining #privacy #question: When do data mining results violate privacy? (MK, JJ, CC), pp. 599–604.
KDD-2004-KumarMS #approach #graph: A graph-theoretic approach to extract storylines from search results (RK, UM, DS), pp. 216–225.
KR-2004-HaarslevM #documentation #optimisation #owl #rdf: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
SIGIR-2004-BeitzelJCGF04a #evaluation: Evaluation of filtering current news search results (SMB, ECJ, AC, DAG, OF), pp. 494–495.
SIGIR-2004-LuC #network #peer-to-peer #retrieval: Merging retrieval results in hierarchical peer-to-peer networks (JL, JC), pp. 472–473.
SIGIR-2004-ZengHCMM #clustering #learning #web: Learning to cluster web search results (HJZ, QCH, ZC, WYM, JM), pp. 210–217.
PPDP-2004-MarinM #lazy evaluation: New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
ICSE-2004-HarmanW #re-engineering #search-based: Getting Results from Search-Based Approaches to Software Engineering (MH, JW), pp. 728–729.
CGO-2004-DingL #compilation #reuse: A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
ICLP-2004-Deransart: Main Results of the OADymPPaC Project (PD), pp. 456–457.
ICLP-2004-Munoz-HernandezM #implementation: Implementation Results in Classical Constructive Negation (SMH, JJMN), pp. 284–298.
IJCAR-2004-BaaderGT #decidability #logic #problem #word: A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
TestCom-2004-CavalliMZCMCML #multi #validation: A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
DATE-2003-NicolescuV #approach #detection #fault #tool support: Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
ICDAR-2003-Ratzlaff #bibliography #comparison #database #recognition: Methods, Report and Survey for the Comparison of Diverse Isolated Character Recognition Results on the UNIPEN Database (EHR), pp. 623–628.
ICDAR-2003-StrohmaierRSM #question #taxonomy #web: Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary? (CMS, CR, KUS, SM), pp. 1133–1137.
PODS-2003-DittrichSTW #on the: On producing join results early (JPD, BS, DST, PW), pp. 134–142.
ITiCSE-2003-Papastergiou #development #education #student #web: Introducing non-computer science undergraduates to Web development: results of an investigative study on student teachers (MP), p. 231.
FoSSaCS-2003-Bonelli #calculus #higher-order #normalisation: A Normalisation Result for Higher-Order Calculi with Explicit Substitutions (EB), pp. 153–168.
CSMR-2003-LundBS #assessment #maintenance #security: Maintaining Results from Security Assessment (MSL, FdB, KS), pp. 341–350.
IWPC-2003-LakhotiaLWY #benchmark #clone detection #detection #metric #towards: Towards a Clone Detection Benchmark Suite and Results Archive (AL, JL, AW, YY), pp. 285–287.
SCAM-2003-BinkleyH #algorithm #analysis #graph #optimisation #performance #reachability #scalability #source code: Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms (DB, MH), p. 203–?.
SAS-2003-FieldGRY #abstraction #complexity #type system #verification: Typestate Verification: Abstraction Techniques and Complexity Results (JF, DG, GR, EY), pp. 439–462.
CIAA-2003-XieLD #complexity #equation #linear #problem #using: New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
ICALP-2003-ChenKPSX #complexity #graph #problem: Genus Characterizes the Complexity of Graph Problems: Some Tight Results (JC, IAK, LP, ES, GX), pp. 845–856.
ICEIS-v2-2003-Drori #documentation #identification #information management #research #using: Using Knowledge Engineering Tool to Identify the Subject of a Document — Research Results (OD), pp. 442–445.
CIKM-2003-WuSC #performance #web: Finding more useful information faster from web search results (YfBW, LS, XC), pp. 568–571.
ECIR-2003-Masowska #clustering #web: Phrase-Based Hierarchical Clustering of Web Search Results (IM), pp. 555–562.
ECIR-2003-VegasFC #named #visual notation #visualisation #web: WebDocBall: A Graphical Visualization Tool for Web Search Results (JV, PdlF, FC), pp. 351–362.
KDD-2003-ArgamonSS #mining #multi: Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.
SIGIR-2003-WesterveldV #analysis #generative #image #probability #retrieval: Experimental result analysis for a generative probabilistic image retrieval model (TW, APdV), pp. 135–142.
POPL-2003-Chakaravarthy #analysis #complexity: New results on the computability and complexity of points — to analysis (VTC), pp. 115–125.
RE-2003-FuxmanLPRM #requirements #specification: Specifying and Analyzing Early Requirements: Some Experimental Results (AF, LL, MP, MR, JM), p. 105–?.
ICLP-2003-Valencia03a #concurrent #constraints #decidability #ltl #programming: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL (FDV), pp. 422–437.
RTA-2003-Comon-LundhC #decidability #encryption #first-order #logic #protocol: New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols (HCL, VC), pp. 148–164.
ASE-2002-SchroederFK #automation #black box #generative #testing: Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.
SIGMOD-2002-KalnisNOPT #adaptation #distributed #network #peer-to-peer: An adaptive peer-to-peer network for distributed caching of OLAP results (PK, WSN, BCO, DP, KLT), pp. 25–36.
SIGMOD-2002-RamanH #online #query: Partial results for online query processing (VR, JMH), pp. 275–286.
VLDB-2002-BohannonGKNS #optimisation #query: Optimizing View Queries in ROLEX to Support Navigable Result Trees (PB, SG, HFK, PPSN, PS), pp. 119–130.
VLDB-2002-LempelM #optimisation #web: Optimizing Result Prefetching in Web Search Engines with Segmented Indices (RL, SM), pp. 370–381.
CSEET-2002-BernsteinKK #process #student: Eliminating Aversion to Software Process in Computer Science Students and Measuring the Results (LB, DK, CK), pp. 90–99.
WCRE-2002-RamalMA #maintenance: A Disturbing Result on the Knowledge Used during Software Maintenance (MFNR, RdMM, NA), p. 277–?.
WCRE-2002-RillingM #3d #analysis #on the #source code #visual notation: On the Use of Metaballs to Visually Map Source Code Structures and Analysis Results onto 3D Space (JR, SPM), pp. 299–308.
SAS-2002-BruynoogheCGV #analysis #logic programming #reuse #source code #termination: Reuse of Results in Termination Analysis of Typed Logic Programs (MB, MC, SG, WV), pp. 477–492.
STOC-2002-EiterGM #generative: New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
STOC-2002-Khot #approximate: Hardness results for approximate hypergraph coloring (SK), pp. 351–359.
ICALP-2002-EngebretsenHR #equation #finite: Inapproximability Results for Equations over Finite Groups (LE, JH, AR), pp. 73–84.
ICALP-2002-Holmerin: Improved Inapproximability Results for Vertex Cover on k -Uniform Hypergraphs (JH), pp. 1005–1016.
ICALP-2002-KumarM #scheduling: Improved Results for Stackelberg Scheduling Strategies (VSAK, MVM), pp. 776–787.
ICALP-2002-Senizergues #decidability: L(A) = L(B)? Decidability Results from Complete Formal Systems (GS), p. 37.
CSCW-2002-PranteMS #design #empirical #idea #tool support: Developing CSCW tools for idea finding -: empirical results and implications for design (TP, CM, NAS), pp. 106–115.
ICEIS-2002-Rodriguez-Luna #process #word: Stemming Process in Spanish Words with the Successor Variety Method. Methodology and Result (MRL), pp. 838–842.
CIKM-2002-SiJCO #framework #modelling: A language modeling framework for resource selection and results merging (LS, RJ, JPC, PO), pp. 391–397.
CIKM-2002-WangK #clustering #web: Evaluating contents-link coupled web page clustering for web search results (YW, MK), pp. 499–506.
ICPR-v2-2002-Sappa #segmentation: Improving Segmentation Results by Studying Surface Continuity (ADS), pp. 929–932.
ICPR-v3-2002-ShihL #interface #visual notation: A Bi-Directional Visual Stereo Interface for Accessing Stereo Matching Results from a Human Brain (SWS, THL), pp. 1039–1042.
KR-2002-Coste-MarquisM #complexity: Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.
KR-2002-EiterL #approach #complexity: Complexity Results for Explanations in the Structural-Model Approach (TE, TL), pp. 49–60.
KR-2002-KoniecznyLM #complexity #distance #framework: Distance Based Merging: A General Framework and some Complexity Results (SK, JL, PM), pp. 97–108.
KR-2002-Lutz #logic: Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
SEKE-2002-Drori #algorithm #documentation #idea #ranking #simulation: Algorithm for documents ranking: idea and simulation results (OD), pp. 99–102.
SIGIR-2002-BennettDH #classification #modelling #probability #reliability #using: Probabilistic combination of text classifiers using reliability indicators: models and results (PNB, STD, EH), pp. 207–214.
SIGIR-2002-DziadoszC #question #web: Do thumbnail previews help users make better relevance decisions about web search results? (SD, RC), pp. 365–366.
SIGIR-2002-SiC #using: Using sampled data and regression to merge search engine results (LS, JPC), pp. 19–26.
SAC-2002-SampleBW: A comprehensive model for arbitrary result extraction (NS, DB, GW), pp. 314–321.
LICS-2002-IshiharaKR #automation: Some Results on Automatic Structures (HI, BK, SR), p. 235–?.
ICDAR-2001-KangL #classification #multi: Experimental Results on the Construction of Multiple Classifiers Recognizing Handwritten Numerals (HJK, SWL), pp. 1026–1030.
ICDAR-2001-LoprestiW #analysis #documentation #graph: Evaluating Document Analysis Results via Graph Probing (DPL, GTW), pp. 116–120.
CSEET-2001-Tilley #case study #estimation: Preliminary Results from a Case Study of Effort Estimation for Net-Centric Applications at the Undergraduate Level (SRT), p. 56–?.
WCRE-2001-MitchellM #benchmark #clustering #framework #metric #named: CRAFT: A Framework for Evaluating Software Clustering Results in the Absence of Benchmark Decompositions (BSM, SM), pp. 93–102.
STOC-2001-Trevisan #bound #optimisation #problem: Non-approximability results for optimization problems on bounded degree instances (LT), pp. 453–461.
FLOPS-J1-1998-LedererD01 #automation #runtime #verification: Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.
DLT-2001-HalavaH #morphism: An Undecidability Result Concerning Periodic Morphisms (VH, TH), pp. 304–310.
IFL-2001-ScaifeMH #comparative #compilation #performance: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.
CHI-2001-CardPWMRSB #analysis #behaviour #graph #protocol #usability #web: Information scent as a driver of Web behavior graphs: results of a protocol analysis method for Web usability (SKC, PP, MMVDW, JBM, RWR, PKS, JB), pp. 498–505.
CHI-2001-DumaisCC #optimisation: Optimizing search by showing results in context (STD, EC, HC), pp. 277–284.
CIKM-2001-HaaseH #database #query: Exposing the Vagueness of Query Results on Partly Inaccessible Databases (OH, AH), pp. 49–56.
CIKM-2001-RasolofoAS #distributed #information retrieval: Approaches to Collection Selection and Results Merging for Distributed Information Retrieval (YR, FA, JS), pp. 191–198.
KDD-2001-ShekharLZ #algorithm #detection #graph #summary: Detecting graph-based spatial outliers: algorithms and applications (a summary of results) (SS, CTL, PZ), pp. 371–376.
SIGIR-2001-KinshumanS #named #repository #web: CROWSE: A System for Organizing Repositories and Web Search Results (K, SS), p. 457.
SIGIR-2001-TurpinH #why: Why Batch and User Evaluations Do Not Give the Same Results (AT, WRH), pp. 225–231.
SAC-2001-DowellB #graph #mobile #monte carlo #network #random #simulation #validation: Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results (LJD, MLB), pp. 77–81.
ICSE-2001-Campbell #analysis #diagrams #uml #visualisation: Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICSE-2001-ModesittBW #bibliography #re-engineering #source code #what: Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (KLM, DJB, LHW), pp. 643–652.
STOC-2000-Srinivasan #clique: The value of strong inapproximability results for clique (AS), pp. 144–152.
WLC-2000-LombardyS #on the: On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
WLC-2000-NiemannO #automaton: Further Results on Restarting Automata (GN, FO), pp. 352–369.
CHI-2000-ChenD #automation #categorisation #order #web: Bringing order to the Web: automatically categorizing search results (HC, STD), pp. 145–152.
CHI-2000-RosenbaumRH #tool support #usability: A toolkit for strategic usability: results from workshops, panels, and surveys (SR, JAR, JH), pp. 337–344.
AdaEurope-2000-KiteleyD #automation #integration #testing: Results of an Investigation into Software Integration Testing Automation (SK, JD), pp. 280–290.
AdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
CAiSE-2000-KaindlM #question #research #why: Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? (HK, JM), pp. 7–12.
ICEIS-2000-CostaAD: Integrating Meeting Results in Organisations (CJC, PA, FD), pp. 419–423.
CIKM-2000-LarkeyCC #topic: Collection Selection and Results Merging with Topically Organized U.S. Patents and TREC Data (LSL, MEC, JPC), pp. 282–289.
ICML-2000-HuW #game studies #probability: Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.
ICPR-v3-2000-Ghosal #algebra #on the: On Algebraic Smoothing: Theory and Results (SG), pp. 3021–3024.
ICPR-v4-2000-HuynhCT #automation #evaluation #linear #metric #re-engineering #self: Semi-Automatic Metric Reconstruction of Buildings from Self-Calibration: Preliminary Results on the Evaluation of a Linear Camera Self-Calibration Method (DQH, YSC, HTT), pp. 4599–4602.
ICPR-v4-2000-JiangBMHSIBGLB #algorithm #case study #comparison #image #segmentation: Some Further Results of Experimental Comparison of Range Image Segmentation Algorithms (XJ, KWB, YM, SH, KS, SI, MB, CG, REL, JMHdB), pp. 4877–4882.
ICPR-v4-2000-MatasHJKLKTPTYSCGABBM #comparison #database #verification: Comparison of Face Verification Results on the XM2VTS Database (JM, MH, KJ, JK, YL, CK, AT, IP, TT, HY, FS, NC, WG, YA, JB, SBY, EM), pp. 4858–4863.
KR-2000-BisoRS #constraints #learning: Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.
KR-2000-EiterL #complexity #knowledge base #reasoning: Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.
SIGIR-2000-AslamM #probability: Bayes optimal metasearch: a probabilistic model for combining the results (JAA, MHM), pp. 379–381.
SIGIR-2000-HershTPCKSO #evaluation #question: Do batch and user evaluation give the same results? (WRH, AT, SP, BC, DK, LS, DO), pp. 17–24.
SAIG-2000-CalcagnoM #imperative #multi: Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.
ICRE-2000-Heitmeyer #requirements #research: Transferring Research Results in Requirements to Practice: Obstacles and Incentives (CLH), pp. 71–72.
ICRE-2000-Kaindl #question #requirements #research #why: Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (HK), pp. 67–68.
ICRE-2000-Mead #question #requirements #research #why: Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (NRM), pp. 75–76.
ICRE-2000-Siddiqi #research: Obstacles and Incentives in Introducing RE Research Results into RE Practice (JIAS), p. 77–?.
CL-2000-LehmannL #calculus #decidability: Decidability Results for the Propositional Fluent Calculus (HL, ML), pp. 762–776.
DATE-1999-EvekingHR #automation #scheduling #synthesis #verification: Automatic Verification of Scheduling Results in High-Level Synthesis (HE, HH, GR), pp. 59–64.
ICDAR-1999-ThulkeMD #documentation #evaluation #quality #segmentation: Quality Evaluation of Document Segmentation Results (MT, VM, AD), p. 450.
VLDB-1999-HaasKU #query: Loading a Cache with Query Results (LMH, DK, IU), pp. 351–362.
VLDB-1999-KonigW #estimation #parametricity #query: Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.
STOC-1999-GuruswamiKRSY #algorithm #approximate #problem: Near-Optimal Hardness Results and Approximation Algorithms for Edge-Disjoint Paths and Related Problems (VG, SK, RR, FBS, MY), pp. 19–28.
ICALP-1999-BermanK #on the: On Some Tighter Inapproximability Results (Extended Abstract) (PB, MK), pp. 200–209.
ICALP-1999-HammarN #approximate: Approximation Results for Kinetic Variants of TSP (MH, BJN), pp. 392–401.
ICFP-1999-Crary #parametricity #proving: A Simple Proof Technique for Certain Parametricity Results (KC), pp. 82–89.
IFL-1999-Groningen #functional #lazy evaluation #multi #optimisation #recursion #tuple: Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.
HCI-CCAD-1999-FlemischO: The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.
HCI-CCAD-1999-KleinS #independence #people #research: Independent living for elder and handicapped people — results of a research project (BK, BS), pp. 957–960.
HCI-CCAD-1999-Raikundalia #case study #distributed: Results of experiments in text-based, synchronous, distributed, formal electronic meetings (GKR), pp. 507–511.
HCI-CCAD-1999-Tatemura #collaboration #visualisation: Visualizing collaborative filtering results (JT), pp. 132–136.
SIGIR-1999-SebrechtsCLVM #2d #3d #comparative #evaluation #interface #visualisation: Visualization of Search Results: A Comparative Evaluation of Text, 2D, and 3D Interfaces (MMS, JC, SJL, JV, MSM), pp. 3–10.
RE-1999-AchourRSM #authoring #case study #empirical: Guiding Use Case Authoring: Results of an Empirical Study (CBA, CR, CS, NAMM), pp. 36–43.
CADE-1999-Sofronie-Stokkermans #complexity #decidability #on the: On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results (VSS), pp. 157–171.
ICLP-1999-LauO #logic programming #modelling #source code: Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.
LICS-1999-GottlobP #complexity #modelling: Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (GG, RP), pp. 306–315.
RTA-1999-LimetR #decidability: A New Result about the Decidability of the Existential One-Step Rewriting Theory (SL, PR), pp. 118–132.
DATE-1998-RibasC #equivalence #incremental #on the #reuse #simulation #verification: On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits (LR, JC), pp. 624–629.
PODS-1998-BaileyDR #database #decidability #problem #termination: Decidability and Undecidability Results for the Termination Problem of Active Database Rules (JB, GD, KR), pp. 264–273.
ITiCSE-1998-FullerST: Virtual seminars — real networked results? (poster) (UF, JS, GT), p. 281.
ITiCSE-1998-Hollinworth #bibliography #design #multi: The design of multimedia courseware (poster): preliminary survey results (NDPH), p. 283.
WCRE-1998-Balmas #c #roadmap: Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.
WCRE-1998-FusaroTV #case study #component #named #process: REP — chaRacterising and Exploiting Process component: Results of Experimentation (PF, MT, GV), pp. 20–29.
STOC-1998-AndrewsZ #network: Stability Results for Networks with Input and Output Blocking (MA, LZ), pp. 369–377.
ICALP-1998-HusfeldtR #problem: Hardness Results for Dynamic Problems by Extensions of Fredman and Saks’ Chronogram Method (TH, TR), pp. 67–78.
IFL-1998-Assmann #coordination #implementation #performance #process: Performance Results for an Implementation of the Process Coordination Language K2 (CA), pp. 1–19.
ACIR-1998-Kluck #database #retrieval #testing: German Indexing and Retrieval Test Data Base (GIRT) — Some Results of the Pre-test (MK).
KR-1998-LangM #complexity #independence #logic: Complexity Results for Independence and Definability in Propositional Logic (JL, PM), pp. 356–367.
KR-1998-Levesque #first-order #knowledge base #reasoning: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.
SIGIR-1998-ChenH #web: Presenting Web Site Search Results in Context: A Demonstration (MC, MAH), p. 381.
SIGIR-1998-Zobel #how #information retrieval #question #reliability #scalability: How Reliable Are the Results of Large-Scale Information Retrieval Experiments? (JZ), pp. 307–314.
POPL-1998-Blanchet #analysis #correctness #implementation #proving: Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.
CSL-1998-Egly: Quantifers and the System KE: Some Surprising Results (UE), pp. 90–104.
LICS-1998-Jaeger #convergence #network #relational: Convergence Results for Relational Bayesian Networks (MJ), pp. 44–55.
EDTC-1997-DuarteNBZ #design #implementation: Fault-secure shifter design: results and implementations (RdOD, MN, HB, YZ), pp. 335–341.
STOC-1997-Hastad: Some Optimal Inapproximability Results (JH), pp. 1–10.
STOC-1997-ParnafesRW #communication #modelling #problem: Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
ICALP-1997-BuhrmanFF #bound: Results on Resource-Bounded Measure (HB, SAF, LF), pp. 188–194.
ICALP-1997-Jansen #approximate #problem: Approximation Results for the Optimum Cost Partition Problem (KJ), pp. 727–737.
HCI-CC-1997-DainoffAHTC: Results from the International Cooperative Study: Impact of Ergonomic Interventions on Musculoskeletal, Eyestrain, and Psychosocial Stress (MEPS) (MJD, AA, GH, MT, BGFC), pp. 583–586.
HCI-SEC-1997-BlanchonF #what: Asking Users About What They Mean: Two Experiments & Results (HB, LF), pp. 609–612.
HCI-SEC-1997-DasaiKY #collaboration #distance #learning: A Collaborative Distance Learning System and its Experimental Results (TD, HK, KY), pp. 165–168.
HCI-SEC-1997-SantucciT #interactive #query: Table Expander: Hypertabular Interaction with Query Results (GS, LT), pp. 731–734.
KDD-1997-FeldmanKZ #data mining #documentation #mining #visualisation: Visualization Techniques to Explore Data Mining Results for Document Collections (RF, WK, AZ), pp. 16–23.
SIGIR-1997-HearstK #interactive #interface #named #retrieval #scalability #specification #using: Cat-a-Cone: An Interactive Interface for Specifying Searches and Viewing Retrieval Results using a Large Category Hierarchy (MAH, CK), pp. 246–255.
SIGIR-1997-VeerasamyH #effectiveness #retrieval #visual notation: Effectiveness of a Graphical Display of Retrieval Results (AV, RH), pp. 236–245.
RE-1997-GotelF #case study #industrial #requirements #traceability: Extended Requirements Traceability: Results of an Industrial Case Study (OG, AF), p. 169–?.
HPCA-1997-AugustCGH #architecture #branch #predict: Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results (DIA, DAC, JCG, WmWH), pp. 84–93.
RTA-1997-Sattler-Klein #monad: New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
VLDB-1996-Bhashyam #challenge #named: TPC-D: The Challenges, Issues and Results (RB), p. 593.
VLDB-1996-PoosalaI #estimation: Estimation of Query-Result Distribution and its Application in Parallel-Join Load Balancing (VP, YEI), pp. 448–459.
STOC-1996-KapurS: Sparsity Considerations in Dixon Resultants (DK, TS), pp. 184–191.
STOC-1996-KellererTW: Approximability and Nonapproximability Results for Minimizing Total Flow Time on a Single Machine (HK, TT, GJW), pp. 418–426.
ICALP-1996-Razborov #bound #independence #proving: Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic (AAR), pp. 48–62.
ICALP-1996-Wiedermann #nondeterminism: Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.
FME-1996-BrookesFL #case study #comparative #component #specification: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
IFL-1996-JarvisM #functional #lazy evaluation #profiling #scalability #source code: The Results of: Profiling Large-Scale Lazy Functional Programs (SAJ, RGM), pp. 200–221.
AKDDM-1996-CheesemanS #classification: Bayesian Classification (AutoClass): Theory and Results (PC, JS), pp. 153–180.
ICML-1996-JappyNG #horn clause #learning #robust #source code: Negative Robust Learning Results from Horn Clause Programs (PJ, RN, OG), pp. 258–265.
ICML-1996-PendrithR #difference #learning: Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.
ICPR-1996-DiasBD #classification #identification: Results of the use of Bayesian classifiers for identification of breast cancer cell nuclei (ÂVD, FB, MRD), pp. 508–512.
ICPR-1996-LiuTHS #adaptation #algorithm #documentation #geometry #segmentation: Adaptive document segmentation and geometric relation labeling: algorithms and experimental results (JL, YYT, QH, CYS), pp. 763–767.
KDD-1996-RyuE #programming #query #search-based #using: Deriving Queries from Results Using Genetic Programming (TWR, CFE), pp. 303–306.
SIGIR-1996-HearstP #clustering #retrieval: Reexamining the Cluster Hypothesis: Scatter/Gather on Retrieval Results (MAH, JOP), pp. 76–84.
SIGIR-1996-NowellFHHF #similarity #visualisation: Visualizing Search Results: Some Alternatives to Query-Document Similarity (LTN, RKF, DH, LSH, EAF), pp. 67–75.
SIGIR-1996-VeerasamyB #evaluation #information retrieval #visualisation: Evaluation of a Tool for Visualization of Information Retrieval Results (AV, NJB), pp. 85–92.
SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set: Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.
ICSE-1996-HerbslebG #bibliography #experience: A Systematic Survey of CMM Experience and Results (JDH, DG), pp. 323–330.
CADE-1996-Fernmuller #semantics: Semantic Trees Revisited: Some New Completeness Results (CGF), pp. 568–582.
JICSLP-1996-Rao #implementation: Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.
JICSLP-1996-Shen #implementation #parallel: Initial Results of the Parallel Implementation of DASWAM (KS), pp. 513–527.
ICDAR-v1-1995-Gentric #metric #recognition #using #word: Experimental results on improved handwritten word recognition using the Levenshtein metric (PG), pp. 364–367.
ICDAR-v1-1995-PowalkaSW95a #recognition #word: Recognizer characterisation for combining handwriting recognition results at word level (RKP, NS, RJW), pp. 68–73.
ICDAR-v2-1995-WatanabeF #comprehension #documentation #framework #image #validation: A framework for validating recognized results in understanding table-form document images (TW, TF), pp. 536–539.
ICDAR-v2-1995-WiedenhiferHD #automation: Post-processing of OCR results for automatic indexing (LW, HGH, AD), pp. 592–596.
SIGMOD-1995-IoannidisP #estimation #query: Balancing Histogram Optimality and Practicality for Query Result Size Estimation (YEI, VP), pp. 233–244.
PEPM-1995-LiuT: Caching Intermediate Results for Program Improvement (YAL, TT), pp. 190–201.
STOC-1995-FeigeK #proving #random: Impossibility results for recycling random bits in two-prover proof systems (UF, JK), pp. 457–468.
DLT-1995-Berstel #word: Recent Results on Sturmian Words (JB), pp. 13–24.
DLT-1995-Stiebe: Some New Decision Results for Edge Grammars (RS), pp. 329–338.
CIKM-1995-IkejiF #adaptation #query #using: Computation of Partial Query Results Using An Adaptive Stratified Sampling Technique (ACI, FF), pp. 145–149.
CIKM-1995-SegevWB #bibliography: Electronic Catalogs: a Technology Overview and Survey Results (AS, DW, CB), pp. 11–18.
ICML-1995-Blum #algorithm #empirical #scheduling: Empirical Support for Winnow and Weighted-Majority Based Algorithms: Results on a Calendar Scheduling Domain (AB), pp. 64–72.
KDD-1995-WuM #fuzzy #induction: Fuzzy Interpretation of Induction Results (XW, PM), pp. 325–330.
RTA-1995-OttoND #equation #independence #unification: Some Independent Results for Equational Unification (FO, PN, DJD), pp. 367–381.
RTA-1995-Paccanaro #network #reduction: Guiding Term Reduction Through a Neural Network: Some Prelimanary Results for the Group Theory (AP), pp. 444–449.
RTA-1995-StickelZ #problem: Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (MES, HZ), pp. 450–456.
TLCA-1995-Simpson #category theory #λ-calculus: Categorical completeness results for the simply-typed λ-calculus (AKS), pp. 414–427.
EDAC-1994-BernGMS: Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.
SIGMOD-1994-WangCMSSZ #combinator: Combinatorial Pattern Discovery for Scientific Data: Some Preliminary Results (JTLW, GWC, TGM, BAS, DS, KZ), pp. 115–125.
ICSM-1994-DalyBMRW #maintenance #replication #verification: Verification of Results in Software Maintenance Through External Replication (JWD, AB, JM, MR, MW), pp. 50–57.
STOC-1994-BellareS: Improved non-approximability results (MB, MS), pp. 184–193.
ICALP-1994-GlobermanH #automaton #complexity #logic #multi: Complexity Results for Multi-Pebble Automata and their Logics (NG, DH), pp. 73–82.
FME-1994-FitzgeraldBGL #case study #comparative #component #specification: Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
CAiSE-1994-SwedeV #consistency #development #empirical: Consistent Development: Results of a First Empirical Study on the Relation Between Project Scenario and Success (VvS, HvV), pp. 80–93.
KR-1994-CohenH #learning #logic: Learning the Classic Description Logic: Theoretical and Experimental Results (WWC, HH), pp. 121–133.
KR-1994-DuboisP: Conditional Objects as Nonmonotonic Consequence Relations: Main Results (DD, HP), pp. 170–177.
KR-1994-Koubarakis #complexity #constraints #first-order: Complexity Results for First-Order Theories of Temporal Constraints (MK), pp. 379–390.
SIGIR-1994-TaghvaBC #information retrieval #probability: Results of Applying Probabilistic IR to OCR Text (KT, JB, AC), pp. 202–211.
TOOLS-EUROPE-1994-Sikora #empirical #object-oriented #problem #programming #roadmap: Selected Results from an Empirical Study on Problem Areas and Trends of Object-Oriented Programming (HS), pp. 303–313.
SAC-1994-RitschelPG #classification #multi #rating: Rating of pattern classifications in multi-layer perceptrons: theoretical background and practical results (WR, TP, RG), pp. 142–144.
CAV-1994-HazelhurstS #evaluation: Composing Symbolic Trajectory Evaluation Results (SH, CJHS), pp. 273–285.
ICDAR-1993-MatsuiNYWY #contest #recognition #state of the art: State of the art of handwritten numeral recognition in Japan-The results of the first IPTP character recognition competition (TM, TN, IY, TW, MY), pp. 391–396.
PODS-1993-HirstH #database #recursion: Completeness Results for Recursive Data Bases (TH, DH), pp. 244–252.
STOC-1993-BorowskyG: Generalized FLP impossibility result for t-resilient asynchronous computations (EB, EG), pp. 91–100.
STOC-1993-Fleischer: Decision trees: old and new results (RF), pp. 468–477.
STOC-1993-MacintyreS #network: Finiteness results for sigmoidal “neural” networks (AM, EDS), pp. 325–334.
ICALP-1993-Blum #approach #reliability #source code: Program Result Checking: A New Approach to Making Programs More Reliable (MB), pp. 1–14.
ICALP-1993-IbarraJTW #decidability: New Decidability Results Concerning Two-way Counter Machines and Applications (OHI, TJ, NQT, HW), pp. 313–324.
HCI-ACS-1993-Beck #case study #design: User Participation in systems Design — Results of a Field Study (AB), pp. 534–539.
HCI-ACS-1993-BextenHM #analysis #named #simulation: AUCA: A Tool for Presentation and Analysis of Simulation Results (EMzB, DH, CM), pp. 267–272.
HCI-ACS-1993-CarayonH: A Diary Study of Computer Use and Worker Stress: Preliminary Results (PC, CH), pp. 715–720.
HCI-SHI-1993-NowellH #database #development #user interface #visualisation: Visualizing Search Results: User Interface Development for the Project Envision Database of Computer Science Literature (LTN, DH), pp. 56–61.
ICML-1993-Kaelbling #learning #probability: Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.
LOPSTR-1993-Neugebauer #analysis #reachability: Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.
ICSE-1993-KitsonM #analysis #assessment #process: An Analysis of SEI Software Process Assessment Results: 1987-1991 (DHK, SMM), pp. 68–77.
ICLP-1993-LauO #deduction #logic programming #source code #synthesis: An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.
ILPS-1993-EiterG #complexity #logic #logic programming: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (TE, GG), pp. 266–278.
IWPTS-1993-CavalliFP #consistency #formal method #testing: Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.
SEI-1992-OmanJ #paradigm #re-engineering: The Influence of Software Engineering Paradigms on Individual and Team Project Results (PWO, WJ), pp. 417–436.
PEPM-1992-AndersenG #analysis #partial evaluation: Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.
ICALP-1992-IbarraT #automaton #finite: New Results Concerning Synchronized Finite Automata (OHI, NQT), pp. 126–137.
CHI-1992-RopaA #case study #collaboration #communication #design #interface #multi: A Case Study of a Multimedia Co-working Task and the Resulting Interface Design of a Collaborative Communication Tool (AR, BA), pp. 649–650.
KR-1992-Backstrom #equivalence: Equivalence and Tractability Results for SAS+ Planning (CB), pp. 126–137.
KR-1992-GivanM: New Results on Local Inference Relations (RG, DAM), pp. 403–412.
KR-1992-ShohamT #multi: Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.
SIGIR-1992-Keen #ranking: Term Position Ranking: Some New Test Results (EMK), pp. 66–76.
ALP-1992-MiddeldorpH: Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract) (AM, EH), pp. 244–258.
ICSE-1992-Isoda #case study #experience #process #reuse #statistics: Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results (SI), pp. 320–326.
HT-1991-EganLKLRLL #hypermedia #library: Hypertext for the Electronic Library? CORE Sample Results (DEE, ML, RDK, CCL, JRR, MLL, TKL), pp. 299–312.
SIGMOD-1991-IoannidisC #fault #on the: On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.
ICALP-1991-DiekertOR #complexity #confluence #decidability #on the: On Confluent Semi-Commutations — Decidability and Complexity Results (VD, EO, KR), pp. 229–241.
VDME-1991-1-HoustonK #case study #cics #experience: CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.
CHI-1991-HammondBCHMY #design #matrix #modelling: Modelling user, system design: results of a scenarios matrix exercise (NH, PJB, JC, MDH, AM, RMY), pp. 377–380.
AdaEurope-1991-Baumgarten #ada #case study #comparative #distributed: Distributed Systems and Ada — Current Projects and Approaches Comparative Study’s Results (UB), pp. 260–278.
KDD-1991-McLeishYGS #bibliography: Discovery of Medical Diagnostic Information: An Overview of Methods and Results (MM, PY, MG, TS), pp. 477–490.
CAV-1991-FeigenbaumKL #complexity: Complexity Results for POMSET Languages (JF, JAK, CL), pp. 343–353.
IWPTS-1991-Helwerda: Results of the CTS-2 ISDN Basic Access Project (RJH), pp. 163–177.
LICS-1991-MalacariaR #algebra #λ-calculus: Some Results on the Interpretation of λ-calculus in Operator Algebras (PM, LR), pp. 63–72.
ICALP-1990-Choffrut #decidability: Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case (CC), pp. 490–500.
LFP-1990-HannanM #automaton #semantics: From Operational Semantics to Abstract Machines: Preliminary Results (JH, DM), pp. 323–332.
GG-1990-EhrigL #graph transformation: Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.
CHI-1990-DillonET #cost analysis: Measuring the true cost of command selection: techniques and results (RFD, JDE, JWT), pp. 19–26.
ML-1990-Valtorta #complexity #knowledge base #network #refinement: More Results on the Complexity of Knowledge Base Refinement: Belief Networks (MV), pp. 419–426.
CADE-1990-NarendranO #equation #unification: Some Results on Equational Unification (PN, FO), pp. 276–291.
CLP-1990-Taylor90 #compilation #prolog: LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.
NACLP-1990-Hausman #evaluation #prolog: Handling Speculative Work in OR-Parallel Prolog: Evaluation Results (BH), pp. 721–736.
KR-1989-BylanderATJ #abduction #complexity: Some Results Concerning the Computational Complexity of Abduction (TB, DA, MCT, JRJ), pp. 44–54.
KR-1989-Frisch #deduction #framework #hybrid #reasoning: A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
ML-1989-Hunter #information management: Knowledge Acquisition Planning: Results and Prospects (LH), pp. 61–65.
ML-1989-ORorkeMS #abduction #case study: Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution (PO, SM, DS), pp. 266–271.
ML-1989-Valtorta #complexity #knowledge-based #refinement: Some Results on the Complexity of Knowledge-Based Refinement (MV), pp. 326–331.
PODS-1988-Vardi #bound #decidability #linear #query #recursion: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.
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.
SIGMOD-1988-RamnarayanL #knowledge base #query: A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing (RR, HL), pp. 387–395.
PLDI-1988-SchwarzKL #ada #case study #design #experience: An Optimizer for Ada — Design, Experiences and Results (BS, WK, RL), pp. 175–184.
LFP-1988-GoldmanG #implementation: Preliminary Results with the Initial Implementation of Qlisp (RG, RPG), pp. 143–152.
ML-1988-Sammut #algorithm #evaluation: Experimental Results from an Evaluation of Algorithms that Learn to Control Dynamic Systems (CS), pp. 437–443.
CADE-1988-PotterP #term rewriting: Term Rewriting: Some Experimental Results (RCP, DAP), pp. 435–453.
JICSCP-1988-LinK88 #execution #logic programming #memory management #multi #source code #summary: AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.
DAC-1987-SchuckWGK #compilation #design #experience #implementation: The ALGIC Silicon Compiler System: Implementation, Design Experience and Results (JS, NW, MG, GK), pp. 370–375.
PODS-1987-SunT #concurrent #multi #performance: Performance Results in Multiversion Timestamp Concurrency Control with Predeclared Writesets (RS, GT), pp. 177–184.
HCI-CE-1987-HoyosGSZ #agile #approach #bibliography #empirical #prototype: Software-Design with the Rapid Prototyping Approach: A Survey and Some Empirical Results (CGH, HG, VS, BZ), pp. 329–340.
SIGIR-1987-FuhrM #probability: Probabilistic Search Term Weighting-Some Negative Results (NF, PM), pp. 13–18.
RTA-1987-Otto #confluence #congruence: Some Results about Confluence on a Given Congruence Class (FO), pp. 145–155.
STOC-1986-Bern #probability: Two Probabilistic Results on Rectilinear Steiner Trees (MWB), pp. 433–441.
ICALP-1986-Aurenhammer #diagrams: A New Duality Result Concerning Voronoi Diagrams (FA), pp. 21–30.
ICALP-1986-KirschenhoferP: Some Further Results on Digital Search Trees (PK, HP), pp. 177–185.
ICALP-1986-Regan #reduction #theorem: A Uniform Reduction Theorem — Extending a Result of J. Grollmann and A. Selman (KWR), pp. 324–333.
CADE-1986-Lim #heuristic: The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
VLDB-1985-LuC #algorithm #distributed #network: Some Experimental Results on Distributed Join Algorithms in a Local Network (HL, MJC), pp. 292–304.
RTA-1985-Hsiang #proving #term rewriting #theorem proving: Two Results in Term Rewriting Theorem Proving (JH), pp. 301–324.
STOC-1984-BentleyJLMM #behaviour: Some Unexpected Expected Behavior Results for Bin Packing (JLB, DSJ, FTL, CCM, LAM), pp. 279–288.
STOC-1984-Harel #infinity: A General Result on Infinite Trees and Its Applications (Preliminary Report) (DH), pp. 418–427.
ICALP-1984-Ferment #matrix #product line: Principality Results About Some Matrix Languages Families (DF), pp. 151–161.
ICALP-1984-Girault-Beauquier #automaton #behaviour #finite #infinity: Some Results About Finite and Infinite Behaviours of a Pushdown Automaton (DB), pp. 187–195.
ICALP-1982-Kozen #calculus #μ-calculus: Results on the Propositional μ-Calculus (DK), pp. 348–359.
ICSE-1982-Abu-SufahLMY #behaviour #source code: Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.
DAC-1981-HirschhornHB #algorithm #data type #functional #simulation: Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
STOC-1981-ChazelleM #complexity: A Model of Computation for VLSI with Related Complexity Results (BC, LM), pp. 318–325.
STOC-1980-JosephY #independence: Independence Results in Computer Science? (Preliminary Version) (DJ, PY), pp. 58–69.
VLDB-1979-ParkerD #algorithm #dependence #multi: Algorithmic Applications for a new Result on Multivalued Dependencies (DSPJ, CD), pp. 67–74.
ICSE-1979-FeuerF #empirical: Some Results from an Empirical Study of Computer Software (ARF, EBF), pp. 351–355.
VLDB-1978-Nicolas #dependence: Mutual Dependencies and Some Results on Undecomposable Relations (JMN), pp. 360–367.
ICALP-1978-Mignotte #effectiveness #linear #recursion #sequence: Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
ICALP-1978-Restivo #monad #set: Some Decision Results for Recognizable Sets in Arbitrary Monoids (AR), pp. 363–371.
DAC-1977-Rammig #automation #concept #editing #hardware: A concept for the editing of hardware resulting in an automatic hardware-editor (FJR), pp. 187–193.
DAC-1976-HananSA: Some experimental results on placement techniques (MH, PKWS, BJA), pp. 214–224.
STOC-1976-PapadimitriouS #complexity #problem: Some Complexity Results for the Traveling Salesman Problem (CHP, KS), pp. 1–9.
STOC-1976-Wand #hoare: A New Incompleteness Result for Hoare’s System (MW), pp. 87–91.
DAC-1975-Whitney: Practical results with CADSYS (DEW), pp. 220–223.
VLDB-1975-Kerr #tutorial: Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.
VLDB-1975-Senko #data type #specification: Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.
ICALP-1974-Bertsch #decidability: A Decidability Result for Sequential Grammars (EB), pp. 577–583.
STOC-1971-ConstableH #complexity: Complexity of Formal Translations and Speed-Up Results (RLC, JH), pp. 244–250.
STOC-1971-LevyJ #automaton: Some Results in Tree Automata (LSL, AKJ), pp. 78–85.
STOC-1971-Munro #algorithm #performance: Some Results Concerning Efficient and Optimal Algorithms (JIM), pp. 40–44.
STOC-1970-Morris #precedence: A Result on the Relationship between Simple Precedence Languages and Reducing Transition Languages (JBM), pp. 73–80.