BibSLEIGH — experiment stem

Used together with:

studi (70)
evalu (55)
base (48)
system (42)
analysi (37)

Stem experiment$ (all stems)

405 papers:

CASE-2015-MoalDC #bibliography #case study #monitoring #on the #process: On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
CASE-2015-SikstromCL #case study #feedback #modelling: Model based feedback control of gas tungsten arc welding — An experimental study (FS, AKC, BL), pp. 411–416.
CASE-2015-ZhaoCWCJZ #assessment: Experimental assessment of a satisfaction based thermal comfort control for a group of occupants (QZ, ZC, FW, ZC, YJ, ZZ), pp. 15–20.
VLDB-2015-JhaHLCH #approach #in memory #memory management: Improving Main Memory Hash Joins on Intel Xeon Phi Processors: An Experimental Approach (SJ, BH, ML, XC, HPH), pp. 642–653.
VLDB-2015-KimmettST #case study #fuzzy #pipes and filters: Fuzzy Joins in MapReduce: An Experimental Study (BK, VS, AT), pp. 1514–1525.
VLDB-2015-PapenbrockEMNRZ #algorithm #dependence #evaluation #functional: Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms (TP, JE, JM, TN, JPR, MS, JZ, FN), pp. 1082–1093.
ITiCSE-2015-ClarkPB #agile #development #student #web: An Experimental Project Course to Prepare Students for Agile Web Application Development (NKC, JMP, CDB), pp. 81–86.
CHI-2015-HossainJBCKSTCO #biology #case study #education #interactive #online: Interactive Cloud Experimentation for Biology: An Online Education Case Study (ZH, XJ, EWB, AMC, SK, JDS, CYT, SC, NDO, PB, IHRK), pp. 3681–3690.
CHI-2015-KardanC #adaptation #evaluation #interactive #learning #simulation: Providing Adaptive Support in an Interactive Simulation for Learning: An Experimental Evaluation (SK, CC), pp. 3671–3680.
CHI-2015-MullerRJR #comparison #navigation: An Experimental Comparison of Vertical and Horizontal Dynamic Peephole Navigation (JM, RR, HCJ, HR), pp. 1523–1526.
DHM-EH-2015-HuDZYR #research: The Experimental Research of the Thumb’s Comfortable Control Area (HH, JD, CZ, FY, LR), pp. 44–52.
DHM-EH-2015-YangCFHZC #case study: Experimental Study on Grip Ergonomics of Manual Handling (AY, GC, WyF, HH, XZ, CKC), pp. 92–99.
DUXU-DD-2015-PazPP #case study #heuristic #usability: Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.
RecSys-2015-EkstrandKHK #algorithm #case study #recommendation: Letting Users Choose Recommender Algorithms: An Experimental Study (MDE, DK, FMH, JAK), pp. 11–18.
SEKE-2015-CaoHH #design #evaluation #quality #using: Experimental Frame Design Using E-DEVSML for Software Quality Evaluation (BC, LH, JH), pp. 310–313.
REFSQ-2015-VriezekolkEW #assessment #risk management #validation: Experimental Validation of a Risk Assessment Method (EV, SE, RW), pp. 1–16.
SAC-2015-AissiGSS #evaluation #framework #personalisation #query #recommendation: Personalized recommendation of SOLAP queries: theoretical framework and experimental evaluation (SA, MSG, TS, LBS), pp. 1008–1014.
SAC-2015-CarlucciCM: HTTP over UDP: an experimental investigation of QUIC (GC, LDC, SM), pp. 609–614.
SAC-2015-FerreiraMME #analysis #comparison #kernel #memory management: An experimental comparison analysis of kernel-level memory allocators (TBF, RM, AM, BEC), pp. 2054–2059.
ICSE-v2-2015-AndersonHVWCBG #student: CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results (PVA, SH, MAV, DW, MC, JEB, GCG), pp. 455–464.
ICSE-v2-2015-ProcacciantiLVF #energy #performance: The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
TAP-2015-HubnerHP #equivalence #evaluation #novel #testing: Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.
VMCAI-2015-Christakis0W #evaluation: An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
CASE-2014-ZhaoCWJD #case study: Experimental study of group thermal comfort model (QZ, ZC, FW, YJ, JD), pp. 1075–1078.
DAC-2014-GuoBS #modelling #self: Modeling and Experimental Demonstration of Accelerated Self-Healing Techniques (XG, WB, MRS), p. 6.
VLDB-2014-HanDAOWJ #comparison #graph: An Experimental Comparison of Pregel-like Graph Processing Systems (MH, KD, KA, MTÖ, XW, TJ), pp. 1047–1058.
VLDB-2014-JiangLFL #evaluation #similarity #string: String Similarity Joins: An Experimental Evaluation (YJ, GL, JF, WSL), pp. 625–636.
VLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability: Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
CHI-2014-FioreCTM #online #research: Incentives to participate in online research: an experimental examination of “surprise” incentives (ATF, CC, LST, GAM), pp. 3433–3442.
CHI-2014-LiuMBP #automation #education #towards: Towards automatic experimentation of educational knowledge (YEL, TM, EB, ZP), pp. 3349–3358.
CHI-2014-MollerKDRHSKL #evaluation #navigation #user interface #visual notation: Experimental evaluation of user interfaces for visual indoor navigation (AM, MK, SD, LR, RH, TS, MK, PL), pp. 3607–3616.
DUXU-TMT-2014-LeeL #3d #design #generative #research: Experimental Research in Applying Generative Design and 3D Printers in User Participating Design (LCJL, MHL), pp. 296–307.
ICEIS-v2-2014-BelgamoHZRF #abstraction #case study #visualisation: Code Inspection Supported by Stepwise Abstraction and Visualization — An Experimental Study (AB, EMH, AZ, RSR, SF), pp. 39–48.
ECIR-2014-AngeliniFSS #interactive #visual notation: A Visual Interactive Environment for Making Sense of Experimental Data (MA, NF, GS, GS), pp. 767–770.
ICPR-2014-BlomerBK #algorithm #comparison: A Theoretical and Experimental Comparison of the EM and SEM Algorithm (JB, KB, DK), pp. 1419–1424.
ICPR-2014-SousaSB #case study #classification #set: Time Series Transductive Classification on Imbalanced Data Sets: An Experimental Study (CARdS, VMAdS, GEAPAB), pp. 3780–3785.
ICPR-2014-YinYPH #case study #classification #learning: Shallow Classification or Deep Learning: An Experimental Study (XCY, CY, WYP, HWH), pp. 1904–1909.
KDD-2014-KohaviDLX #web: Seven rules of thumb for web site experimenters (RK, AD, RL, YX), pp. 1857–1866.
RecSys-2014-XuPA #predict #ranking #recommendation: Controlled experimentation in recommendations, ranking & response prediction (YX, RP, JA), p. 389.
OOPSLA-2014-KambadurK #bibliography #energy #stack: An experimental survey of energy management across the stack (MK, MAK), pp. 329–344.
PPDP-2014-JansenDDJ #evaluation #state of the art: Experimental Evaluation of a State-Of-The-Art Grounder (JJ, ID, JD, GJ), pp. 249–258.
SAC-2014-EliasMFB #algorithm #analysis #memory management: Experimental and theoretical analyses of memory allocation algorithms (DE, RM, MF, LBdA), pp. 1545–1546.
SAC-2014-NogueiraMV #case study #execution: An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
ICST-2014-DelamaroDDLO #c #evaluation: Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
DATE-2013-HuHMCF #detection #fault #realtime: Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips (KH, BNH, AM, KC, RBF), pp. 559–564.
SIGMOD-2013-WangLYC #case study #data type: Quantiles over data streams: an experimental study (LW, GL, KY, GC), pp. 737–748.
VLDB-2013-ChenCJW #evaluation #keyword #query: Spatial Keyword Query Processing: An Experimental Evaluation (LC, GC, CSJ, DW), pp. 217–228.
VLDB-2013-SowellSCDG #analysis #in memory #memory management: An Experimental Analysis of Iterated Spatial Joins in Main Memory (BS, MAVS, TC, AJD, JG), pp. 1882–1893.
ITiCSE-2013-Renaud #student: Introducing computing students to scientific experimentation (KR), pp. 76–81.
ITiCSE-2013-RodgerGML: Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
CSMR-2013-Przybylek #aspect-oriented: Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility (AP), pp. 253–262.
CHI-2013-BirnholtzSP #case study #collaboration #exclamation #maintenance: Write here, write now!: an experimental study of group maintenance in collaborative writing (JPB, SBS, AP), pp. 961–970.
CSCW-2013-NovA #design: Personality-targeted design: theory, experimental procedure, and preliminary results (ON, OA), pp. 977–984.
DUXU-WM-2013-LinL13a #case study #design #generative: An Experimental Study for Applying Generative Design to Electronic Consumer Products (MHL, LCL), pp. 392–401.
HCI-IMT-2013-TawatsujiKM #case study #eye tracking #modelling #towards: Experimental Study Toward Modeling of the Uncanny Valley Based on Eye Movements on Human/Non-human Faces (YT, KK, TM), pp. 398–407.
HIMI-LCCB-2013-Frederick-RecascinoLDKL #case study #game studies #learning: Articulating an Experimental Model for the Study of Game-Based Learning (CFR, DL, SD, JPK, DL), pp. 25–32.
HIMI-LCCB-2013-HayashiON #collaboration #interactive #learning: An Experimental Environment for Analyzing Collaborative Learning Interaction (YH, YO, YIN), pp. 43–52.
CAiSE-2013-PapottiPSCP #analysis #code generation #modelling: A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation (PEP, AFdP, WLdS, CEC, LFP), pp. 321–337.
ICEIS-J-2013-HernandesBF13a #bibliography #process: An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEIS-v1-2013-HernandesBF #process: Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEIS-v2-2013-RositoRB #case study #configuration management: An Experimental Study on the Dynamic Reconfiguration of Software Projects (MCR, MBR, RMB), pp. 232–239.
SEKE-2013-SouzaSPFF #case study #generative #using: Generation of Thematic Maps using WPS-Cartographer: An experimental study (S) (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.
SIGIR-2013-Ma #case study #recommendation #social: An experimental study on implicit social recommendation (HM), pp. 73–82.
CASE-2012-LiuS #injection #modelling #validation: Modeling and experimental validation of air-fuel ratio under individual cylinder fuel injection for port-injection engines (YL, TS), pp. 256–260.
CASE-2012-YeunHLK #case study: An experimental study on fastener anchor system supporting curtain wall and cleaning robot (KWY, YGH, YWL, JK), pp. 1022–1027.
DATE-2012-CampagnaV #architecture #detection #fault #hybrid #validation: An hybrid architecture to detect transient faults in microprocessors: An experimental validation (SC, MV), pp. 1433–1438.
DATE-2012-ChenLPCPWHWM #design: Nano-Electro-Mechanical relays for FPGA routing: Experimental demonstration and a design technique (CC, WSL, RP, SC, JP, JW, RTH, HSPW, SM), pp. 1361–1366.
DATE-2012-YordanovAGGCBHBD #biology #verification: Experimentally driven verification of synthetic biological circuits (BY, EA, RG, EAG, SBC, SB, TH, CB, DD), pp. 236–241.
VLDB-2012-WuXDCZZ #distance #evaluation #network #query: Shortest Path and Distance Queries on Road Networks: An Experimental Evaluation (LW, XX, DD, GC, ADZ, SZ), pp. 406–417.
ITiCSE-2012-Velazquez-Iturbide #algorithm #approach #learning #refinement: Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms (JÁVI), pp. 46–51.
SAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation: Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
CHI-2012-HenzeRB #behaviour #mobile #type system #using: Observational and experimental investigation of typing behaviour using virtual keyboards for mobile devices (NH, ER, SB), pp. 2659–2668.
CHI-2012-TeradaYI #adaptation #game studies: Experimental investigation of human adaptation to change in agent’s strategy through a competitive two-player game (KT, SY, AI), pp. 2807–2810.
CHI-2012-VinotA #design #safety: Legible, are you sure?: an experimentation-based typographical design in safety-critical context (JLV, SA), pp. 2287–2296.
ICEIS-v3-2012-BrixiKN #human-computer #interface #research #usability: Computer-Brain Interface Device Experimental Research — Study of Ergonomy and Usability in Business Environment (RB, JK, PN), pp. 86–90.
KMIS-2012-Kraines #development #knowledge base #social: Development of a Knowledge Base for Social Experimentation (SBK), pp. 164–167.
MLDM-2012-JoutsijokiJ #case study #dataset: DAGSVM vs. DAGKNN: An Experimental Case Study with Benthic Macroinvertebrate Dataset (HJ, MJ), pp. 439–453.
SEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread: Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SIGIR-2012-MetzlerK #information retrieval: Experimental methods for information retrieval (DM, OK), pp. 1185–1186.
ICSE-2012-KeenanCLCSMGPMHDMHH #named #research #traceability: TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions (EK, AC, GL, JCH, YS, EM, MG, DP, JIM, JHH, AD, DM, SH, DH), pp. 1375–1378.
ICSE-2012-SillittiSV #case study #comprehension #developer #industrial #programming #scalability: Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation (AS, GS, JV), pp. 1094–1101.
ICST-2012-EndoS #comparison #finite #generative #state machine #testing: Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
DATE-2011-FunchalM #framework #modelling #named #simulation #transaction: jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip (GF, MM), pp. 1184–1187.
ITiCSE-2011-BoyceCPCB #education #evaluation #game studies #how #learning #motivation: Experimental evaluation of BeadLoom game: how adding game elements to an educational tool improves motivation and learning (AKB, AC, SP, DC, TB), pp. 243–247.
ITiCSE-2011-OliveiraMR11a #case study #natural language #programming: Natural language in introductory programming: an experimental study (OLO, AMM, NTR), p. 363.
ITiCSE-2011-Santos #interactive #named: AGUIA/J: a tool for interactive experimentation of objects (ALS), pp. 43–47.
CSMR-2011-NunesGFL #evaluation: Revealing Mistakes in Concern Mapping Tasks: An Experimental Evaluation (CN, AG, EF, CJPdL), pp. 101–110.
WCRE-2011-KaushikTM #case study #debugging #testing #traceability: Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.
CIAA-2011-SkvortsovT #automaton #case study #random #word: Experimental Study of the Shortest Reset Word of Random Automata (ES, ET), pp. 290–298.
CHI-2011-BragdonNLH #analysis #design #gesture #mobile: Experimental analysis of touch-screen gesture designs in mobile environments (AB, EN, YL, KH), pp. 403–412.
HCD-2011-Huang #case study #design #web: An Experimental Study of Home Page Design on Green Electronic Products Web Site (FHH), pp. 509–518.
HCI-DDA-2011-GuoWM #automation #image #modelling #visual notation: Experimental Studies of Visual Models in Automatic Image Annotation (PG, TW, JM), pp. 562–570.
HCI-ITE-2011-HaslbeckPKPMB #interactive #requirements: Experimental Evaluations of Touch Interaction Considering Automotive Requirements (AH, SP, MK, KP, JM, KB), pp. 23–32.
HCI-ITE-2011-TanakaMK #case study #human-computer #interactive #interface #multi: Experimental Study on Appropriate Reality of Agents as a Multi-modal Interface for Human-Computer Interaction (KT, TM, KK), pp. 613–622.
HCI-UA-2011-MaehigashiMTKMH #automation #using: Experimental Investigation of Misuse and Disuse in Using Automation System (AM, KM, HT, KK, JM, YH), pp. 384–393.
CIKM-2011-SantosMP #information retrieval #scalability: Large-scale information retrieval experimentation with terrier (RLTS, RM, VP), pp. 2601–2602.
ECIR-2011-AddisAV #algorithm #assessment #categorisation #comparative: A Comparative Experimental Assessment of a Threshold Selection Algorithm in Hierarchical Text Categorization (AA, GA, EV), pp. 32–42.
Onward-2011-Singer: A literate experimentation manifesto (JS), pp. 91–102.
ESEC-FSE-2011-Schur #enterprise #mining #specification: Experimental specification mining for enterprise applications (MS), pp. 388–391.
SAT-2011-GaoYX #case study #compilation: Phase Transitions in Knowledge Compilation: An Experimental Study (JG, MY, KX), pp. 364–366.
CASE-2010-EderK #design #framework: Design of an experimental platform for an X-by-wire car with four-wheel steering (ME, AK), pp. 656–661.
CASE-2010-GengAXJ #case study #process: Experimental study of Magnetic Resonance Imaging examination reservation process for stroke patients (NG, VA, XX, ZJ), pp. 774–779.
CASE-2010-SouzaPC #analysis #distributed #implementation #network #predict: Distributed model predictive control applied to urban traffic networks: Implementation, experimentation, and analysis (FAdS, VBP, EC), pp. 399–405.
CAiSE-2010-MatuleviciusHK #documentation #quality: Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation (RM, NH, FK), pp. 236–250.
ICML-2010-SrinivasKKS #design #optimisation #process: Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design (NS, AK, SK, MWS), pp. 1015–1022.
ICPR-2010-ChetverikovM #case study #component #image #metric: An Experimental Study of Image Components and Data Metrics for Illumination-Robust Variational Optical Flow (DC, JM), pp. 1694–1697.
ICPR-2010-SodaI #composition #dataset #integration #learning: Decomposition Methods and Learning Approaches for Imbalanced Dataset: An Experimental Integration (PS, GI), pp. 3117–3120.
KDD-2010-TangAOM #empirical #framework #performance: Overlapping experiment infrastructure: more, better, faster experimentation (DT, AA, DO, MM), pp. 17–26.
KMIS-2010-KarimaAO #distributed: Experimental Evidence on Data Warehouse Fragmentation and Allocation in a Distributed Context (TK, AA, HO), pp. 102–110.
SIGIR-2010-CarteretteKPF #design #reuse: Reusable test collections through experimental design (BC, EK, VP, HF), pp. 547–554.
SIGIR-2010-ZhenY #classification #design #named: SED: supervised experimental design and its application to text classification (YZ, DYY), pp. 299–306.
LOPSTR-2010-FioravantiPPS #evaluation #infinity #verification: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (FF, AP, MP, VS), pp. 164–183.
RE-2010-MenzelMGD #comparison #functional #requirements #specification: An Experimental Comparison Regarding the Completeness of Functional Requirements Specifications (IM, MM, AG, JD), pp. 15–24.
SAC-2010-Hammerle-UhlRU #case study #recognition #robust: Experimental study on the impact of robust watermarking on iris recognition accuracy (JHU, KR, AU), pp. 1479–1484.
LDTA-J-2007-Schmitz #ambiguity #detection: An experimental ambiguity detection tool (SS), pp. 71–84.
CASE-2009-ChengP09a: Experimental investigation of EMI on RFID in manufacturing facilities (CYC, VP), pp. 241–245.
ICDAR-2009-Guest #matlab #named #online #tool support: PENTOOLS — A MATLAB Toolkit for On-line Pen-Based Data Experimentation (RMG), pp. 1221–1225.
ITiCSE-2009-SitaramanHWDHLKP #evaluation #reasoning #specification #student: Engaging students in specification and reasoning: “hands-on” experimentation and evaluation (MS, JOH, JW, SDS, HKH, DPL, JK, RP), pp. 50–54.
ITiCSE-2009-Velazquez-IturbideP #algorithm #interactive #learning: Active learning of greedy algorithms by means of interactive experimentation (JÁVI, APC), pp. 119–123.
ICPC-2009-CeccatoPNFRTT #assessment #effectiveness #obfuscation #source code: The effectiveness of source code obfuscation: An experimental assessment (MC, MDP, JN, PF, FR, MT, PT), pp. 178–187.
ICSM-2009-GrechanikXF #assessment #maintenance #testing: Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts (MG, QX, CF), pp. 9–18.
ICALP-v1-2009-ArbitmanNS #performance #worst-case: De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results (YA, MN, GS), pp. 107–118.
CHI-2009-PapeV #case study #dependence: An experimental study of field dependency in altered Gz environments (MALP, RKV), pp. 1255–1264.
HCD-2009-AdnanND #approach #difference: Examining Individual Differences Effects: An Experimental Approach (WAWA, NLMN, NGND), pp. 570–575.
HCI-AUII-2009-DetweilerB #guidelines #online #towards #trust: Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory (CD, JB), pp. 605–614.
HCI-NIMT-2009-IizukaY #case study: Experimental Study about Effect of Thermal Information Presentation to Mouse (SI, SY), pp. 444–450.
HCI-NT-2009-Chi #design #human-computer #interactive: A Position Paper on “Living Laboratories”: Rethinking Ecological Designs and Experimentation in Human-Computer Interaction (EHC), pp. 597–605.
ICEIS-DISI-2009-KleinschmagerH #aspect-oriented #programming: Is the Application of Aspect-oriented Programming Constructs Beneficial? — First Experimental Results (SK, SH), pp. 196–201.
ICML-2009-SindhwaniML #design #nondeterminism: Uncertainty sampling and transductive experimental design for active dual supervision (VS, PM, RDL), pp. 953–960.
MLDM-2009-FranceC #distance: Is the Distance Compression Effect Overstated? Some Theory and Experimentation (SLF, JDC), pp. 280–294.
RecSys-2009-PannielloTGPP #comparison #recommendation: Experimental comparison of pre- vs. post-filtering approaches in context-aware recommender systems (UP, AT, MG, CP, AP), pp. 265–268.
SIGIR-2009-AlonsoM #analysis #e-commerce: Relevance criteria for e-commerce: a crowdsourcing-based experimental analysis (OA, SM), pp. 760–761.
SAC-2009-BeckerR #evaluation #modelling #off the shelf #requirements: Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation (CB, AR), pp. 401–402.
CASE-2008-RussoMCK #automation #modelling #petri net: Petri net modeling and automated system control of protein crystallization experimentation in drug discovery (MFR, SM, MHC, HK), pp. 906–911.
VLDB-2008-DingTSWK #comparison #distance #metric #mining #query: Querying and mining of time series data: experimental comparison of representations and distance measures (HD, GT, PS, XW, EJK), pp. 1542–1552.
ICEIS-HCI-2008-AlexandrakiKG #collaboration #framework #interactive #named: DIAMOUSES — An Experimental Platform for Network-based Collaborative Musical Interactions (CA, PK, PG, DA, GM, GV, DK), pp. 30–37.
CIKM-2008-WebberMZ #retrieval #statistics: Statistical power in retrieval experimentation (WW, AM, JZ), pp. 571–580.
ICML-2008-SeegerN #design: Compressed sensing and Bayesian experimental design (MWS, HN), pp. 912–919.
KDD-2008-GrossmanG #data mining #mining #performance #using: Data mining using high performance data clouds: experimental studies using sector and sphere (RLG, YG), pp. 920–927.
KDD-2008-JensenFTM #automation #design #identification: Automatic identification of quasi-experimental designs for discovering causal knowledge (DDJ, ASF, BJT, MEM), pp. 372–380.
KDD-2008-WuK #comparison #online #scalability: Experimental comparison of scalable online ad serving (GW, BK), pp. 1008–1015.
KR-2008-MichaelV: A First Experimental Demonstration of Massive Knowledge Infusion (LM, LGV), pp. 378–389.
SEKE-2008-GaoLCSX #approach #case study #component: Building Testable Components — a Systematic Approach and Its Experimental Study (JG, WRL, RC, RS, MX), pp. 715–722.
SIGIR-2008-YuZXG #categorisation #design #learning #using: trNon-greedy active learning for text categorization using convex ansductive experimental design (KY, SZ, WX, YG), pp. 635–642.
MoDELS-2008-DentonJSOB #framework #multi #named: NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.
MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety: Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.
MoDELS-2008-DentonJSOB #framework #multi #named: NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.
MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety: Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.
SAC-2008-SridharanBRA #architecture #fault tolerance #implementation #network: Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation (MS, SB, RR, AA), pp. 1670–1676.
ICSE-2008-RuthruffPMER #approach #predict #static analysis: Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
ICSE-2008-WangCW #automation #distributed: Four enhancements to automated distributed system experimentation methods (YW, AC, ALW), pp. 491–500.
LDTA-2007-Schmitz08 #ambiguity #detection: An Experimental Ambiguity Detection Tool (SS), pp. 69–84.
IJCAR-2008-GoreP #evaluation: An Experimental Evaluation of Global Caching for (System Description) (RG, LP), pp. 299–305.
DAC-2007-PimentelP #analysis: Experimental Jitter Analysis in a FlexCAN Based Drive-by-Wire Automotive Application (JRP, JP), pp. 290–293.
DATE-2007-BronckersSPVR #analysis #interactive #simulation #verification: Interactive presentation: Simulation methodology and experimental verification for the analysis of substrate noise on LC-VCO’s (SB, CS, GVdP, GV, YR), pp. 1520–1525.
DATE-2007-LeveugleAMTMMFRT #evaluation #fault #modelling: Experimental evaluation of protections against laser-induced faults and consequences on fault modeling (RL, AA, VM, ET, PM, CM, NF, JBR, AT), pp. 1587–1592.
DATE-2007-MatarreseMCDB #algorithm #performance #validation: Experimental validation of a tuning algorithm for high-speed filters (GM, CM, FC, SD, AB), pp. 421–426.
VLDB-2007-ManolescuM #assessment #database #evaluation #performance #question #research: Performance Evaluation and Experimental Assessment — Conscience or Curse of Database Research? (IM, SM), pp. 1441–1442.
CSEET-2007-Staron #analysis #learning #student #using: Using Students as Subjects in Experiments--A Quantitative Analysis of the Influence of Experimentation on Students’ Learning Proces (MS), pp. 221–228.
ICPC-2007-LangeC #comprehension #interactive #modelling #uml #validation: Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.
WCRE-2007-Zhu #framework #research: An Experimental Platform for Root Cause Diagnosis Research (QZ), pp. 293–296.
AGTIVE-2007-BatzKG #evaluation #graph #pattern matching: A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching (GVB, MK, RG), pp. 471–486.
CHI-2007-CarterMH #named: Momento: support for situated ubicomp experimentation (SC, JM, JH), pp. 125–134.
CHI-2007-SellenFAHRW #case study #memory management #using: Do life-logging technologies support memory for the past?: an experimental study using sensecam (AS, AF, MA, SH, CR, KRW), pp. 81–90.
DHM-2007-DongWY #research #simulation: Experimental Research on Human Body Motion Simulation Based on the Motion Capture Technology (DD, LW, XY), pp. 42–47.
DHM-2007-LongzhuY #evaluation #research: Experimental Research of Evaluation of Temperature Ergonomics of EVA Spacesuit Glove (HL, XgY), pp. 929–938.
HCI-AS-2007-LeeS #estimation #process: Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator’s Cognitive Activities for Nuclear Power Plants (SJL, PHS), pp. 620–628.
HCI-IDU-2007-ChenHLLWX #consistency #user interface: The Experimental Approaches of Assessing the Consistency of User Interface (YC, LH, LL, QL, YW, JX), pp. 420–427.
HCI-IDU-2007-Nguyen-Ngoc #analysis #design #process: Activity Theoretical Analysis and Design Model for Web-Based Experimentation (AVNN), pp. 204–213.
HCI-IPT-2007-AdnanNA #evaluation #visualisation: An Experimental Evaluation of Information Visualization Techniques and Decision Style (WAWA, NLMN, RA), pp. 143–150.
HCI-IPT-2007-ChoeKLA #adaptation #comparison: Experimental Comparison of Adaptive vs. Static Thumbnail Displays (PC, CK, MRL, JPA), pp. 41–48.
HIMI-IIE-2007-PostECK #comparison #multimodal: Experimental Comparison of Multimodal Meeting Browsers (WP, EE, AHMC, WK), pp. 118–127.
HIMI-MTT-2007-ParkB07a #design #mobile #user interface: An Experimental Examination of Customer Preferences on User Interface Design of Mobile Services (HP, SB), pp. 171–179.
HIMI-MTT-2007-SatoKF #concept #interface #precise #verification: Basic Experimental Verification of Grasping Information Interface Concept, Grasping Force Increases in Precise Periods (SS, MK, YF), pp. 180–188.
SIGAda-2007-LauW #component: Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
ICEIS-DISI-2007-AouicheL #comparison #estimation: UNASSSUMING view-size estimation techniques in OLAP — an experimental comparison (KA, DL), pp. 145–150.
CIKM-2007-Chu-CarrollP #case study #information management #performance #semantics: An experimental study of the impact of information extraction accuracy on semantic search performance (JCC, JMP), pp. 505–514.
ECIR-2007-DalmauF #approach #clustering: Experimental Results of the Signal Processing Approach to Distributional Clustering of Terms on Reuters-21578 Collection (MCD, ÓWMF), pp. 678–681.
ECIR-2007-Robertson #information retrieval: The Last Half-Century: A Perspective on Experimentation in Information Retrieval (SR), p. 2.
ECIR-2007-SweeneyCL #summary: Summarisation and Novelty: An Experimental Investigation (SOS, FC, DEL), pp. 745–748.
ICML-2007-HulseKN #learning: Experimental perspectives on learning from imbalanced data (JVH, TMK, AN), pp. 935–942.
ICSE-2007-GrahamKW #architecture #trade-off: Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs (TCNG, RK, CW), pp. 519–528.
ISSTA-2007-CiupaLOM #assessment #object-oriented #random testing #testing: Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.
TestCom-FATES-2007-PlesowiczM #automation #communication #testing: Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control (PP, MM), pp. 260–275.
CBSE-2006-GarciaLDSAFM #architecture #component #specification: From Specification to Experimentation: A Software Component Search Engine Architecture (VCG, DL, FAD, ECRS, ESdA, RPdMF, SRdLM), pp. 82–97.
CASE-2006-KwokLWY #framework #replication #using: Evolutionary Replication of Calligraphic Characters By A Robot Drawing Platform Using Experimentally Acquired Brush Footprint (KWK, KWL, SMW, YY), pp. 466–471.
ITiCSE-2006-DairaineEJCTL #named #network #protocol: IREEL: remote experimentation with real protocols and applications over emulated network (LD, EE, GJ, PC, FT, EL), p. 314.
FASE-2006-RaffeltS #automaton #learning #library #named: LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.
TACAS-2006-GuptaJ #comparison #control flow #effectiveness #fault #testing: An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults (AG, PJ), pp. 365–378.
ICPC-2006-LuccaP #challenge #comprehension #roadmap: Experimental Settings in Program Comprehension: Challenges and Open Issues (GADL, MDP), pp. 229–234.
WCRE-2006-Briand #challenge #paradigm #reverse engineering: The Experimental Paradigm in Reverse Engineering: Role, Challenges, and Limitations (LCB), pp. 3–8.
PLDI-2006-AcarBBT #analysis #self: An experimental analysis of self-adjusting computation (UAA, GEB, MB, KT), pp. 96–107.
CHI-2006-LiWL #analysis #design #testing: Design and experimental analysis of continuous location tracking techniques for Wizard of Oz testing (YL, EW, JAL), pp. 1019–1022.
SOFTVIS-2006-JainCHB #evaluation #java: Experimental evaluation of animated-verifying object viewers for Java (JJ, JHCI, TDH, LAB), pp. 27–36.
ICML-2006-YuBT #design #learning: Active learning via transductive experimental design (KY, JB, VT), pp. 1081–1088.
ICPR-v3-2006-Haralick06a #protocol #testing: Testing The Torah Code Hypothesis: The Experimental Protocol (RMH), pp. 110–115.
ICPR-v3-2006-TanakaFKI #theorem: A Theoretical and Experimental Consideration on Interference in Resolutions between Sampling Theorem and OK-Quantization Theory (YT, TF, HK, TI), pp. 869–872.
ICPR-v3-2006-YangLA #automation #case study #classification #gender: An Experimental Study on Automatic Face Gender Classification (ZY, ML, HA), pp. 1099–1102.
ICPR-v3-2006-ZouariHL #comparison #using: Experimental Comparison of Combination Rules using Simulated Data (HZ, LH, YL), pp. 152–155.
SEKE-2006-AcunaGR #case study #quality: Experimental Study on the Impact of Team Climate on Software Quality (STA, MG, RR), pp. 246–251.
SIGIR-2006-TreeratpitukC #automation #case study #clustering #statistics #using: An experimental study on automatically labeling hierarchical clusters using statistical features (PT, JPC), pp. 707–708.
MoDELS-2006-LangeBCD #modelling #uml: An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
MoDELS-2006-LangeBCD #modelling #uml: An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.
FSE-2006-LuCT #approach #data flow #middleware #source code #testing: Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation (HL, WKC, THT), pp. 242–252.
ICSE-2006-LangeC #fault #modelling #uml: Effects of defects in UML models: an experimental investigation (CFJL, MRVC), pp. 401–411.
ICSE-2006-Ruthruff #paradigm #program analysis: Experimental program analysis: a new paradigm for program analysis (JRR), pp. 977–980.
ICSE-2006-ZhongZM #comparison #reduction #testing: An experimental comparison of four test suite reduction techniques (HZ, LZ, HM), pp. 636–640.
ISSTA-2006-RuthruffER #paradigm #program analysis: Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
ASE-2005-WangRCW #automation #distributed: Automating experimentation on distributed testbeds (YW, MJR, AC, ALW), pp. 164–173.
CASE-2005-GongHYL #precise: Experimental-model-based precision control of a piezoelectric actuated flexure stage (ZG, EHLH, GY, WL), pp. 124–129.
ICSM-2005-HaoZZMS #case study #fault #locality #reduction #testing #using: Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study (DH, LZ, HZ, HM, JS), pp. 683–686.
SEFM-2005-DorofeevaYEC #evaluation #testing: Experimental Evaluation of FSM-Based Testing Methods (RD, NY, KEF, ARC), pp. 23–32.
CHI-2005-LiHGL #analysis #user interface: Experimental analysis of mode switching techniques in pen-based user interfaces (YL, KH, ZG, JAL), pp. 461–470.
SIGAda-2005-AlexandrID #ada #analysis #clustering #performance #source code: Experimental performance analysis of ada programs in cluster system (KA, SI, KD), pp. 31–36.
ICEIS-v1-2005-KostowskiC #evaluation: Analytical and Experimental Evaluation of Stream-based Join (HK, KTC), pp. 154–161.
ICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using: Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (FÅ, LH), pp. 220–225.
ECIR-2005-ImafouoB #modelling #retrieval #scalability: Scalability Influence on Retrieval Models: An Experimental Methodology (AI, MB), pp. 388–402.
ICML-2005-EspositoS #classification #comparison #monte carlo: Experimental comparison between bagging and Monte Carlo ensemble classification (RE, LS), pp. 209–216.
ICSE-2005-HostWT #classification #experience: Experimental context classification: incentives and experience of subjects (MH, CW, TT), pp. 470–478.
SAT-J-2004-TompkinsH05 #algorithm #implementation #named #satisfiability: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT (DADT, HHH), pp. 306–320.
DATE-DF-2004-BlancGG #architecture #case study #experience #validation: Experiences during the Experimental Validation of the Time-Triggered Architecture (SB, JG, PJG), pp. 256–261.
ITiCSE-2004-BlumensteinGNM #analysis #automation #game studies: An experimental analysis of GAME: a generic automated marking environment (MB, SG, AN, VM), pp. 67–71.
ITiCSE-2004-Borge #education #object-oriented: Teaching OOP: experimental studies (RB), p. 252.
ITiCSE-WGR-2004-Walker04a #programming: Experimentation in the computer programming lab (GNW), pp. 69–72.
CSMR-2004-RiccaTPG #multi #web: Experimental Results on the Alignment of Multilingual Web Sites (FR, PT, EP, CG), pp. 288–295.
ICSM-2004-LuoJZMS #analysis #case study #component #graph #object-oriented: An Experimental Study of Two Graph Analysis Based Component Capture Methods for Object-Oriented Systems (JL, RJ, LZ, HM, JS), pp. 390–398.
CSCW-2004-BosSOCN #distributed #simulation: In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
CIKM-2004-LavelliSZ #comparison: Distributional term representations: an experimental comparison (AL, FS, RZ), pp. 615–624.
ICPR-v2-2004-UnslanB #development #graph #metric: A Theoretical and Experimental Investigation of Graph Theoretical Measures for Land Development in Satellite Imagery (CÜ, KLB), pp. 64–67.
KR-2004-BenferhatBN #analysis #reasoning: An Experimental Analysis of Possibilistic Default Reasoning (SB, JFB, RDSN), pp. 130–140.
KR-2004-Rintanen #case study: Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.
UML-2004-BennettFW #evaluation #performance #scheduling #uml: Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.
ICSE-2004-LingenH #composition #configuration management #framework #policy: An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.
ASPLOS-2004-WangCWKGCYSMS #framework #multi #thread: Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform (PHW, JDC, HW, DK, BG, KMC, ABY, TS, SFM, JPS), pp. 144–155.
CGO-2004-KimLWCTZWYGS #physics #thread: Physical Experimentation with Prefetching Helper Threads on Intel’s Hyper-Threaded Processors (DK, SWL, PHW, JdC, XT, XZ, HW, DY, MG, JPS), pp. 27–38.
CAV-2004-MouraR #evaluation: An Experimental Evaluation of Ground Decision Procedures (LMdM, HR), pp. 162–174.
SAT-2004-TompkinsH #algorithm #implementation #named #satisfiability: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (DADT, HHH), pp. 37–46.
TestCom-2004-CavalliMZCMCML #multi #validation: A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
DATE-2003-NicolescuV #approach #detection #fault #tool support: Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
DATE-2003-PaulinPB #challenge #framework #network: Network Processing Challenges and an Experimental NPU Platform (PGP, CP, EB), pp. 20064–20069.
DocEng-2003-BrunDFLP #authoring #concurrent #documentation #protocol #semantics: Semantically-based text authoring and the concurrent documentation of experimental protocols (CB, MD, EF, SL, SP), pp. 193–202.
CSEET-2003-BakerNH #education #game studies #re-engineering: An Experimental Card Game for Teaching Software Engineering (AB, EON, AvdH), pp. 216–223.
TACAS-2003-AmlaKMM #analysis #bound #model checking: Experimental Analysis of Different Techniques for Bounded Model Checking (NA, RPK, KLM, RM), pp. 34–48.
WCRE-2003-VinciguerraWKMV #c++ #decompiler #framework #java #tool support: An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
KDD-2003-MayerS #design: Experimental design for solicitation campaigns (UFM, AS), pp. 717–722.
KDD-2003-ShimazuMF #case study: Experimental study of discovering essential information from customer inquiry (KS, AM, KF), pp. 741–746.
SIGIR-2003-WesterveldV #analysis #generative #image #probability #retrieval: Experimental result analysis for a generative probabilistic image retrieval model (TW, APdV), pp. 135–142.
RE-2003-FuxmanLPRM #requirements #specification: Specifying and Analyzing Early Requirements: Some Experimental Results (AF, LL, MP, MR, JM), p. 105–?.
CSEET-2002-Hayes #education #re-engineering: Energizing Software Engineering Education through Real-World Projects as Experimental Studies (JHH), pp. 192–206.
DLT-2002-Kitagawa #quantum: Experimental Quantum Computation with Molecules (MK), pp. 21–27.
ICALP-2002-Reif #assembly: Molecular Assembly and Computation: From Theory to Experimental Demonstrations (JHR), pp. 1–21.
ICFP-2002-HansenC #case study #garbage collection: An experimental study of renewal-older-first garbage collection (LTH, WDC), pp. 247–258.
SIGAda-2002-KorochkinK #ada #analysis #java #parallel #performance: Experimental performance analysis of the Ada95 and Java parallel program on SMP systems (DK, SK), pp. 53–56.
ICEIS-2002-Cantone #empirical #metric #modelling #process #re-engineering: Experimental Software Engineering: Role and Impact of Measurement Models on Empirical Processes (GC), p. 3.
ICML-2002-DriessensD #learning #relational: Integrating Experimentation and Guidance in Relational Reinforcement Learning (KD, SD), pp. 115–122.
ICPR-v3-2002-FerriMV #adaptation #comparison #prototype: An Experimental Comparison between Consistency-Based and Adaptive Prototype Replacement Schemes (FJF, RAM, EV), pp. 41–44.
KR-2002-CalmesDHPS #approach #flexibility #fuzzy #query: A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation (MdC, DD, EH, HP, FS), pp. 449–458.
PADL-2002-Meadows #analysis #declarative #using: Using a Declarative Language to Build an Experimental Analysis Tool (CM), pp. 1–2.
SAC-2002-AvdicausevicMLZ #aspect-oriented: Experimental aspect-oriented language — AspectCOOL (EA, MM, ML, VZ), pp. 943–947.
OSDI-2002-WhiteLSRGNHBJ #distributed #network: An Integrated Experimental Environment for Distributed Systems and Networks (BW, JL, LS, RR, SG, MN, MH, CB, AJ), pp. 255–270.
DATE-2001-CheynetNVRRV #automation #evaluation #program transformation #safety: System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.
ICDAR-2001-KangL #classification #multi: Experimental Results on the Construction of Multiple Classifiers Recognizing Handwritten Numerals (HJK, SWL), pp. 1026–1030.
ICDAR-2001-KiseJDM #documentation #evaluation #retrieval: Experimental Evaluation of Passage-Based Document Retrieval (KK, MJ, AD, KM), pp. 592–596.
KDD-2001-OzaR #online: Experimental comparisons of online and batch versions of bagging and boosting (NCO, SJR), pp. 359–364.
SIGIR-2001-Mock #categorisation #email #framework: An Experimental Framework for Email Categorization and Management (KJM), pp. 392–393.
ECOOP-2001-HanhATJ #comparison #integration #object-oriented #performance #testing: Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies (VLH, KA, YLT, JMJ), pp. 381–401.
SAC-2001-BaroneBVM #algorithm #analysis #approximate #problem: An approximation algorithm for the shortest common supersequence problem: an experimental analysis (PB, PB, GDV, GM), pp. 56–60.
SAT-2001-SimonC #framework #named #satisfiability: SatEx: A Web-based Framework for SAT Experimentation (LS, PC), pp. 129–149.
DATE-2000-SakallahAS #case study #heuristic #satisfiability: An Experimental Study of Satisfiability Search Heuristics (KAS, FAA, JPMS), p. 745.
VLDB-2000-HelalL #database #distributed #education #named #research: Rainbow: Distributed Database System for Classroom Education and Experimental Research (AH, HL), pp. 619–622.
CSEET-2000-DupuisB #information management #re-engineering: Guide to the Software Engineering Body of Knowledge Diffusion and Experimentation Strategy (RD, PB), pp. 49–50.
TACAS-2000-Bultan #concurrent #constraints #evaluation #model checking: BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems (TB), pp. 441–455.
WRLA-2000-BasinD #analysis #comparison #haskell #maude #protocol #security: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.
IWPC-2000-KoschkeE #clustering #evaluation #framework: A Framework for Experimental Evaluation of Clustering Techniques (RK, TE), pp. 201–210.
WCRE-2000-HendrixCM #diagrams #validation: An Experimental Validation of Control Structure Diagrams (TDH, JHCI, SM), p. 224–?.
CHI-2000-NassL #speech: Does computer-generated speech manifest personality? an experimental test of similarity-attraction (CN, KML), pp. 329–336.
ICEIS-2000-Morand #abduction #approach #diagrams #process #representation: Representation Process and Abductive Reasoning-An Experimental Approach of the Diagrammatic Case (BM), pp. 322–326.
ICML-2000-HuW #game studies #probability: Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.
ICPR-v2-2000-GhaderiW #analysis: Circular ECOC: A Theoretical and Experimental Analysis (RG, TW), pp. 2203–2206.
ICPR-v3-2000-ValdesME #analysis #behaviour #case study #image: Behavior Analysis of Fractal Features for Texture Description in Digital Images: An Experimental Study (JJV, LCM, SE), pp. 3917–3920.
ICPR-v4-2000-JiangBMHSIBGLB #algorithm #case study #comparison #image #segmentation: Some Further Results of Experimental Comparison of Range Image Segmentation Algorithms (XJ, KWB, YM, SH, KS, SI, MB, CG, REL, JMHdB), pp. 4877–4882.
KR-2000-BisoRS #constraints #learning: Experimental Results on Learning Soft Constraints (AB, FR, AS), pp. 435–444.
SIGIR-2000-AndroutsopoulosKCS #anti #comparison #email #keyword #naive bayes: An experimental comparison of naive bayesian and keyword-based anti-spam filtering with personal e-mail messages (IA, JK, KC, CDS), pp. 160–167.
SAC-2000-Rine #modelling #re-engineering: Message from the Track Chair: Improving Software Engineering Management Practice Through Modeling and Experimentation with Enabling Technologies (DCR), pp. 849–850.
TestCom-2000-RyuKKS #design #generative #testing #using: Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques (JR, MK, SK, SS), pp. 127–142.
DAC-1999-CaldwellKKM #clustering #development #heuristic: Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.
IWPC-1999-LinosOK #case study #visual notation: Improving the Visibility of Graphical Program Displays: An Experimental Study (PKL, ETO, VK), pp. 12–19.
HCI-CCAD-1999-FlemischO: The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.
HCI-CCAD-1999-OzawaAFSY #adaptation #case study #education #implementation #process #realtime: An experimental study on implementing real-time estimator of human cognitive process into eye-sensing head mounted display for realizing adaptive CAI for teaching plant diagnosis knowledge (TO, YA, SF, HS, HY), pp. 1197–1200.
HCI-CCAD-1999-Swezey #metric #performance #problem #simulation: Measurement of team problem solving performance via a computerized quasi-experimental simulation (RWS), pp. 482–486.
HCI-EI-1999-ChengYH #design #distributed #human-computer #interface #learning: Cognition and Learning in Distributed Design Environments: Experimental Studies and Human-Computer Interfaces (FC, YHY, HH), pp. 631–635.
HCI-EI-1999-ChenH #case study #data transformation #user interface: An Experimental Study of User Interface in a Data Management System (JC, SLH), pp. 646–650.
HCI-EI-1999-TakahashiKMFK #adaptation #design #interface: Design of Interface for Operational Support of an Experimental Accelerator with adaptability to User Preference and Skill Level (MT, YK, SM, MF, MK), pp. 251–255.
ESEC-FSE-1999-ChangR #automation #evaluation #testing: Structural Specification-Based Testing: Automated Support and Experimental Evaluation (JC, DJR), pp. 285–302.
CC-1999-Martin #analysis #comparison #functional #interprocedural #string: Experimental Comparison of call string and functional Approaches to Interprocedural Analysis (FM), pp. 63–75.
WCRE-1998-FusaroTV #case study #component #named #process: REP — chaRacterising and Exploiting Process component: Results of Experimentation (PF, MT, GV), pp. 20–29.
CHI-1998-NassKL #comparison #interface: When My Face Is the Interface: An Experimental Comparison of Interacting With One’s Own Face or Someone Else’s Face (CN, EYK, EJL), pp. 148–154.
ICML-1998-AnglanoGBS #concept #evaluation #learning: An Experimental Evaluation of Coevolutive Concept Learning (CA, AG, GLB, LS), pp. 19–27.
ICPR-1998-0002C #comparison #evaluation: Experimental evaluation of two criteria for pattern comparison and alignment (CS, RC), pp. 146–153.
ICPR-1998-Kraaijveld #classification #comparison #parametricity: An experimental comparison of nonparametric classifiers for time-constrained classification tasks (MAK), pp. 428–435.
POPL-1998-Blanchet #analysis #correctness #implementation #proving: Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.
ICSE-1998-HostW #case study: An Experimental Study of Individual Subjective Effort Estimations and Combinations of the Estimates (MH, CW), pp. 332–339.
ICDAR-1997-LiangRHP #analysis #documentation #image: UW-ISL Document Image Analysis Toolbox: An Experimental Environment (JL, RR, RMH, ITP), pp. 984–988.
ICSM-1997-BriandBDD #comparison #design #documentation #maintenance #object-oriented: An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents (LCB, CB, JWD, CD), p. 130–?.
ICSM-2000-Basili #analysis #maintenance #reuse: Analysis for Reuse and Maintenance: A Program for Experimentation (VRB), p. 296–?.
ICSM-2000-IioFA #analysis #maintenance #process: Experimental Analysis of the Cognitive Processes of Program Maintainers during Software Maintenance (KI, TF, YA), pp. 242–249.
HCI-CC-1997-SiauN #case study: An Experimental Study on User Interpretation of Icons (KS, FFHN), pp. 721–724.
HCI-CC-1997-SoongB #visual notation: Some Experimental Suggestions to Assist the Visually Handicapped End-Users to Navigate the Information Space (NLS, GB), pp. 433–436.
HCI-SEC-1997-DasaiKY #collaboration #distance #learning: A Collaborative Distance Learning System and its Experimental Results (TD, HK, KY), pp. 165–168.
HCI-SEC-1997-NishitaniKKS #industrial #usability: Experimental Method for Usability Test of Industrial Plant Operation System (HN, TK, TK, CS), pp. 625–628.
CIKM-1997-LeeSWSKF #evaluation #file system: Experimental Evaluation of PFS Continuous Media File System (WL, DS, DW, JS, DRKH, MF), pp. 246–253.
ICML-1997-SchefferGD #why: Why Experimentation can be better than “Perfect Guidance” (TS, RG, CD), pp. 331–339.
ICSE-1997-JohnsonT #bibliography #case study #using: Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS (PMJ, DT), pp. 118–127.
CHI-1996-HarrisonV #evaluation: An Experimental Evaluation of Transparent Menu Usage (BLH, KJV), pp. 391–398.
ICML-1996-GordonS #learning #parametricity #statistics: Nonparametric Statistical Methods for Experimental Evaluations of Speedup Learning (GJG, AMS), pp. 200–206.
ICML-1996-PendrithR #difference #learning: Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.
ICML-1996-TaeC #information management: Experimental Knowledge Acquisition for Planning (KST, DJC), pp. 480–488.
ICPR-1996-AppenzellerC #adaptation #performance: Experimental performance characterization of adaptive filters (GA, JLC), pp. 417–421.
ICPR-1996-BandyopadhyayMP #classification: GA-based pattern classification: theoretical and experimental studies (SB, CAM, SKP), pp. 758–762.
ICPR-1996-BoerS #evaluation #named: BESSI: an experimentation system for vision module evaluation (GADB, AWMS), pp. 109–112.
ICPR-1996-LiuTHS #adaptation #algorithm #documentation #geometry #segmentation: Adaptive document segmentation and geometric relation labeling: algorithms and experimental results (JL, YYT, QH, CYS), pp. 763–767.
ICSE-1996-Basili #re-engineering: The Role of Experimentation in Software Engineering: Past, Current, and Future (VRB), pp. 442–449.
ICDAR-v1-1995-Gentric #metric #recognition #using #word: Experimental results on improved handwritten word recognition using the Levenshtein metric (PG), pp. 364–367.
ICDAR-v2-1995-BippusM #data type #database #documentation #generative #tool support: Data structures and tools for document database generation: an experimental system (RDB, VM), pp. 711–714.
ICDAR-v2-1995-MatsunagaK #case study #classification #learning #statistics: An experimental study of learning curves for statistical pattern classifiers (TM, HK), pp. 1103–1106.
WCRE-1995-LakhotiaG #classification #evaluation #towards: Toward Experimental Evaluation of Subsystem Classification Recovery Techniques (AL, JMG), pp. 262–269.
CIKM-1995-BrunstromLS #database #distributed #evaluation: Experimental Evaluation of Dynamic Data Allocation Strategies in A Distributed Database with Changing Workloads (AB, STL, RS), pp. 395–402.
KDD-1995-SkowronS #approach #concurrent #modelling #set: Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach (AS, ZS), pp. 288–293.
RE-1995-JacquotV #assessment #specification: Trading legibility against implementability in requirement specifications: an experimental assessment (JPJ, AV), pp. 181–189.
SAC-1995-Pratt #modelling: Data modeling of scientific experimentation (JMP), pp. 86–90.
SAC-1995-SchachY #approach #metric #reuse: Metrics for targeting candidates for reuse: an experimental approach (SRS, XY), pp. 379–383.
ICSE-1995-ChungN #approach #non-functional #requirements: Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.
ICSE-1995-VottaP #re-engineering #state of the art: Experimental Software Engineering: A Report on the State of the Art (LGV, AAP), pp. 277–279.
PPoPP-1995-BaderJ #algorithm #case study #component #image #parallel: Parallel Algorithms for Image Histogramming and Connected Components with an Experimental Study (Extended Abstract) (DAB, JJ), pp. 123–133.
EDAC-1994-BernGMS: Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.
FME-1994-AnlauffJS #reasoning: An experimental support system for formal mathematical reasoning (MA, SJ, MS), pp. 421–440.
CSCW-1994-WanJ #approach #collaboration #learning #using: Computer Supported Collaborative Learning Using CLARE: The Approach and Experimental Findings (DW, PMJ), pp. 187–198.
ICML-1994-Gil #incremental #learning #refinement: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
KR-1994-CohenH #learning #logic: Learning the Classic Description Logic: Theoretical and Experimental Results (WWC, HH), pp. 121–133.
HPDC-1994-AsthanaCK #network: An Experimental Active-Memory-Based Network Environment (AA, MC, PK), pp. 139–146.
ISSTA-1994-MurrillM #approach #fault #semantics #using: An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract) (BWM, LJM), p. 200.
HCI-ACS-1993-AbergCSW #flexibility: The Outcome of Experimentation with Flexible Working Hours (EÅ, BC, IS, GW), pp. 851–856.
HCI-SHI-1993-OgawaSTS #knowledge-based #scheduling: Experimental Method for Construction of a Knowledge-Based System for Shipping Berth Scheduling (MO, NS, TT, SS), pp. 315–320.
HCI-SHI-1993-WatersonO #multi #using: Using Animated Demonstrations in Multimedia Applications: Some Suggestions Based upon Experimental Evidence (PEW, CO), pp. 543–548.
INTERCHI-1993-MonkNGMM #case study #communication: Mixing oil and water?: Ethnography versus experimental psychology in the study of computer-mediated communication (AFM, BAN, NG, MMM, JCM), pp. 3–6.
AdaEurope-1993-Lundberg #ada #evaluation #parallel #performance #source code #using: Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor (LL), pp. 280–297.
ICML-1993-Gil #independence #performance: Efficient Domain-Independent Experimentation (YG), pp. 128–134.
SEKE-1993-KomiyaSHKOHOO #analysis #process #specification: An Experimental Analysis for Classifying Specification Processes (SK, MS, SH, JK, AO, HH, SO, KO), pp. 231–234.
TOOLS-USA-1993-Putnam #c++ #case study #experience #programming: C++ vs Sather: Experiences in Experimental Programming (JP), pp. 265–277.
ICSE-1993-BastaniDP #correctness #evaluation #using: Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation (FBB, GD, AP), pp. 45–54.
ICSE-1993-OffuttRZ #evaluation: An Experimental Evaluation of Selective Mutation (AJO, GR, CZ), pp. 100–107.
HPDC-1993-MukherjeeS #adaptation #concurrent #configuration management #multi #performance #thread: Improving Performance by Use of Adaptive Objects: Experimentation with a Configurable Multiprocessor Thread Package (BM, KS), pp. 59–66.
KR-1992-ShohamT #multi: Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.
OOPSLA-1992-Yelland #classification #smalltalk: Experimental Classification Facilities for Smalltalk (PMY), pp. 235–246.
TOOLS-EUROPE-1992-BoukachourGIP: An Experimental Translation from Flavors to CLOS (JB, TG, MI, JPP), pp. 391–398.
PLILP-1992-EnglebertCRH #abstract interpretation #algorithm #evaluation #optimisation #prolog: Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation (VE, BLC, DR, PVH), pp. 310–325.
VLDB-1991-HuangSRT #concurrent #evaluation #realtime: Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes (JH, JAS, KR, DFT), pp. 35–46.
CHI-1991-McCarthyMM #case study #communication: An experimental study of common ground in text-based communication (JCM, VCM, AFM), pp. 209–215.
CAiSE-1991-HillstonOP #case study #using: A Case Study Using the IMSE Experimentation Tool (JH, ALO, RP), pp. 284–306.
ML-1991-Gil #effectiveness #framework #independence: A Domain-Independent Framework for Effective Experimentation in Planning (YG), pp. 13–17.
TAV-1991-FranklW #comparison #effectiveness: An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria (PGF, SNW), pp. 154–164.
GG-1990-GlauertKS #graph grammar #named: Dactl: An Experimental Graph Rewriting Language (JRWG, RK, MRS), pp. 378–395.
SIGIR-1990-ChiaramellaN #approach #logic #modelling #retrieval: A Retrieval Model Based on an Extended Modal Logic and its Application to the RIME Experimental Approach (YC, JYN), pp. 25–43.
SIGIR-1990-HoppeALZ #information retrieval #interface #named: EXPRESS: An Experimental Interface for Factual Information Retrieval (HUH, KA, BLS, GZ), pp. 63–81.
ML-1989-KulkarniS: The Role of Experimentation in Scientific Theory Revision (DK, HAS), pp. 278–283.
ML-1989-MuggletonBMM #comparison #machine learning: An Experimental Comparison of Human and Machine Learning Formalisms (SM, MB, JHM, DM), pp. 113–118.
SIGIR-1989-BerrutC #approach #multi: Indexing Medical Reports in a Multimedia Environment: The RIME Experimental Approach (CB, YC), pp. 187–197.
RTA-1989-AvenhausMS #named #term rewriting: COMTES — An Experimental Environment for the Completion of Term Rewriting Systems (JA, KM, JS), pp. 542–546.
TAV-1989-RowlandZ #comparison: Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.
SIGMOD-1988-RamnarayanL #knowledge base #query: A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing (RR, HL), pp. 387–395.
ML-1988-FalkenhainerR: The Interdependencies of Theory Formation, Revision, and Experimentation (BF, SAR), pp. 353–366.
ML-1988-Sammut #algorithm #evaluation: Experimental Results from an Evaluation of Algorithms that Learn to Control Dynamic Systems (CS), pp. 437–443.
SIGIR-1988-Ait-KaciNS #library #named: BABEL: A Base for an Experimental Library (HAK, RN, JS), pp. 175–190.
CADE-1988-BrownP #logic #named #proving #theorem proving: SYMEVAL: A Theorem Prover Based on the Experimental Logic (FMB, SSP), pp. 756–757.
CADE-1988-PotterP #term rewriting: Term Rewriting: Some Experimental Results (RCP, DAP), pp. 435–453.
SIGMOD-1987-Hardwick #database #design #optimisation #performance #why: Why Rose is Fast: Five Optimizations in the Design of an Experimental Database System for CAD/CAM Applications (MH), pp. 292–298.
PLDI-1987-KearnsF #concurrent #named: CCAL: An interpreted language for experimentation in concurrent control (PK, CC, MF), pp. 283–291.
HCI-CE-1987-NakamuraS #case study #flexibility #scheduling: Human Decision Making in Computer-Based Scheduling within a Flexible Manufacturing System: An Experimental Study (NN, GS), pp. 257–264.
ASPLOS-1987-GeorgiouPR #implementation: An Experimental Coprocessor for Implementing Persistant Objects on an IBM 4381 (CJG, SLP, PLR), pp. 84–87.
SIGIR-1986-Harman #case study #documentation #ranking: An Experimental Study of Factors Important in Document Ranking (DH), pp. 186–193.
SIGIR-1986-LoseeBY #comparison #database #documentation #modelling #performance #probability #retrieval: Probabilistic Models for Document Retrieval: A Comparison of Performance on Experimental and Synthetic Databases (RML, AB, CTY), pp. 258–264.
CADE-1986-Lim #heuristic: The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
PODS-1985-KentGC #evaluation: An Experimental Evaluation of Crash Recovery Mechanisms (JK, HGM, JC), pp. 113–122.
VLDB-1985-LuC #algorithm #distributed #network: Some Experimental Results on Distributed Join Algorithms in a Local Network (HL, MJC), pp. 292–304.
ICSE-1985-KnightA #evaluation #fault: An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
DAC-1984-KawaiH #fault #simulation: An experimental MOS fault simulation program CSASIM (MK, JPH), pp. 2–9.
DAC-1984-Ross #design #implementation #performance: Efficient implementation of experimental design systems (GDMR), p. 109.
SIGIR-1984-Christodoulakis #development #framework: Framework for the Development of an Experimental Mixed-Mode Message System (SC), pp. 1–20.
SIGMOD-1983-KohlerWS #comparison #database #policy: An Experimental Comparison of Locking Policies in a Testbed Database System (WHK, KCW, JAS), pp. 108–119.
DAC-1982-Szepieniec #assembly #named: SAGA: An Experimental Silicon Assembler (AAS), pp. 365–370.
SCC-1982-BodwinBKLP #compilation #experience #generative #semantics: Experience with an Experimental Compiler Generator Based on Denotational Semantics (JB, LB, KK, DL, UFP), pp. 216–229.
ICSE-1982-Abu-SufahLMY #behaviour #source code: Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.
ICSE-1982-BarstowDSV #automation #programming: An Automatic Programming System to Support an Experimental Science (DRB, RD, SWS, SV), pp. 360–366.
ICSE-1982-Osterweil #development #named #research: Toolpack — An Experimental Software Development Environment Research Project (LJO), pp. 166–177.
ICSE-1981-MoherS #re-engineering: Methods for Improving Controlled Experimentation in Software Engineering (TGM, GMS), pp. 224–234.
LISP-1980-BurstallMS #named: HOPE: An Experimental Applicative Language (RMB, DBM, DS), pp. 136–143.
DAC-1979-IshiiYIS #diagrams #logic: An experimental input system of hand-drawn logic circuit diagram for LSI CAD (MI, MY, MI, HS), pp. 114–120.
SIGIR-1979-Jamieson #implementation #retrieval #scalability #using: The Economic Implementation of Experimental Retrieval Techniques on a Very Large Scale Using an Intelligent Terminal (SHJ), pp. 45–51.
ICSE-1978-GoullonIL #operating system: Dynamic Restructuring in an Experimental Operating System (HG, RI, KPL), pp. 295–304.
DAC-1977-AguleLRS #optimisation: An experimental system for power/timing optimization of LSI chips (BJA, JDL, AER, PKWS), pp. 147–152.
DAC-1976-HananSA: Some experimental results on placement techniques (MH, PKWS, BJA), pp. 214–224.
VLDB-1975-DonovanFGG #information management #virtual machine: An Experimental VM/370 Based Information System (JJD, RF, SGG, LMG), pp. 549–553.
DAC-1974-WilsonS #comparison: An experimental comparison of force directed placement techniques (DCW, RJSI), pp. 194–199.
SOSP-1973-SpierHC #architecture #implementation #kernel: An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.
SOSP-1971-Rodriguez-Rosell #behaviour #how #parametricity: Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.