HLT

Results: 215



#Item
151Propositional calculus / Theoretical computer science / Boolean algebra / Artificial intelligence / Markov logic network / Propositional variable / Resolution / Boolean satisfiability problem / First-order logic / Logic / Mathematical logic / Mathematics

Lifted MAP Inference for Markov Logic Networks Somdeb Sarkhel, Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-02-25 21:05:55
152Model theory / Predicate logic / Propositional calculus / Theoretical computer science / First-order logic / Markov logic network / Interpretation / Function / Atomic formula / Logic / Mathematical logic / Mathematics

New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-10-31 21:58:08
153Applied mathematics / Artificial intelligence / Predicate logic / Mathematical logic / Graphical models / Markov logic network / First-order logic / Algorithm / Atomic formula / Mathematics / Theoretical computer science / Logic

An Integer Polynomial Programming Based Framework for Lifted MAP Inference Somdeb Sarkhel, Deepak Venugopal Computer Science Department The University of Texas at Dallas {sxs104721,dxv021000}@utdallas.edu

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-10-31 21:57:33
154Knowledge / Computational linguistics / Speech recognition / Reasoning / Arguments / N-gram / Support vector machine / Inference / Markov logic network / Logic / Science / Logical consequence

Relieving the Computational Bottleneck: Joint Inference for Event Extraction with High-Dimensional Features Deepak Venugopal and Chen Chen and Vibhav Gogate and Vincent Ng Department of Computer Science and Human Languag

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-08-27 12:24:20
155Monte Carlo methods / Data analysis / Artificial intelligence / Markov logic network / Gibbs sampling / Importance sampling / Bayesian inference / Sampling / First-order logic / Statistics / Statistical inference / Bayesian statistics

Scaling-up Importance Sampling for Markov Logic Networks Vibhav Gogate Department of Computer Science University of Texas at Dallas

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-10-31 21:56:53
156Bayesian statistics / Artificial intelligence / Model theory / Graphical models / Markov logic network / First-order logic / Gibbs sampling / Constructible universe / Bayesian network / Mathematics / Theoretical computer science / Applied mathematics

Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs Deepak Venugopal Department of Computer Science The University of Texas at Dallas

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-12-01 04:03:20
157Probability theory / Networks / Statistical models / Probability and statistics / Mathematics / Markov random field / Belief propagation / Bayesian network / Graphical models / Statistics / Bayesian statistics

Loopy Belief Propagation in the Presence of Determinism David Smith The University of Texas at Dallas Richardson, TX, 75080, USA

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-02-25 21:05:54
158Graph theory / Networks / Bayesian statistics / Statistical models / Probability theory / Bayesian network / Chow-Liu tree / Spanning tree / Markov random field / Statistics / Graphical models / Mathematics

Cutset Networks: A Simple, Tractable, and Scalable Approach for Improving the Accuracy of Chow-Liu Trees Tahrima Rahman, Prasanna Kothalkar, and Vibhav Gogate Computer Science Department The University of Texas at Dallas

Add to Reading List

Source URL: www.hlt.utdallas.edu

Language: English - Date: 2014-06-28 05:36:53
159

) MrNrsrERur ilNERETULUT 9r spoRTULUt -hlT s ,-t

Add to Reading List

Source URL: www.ub.ro

Language: Romanian - Date: 2013-06-18 01:32:56
    160SNOMED CT / Relevance / Unified Medical Language System / Text Retrieval Conference / Document retrieval / Query expansion / Semantic network / Systematized Nomenclature of Medicine / Information science / Information retrieval / Science

    UTD at TREC 2014: Query Expansion for Clinical Decision Support Travis Goodwin and Sanda M. Harabagiu Human Language Technology Research Institute University of Texas at Dallas Richardson TX, 75080 {travis,sanda}@hlt.utd

    Add to Reading List

    Source URL: trec.nist.gov

    Language: English - Date: 2015-02-09 16:44:38
    UPDATE