×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [extracted model]
Zing: Exploiting Program Structure for Model Checking Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research Yichen
218 views
BenJemaa2004
215 views
Wide-Band Spice Model of the High-Speed and High-Voltage Transformers for the CCD220 Jorge Romero University of Málaga () Javier Reyes
234 views
Bootstrapping an Ontology-based Information Extraction System Alexander Maedche, Günter Neumann, Steffen Staab (presented by D. Lonsdale) CS 652 – June
221 views