'Computer science national university' presentation slideshows

Searching and Data Sharing in P2P Systems

662 views • 58 slides

Algorithms for Community Detection in Large Networks (And guidelines on CS3230R)

Algorithms for Community Detection in Large Networks (And guidelines on CS3230R). Leong Hon Wai ( ??? ) Department of Computer Science National University of Singapore leonghw@comp.nus.edu.sg http:// www.comp.nus.edu.sg/~leonghw / . CS3230R Talk: 13 Feb 2014. For CS3230R.

587 views • 45 slides

Automatically Evaluating Text Coherence Using Discourse Relations

Automatically Evaluating Text Coherence Using Discourse Relations. Ziheng Lin , Hwee Tou Ng and Min-Yen Kan Department of Computer Science National University of Singapore. Introduction. Textual coherence ? discourse structure Canonical orderings of relations:

526 views • 36 slides

Designing Valid XML Views

Designing Valid XML Views. Ya Bing Chen, Tok Wang Ling, Mong Li Lee Department of Computer Science National University of Singapore. Outline. Introduction. ORA-SS data model. Designing Valid XML Views. Comparison with Related Work. Conclusion & Future Work. Introduction. Introduction.

450 views • 35 slides

Active Learning for Probabilistic Models

Active Learning for Probabilistic Models. Lee Wee Sun Department of Computer Science National University of Singapore leews@comp.nus.edu.sg. Probabilistic Models in Networked Environments. Probabilistic graphical models are powerful tools in networked environments

525 views • 33 slides

Towards a verified cardiac pacemaker

Towards a verified cardiac pacemaker . Asankhaya Sharma Department of Computer Science National University of Singapore. Introduction. Pacemaker Medical device which uses electrical impulses to fix abnormal heart Pacemaker Formal Methods Challenge

485 views • 29 slides

Communication Complexity

Communication Complexity. Rahul Jain Centre for Quantum Technologies and Department of Computer Science National University of Singapore. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A A A A A A A A A A A. Communication Protocols.

511 views • 29 slides

Towards a verified cardiac pacemaker

Towards a verified cardiac pacemaker . Asankhaya Sharma Department of Computer Science National University of Singapore. Introduction. Pacemaker Medical device which uses electrical impulses to fix abnormal heart Pacemaker Formal Methods Challenge

470 views • 29 slides

WoSS&N

586 views • 28 slides

Minimizing Counterexample with Refutation Analysis and Incremental SAT

Minimizing Counterexample with Refutation Analysis and Incremental SAT. Shengyu Shen School of Computer Science National University of Defence Technology. Outline. Motivation Brute Force Lifting algorithm Refutation Analysis Experiment Result Conclusion. Motivation.

252 views • 16 slides

Wei Dong (wdong@nudt.edu.cn ) Professor, Department of Computer Science

A. e. 1. B. C. e. 2. D. E. e. 3. Property Oriented Verification, Testing and Monitoring of Safety Critical Software. Wei Dong (wdong@nudt.edu.cn ) Professor, Department of Computer Science National University of Defense Technology, China. Runtime Verification and Active Monitoring.

180 views • 1 slides