A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

X-Force: Force-Executing Binary Programs for Security Applications Fei Peng, Zhui Deng, Xiangyu Zhang, and Dongyan Xu, Purdue University; Zhiqiang Lin, The University of Texas at Dallas; Zhendong Su, University of Califo

Source URL: web.cse.ohio-state.edu

Low Cost Instruction Cache Designs for Tag Comparison Elimination Youtao Zhang Jun Yang Computer Science Department Computer Science and Engineering Department University of Texas at Dallas

Source URL: people.cs.pitt.edu

You Shouldn’t Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps Jin Chen and Haibo Chen, Shanghai Jiao Tong University; Erick Bauman and Zhiqiang Lin, The University of Texas at Dallas; Binyu

Source URL: web.cse.ohio-state.edu

The University of Texas at Dallas Police Department UT Dallas Police Department will be offering their written exam for Police Officers (Lateral with TCOLE license) and Cadets (Academy graduates with TCOLE license) on Mo

Source URL: www.tmpa.org

Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI

Source URL: cliplab.org

SinoCoreferencer: An End-to-End Chinese Event Coreference Resolver Chen Chen and Vincent Ng Human Language Technology Research Institute University of Texas at Dallas Richardson, TX {yzcchen,vince}@hlt.utdalla

Source URL: www.lrec-conf.org

Susan Owens Since completing her masters degree at the University of Texas in Dallas, Mrs. Owens has lectured widely in the U.S, including the Center for Disease Control and the National Institute of Health in Bethesda.

Source URL: www.drneubrander.com

Annotating Inter-Sentence Temporal Relations in Clinical Notes Jennifer D’Souza, Vincent Ng Human Language Technology Research Institute University of Texas at Dallas Richardson, TX {jld082000,vince}@hlt.utd

Source URL: www.lrec-conf.org

RESEARCH ARTICLE COMPETITIVE BUNDLING IN INFORMATION MARKETS: A SELLER-SIDE ANALYSIS Srinivasan Raghunathan and Sumit Sarkar Naveen Jindal School of Management, The University of Texas at Dallas,

Source URL: www.misq.org