×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [logical formulas]
Issues in Computational Linguistics: Semantics Dick Crouch & Tracy King
223 views
Querying Business Processes Under Models of Uncertainty Daniel Deutch, Tova Milo Tel-Aviv University ERP HR System eComm CRM Logistics Customer Bank Supplier
216 views
Formal Issues in Natural Language Generation
42 views
A short introduction to Natural Language Generation
30 views
Mining Specifications of Malicious Behavior Mihai Christodorescu (work done at University of Wisconsin) Somesh Jha University of Wisconsin Christopher
221 views
A Logic of Secure Systems with Tunable Adversary Models
35 views
A Logic of Secure Systems and its Application to Trusted Computing
24 views
Software Model Checking: Where It Is, and Where It’s Headed
44 views
Integrated Querying Across Disparate Data Sources José Luis Ambite & Gully APC Burns Information Sciences Institute University of Southern California
217 views
Mining Specifications of Malicious Behavior
25 views
A Logic of Secure Systems with Tunable Adversary Models
23 views
< Prev