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

PROJECT PROFILE JOHN G. MAHLER STUDENT CENTER DALLAS BAPTIST UNIVERSITY DALLAS TEXAS Jim Booher of Booher/McGee Architects was commissioned by Dallas Baptist University to design a

Source URL: www.fsiweb.com

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

Analyzing Framing through the Casts of Characters in the News Dallas Card1 Justin H. Gross2 Amber E. Boydstun3 Noah A. Smith4 1 School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA 2 Departme

Source URL: www.amber-boydstun.com

The Media Frames Corpus: Annotations of Frames Across Issues Dallas Card1 Amber E. Boydstun2 Justin H. Gross3 Philip Resnik4 Noah A. Smith1 1 School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213,

Source URL: www.amber-boydstun.com

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