<--- Back to Details
First PageDocument Content
Bukit Timah / Nanyang Academy of Fine Arts / Temasek Polytechnic / Nanyang Technological University / Ngee Ann Polytechnic / Crowbar Awards / Media Design School / Institute of technology / Index of Singapore-related articles / Education / Geography of Singapore / Nanyang Polytechnic
Date: 2012-06-03 13:28:36
Bukit Timah
Nanyang Academy of Fine Arts
Temasek Polytechnic
Nanyang Technological University
Ngee Ann Polytechnic
Crowbar Awards
Media Design School
Institute of technology
Index of Singapore-related articles
Education
Geography of Singapore
Nanyang Polytechnic

Add to Reading List

Source URL: www.4as.org.sg

Download Document from Source Website

File Size: 132,32 KB

Share Document on Facebook

Similar Documents

Machine learning / Semi-supervised learning / Labeled data / Supervised learning

Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m

DocID: 1xVKT - View Document

Model checkers / Software engineering / Theoretical computer science / Formal methods / C / C++ / Sizeof / Model checking / Promela / Abstraction / Computing / Abstract interpretation

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

DocID: 1xVIA - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

Bharat Broadband Network / Spreadsheet / Wi-Fi / Application programming interface / Global Positioning System / Microsoft Excel / Computing / Technology / Software

BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3

DocID: 1xVoC - View Document

Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

DocID: 1xVnS - View Document