BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
search (219)
web (85)
queri (77)
use (61)
base (57)

Stem result$ (all stems)

799 papers:

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

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