Stem fact$ (all stems)

70 papers:

MSR-2015-HashimotoTMM #effectiveness #fact extraction #optimisation #performance #predict

Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns (MH, MT, TM, KM), pp. 13–23.

CHI-2015-KimKJLKK #named

Factful: Engaging Taxpayers in the Public Discussion of a Government Budget (JK, EYK, JJ, CWL, NWK, JK), pp. 2843–2852.

DUXU-IXD-2015-LageiroLD #evaluation

Evaluation of Users Acceptance of a Digital Medicine Fact Sheet: Findings from a Focus Group (AL, CL, ED), pp. 638–647.

SEKE-2015-XuLZ #bibliography #visualisation

To Enlighten Hidden Facts in The Code: A Review of Software Visualization Metaphors (YX, YL, JZ), pp. 294–297.

VLDB-2014-HassanSWZLYY #automation #monitoring

Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.

VLDB-2014-LiagourisT #identification #knowledge base #owl #performance

Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.

VLDB-2014-WuAL0Y #towards

Toward Computational Fact-Checking (YW, PKA, CL, JY, CY), pp. 589–600.

CSMR-WCRE-2014-DavisHM #fact extraction #migration

Fact extraction from bash in support of script migration (IJD, RCH, RM), pp. 363–366.

CSCW-2014-KripleanBBKG #on-demand

Integrating on-demand fact-checking with public dialogue (TK, CB, AB, BK, BTG), pp. 1188–1199.

CAiSE-2014-HeidingerBBR #framework #named #towards

FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing — Exploratory Paper (CH, KB, EB, KR), pp. 120–135.

SIGIR-2014-ArakiC #ranking #similarity #validation

An annotation similarity model in passage ranking for historical fact validation (JA, JC), pp. 1111–1114.

SIGMOD-2013-GoasdoueKKLMZ #web

Fact checking and analyzing the web (FG, KK, YK, JL, IM, SZ), pp. 997–1000.

CSMR-2013-Bauer #reuse

Facts and Fallacies of Reuse in Practice (VB), pp. 431–434.

KR-2012-TachmazidisAFK #parallel #reasoning #towards

Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).

ICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based

Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.

PPDP-2012-LamC #datalog #linear #logic #modelling

Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.

SCAM-2011-CollardDM #fact extraction #lightweight #semiparsing #tool support

Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.

HIMI-v2-2011-SagaTKTM #analysis #comparison #using

Comparison Analysis for Text Data by Using FACT-Graph (RS, ST, KK, HT, KM), pp. 75–83.

EDOC-2011-Halpin #concept #logic

Fact-Orientation and Conceptual Logic (TAH), pp. 14–19.

ICEIS-J-2011-LezocheAP #concept #information management #model transformation #semantics

Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.

CIKM-2011-KalyanpurPBLC #composition #ranking

Fact-based question decomposition for candidate answer re-ranking (AK, SP, BB, AL, JCC), pp. 2045–2048.

CIKM-2011-WangYQSW #web

Harvesting facts from textual web sources by constrained label propagation (YW, BY, LQ, MS, GW), pp. 837–846.

ESEC-FSE-2011-Rossler #comprehension

Understanding failures through facts (JR), pp. 404–407.

KDIR-2010-AfoninG #semantics #similarity

Calculating Semantic Similarity between Facts (SA, DG), pp. 514–517.

SAC-2010-Bollen #declarative #enterprise #modelling #semantics

Fact-oriented declarative semantic enterprise modeling (PB), pp. 167–168.

ICPC-2009-NilssonLHN #fact extraction #natural language #parsing #source code

Natural language parsing for fact extraction from source code (JN, WL, JH, JN), pp. 223–227.

CHI-2009-HarperMK #social

Facts or friends?: distinguishing informational and conversational questions in social Q&A sites (FMH, DM, JAK), pp. 759–768.

HIMI-II-2009-SagaTT #analysis #mining #named

Loopo: Integrated Text Miner for FACT-Graph-Based Trend Analysis (RS, HT, KT), pp. 192–200.

DAC-2008-YagiRKHTMSDM #question

ESL hand-off: fact or EDA fiction? (HY, WR, TK, EH, HT, MM, GS, ND, GM), pp. 310–312.

WCRE-2008-Blasband

Hard Facts vs Soft Facts (DB), pp. 301–304.

ICEIS-J-2008-IbrahimNM08a #web

“Fact or Fiction?” Imposing Legitimacy for Trustworthy Information on the Web: A Qualitative Inquiry (ENMI, NLMN, SM), pp. 297–306.

SLE-2008-BastenK #fact extraction #named #parametricity #source code

DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.

CIKM-2007-Pasca #lightweight #repository

Lightweight web-based fact repositories for textual question answering (MP), pp. 87–96.

CIKM-2007-RoussinovT #online #semantics #verification

Semantic verification in an online fact seeking environment (DR, OT), pp. 71–78.

KDD-2007-ZhaoB #web

Corroborate and learn facts from the web (SZ, JB), pp. 995–1003.

SIGIR-2007-StepinskiM #classification

A fact/opinion classifier for news articles (AS, VOM), pp. 807–808.

