Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

SMT Update
SMT Update
by yoshiko-marsland
To AMWG. MARCH 2015. 2. Monthly SMT Data Timeline...
SMT Update
SMT Update
by trish-goza
To AMWG. June 16. , 2015. Status Update of AMWG C...
Unbounded Data Model Verification Using SMT Solvers
Unbounded Data Model Verification Using SMT Solvers
by caitlin
Jaideep. . Nijjar. . Tevfik Bultan. University o...
Ankit Srivastava , Felix Sasaki, Peter
Ankit Srivastava , Felix Sasaki, Peter
by ellena-manuel
Bourgonje. , . Julian . Moreno-Schneider, Jan Neh...
SMT Critical Situation Update
SMT Critical Situation Update
by liane-varnes
Saturday March 21, 2015 – Sunday April 05, 2015...
SYNTAX-TO-MORPHOLOGY Mapping
SYNTAX-TO-MORPHOLOGY Mapping
by trish-goza
IN FACTORED PHRASE-BASED . STATISTICAL MACHINE TR...
Status Update of AMWG Change
Status Update of AMWG Change
by ellena-manuel
Requests. As of February 15, 2016. Status of AMWG...
An Integrated Data Model Verifier with Property Templates
An Integrated Data Model Verifier with Property Templates
by test
Jaideep. . Nijjar. Ivan . Bocic. . T...
Achieving Domain Specificity in SMT without Over
Achieving Domain Specificity in SMT without Over
by reagan
Siloing. William Lewis, Chris Wendt, David Bullock...
Data Driven Response Generation in Social Media
Data Driven Response Generation in Social Media
by yoshiko-marsland
Alan Ritter. Colin Cherry. Bill Dolan. Task: Resp...
Using SMT solvers for program analysis
Using SMT solvers for program analysis
by stefany-barnette
Shaz Qadeer. Research in Software Engineering. Mi...
Back to the Future:
Back to the Future:
by phoebe-click
Revisiting Precise Program Verification Using SMT...
Linear Functional Fixed-Points
Linear Functional Fixed-Points
by olivia-moreira
Nikolaj Bjørner Joe Hendrix. Microsoft Res...
Dongyoon Lee † , Mahmoud
Dongyoon Lee † , Mahmoud
by luanne-stotts
Said*, . Satish. . Narayanasamy. †. , . Ziji...
SMT based predictable analysis of systems code
SMT based predictable analysis of systems code
by conchita-marotz
Shuvendu Lahiri. Microsoft Research, Redmond. Joi...
Query Rewriting Using Monolingual Statistical Machine Trans
Query Rewriting Using Monolingual Statistical Machine Trans
by tatyana-admore
Stefan . Riezler. Yi Liu. Google. 2010 Associatio...