×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [set of predicates p]
Efficient SAT-based Techniques for Predicate Abstraction Efficient SAT-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work with Thomas
215 views
Download It
272 views
Efficient SAT/BDD-based Techniques for Predicate Abstraction Efficient SAT/BDD-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work
223 views
Mining Spatial Data Irena Yasnitsky Xing Xiong. Agenda §What is Spatial data §What makes spatial data mining different §Discovery of Spatial Association
232 views