ESEC-FSE-2007-LaTozaGHM #comprehension

Program comprehension as fact finding (TDL, DG, JDH, BAM), pp. 361–370.

ICSM-2006-HouH #c++ #semantics

Source-Level Linkage: Adding Semantic Information to C++ Fact-bases (DH, HJH), pp. 448–457.

WCRE-2006-MoiseW #fact extraction #perl

Extracting Facts from Perl Code (DLM, KW), pp. 243–252.

WCRE-2006-XingS #detection #query #refactoring

Refactoring Detection based on UMLDiff Change-Facts Queries (ZX, ES), pp. 263–274.

CHI-2006-AhnKB #game studies #named

Verbosity: a game for collecting common-sense facts (LvA, MK, MB), pp. 75–78.

SIGIR-2006-OtterbacherR #detection

Fact-focused novelty detection: a feasibility study (JO, DRR), pp. 687–688.

CIKM-2005-RoussinovFN #semantics #verification

Semantic verification for fact seeking engines (DR, WF, FADN), pp. 323–324.

ICSM-2004-FerencBG #fact extraction

Fact Extraction and Code Auditing with Columbus and SourceAudit (RF, ÁB, TG), p. 513.

ICSM-2004-FerencSG #fact extraction #open source

Extracting Facts from Open Source Software (RF, IS, TG), pp. 60–69.

ICEIS-v2-2004-KooptiwootS04a #idea #mining #set #using

Mining the Relationships in the Form of Predisposing Factor and Coincident Factor in Time Series Data Set by Using the Combination of some Existing Ideas with a new Idea from the Fact in the Chemical Reaction (SK, MAS), pp. 531–534.

ATEM-2003-KnodelC04 #delphi #fact extraction #metamodelling #source code

A Meta-Model for Fact Extraction from Delphi Source Code (JK, GCM), pp. 19–28.

ATEM-2003-LinH04 #fact extraction #formal method

Formalizing Fact Extraction (YL, RCH), pp. 93–102.

IWPC-2003-CollardKM #c++ #lightweight #xml

An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.

WCRE-2003-KnodelP #fact extraction

Improving Fact Extraction of Framework-Based Software Systems (JK, MP), pp. 186–195.

WCRE-2003-LinHM

Completeness of a Fact Extractor (YL, RCH, AJM), pp. 196–205.

VLDB-2002-KarayannidisTSPMRFEB #clustering #query

Processing Star Queries on Hierarchically-Clustered Fact Tables (NK, AT, TKS, RP, VM, FR, RF, KE, RB), pp. 730–741.

ITiCSE-2002-StewartKM #authoring #named

MediaMime: after-the-fact authoring annotation system for an e-learning environment (AS, PK, MM), p. 243.

CIKM-2002-KellyYBMC #documentation

Features of documents relevant to task- and fact-oriented questions (DK, XJY, NJB, VM, WBC), pp. 645–647.

SIGMOD-2000-ChenDLT #learning #named #query #web

Fact: A Learning Based Web Query Processing System (SC, YD, HL, ZT), p. 587.

CIKM-1999-NoamanB #algorithm #distributed

A Horizontal Fragmentation Algorithm for the Fact Relation in a Distributed Data Warehouse (AYN, KB), pp. 154–161.

DAC-1998-LakshminarayanaJ #behaviour #control flow #framework #named #optimisation #throughput

FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions (GL, NKJ), pp. 102–107.

CC-1998-BrouwerGP #analysis #automaton #finite #implementation #performance

Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis (KB, WG, EP), pp. 1–15.

TRI-Ada-1994-HollowayVGS #formal method

Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.

KDD-1994-ImamM #bibliography

From Facts to Rules to Decisions: An Overview of the FRD-1 System (IFI, RSM), pp. 229–236.

ICSE-1994-Basili #reuse

Facts and Myths Affecting Software Reuse (VRB), p. 269.

ICSE-1994-Wasmund #reuse

Reuse Facts and Myths (MW), p. 273.

ICSE-1994-Wentzel #reuse

Software Reuse — Facts and Myths (KDW), pp. 267–268.

TOOLS-EUROPE-1993-CoulangeR #object-oriented #statistics

Object-Oriented Techniques at Work: Facts and Statistics (BC, AR), pp. 89–94.

SIGIR-1992-Fuhr #integration #probability #retrieval

Integration of Probabilistic Fact and Text Retrieval (NF), pp. 211–222.

ML-1991-GickM

The Importance of Causal Structure and Facts in Evaluating Explanations (MG, SM), pp. 51–54.

SIGIR-1991-JarvelinN #database #deduction #integration #retrieval

Advanced Retrieval From Heterogeneous Fact Databases: Integration of Data Retrieval, Conversion, Aggregation and Deductive Techniques (KJ, TN), pp. 173–182.

TAV-1989-Offutt

The Coupling Effect: Fact or Fiction (AJO), pp. 131–140.

VLDB-1988-Lozinskii #deduction

Computing Facts in Non-Horn Deductive Systems (ELL), pp. 273–279.

SIGIR-1980-McGregorM #database

The Fact Database: A System Based on Inferential Methods (DRM, JRM), pp. 203–217.