NUS Home | myEmail | Search:
Back to NUS homepageDepartment of Computer Science (School of Computing)

CS Seminars

Our seminars are open to the public, and usually held in the School's Seminar Room, Building S16, 3rd Level, Lower Kent Ridge Road. For more information, please click on the seminar title.

Calendar of CS Seminars

November 30, 2009
11.00am - 12.30pm

Desert Science - Ongoing research projects at Carnegie Mellon's Qatar Campus
Majd F. Sakr, Ph.D.
Associate Teaching Professor Computer Science Department Carnegie Mellon University Quatar

November 25, 2009
2.00pm - 3.30pm

The Inevitable Pain of Software Development: Why There Is No Silver Bullet
Daniel M. Berry
Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada

November 24, 2009
3.00pm - 4.30pm

Ambiguity in Natural Language Requirements Documents
Daniel M. Berry
Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada

November 12, 2009
1.30pm - 2.30pm

Statistical Models for Web Search Clicks Log Analysis
Fan Guo
Ph.D. student in Computer Science Department Carnegie Mellon University

November 9, 2009
3.30pm - 5.00pm

Overcoming the challenges of today's chaotic wireless data networks
Dr Kyle Jamieson
Lecturer of Networks Department of Computer Science University College London

November 9, 2009
2.00pm - 3.30pm

Queueing theory and Internet congestion control
Dr Damon Wischik
Research Fellow Royal Society university Department of Computer Science University College London

November 9, 2009
10.30am - 12.00pm

Wedge: Splitting Complex, Monolithic Applications into  Reduced-Privilege Compartments
Dr Brad Karp
Reader in Computer Systems and Networks Department of Computer Science University College London

September 26, 2009
12.00pm - 1.30pm

The Art of Solving Minimal Problems
Dr. Tomas Pajdla
Assistant Professor Czech Technical University Prague

September 24, 2009
3.00pm - 4.30pm

"The PARSEC Benchmark Suite: From Trends in Computing to Scientific Insight"
Christian Bienia
a PhD Candidate at Princeton University

September 24, 2009
10.00am - 12.00pm

1) Comprehensive Query-Dependent Fusion using Regression-on - Folksonomies: A Case Study of Multimodal Music Search 2) SaVE: Sensor-assisted Motion Estimation for Efficient  H264/AVC Video Encoding
1) Zhang Bingjun 2) Zhao Zhendong
1) currently a Ph.D. candidate, CS NUS School of Computing 2) currently a Ph.D. candidate, CS NUS School of Computing

September 22, 2009
3.00pm - 4.30pm

"Challenges and Opportunities of Parallelization: Lessons Learnt from the Development of PARSEC"
Christian Bienia
PhD Candidate at Princeton University

September 15, 2009
2.00pm - 3.00pm

Regulatory networks and connected components of the  neutral space
Gunnar Boldhaus, Universitat Leipzig

September 9, 2009
2.00pm - 3.30pm

Mobile Technologies for a Smarter Planet
Dr. Gopal S Pingali (IBM T.J. Watson Lab)

September 8, 2009
11.00am - 12.00pm

Towards Large-Scale Content-Aware Multimedia Search
Dr Hua Xian-Sheng, China
Lead Researcher, Microsoft Research Asia

August 31, 2009
11.00am - 12.30pm

Unconstrained Tiled Multi-Projector Displays
Aditi Majumder, USA
Professor, University of California at Irvine

August 28, 2009
4.00pm - 6.00pm

Linear ordering of Objects Using Graph 1-Factor
Gopi Meenakshisundaram (M. Gopi), USA
Associate Professor, University of California at Irvine

August 28, 2009
2.00pm - 3.30pm

QIP = PSPACE
Assistant Prof Rahul Jain, NUS
School of Computing & Centre for Quantum Technologies

August 20, 2009
3.00pm - 4.30pm

Next Generation Warning and Notification Systems
Prof Nalini Venkatasubramanian, USA
University of California at Irvine

August 17, 2009
3.00pm - 4.30pm

Topological Approaches to Tree (Re-)Construction
Dr. Andreas Dress, China
Director Department of Combinatorics and Geometry (DCG) CAS-MPG Partner Institute and Key Lab for Computational Biology (PICB) Shanghai Institutes for Biological Sciences (SIBS) Chinese Academy of Sciences (CAS)

August 13, 2009
2.00pm - 4.00pm

1) Fair Model Checking of Parameterized Systems 2) Model Checking Linearizability via Refinement
1) Sun Jun 2) Liu Yang
1) Lee Kuan Yew Postdoctoral Fellow, CS Dept 2) PhD, CS Dept

August 12, 2009
2.00pm - 4.00pm

Combining Inference and Search in Verification with CafeOBJ
Professor FUTATSUGI Kokichi, Japan
JAIST (Japan Advanced Institute of Science and Technology)

August 12, 2009
10.00am - 11.00am

Optimizing embedded software for timing-predictability and memory-awareness
Prof. Peter Marwedel
TU Dortmund + ICD Dortmund Germany

July 30, 2009
2.00pm - 3.30pm

Towards overcoming the Quality Curse in Data Management
Professor Sharad Mehrotra, USA
University of California, Irvine

July 28, 2009
2.00pm - 3.30pm

Mathematical Modeling of Incentive Policies in P2P Systems
Professor John Lui
Chairman Department of Computer Science & Engineering The Chinese University of Hong Kong.

July 28, 2009
1.30pm - 2.30pm

Fast Translation Rule Matching for Syntax-based Statistical Machine Translation
Zhang Hui, NUS School of Computing
Research Assistant CHIME Lab

July 21, 2009
1.30pm - 3.00pm

1) Domain adaptive bootstrapping for named entity recognition 2) A re-examination of lexical association measures
1) Wu Dan 2) Hoang Huu Hung
1) PhD candidate Singapore-MIT Alliance, NUS 2) Hoang Huu Hung former HYP student of SoC

July 16, 2009
2.00pm - 3.30pm

The Future of Business Intelligence (BI)
Dr Wee Hyong Tok, Microsoft Shanghai
Program Manager, Microsoft SQL Server China Research and Development group

July 14, 2009
1.30pm - 3.00pm

1) Recognizing Implicit Discourse Relations in the Penn Discourse   Treebank 2) Domain adaptive bootstrapping for named entity  recognition
1) Lin Ziheng 2)Wu Dan
1) PhD student, SoC 2) PhD candidate, Singapore-MIT Alliance of NUS

July 9, 2009
2.00pm - 3.30pm

Cache Compression for Post-silicon Processor Debug
Prof. Preeti Ranjan Panda
Associate Professor Dept. of Computer Science and Engineering IIT Delhi

July 7, 2009
2.00pm - 5.00pm

SIGIR/IJCAI/EMNLP Practice Talks
1) Zhong Zhi, SoC 2) Na Seung-Hoon, SoC 3) Daniel Dahlmier, SoC 4) Lu Wei, SoC 5) Preslav Nakov, SoC
1) is currently a Ph.D. candidate in SoC 2) is a Research Fellow in SoC 3) Daniel Dahlmier 4) is currently a final year PhD student from the Singapore-MIT Alliance (Computer Science Program), NUS 5) Research Fellow, NUS

June 30, 2009
1.30pm - 3.00pm

Talk #1: A Syntactic Tree Matching Approach to Finding Similar Questions in Community-based QA Services Talk #2: Summarizing Definition from Wikipedia
1) Wang Kai 2) Ye Shiren
1) Ph.D. candidate in NUS, SoC supervised by Prof. Chua Tat Seng 2) senior research fellow, NUS, SoC

June 26, 2009
2.00pm - 3.30pm

Market-Oriented Cloud Computing: A Vision, Hype, and Reality of Delivering Computing as the 5th Utility
Dr. Rajkumar Buyya, Australia
Associate Professor and Reader of Computer Science and Software Engineering; Director of the Grid Computing and Distributed Systems (GRIDS) Laboratory at the University of Melbourne, Australia; CEO, Manjrasoft Pty Ltd

June 22, 2009
2.00pm - 3.30pm

Sparse-Banded Matrices and their Applications in the Modeling and Analysis of Nano-scale Devices and Interconnects
Associate Professor Cheng-kok Koh, USA
School of Electrical and Computer Engineering Purdue University West Lafayette , IN , U.S.A.

June 22, 2009
2.00pm - 3.00pm

CompositeMap: A Novel Framework for Music Similarity Measure
Zhang Bingjun, SoC
Ph.D. candidate Department of Computer Science NUS, School of Computing

June 22, 2009
10.30am - 11.30am

Computing with Uncertainty
Prof. Tomas Lozano-Perez, MIT
Research Director Computer Science and Artificial Intelligence Laboratory MIT

June 19, 2009
10.30am - 11.30am

U-Healthcare trend in Europe and old-age health and wellness management
Mounir Mokhtari
Associate Professor, Institut TELECOM, France Research Scientist, IPAL UML CNRS Singapore

June 17, 2009
1.00pm - 2.00pm

To Colour the Virtual World
Monica Billger, PhD
Associate Professor, Department of Architecture at Chalmers University of Technology, Gvteborg, Sweden

June 16, 2009
1.00pm - 3.00pm

ACL-IJCNLP/NLPIR4DL Practice Talks
1) Hong Ching Hoi Andy 2) Zhang Hui 3) Sun Jun
NUS, School of Computing

June 12, 2009
2.00pm - 3.00pm

Opportunities for data mining and semantic technology in the improvement of biomedical research processes
Assoc. Professor Ricardo Pietrobon, Duke University

June 10, 2009
10.30am - 12.00pm

How We Think of Computing Today
Prof Jiri Wiedermann, Academy of Sciences of the Czech Republic
Institute of Computer Science

June 9, 2009
10.30am - 12.00pm

Splendor and Misery of Non-standard Computing Systems
Prof Jiri Wiedermann, Academy of Sciences of the Czech Republic
Institute of Computer Science

June 3, 2009
10.30am - 12.00pm

Medical Image Reconstruction and Registration using Graphics Processing Units
A/Prof. Thomas Sangild Sorensen, Aarhus University, Denmark
Department of Computer Science, Faculty of Science Institute of Clinical Medicient, Faculty of Health Science Aarhus University, Denmark

May 29, 2009
10.30am - 11.30am

Recursion Schemes, Type Inference and Model-Checking Functional Programs
Professor Luke Ong
Computing Laboratory University of Oxford

May 20, 2009
2.00pm - 3.30pm

MobTorrent: A Framework for Mobile Internet Access from Vehicles
Asst Prof Chan Mun Choon, SoC
Computer Science NUS School of Computer

May 13, 2009
10.00am - 11.30am

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall, University of Copenhagen
Associate Professor DIKU, University of Copenhagen

May 8, 2009
2.00pm - 4.00pm

Mining Data Streams
Prof Philip S. Yu, Visiting Professor, SoC
Fellow of the ACM and of the IEEE.

May 6, 2009
3.00pm - 4.00pm

Massively Multiuser Virtual Environments and Online Games:   Networking and System Support
Shervin Shirmohammadi, University of Ottawa
Associate Professor School of Information Technology and Engineering University of Ottawa, Canada

May 6, 2009
3.00pm - 4.30pm

High-Level Abstraction for Network Programming
Stephane Grumbach (INRIA, France)
Director of LIAMA Sino-French IT Lab in Beijing

May 5, 2009
10.00am - 11.00am

Context and Learning in Multilingual Tone and Pitch Accent Recognition
Gina-Anne Levow, University of Manchester
Research Fellow National Centre for Text Mining School of Computer Science University of Manchester.

April 30, 2009
2.00pm - 3.00pm

Facebook i18n & Translation
David Ellis, Facebook
Computational Linguist/Software Engineer (International) at Facebook

April 28, 2009
11.00am - 12.30pm

Task-based Image and Video Compression - from "what you see is what you get" to "do you get what you see?"
Sheila S. Hemami, Cornell University

April 24, 2009
2.00pm - 3.00pm

Progress in Spoken Language Translation at CASIA
Prof Zong Chengqing, Chinese Academy of Sciences, China
Institute of Automation Chinese Academy of Sciences China

April 24, 2009
2.00pm - 3.00pm

Approximate linear programming for solving hybrid factored MDPs
Dr. Milos Hauskrecht, University of Pittsburgh
Associate Professor in the Computer Science Department, at the University of Pittsburgh.

April 13, 2009
2.00pm - 3.00pm

Disambiguation in Web Search Results and Japanese Corpus
Dr Kazunari Sugiyama, NUS SoC
Research Fellow School of Computing National University of Singapore

April 3, 2009
11.00am - 12.30pm

Shaping Cells and Tissues by Force and Rigidity
Prof. Michael P. Sheetz, NUS
Director of RCE in Mechanobiology Distinguished Visiting Professor Department of Biological Sciences

April 2, 2009
2.00pm - 3.00pm

The Fisher-Rao metric and its applications in computer vision
Professor Steve Maybank
Birkbeck College, University of London

March 31, 2009
2.00pm - 3.30pm

Tracing the evolution of protein interaction networks:  Phylogeny-guided interaction mapping in seven eukaryotes
Prof Jerzy Tiuryn, University of Warsaw
Prof and Vice Dean Faculty of Mathematics, Informatics and Mechanics University of Warsaw

March 19, 2009
3.00pm - 4.30pm

Inhabitation of Polymorphic and Existential Types
Professor Makoto Tatsuta, National Institute of Informatics, Japan

March 12, 2009
2.00pm - 3.30pm

CDMA-Based Fingerprinting Technique
Professor Minoru Kuribayashi, Kobe University, Kobe, Japan

March 12, 2009
11.00am - 12.00pm

Computer and Software Engineering Department, and DSPLabs, at the "Politehnica" University of Timisoara, Romania - General Presentation, Main R&D Interests and Topics of Collaboration
Professor Mihai V. MICEA
Associate Professor Coordinator of the DSPLabs

March 4, 2009
2.00pm - 3.30pm

"Double water exclusion": A hypothesis refining the O-ring theory for hot spots at protein interfaces
A/Prof Jinyan Li, Nanyang Technological University
Associate Professor at School of Computer Engineering Nanyang Technological University

March 3, 2009
10.30am - 11.30am

Bridging the Web Accessibility Divide
Professor I.V. Ramakrishnan
Professor of Computer Science State University of New York (SUNY) in Stony Brook

February 26, 2009
2.30pm - 3.30pm

The CoSy Compiler Development System
Marco Roodzant
VP Marketing & Sales ACE, Amsterdam, The Netherlands

February 25, 2009
2.00pm - 3.30pm

K-Sketch: A "Kinetic" Sketch Pad for Novice Animators
Assistant Professor Richard Davis, Singapore Management University
Information Systems at Singapore Management University

February 16, 2009
5.00pm - 6.00pm

Petabyte Computing in the Open Source World
Rod Smith
IBM fellow and Vice President of the IBM Emerging Internet Technologies

February 16, 2009
3.00pm - 4.00pm

Preference Aggregration: Information Technology Applications, Algorithms and Measurement Theoretics Aspects
Professor Sergey V Muravyov
D.Sc., Prof., Head of Department of Computer-aided Measurement Systems and Metrology Tomsk Polytechnic University, Tomsk, Russia

February 13, 2009
2.00pm - 3.00pm

From Database to Complete Data Platform - 2009 Update
Mr Prakash Sundaresan
Product Unit Manager SQL Server China R&D

February 11, 2009
10.30am - 11.30am

Managing Compliance Data: Addressing the Insider Threat Exemplified by Enron
Professor Marianne Winslett, UIUC

February 10, 2009
3.00pm - 4.00pm

News from the RNA World
Professor Peter F. Stadler. University of Leipzig
Germany

January 22, 2009
3.00pm - 5.00pm

Vision-Simulated Imaging
Prof. Brian A. Barsky, UC Berkeley
Computer Science Division and School of Optometry

January 21, 2009
2.00pm - 3.00pm

From Magic Cards to earPod -- HCI research beyond the desktop world
Dr Zhao Shengdong, NUS School Computing
Assistant Professor Department of Computing Science

January 16, 2009
2.00pm - 3.00pm

How Can Location-based Services Make Money like Google?
David Yin Yang, PhD Student in Hong Kong University of Science and Technology

January 15, 2009
4.00pm - 5.00pm

Getting OpenMP Up To Speed
Ruud van der Pas, Sun Microsystems
Senior Staff Engineer Technical Developer Tools

January 14, 2009
11.00am - 12.00pm

Transient thermal simulation for multi-core processors
Associate Professor Zhu Yongxin, Shanghai Jiaotong University
School of Microelectronics

January 9, 2009
3.15pm - 4.15pm

Data-Intensive Cloud Computing: Taking Google-Style Computing Beyond Web Search
Professor Randal E. Bryant, Carnegie Mellon University
School of Computer Science

December 18, 2008
10.30am - 11.30am

Computing Discrete Laplace Operator: From Point Clouds to Meshes and Back to Point Clouds
Assistant Professor Yusu Wang, The Ohio State University
Department of Computer Science and Engineering The Ohio State University

December 17, 2008
10.30am - 11.30am

BitBlaze: a New Approach to Computer Security via Binary Analysis
Assistant Professor Dawn Song, University of California, Berkeley
Department of Computer Science University of California, Berkeley

December 10, 2008
10.00am - 12.00pm

From Tensor Voting to Interactive Computer Vision
Associate Prof. Chi-Keung Tang, HKUST
Department of Computer Science The Hong Kong University of Science and Technology (HKUST)

December 9, 2008
2.00pm - 3.00pm

On overview of music information retrieval (MIR) research at Waikato University
Associate Professor Sally Jo Cunningham, Waikota University
Computer Science Waikato University Hamilton, New Zealand

November 27, 2008
2.00pm - 3.30pm

Analysis of ChIP-seq and high throughput SAGE data
Associate Prof Xiaole Shirley Liu, Harvard School of Public Health
Department of Biostatistics and Computational Biology Dana-Farber Cancer Institute Harvard School of Public Health 44 Binney Street, LW641 Boston, MA 02115. Tel: (617) 632-2472 Fax: (617) 632-2444 Email: xsliu@jimmy.harvard.edu Web: http://liulab.dfci.harvard.edu/

November 21, 2008
2.00pm - 3.00pm

On Cardiac Signal analysis
Professor Bidyut Baran Chaudhuri, Indian Statistical Institute, Kolkata

November 20, 2008
2.00pm - 3.00pm

Digital Geometry based Hough Transform (DGHT) and its applications to Document processing
Professor Bidyut Baran Chaudhuri, Indian Statistical Institute, Kolkata

November 19, 2008
11.00am - 12.00pm

Cryptographic Hashing at Crossroads
Professor Josef Pieprzyk, Macquarie University

November 18, 2008
2.00pm - 3.00pm

Hierarchical POMDP Controller Optimization by Likelihood Maximization
Laurent Charlin
University of Toronto

November 10, 2008
2.00pm - 3.30pm

Computational methods for prediction of alternative promoters and transcription factor binding sites
Junwen John Wang, University of Hong Kong

November 6, 2008
5.30pm - 6.30pm

A Pictorial Introduction to Separation Logic
Sir C.A.R.Tony Hoare
(Turing Award Winner) Principal Researcher, Microsoft Research Cambridge

November 5, 2008
10.00am - 12.30pm

NUS-DCS & Operational Research Society of Singapore Joint Seminar: ILOG talk - ILOG Optimization Suite and Case
Mr Didier Vidal, ILOG

November 3, 2008
2.00pm - 3.30pm

Statistical Analysis of NeuroImages
Prof. Heng Pheng Ann
Department of Computer Science & Engineering The Chinese University of Hong Kong

November 3, 2008
2.00pm - 3.30pm

Statistical Analysis of NeuroImages
Prof. Heng Pheng Ann
Department of Computer Science & Engineering, The Chinese University of Hong Kong

October 30, 2008
2.00pm - 3.30pm

UNCOVERING THE REGULATORY ARCHITECTURE OF COORDINATED CONTROL OF GENE EXPRESSION
Rohan Williams
John Curtin School of Medical Research Australian National University

October 22, 2008
2.00pm - 3.00pm

Environment models for reactive and real-time system testing  automation and safety assessment
Dr. Mikhail Auguston
Naval Postgraduate School, Monterey, CA, USA

October 20, 2008
3.30pm - 5.30pm

Assured Information Sharing
Prof Bhavani Thuraisingham
The University of Texas at Dallas

October 17, 2008
2.00pm - 3.00pm

Discourse Relations and Coherence
Lin Ziheng
PhD Student in NUS, School of Computing

October 16, 2008
4.00pm - 5.30pm

Hexastore: Sextuple Indexing for Semantic Web Data Management
Panagiotis Karras
Lee Kuan Yew Postdoctoral Fellow NUS, School of Computing

October 14, 2008
10.00am - 11.30am

Sensitivity Based Generalization Error for Supervised Learning Problem with Applications in Model Selection and Feature Selection
Professor Daniel S Yeung
Machine Learning and Cybernetics Research Institute, President of IEEE SMC Society

October 13, 2008
11.00am - 12.00pm

Energy-aware Compiler Optimizations
Prof Y.N. Srikant,Department of Computer Science and Automation, Indian Institute of Science

October 10, 2008
10.00am - 11.30am

On pebble automata over infinite alphabets
Mr Tony Tan, Technion - Israel Institute of Technology

October 9, 2008
9.30am - 11.00am

IT Productivity: What It Is and What It Can Be
Dr Adam Kolawa, Chairman and CEO, Parasoft Corporation

September 26, 2008
3.00pm - 4.00pm

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints
Andrew E. Santosa
NUS, School of Computing

September 26, 2008
2.00pm - 3.00pm

Actor-Based Electronic System Level (ESL) Design Using SystemC
Jurgen Teich, University of Erlangen-Nuremberg (currentlyVisiting

September 25, 2008
4.00pm - 5.30pm

Analog Design Optimization: Dealing with parameter variations
Ulf Schlichtmann, TU Munich, Germany

September 23, 2008
3.00pm - 5.00pm

All we like sheep: Cloning as a software engineering tool
Michael W. Godfrey PhD, Associate Professor, University of Waterloo

September 23, 2008
2.00pm - 3.00pm

The Miracle of Reactive Programming
Professor Jim Woodcock (University of York)

September 23, 2008
10.30am - 11.30am

AgentMT(TR) - a multi-threaded architecture using Teleo-Reactive plans
Keith Clark, Imperial College, UK

September 18, 2008
3.00pm - 4.00pm

Academia-Industry Collaborations for Practical WSN Solutions
Dr. Simon Kuenzli, Siemens Building Technologies, Switzerland

September 11, 2008
2.00pm - 3.00pm

Ontology Generation through the Fusion of Partial Reuse and Relation Extraction
Dr. Nwe Ni Tun, Research Fellow, NUS School of Computing

September 9, 2008
10.00am - 11.00am

Web on Demand
Prof Kishore Ramachandran
GeorgiaTech

September 5, 2008
11.00am - 12.30pm

From the Semantic Web to Web Science

1)Professor Wendy Hall University of Southampton, 2)Professor Nigel Shadbolt University of Southampton

September 3, 2008
4.00pm - 5.30pm

Energy-Efficient Scheduling in Multiprocessor DVS Systems
Dr. Jian-Jia Chen, ETH Zurich, Switzerland

September 3, 2008
3.00pm - 4.00pm

Register Allocation by Puzzle Solving
Jens Palsberg
UCLA, USA

September 2, 2008
4.00pm - 5.30pm

1) Change Impact Management in Web Services  2) iZi: a library for pattern mining problems isomorphic to Boolean lattice
1) Prof Mohand-Saod Hacid; 2) Prof Jean-Marc Petit
1) Computer Sciences Department University Claude Bernard Lyon, France, 2) Computer Science Engineering School INSA Lyon, France

September 2, 2008
2.00pm - 4.00pm

Robust and Efficient Intrusion Detection Systems
Mr Kapil Kumar Gupta, The University of Melbourne

August 28, 2008
4.00pm - 5.30pm

Talking Technical: Tricks of the Trade (Reprise)
Dr Terence Sim
Assistant Professor NUS, School of Computing

August 25, 2008
10.30am - 11.30am

Beyond Ambient Assistive Living (AAL): Which impact?
Prof. Mounir Mokhtari
National Institute of Telecommunication (INT) France

August 22, 2008
2.00pm - 3.00pm

Rough Sets in Data Mining and Data Warehousing
Dr Dominik Slezak
Chief Scientist of Infobright Inc

August 20, 2008
4.00pm - 5.30pm

1) Google: A Computer-Science Success Story Considering Mathematical Groundwork, Pragmatics, Remaining Challenges  2)Why Many High-paying Jobs of the Future Can Benefit from a Good University Education in Computing
1) Jeffrey Ullman 2) H T Kung
1) Jeffrey Ullman Standford W Ascherman Professor of Computer Science (Emeritus), 2) H T Kung William H Gates Professor of Computer Science and Electrical Engineering Harvard School of Engineering and Applied Sciences

August 20, 2008
10.30am - 11.30am

Multicore for Database Systems: friend... or foe?
Prof. Anastasia Ailamaki
Ecole Polytechnique Federale de Lausanne and Carnegie Mellon University

August 19, 2008
4.00pm - 5.30pm

Volumetric Parameterization and Trivariate B-spline Fitting using Harmonic Functions
Tobias Martin
University of Utah, USA

August 19, 2008
3.00pm - 4.00pm

Towards Trusted Grid Computing
Dr Andrew Martin
University Lecturer and Deputy Director of Software Engineering University of Oxford

August 18, 2008
4.00pm - 5.00pm

Efficient Network-Aware Search in Collaborative Tagging Sites
Prof. Michael Benedikt
Oxford University Computing Laboratory

August 18, 2008
10.00am - 12.00pm

Quantitative Separation Logic and Programs with Lists
Dr Radu Iosif

August 15, 2008
10.00am - 11.30am

Design in India - in context to design at Industrial Design Centre DC), Indian Institute ofTechnology(IIT)Bombay
Prof Ravi Poovaiah
Industrial Design Centre (IDC) Indian Institute of Technology (IIT) Bombay

August 13, 2008
3.00pm - 4.00pm

Stability Augmentation For Crosswind Landings Using Dynamic Cell Structures
Achudhan Sivakumar
PhD Student NUS, School of Computing

August 11, 2008
2.00pm - 3.00pm

Streaming of Plants in Distributed Virtual Environments
Sebastien Mondet
University of Toulouse France

August 8, 2008
3.00pm - 4.30pm

Satisfiability Modulo Theories @ Microsoft
Nikolaj Bjorner
Microsoft Research

August 8, 2008
11.00am - 12.30pm

Accurate Online and Offline System-Level Power Estimation
Prof. Naehyuck Chang
Seoul National University Korea

August 8, 2008
10.30am - 12.00pm

Program Composition by Non-Programmers
Ken Kahn
Senior Researcher Oxford University, London Knowledge Lab

August 5, 2008
2.00pm - 4.30pm

Introduction to Protection of Data Privacy
Dr Tao Yufei
Chinese University of Hong Kong

July 31, 2008
2.00pm - 3.00pm

The MultiMatch project: searching multilingual multimedia cultural heritage collections
Dr. Gareth Jones
Centre for Digital Video Processing Dublin City University, Ireland

July 28, 2008
10.00am - 11.00am

Micro-architectural Support for Secure Embedded Processors
Roshan Ragel
University of Peradeniya, Sri Lanka

July 25, 2008
4.30pm - 5.30pm

The Music Information Retrieval Evaluation eXchange (MIREX): An Introductory Overview
Assoc Professor Downie, J. Stephen
University of Illinois

July 25, 2008
2.30pm - 3.30pm

The WWW in China and Three Generations of Intelligent Search
Dr William Chang
Chief Scientist Baidu

July 25, 2008
2.00pm - 3.00pm

Learning to Classify Networked Entities
Dell Zhang
University of London

July 24, 2008
4.00pm - 5.00pm

Web Scale Question Answering -- SQuAD
Dr Chin-Yew Lin
Microsoft Research Asia

July 24, 2008
3.00pm - 4.00pm

Generating Chinese Couplets using a Statistical MT Approach
Dr Ming Zhou
Microsoft Research Asia

July 18, 2008
10.30am - 12.00pm

(1) Real-Time Document Image Retrieval with LLAH (2) Large-Scale and Real-Time Specific Object Recognition (3) Pattern recognition with supplementary information -  an overview and recent results
(1) & (2) Prof. Koichi Kise; (3) Dr. Masakazu Iwamura
(1) & (2) Department of Computer Science and Intelligent Systems, Osaka prefecture University, (3) Graduate School of Engineering, Osaka Prefecture University

July 17, 2008
2.00pm - 3.30pm

Discovering the almost unknown: A bio-inspired approach to Pattern Recognition and Optimization
Saman Halgamuge
University of Melbourne

July 16, 2008
3.00pm - 4.00pm

Linguistically Annotated BTG for Statistical Machine Translation
Xiong Deyi
I2R

July 16, 2008
2.00pm - 3.00pm

Hidden common cause relations in relational learning
Ricardo Silva
postdoctoral researcher at the Statistical Laboratory, University of Cambridge

July 16, 2008
11.00am - 12.00pm

On Privacy-preserving Data Publishing
Prof Li Ninghui
Purdue University

July 9, 2008
4.00pm - 5.30pm

Multimedia Research @ Eurecom
Prof. Benoit Huet

June 20, 2008
11.00am - 12.00pm

Infection Detection System
Dr Kulesh Shanmugasundaram
Polytechnic University, Brooklyn

June 4, 2008
2.30pm - 3.30pm

Enhanced Information Access to Troubleshooting-oriented Web User Forum Data
Dr. Timothy Baldwin
Department of Computer Science and Software Engineering, University of Melbourne

June 4, 2008
10.30am - 11.30am

MUSE: Mapping Understanding and deSign by Example
Dr. Tan Wang-Chiew
Computer Science Department, University of California, Santa Cruz

May 29, 2008
2.00pm - 3.30pm

Data fusion and cognitive wireless sensor network
Prof.U.S.Tiwary, Dean Academics
Indian Institute of Information Technology, Allahabad, INDIA

May 29, 2008
10.00am - 11.30am

Application of Localization with Geographic Routing in Heterogeneous networks
Dr. Shirshu Varma, Assistant Professor
Indian Institute of Information Technology, Allahabad, INDIA

May 26, 2008
3.00pm - 4.00pm

Exodus - Cross search
Mr. Gon Zifroni
Metahaven, Singapore ISEA Artist-in-Residence

May 26, 2008
3.00pm - 4.00pm

Challenges and Solutions to Disruption Tolerant Network Design
Prof Mooi Choo Chuah
Lehigh University

May 23, 2008
3.30pm - 5.00pm

Tracking the Internet into the 21st Century
Vinton G. Cerf
Vice President & Chief Internet Evangelist, Google

May 23, 2008
10.30am - 12.00pm

Oracle Semantics for Concurrent Separation Logic
Mr Aquinas Hobor
Princeton University

May 15, 2008
4.00pm - 5.00pm

Timing Analysis Problems in Automotive Control Software
Manoj Dixit
General Motors R&D - India Science Lab

May 15, 2008
10.30am - 11.30am

End-to-End Diagnosis of Performance Problems in Enterprise Networks
Victor Bahl
Microsoft Research

May 14, 2008
4.30pm - 6.00pm

SybilLimit: A Near-Optimal Social Network Defense Against Sybil Attacks
YU Haifeng
School of Computing, National University of Singapore

May 14, 2008
2.00pm - 4.00pm

Ultraconservation and ultradivergence: insights into human development and evolution through statistical analysis of DNA sequences
Shyam Prabhakar
Genome Institute of Singapore

May 14, 2008
10.00am - 11.00am

From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ
Mr. Shahar Maoz

May 9, 2008
10.30am - 11.30am

Oblivious routing with linear latency functions
Prof. Jaikumar Radhakrishnan
Tata Institute of Fundamental Research, Mumbai, India

May 9, 2008
10.30am - 11.30am

A Verification System for Timed Interval Calculus
Mr. CHEN Chunqing
School of Computing, National University of Singapore

May 5, 2008
1.30pm - 6.00pm

UWB Context Aware Sentient Computing: Concepts, Systems and Practice
Paulito P. Palmes

May 2, 2008
10.30am - 12.00pm

Reducing the Cost of Debugging via Effective Fault Localization
W. Eric Wong
Department of Computer Science, University of Texas at Dallas

April 24, 2008
10.30am - 12.00pm

Model Checking Mobile Agents
Prof. Kenji Taguchi
National Institute of Informatics (NII), Japan

April 24, 2008
10.30am - 12.00pm

Towards Network Verification & Introspection
Mr Yuan Lihua
Electrical and Computer Engineering, University of California, Davis

April 22, 2008
2.00pm - 4.00pm

Seamless Middleware Services for Pervasive Computing Environments
Prof. Mohan Kumar
University of Texas, Arlington

April 21, 2008
10.30am - 12.00pm

Image-based scene modeling with prior knowledge
Dr Zeng Gang
Computer Vision Laboratory, ETH Zentrum, Zurich, Switzerland

April 17, 2008
2.00pm - 4.00pm

Function prediction from biomolecular sequences - basic principles and application examples
Birgit Eisenhaber
Experimental Therapeutics Centre, Biopolis, Singapore.

April 16, 2008
4.00pm - 5.30pm

Information Theoretic Methods In Communication Complexity and Cryptography
Dr Rahul Jain
David Cheriton School of Computer Science and Institute of Quantum Computing, University of Waterloo

April 16, 2008
3.00pm - 4.00pm

Learning Latent Tree Models
Prof. Nevin L. Zhang
The Hong Kong University of Science & Technology

April 16, 2008
10.30am - 12.00pm

Predicting Bugs by Analyzing Software History
Dr Kim Sunghun
Massachusetts Institute of Technology

April 14, 2008
10.30am - 12.00pm

Static Path-Aware Analysis of Program Invariants
Mr Murali Krishna Ramanathan
Department of Computer Science, Purdue University

April 9, 2008
10.30am - 12.00pm

Automated Software-Error Detection by Finding Deviations in Binaries
Dr Liang Zhenkai

April 3, 2008
2.00pm - 3.30pm

2008 Key Technology Trends
Mr Whee Teck ONG
Partner, Accenture, Accenture Infrastructure Consulting, ASEAN Enterprise Architecture Service Lead

April 3, 2008
10.30am - 12.00pm

Combining static and dynamic analyses for automated bug-finding
Mr Christoph Csallner
Georgia Institute of Technology

March 28, 2008
1.00pm - 6.00pm

Sun-NUS Open Source Day
Ooi BC (Opening Remarks) Matt Thompson (Opening Talk)

March 27, 2008
10.30am - 12.00pm

Decision Detection and Tracking: Multimodal Information Fusion from Multiparty Discourse
Ms Hsueh Pei-Yun, Sabrina
University of Edinburgh

March 25, 2008
3.00pm - 5.00pm

The denotational semantics of formal logic programming
Eric Martin
The University of New South Wales and NICTA, Sydney

March 25, 2008
2.00pm - 4.00pm

Heterogeneous Multi-Processor Pipelines: A Novel System-on-Chip Method
Prof. Sri Parameswaran
School of Computer Science and Engineering University of New South Wales, Australia

March 25, 2008
10.00am - 12.00pm

Solving an Open Problem in Types for Permutators
Professor Makoto Tatsuta
National Institute of Informatics Japan

March 24, 2008
4.00pm - 6.00pm

Fragment-HMM: A New Approach to Protein Structure Prediction
Shuai Cheng Li
University of Waterloo

March 20, 2008
2.00pm - 4.00pm

Multi-Dimensional Views in the 'Omics' Era Data Analyses Solutions in Structural Computational Biology  and Microarrays Applications
Yaron Turpaz, Ph.D.
Director, Integrative Computational Sciences (ICS) Lilly Singapore Centre for Drug Discovery

March 20, 2008
10.00am - 11.00am

Opportunities with Scalable and Flexible Media Formats
Prof. Andrew Perkis
Centre for Quantifiable Quality of Service in Communication Systems, Norwegian University of Science and Technology, Trondheim, Norway

March 14, 2008
10.30am - 12.00pm

Effective and Efficient Techniques for Hierarchy Interactions
Mr Zhao Shengdong
Department of Computer Science University of Toronto

March 13, 2008
2.00pm - 4.00pm

Colorful Chemical Genetics
A/Professor CHANG Young-Tae
Department of Chemistry NUS

March 12, 2008
3.30pm - 5.30pm

Musical Constraint Satisfaction with a Heuristic Solver
Philippe Codognet
(Keio University / CNRS) work done in collaboration with Charlotte Truchet

March 5, 2008
10.30am - 12.00pm

Large-Scale Peer-to-Peer Streaming: Measurements and Optimizing Solutions
Ms Wu Chuan
University of Toronto

February 29, 2008
10.00am - 12.00pm

Trustworthy Embedded Systems: Security and Real-Time
Dr. Stefan M. Petters
Senior Researcher NICTA, Australia

February 27, 2008
3.00pm - 4.30pm

Model independent schema and data translation
Professor Paolo Atzeni

February 26, 2008
4.30pm - 6.00pm

Integrated Mining of Protein Interaction Networks:  A Case for Ensemble Clustering
Srinivasan Parthasarathy
Ohio State University

February 26, 2008
10.00am - 11.00am

Statistical Modeling of Multiword Expressions
Su Nam Kim
School of Computing National University of Singapore

February 25, 2008
2.00pm - 4.00pm

Programming with Transactional Memory
Saha, Bratin
senior staff researcher in Intel's Programming Systems Lab

February 12, 2008
2.00pm - 4.00pm

ADAPTIVE MOBILE 3D GRAPHICS FOR COLLABORATIVE APPLICATION VIA MULTI- MODAL DEVICES
Andrew Tan
Queensland University of Technology

February 12, 2008
10.30am - 12.30pm

Bring Life to Images: Challenges and Recent Advances
Prof. Ming C. Lin
University of North Carolina at Chapel Hill

January 30, 2008
2.00pm - 3.30pm

Insights into Mobile Applications beyond 3G
Prof. Minoru Etoh

January 28, 2008
2.00pm - 3.00pm

Bayesian Agglomerative Clustering with Coalescents   co-authored with Hal Daume III and Daniel Roy (appeared at NIPS 2007)
Dr. Teh Yee Whye

January 28, 2008
10.30am - 12.00pm

Open WiFi for Vehicular Connectivity: Real-World Performance and Applications
Dr Jakob Eriksson
Massachusetts Institute of Technology (MIT), CSAIL, Cambridge, USA

January 22, 2008
11.00am - 12.30pm

Art, Entertainment & Computing
Dr Naoko Tosa
Professor & Media Artist Academic Center for Computing and Media Studies, Kyoto University

January 22, 2008
10.00am - 11.00am

TRANSLATIONAL DISCOVERIES IN MULTIPLE MYELOMA USING GLOBAL GENOMICS
A/Prof Chng Wee Joo
Dept of Medicine, Yong Loo Lin School of Medicine, NUS

January 21, 2008
10.30am - 11.30am

Haptics  Today and Tomorrow
Daniel Evestedt,
CTO, SenseGraphics

January 21, 2008
10.30am - 11.30am

Pattern Discovery from Graph-Structured Data - A Data Mining Perspective
Prof. Hiroshi Motoda
AFOSR/AOARD and Osaka University

January 18, 2008
1.30pm - 2.30pm

Microsoft Research Asia - The first 10 years
Dr Hon Hsiao-Wuen
Managing Director, Microsoft Research Asia

January 8, 2008
10.30am - 12.00pm

Domain Adaptation in Natural Language Processing
Ms Jiang Jing
Department of Computer Science University of Illinois at Urbana-Champaign

January 7, 2008
2.00pm - 3.00pm

Online Event Processing
Dr. Themis Palpanas
University of Trento

December 28, 2007
3.10pm - 4.10pm

The Gigascope Data Stream Management System
Divesh Srivastava
(AT&T Labs-Research)

December 28, 2007
3.00pm - 4.00pm

Real-time Program Algebra
Professor Ian Hayes
University of Queensland

December 18, 2007
10.30am - 12.00pm

Automatic Generation of Loop Invariants
Deepak Kapur
Department of Computer Science University of New Mexico Albuquerque, NM, USA

December 14, 2007
11.00am - 12.00pm

Modeling Mammalian Circadian Rhythms
Dr. Daniel Forger
Assistant Professor, Dept. of Mathematics University of Michigan, Ann Arbor

December 10, 2007
10.00am - 11.00am

Secret Handshakes
Shouhuai Xu
Assistant Professor Department of Computer Science University of Texas at San Antonio

December 7, 2007
10.00am - 11.00am

On Approximation of Bookmark Assignments
Hirotaka Ono
Department of Computer Science and Communication Engineering, Kyushu University, JAPAN

December 4, 2007
10.30am - 11.30am

An Interactive Framework for Raster Data Spatial Joins
Professor Seon Ho Kim
University of Denver

November 29, 2007
3.00pm - 4.00pm

Bio-inspired System on Chip Design
Andreas Herkersdorf
Institute for Integrated Systems TU Munich, Germany

November 28, 2007
3.00pm - 4.30pm

Building Certified System Software: Are We Close?
Zhong Shao
Yale University

November 28, 2007
10.00am - 11.00am

Formal Methods for the Certification of Auto-generated Flight Code
Dr. Ewen Denney
NASA Ames Research Center, USA

November 27, 2007
3.00pm - 4.00pm

Hierarchical graph rewriting as a unifying model of concurrency
Kazunori Ueda
Department of Computer Science, Waseda University

November 26, 2007
3.30pm - 5.00pm

Enterprise Optimization Using AI: Hong Kong Case Studies
Associate Professor Andy Chun
City University of Hong Kong

November 26, 2007
3.00pm - 4.00pm

Safety Critical Low-Power Wireless Sensor Networks
Andreas Meier
ETH Zurich

November 23, 2007
10.30am - 11.30am

Open Type Functions for Haskell
Dr Tom Schrijvers
University Leuven, Belgium

November 20, 2007
3.00pm - 4.00pm

Using Web 2.0 with Database Systems.
Akmal B. Chaudhri

November 16, 2007
2.00pm - 3.00pm

Greedy Virtual Coordinates for Geographic Routing
Dr Ben Leong
Assistant Professor, National Univerisity of Singapore, School of Computing

November 7, 2007
4.00pm - 5.00pm

Learning to Walk through Imitation
Rawichote Chalodhorn

October 29, 2007
10.30am - 12.00pm

Embodied Intelligence  A Multidisciplinary Challenge
Dr.Christoph Bartneck
Department of Industrial Design, Eindhoven University of Technology Netherlands

October 25, 2007
10.30am - 11.30am

A Polymorphic Type System for Lisp-like Multi-Staged Languages
Professor Kwangkeun Yi
School of Computer Science and Engineering Seoul National University

October 15, 2007
3.30pm - 5.00pm

Paradigm Shifts in Modern IT Era Driven by Digital Media and Broadband Networks
Professor C.-C. Jay Kuo
University of Southern California

October 11, 2007
10.30am - 11.30am

Static aspect weaving for .NET
Peter Sestoft
IT University of Copenhagen, Denmark

October 10, 2007
2.30pm - 3.30pm

Test and Validation of Sensor Networks for Life on the Glacier
Jan Beutel, ETH Zurich

October 4, 2007
3.00pm - 4.30pm

Mixed Reality Collaboration
Lawrence A. Rowe
FX Palo Alto Laboratory

October 3, 2007
3.00pm - 4.30pm

Technology Transfer - Never as Easy as Advertised
Lawrence A. Rowe
FX Palo Alto Laboratory

September 28, 2007
2.30pm - 3.30pm

Automatic on-chip memory minimization for data reuse
George A. Constantinides
Imperial College, U.K.

September 27, 2007
2.00pm - 3.00pm

Mining Key Players and Communities from Protein Interaction Networks
Xiao-Li Li
Principal Investigator Data Mining Department Institute for Infocomm Research

September 25, 2007
2.30pm - 3.30pm

Computational Intelligence Approach for Designing Lead Molecule
Sanghamitra Bandyopadhyay
Associate Professor Indian Statistical Institute, India

September 24, 2007
2.00pm - 3.00pm

A Concurrent Negotiation Mechanism for Grid Resource Co-allocation
Ben K.M. SIM
Editor, IEEE Transactions on Systems, Man & Cybernetics (IEEE Press), Department of Computer Science, Hong Kong Baptist University, KLN, Hong Kong

September 24, 2007
10.30am - 12.00pm

Asset Tracking in Data Centers using Wireless USB Radios
Dr. Krishna Kant
Intel Corporation Hillsboro, OR, USA

September 20, 2007
3.00pm - 4.00pm

Multilingual Speech Processing
Tanja Schultz
Carnegie Mellon University, USA Karlsruhe University, Germany

September 18, 2007
4.00pm - 5.00pm

Integrated Semantics for OWL Ontologies
Prof. Dorel Lucanu
Faculty of Computer Science, ``A.I.Cuza'" University of Iasi, Romania

September 17, 2007
2.00pm - 3.00pm

Improving application delay for thin streams
Andreas Petlund
University of Oslo / Simula Research Laboratory

September 13, 2007
2.00pm - 3.00pm

From Database to Complete Data Platform
Prakash Sundaresan

September 13, 2007
10.30am - 11.30am

Video Browsing on Mobile Devices
Wolfgang Huerst
Assistant Professor, Game and Media Technology Program Utrecht University, Netherlands

September 12, 2007
2.00pm - 3.00pm

Sensitive and Energy-Efficient Mobile System Design
Dr. Lin Zhong

August 31, 2007
2.30pm - 3.30pm

Constructing Fast Reliable Scientific Software
Alistair Rendell
Department of Computer Science Australian National University

August 23, 2007
2.00pm - 3.00pm

Codes in Our Genome
Liang GOH
NUS-Duke Graduate Medical School

August 23, 2007
10.30am - 11.30am

An Analytical Model for Progressive Mesh Streaming
Cheng Wei
PhD Student School of Computing, NUS

August 22, 2007
3.00pm - 4.30pm

The European Network of Excellence INTERMEDIA: toward device-free user-centric media environments
Professor Nadia Magnenat-Thalmann
MIRALab, University of Geneva, Switzerland

August 22, 2007
2.00pm - 3.00pm

Rendering Generalized Depth of Field Effects in Computer Graphics
Brian A. Barsky
Computer Science Division and School of Optometry, University of California, Berkeley

August 21, 2007
2.00pm - 3.00pm

Toddler Machine Meets Pre-Teen Children: Concepts and Language from Combining Lots of Computing with Lots of Free Time
Dr. Yu-Han Chang
Information Sciences Institute, University of Southern California (USC ISI)

August 20, 2007
2.30pm - 3.30pm

Mobility as an Integrated Service Through the Use of Naming
Saleem Bhatti
University of St Andrews http://www.cs.st-andrews.ac.uk/~saleem/

August 20, 2007
12.00pm - 1.00pm

Open XML
Gray Knowlton
Microsoft

August 17, 2007
4.30pm - 5.30pm

Two Topics in Distributed Systems
Professor Jonathan M. Smith
CIS Dept., University of Pennsylvania

August 16, 2007
3.00pm - 4.30pm

Motion Control for Virtual Humans
Professor Daniel Thalmann
Director, Virtual Reality Lab EPFL, Switzerland

August 16, 2007
11.00am - 12.00pm

Proving coinductive properties with CIRC
Prof. Dorel Lucanu
Prof., Faculty of Computer Science Eastern Europe Research Scientist and Student

August 15, 2007
4.30pm - 5.30pm

Tardiness Bounds for EDF Scheduling on Multi-Speed Multicore Platforms
Hennadiy Leontyev
University of North Carolina at Chapel Hill

August 15, 2007
3.00pm - 4.30pm

Real-Time Crowd Animation
Professor Daniel Thalmann
Director, Virtual Reality Lab EPFL, Switzerland

August 15, 2007
2.00pm - 3.00pm

Geospatial Decision Making and Spatial Skyline Queries
Cyrus Shahabi
Associate Professor and the Director Information Laboratory (InfoLAB) Computer Science Department, Research Area Director NSF's Integrated Media Systems Center (IMSC) University of Southern California

August 14, 2007
3.00pm - 4.00pm

A Flexible Real-Time Locking Protocol for Multiprocessors
Hennadiy Leontyev
University of North Carolina at Chapel Hill

August 10, 2007
3.00pm - 4.00pm

Optimal Inter-Object Correlation When Replicating for  Availability
Assistant Prof Yu Haifeng
Assistant Professor Department of Computer Science, School of Computing, NUS

August 10, 2007
10.30am - 11.30am

The Generation of Referring Expressions: Where We've Been, How We Got Here, and Where We're Going
Robert Dale
Centre for Language Technology, Macquarie University, Australia

August 6, 2007
1.30pm - 2.30pm

Encryption Schemes from Bilinear Maps
Mr Eu-Jin Goh
Stanford University

August 3, 2007
2.00pm - 3.00pm

Efficient Evaluation of Imprecise  Location-Dependent Queries
Dr. Reynold Cheng
Assistant Professor, Department of Computing Hong Kong Polytechnic University

August 1, 2007
3.00pm - 4.00pm

Reachability Expressions: Metaprograms for Guiding Symbolic Reachability
Prof. Supratik Chakraborty
Dept. of Computer Science and Engineering Indian Institute of Technology, Bombay

July 31, 2007
11.00am - 12.00pm

Towards the Ideal On-chip Interconnect Fabric
Li-Shiuan Peh
Assistant Professor, Electrical Engineering Princeton University

July 31, 2007
10.30am - 12.00pm

Learning via Dependence Estimation
Le Song
NICTA Statistical Machine Learning Program University of Sydney

July 30, 2007
2.00pm - 3.00pm

Contextual Wisdom: Social Relations and Correlations for Multimedia Event Annotation
Hari Sundaram
Arts Media and Engineering (AME), Arizona State University

July 30, 2007
10.00am - 11.00am

Efficient Mining of Iterative Patterns for Software Specification Discovery
David Lo
School of Computing

July 30, 2007
9.30am - 10.30am

Mitotic Classes
A/P Frank Stephan
Department of Computer Science, National University of Singapore

July 27, 2007
2.00pm - 3.00pm

Streamspin: Enabling Mobile 2.0
Christian S. Jensen
Center for Data-intensive Systems Department of Computer Science Aalborg University

July 26, 2007
2.00pm - 3.00pm

Using Indirect Protein-Protein Interactions for Protein Complex Prediction
CHUA Hon Nian
NUS Graduate School for Integrated Sciences and Engineering

July 19, 2007
2.00pm - 3.00pm

An accurate and efficient algorithm for peptide and PTM identification by tandem mass spectrometry
Ning Kang
School of Computing NUS

July 17, 2007
10.30am - 11.30am

Two Perspectives on Domain Adaptation in Natural Language Processing
Jing Jiang
Department of Computer Science University of Illinois at Urbana-Champaign

July 3, 2007
11.00am - 12.00pm

Intelligent Computer Graphics
Masayuki Nakajima
Tokyo Institute of Technology, Japan

June 22, 2007
10.00am - 11.30am

Geometric Computations in Parameter Space
Professor Myung-Soo Kim
School of Computer Science and Engineering Seoul National University

June 21, 2007
2.00pm - 3.00pm

The Design and Implementation of Declarative Networks
Boon Thau LOO
University of Pennsylvania

June 12, 2007
11.00am - 12.00pm

Heterogeneous Ontologies Matching
Dr. Nwe Ni Tun
JAIST Japan

June 11, 2007
10.30am - 11.30am

JAVELIN: Multilingual Question Answering with Semantic Indexing, Retrieval and Inference
Eric Nyberg
Associate Professor Language Technologies Institute, Carnegie Mellon University

June 8, 2007
11.00am - 12.00pm

Data Replication / Caching in Mobile Computing Environment
Dr. Manoj Misra
Associate Professor, Department of Electronics and Computer Engineering Indian Institute of Technology Roorkee

May 23, 2007
10.00am - 11.00am

View Projection: One-Touch Setup of Light Displays on Arbitrary Surfaces
Kar-Han Tan
Epson R&D San Jose, CA

May 17, 2007
2.00pm - 3.00pm

RB-Finder, An Improved Distance-based Sliding Window Method to Detect Recombination Breakpoints
Charlie LEE Wah Heng
Genome Institute of Singapore

May 14, 2007
1.00pm - 3.30pm

Joint I2R/NUS ACL Practice Session #1
Chan Yee Seng, Li Haizhou, Min Zhang, Mstislav Maslennikov
School of Computing, NUS (Chan Yee Seng, Mstislav Maslennikov ), I2R (Haizhou Li, Min Zhang)

May 10, 2007
3.00pm - 4.30pm

Biologically Motivated Modeling and Design of Computer Networks
Dr Biplab Sikdar
Dept of ECSE Rensselaer Polytechnic Institute

May 3, 2007
2.00pm - 3.00pm

PRIVE: Anonymous Location-Based Queries in Distributed Mobile Systems
Gabriel Ghinita

April 30, 2007
5.00pm - 6.00pm

Music Complexity: A multi-faceted description of audio content
Dr. Sebastian Streich

April 27, 2007
10.30am - 11.30am

Image Pre-conditioning to Reduce Projector Image Blur  and Texture Amendment: Removing Texture Distortion in Constrained Texture-Maps
Dr. Michael S. Brown, Assistant Professor, School of Computer Engineering, NTU.

April 25, 2007
4.00pm - 5.00pm

AutoBash: Hammering the Futz out of System Management
Assistant Professor Jason Flinn

April 25, 2007
10.00am - 11.00am

Ordering Phrases with Function Words
Hendra Setiawan (I2R, NUS)

April 23, 2007
10.30am - 12.30pm

Streaming Geometry Processing
Dr Martin Isenburg

April 18, 2007
10.30am - 11.00am

Timestamped Graphs: Evolutionary Models of Text for Multi-document Summarization
Lin Ziheng

April 18, 2007
10.00am - 10.30am

Functional Faceted Web Query Analysis
Nguyen Viet Bang

April 12, 2007
3.30pm - 5.00pm

Computational Methods for Reconstructing Biomolecular Systems and Studying their Evolution
Dr Yeang Chen-Hsiang
Center for Systems Biology, Institute for Advance Study in Princeton

April 11, 2007
10.00am - 11.00am

A Graph Approach to Scenario Template Generation
Qiu Long

April 5, 2007
2.00pm - 3.00pm

Recognition of Precursor MicroRNAs from Genomic Pseudo Hairpins Using Global and Intrinsic Folding Measures
Stanley Ng Kwang Loong
PhD Candidate, AGS

April 4, 2007
11.00am - 12.00pm

User-Interfaces for Interactive Video Browsing
Wolfgang H|rst
Albert-Ludwigs-Universitdt Freiburg, Germany

April 4, 2007
10.30am - 12.00pm

Policies in Routing
Mr Ee Cheng Tien
Department of Computer Science, University of California, Berkeley

March 29, 2007
11.00am - 12.00pm

Traffic Redirection Attack Protection System (TRAPS) - Mitigation of Distributed Denial-of-Service Attacks
Ms Vrizlynn Thing
Imperial College London

March 26, 2007
4.00pm - 5.00pm

Games are Up for DVFS
Ms Gu Yan
PhD Candidate School of Computing

March 26, 2007
2.00pm - 3.00pm

Protein Conformational Flexibility Analysis with Noisy Data
Anshul Nigham
PhD Candidate

March 26, 2007
10.30am - 12.00pm

Protein Interaction Module Detection Using Matrix-Based Graph Algorithms
Dr Chris Ding
Lawrence Berkeley National Laboratory

March 19, 2007
2.00pm - 3.00pm

Security and Biometrics: new applications and existing constraints
Ileana Buhan
PhD Candidate University of Twente, Netherlands

March 19, 2007
10.30am - 12.00pm

From Security Protocols to Secure Systems
David Basin
ETH Zurich

March 16, 2007
4.00pm - 5.00pm

Mining of Genomic, Transcriptomic and Proteomic data
Rintaro Saito
Institute for Advanced Biosciences, Keio University

March 15, 2007
10.30am - 12.00pm

Full Parallelism and Complete Memory Latency Hiding on Multi-core Architectures
Mr Xue Chun, Jason
Computer Science, University of Texas, Dallas

March 8, 2007
2.00pm - 3.00pm

E-learning to  E-learning ecosystem
Lorna Uden
Faculty of Computing, Engineering and Technology Staffordshire University

March 8, 2007
10.30am - 12.00pm

From Photometric Stereo to Interactive 3D Markup
Mr Wu Tai-Pang
Hong Kong University of Science and Technology (HKUST)

March 6, 2007
11.45am - 12.45pm

pureXML: Database Technology meets XML
Akmal B. Chaudhri
IBM Developer Skills Program ISV & Developer Relations Webmaster http://www.xsym.org, Author

March 5, 2007
10.30am - 12.00pm

Machine Learning on Very Large Data Sets
Mr Tsang Wai Hung, Ivor
Hong Kong University of Science and Technology (HKUST)

March 1, 2007
10.30am - 12.00pm

Batch Mode Active Learning
Mr Hoi Chu Hong, Steven
Department of Computer Science & Engineering Chinese University of Hong Kong

February 22, 2007
2.00pm - 3.00pm

Cache performance verification in preemptive real time systems
Dr. Jan Staschulat
Technial University Braunschweig, Germany

February 22, 2007
2.00pm - 3.00pm

Fine-grained differences and similarities in meanings
Professor Graeme Hirst
Department of Computer Science University of Toronto

February 21, 2007
4.00pm - 5.00pm

Developing new Classes of Space Exploration Missions
Prof. Mike Hinchey
Loyola College and NASA

February 21, 2007
11.00am - 12.00pm

Biological Inspiration
Prof. Mike Hinchey
Loyola College and NASA

February 15, 2007
2.00pm - 3.00pm

Search When The Lie Depends On The Target
Gyula O.H. Katona
R'enyi Institute, Budapest, Hungary

February 14, 2007
2.00pm - 3.00pm

Substitution Theorem
Makoto Tatsuta
National Institute of Informatics

February 9, 2007
3.00pm - 4.00pm

Logic Puzzles
Dr. Hans van Ditmarsch
University of Otago

February 8, 2007
1.00pm - 2.00pm

Bivariate B-splines from Centroid Triangulations
Jack Snoeyink
Computer Science UNC Chapel Hill

February 5, 2007
2.00pm - 3.00pm

Introduction to the Media and Network Joint Research Lab and its Current Research Activities
Professor Shiqiang Yang
Tsinghua University

February 1, 2007
2.00pm - 4.00pm

MULTISENSOR DATA FUSION IN ORDINAL SCALE: AN INTRODUCTION
Prof Sergey V. Muravyov
D.Sc., Prof., Head of Department of Computer-aided Measurement Systems and Metrology Tomsk Polytechnic University, Tomsk, Russia

January 29, 2007
2.00pm - 3.00pm

New Generation Web Search Technologies & Microsoft Research Asia Fellowship Award Presentation
Dr. Hsiao-Wuen Hon
General Manager, Principal Researcher Microsoft Research Asia (MSRA)

January 29, 2007
11.00am - 12.00pm

Machine Self-Reference And The Theater Of Consciousness
Prof John Case
Department of Computer and Information Sciences, University of Delaware Newark, Delaware 19716 (USA)

January 24, 2007
4.00pm - 5.00pm

SYSTEMS BIOTECHNOLOGY --- MAKING SYSTEMS BIOLOGY WORK IN INDUSTRY
Professor Sang Yup LEE
Director, BioProcess Engineering Research Center Director, Bioinformatics Research Center Korea Advanced Institute of Science and Technology (KAIST)

January 18, 2007
2.00pm - 4.00pm

Security Rules
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 17, 2007
2.00pm - 4.00pm

The Triptych Process Model: Process Assessment & Improvement
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 16, 2007
2.00pm - 4.00pm

Verified Software for Ubiquitous Computing
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 12, 2007
11.00am - 12.00pm

Information Hiding Techniques
Professor Chin-Chen Chang
Department of Information Engineering and Computer Science, Feng Chia University, Taichung, Taiwan

January 12, 2007
10.30am - 11.30am

Beyond Satisfiability: Extensions and Applications
N. Shankar
SRI International Computer Science Laboratory

January 11, 2007
2.00pm - 3.00pm

A Family of License Languages
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 10, 2007
2.00pm - 3.00pm

Document: A Domain Analysis
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 9, 2007
2.00pm - 3.00pm

Domain Engineering
Dr Dines Bjorner
Professor Computing Science Technical University of Denmark

January 9, 2007
11.00am - 12.00pm

Gene Identification and Pattern Discovery in Genomic Contexts
Dr. Yi-Ping Phoebe Chen
School of Engineering and Information Technology, Faculty of Science and Technology, Deakin University Melbourne, Australia

January 8, 2007
3.00pm - 4.30pm

Applicability of FIFO for soft real-time scheduling of sporadic tasks on multiprocessors
Hennadiy Leontyev
University of North Carolina at Chapel Hill

January 3, 2007
11.00am - 12.00pm

Automated Formal Verification of Software: Status and Prospects
Prof Randal E. Bryant
Carnegie Mellon University

December 27, 2006
10.30am - 11.30am

One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition
Associate Professor Ng Hwee Tou
Dept. Of Computer Science School of Computing National University of Singapore

December 22, 2006
2.00pm - 3.00pm

The Data Linkage Project
Dr.Dongwon Lee
College of Information Sciences & Technology Pennsylvania State University

December 19, 2006
11.00am - 12.00pm

Principles for Engineering Large-Scale Systems
R.Geoff Dromey
Software Quality Institute, & ARC Centre for Complex Systems, Griffith University, Nathan, Brisbane, QLD 4111 AUSTRALIA

December 18, 2006
2.30pm - 3.30pm

Computer-Assisted Surgical Planning for Radiation Cancer Treatment
Dr Danny Z. Chen
Department of Computer Science and Engineering University of Notre Dame Notre Dame, IN 46556, USA

December 14, 2006
2.00pm - 3.00pm

Name Disambiguation in Digital Libraries
Dongwon Lee
IST, Pennsylvania State University

December 12, 2006
11.00am - 12.00pm

Machine Recognition and Synthesis of Emotions in Speech
Shrikanth Narayanan
University of Southern California Viterbi School of Engineering

December 11, 2006
10.30am - 11.30am

Event Web: The next disruptive evolutionary stage in WWW
Ramesh Jain
Department of Computer Science University of California, Irvine Irvine, CA 92697

December 6, 2006
2.30pm - 3.30pm

Low Power Sensor Node for a Wireless Sensor Network
Prof. Ajit Pal
Professor Department of Computer Science and Engineering Indian Institute of Technology Kharagpur

December 4, 2006
2.00pm - 3.00pm

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension
Dr. Stefan Andrei
School of Computing NUS

November 30, 2006
2.00pm - 3.00pm

LocalMotif - An In-Silico Tool For Detecting Localized Motifs in Regulatory Sequences
Vipin Narang
School of Computing, NUS

November 24, 2006
4.00pm - 5.00pm

Continuous verification: Guaranteeing design correctness, no matter what
Prof. Valeria Bertacco
University of Michigan at Ann Arbor

November 24, 2006
2.30pm - 3.30pm

Razor: A Low-Power Pipeline Based on Circuit-Level Timing  Speculation
Prof. Todd Austin
University of Michigan at Ann Arbor

November 24, 2006
2.00pm - 4.00pm

Source Selectable Path Diversity via Routing Deflections
Xiaowei Yang
Assistant Professor University of California, Irvine

November 23, 2006
2.00pm - 3.00pm

Learning Gene Network Using Conditional Dependence
Liu Tiefei
Dept of Biological Science NUS

November 23, 2006
10.00am - 11.00am

Proportional Fairness for Overlapping Cells in Wireless Networks
Chen Bin Bin
PhD Candidate School of Computing NUS

November 20, 2006
2.00pm - 3.00pm

Process lifecycle management using enterprise models
Professor Aditya Ghose
Director, Decision Systems Lab School of IT and Computer Science University of Wollongong Australia

November 16, 2006
2.00pm - 3.00pm

Reasoning in Open Possible Worlds: on A New Class of Nonparametric Bayesian Models for Haplotype Phasing, LD Modeling and Demographic Inference in Open Ancestral Space.
Dr Eric Xing
Assistant Professor Machine Learning Department School of Computer Science Carnegie Mellon University

November 10, 2006
2.00pm - 3.00pm

Ganymed: A Research Platform for Database Replication
Christian Plattner
ETH Zurich

November 10, 2006
10.00am - 11.00am

Infrastructure Design for IPTV service
Sue Moon
KAIST, Korea

November 9, 2006
2.00pm - 3.00pm

Annotating the genome using Paired-End-diTag
Wing-Kin Sung
Dept of Computer Science, NUS

November 8, 2006
11.00am - 12.00pm

GeneMANIA: Real-time integration of functional genomic datasets for gene function prediction.
Dr Quaid Morris
Assistant Professor Centre for Cellular and Biomolecular Research University of Toronto in Canada

November 6, 2006
10.00am - 11.00am

Discreet Signaling: From the Chinese Emperors to the Internet
Prof Pierre Moulin
University of Illinois at Urbana-Champaign

November 3, 2006
10.00am - 11.00am

Dynamic Multimedia Adaptation
Romulus Grigoras

October 31, 2006
10.30am - 12.00pm

Unraveling the Common Denominators of Protein-Protein Interaction Networks
See-Kiong Ng
Department Manager Knowledge Discovery Department Institute for Infocomm Research

October 30, 2006
2.00pm - 3.00pm

Distributed Network Intrusion Detection
Dr Chris Leckie
Senior Lecturer Department of Computer Science and Software Engineering University of Melbourne, Australia

October 26, 2006
2.00pm - 3.00pm

Score-based Approach for Replication Origin Prediction in Herpesviruses
A/P Choi Kwok Pui
NUS Dept of Statistics

October 20, 2006
2.00pm - 2.30pm

Probabilistic Lattice-Based Spoken Document Retrieval
Chia Tee Kiah
PhD candidate (2003-present) School of Computing National University of Singapore

October 20, 2006
2.00pm - 3.00pm

Sliding Window Query Processing over Data Streams
Tamer Ozsu
Professor and University Research Chair David R. Cheriton School of Computer Science University of Waterloo

October 19, 2006
2.00pm - 3.00pm

Monomer-dimer model in two-dimensional rectangular lattices
Dr. Kong Yong
Dept of Mathematics, NUS

October 19, 2006
11.00am - 12.00pm

Language Technology Platform (LTP) and WSD based on Equivalent Pseudoword
Professor Liu Ting
School of Computer Science Harbin Institute of Technology

October 19, 2006
10.30am - 11.30am

Model Transformations and Weaving with Abstract State Machines
Prof. Alfonso Pierantonio
University of LAquila, Italy

October 19, 2006
10.00am - 11.00am

A Phonetic-Based Approach to Chinese Chat Text Normalization
Professor Wong Kam-Fai
Dept. Of Systems Engineering and Engineering Management The Chinese University of Hong Kong

October 13, 2006
3.30pm - 4.00pm

SMArTIC: Toward Building an Accurate, Robust and Scalable Specification Miner
David Lo
Department of Computer Science, School of Computing

October 13, 2006
3.00pm - 3.30pm

A Flow-Based Approach for Variant Parametric Types
Florin Craciun
Department of Computer Science, School of Computing

October 11, 2006
10.30am - 12.00pm

Molecular Caches: A caching structure for dynamic creation of application-specific heterogeneous cache regions
Prof. S K Nandy
Indian Institute of Science, Bangalore

October 10, 2006
10.30am - 11.30am

Advanced Flash Memory-based Storage System
Prof. Sang Lyul Min
School of Computer Science and Engineering Seoul National University

October 6, 2006
2.00pm - 3.00pm

Issues In Query Processing and Optimization in Native XML Databases
Tamer Ozsu
Professor and University Research Chair David R. Cheriton School of Computer Science University of Waterloo

September 29, 2006
2.00pm - 3.00pm

Multiple Query Optimization for Wireless Sensor Networks
Xiang Shili
PhD Student

September 28, 2006
3.00pm - 4.00pm

Lightweight Lexical Closures for LegitimateExecution Stack Access (Part 2)
Associate Professor Masahiro Yasugi
Lecturer Graduate School of Informatics Kyoto University

September 20, 2006
10.30am - 11.30am

Debugging Schema Mappings with Routes
Dr. Tan Wang Chiew
Department of Computer Science University of California, Santa Cruz

September 19, 2006
5.00pm - 6.00pm

Exploiting Forwarding to Improve Data Bandwidth of Instruction-Set Extensions
Ramkumar Jayaseelan

September 19, 2006
2.00pm - 3.00pm

Unlocking keys for XML trees
Dr. Sebastian Link
Department of Information Systems Massey University

September 18, 2006
10.30am - 11.30am

The Monash Multiprocessor, its Password-Capability System, its Evolution into a Massively Parallel System, and how such a distributed operating system can form the basis for a wireless ad-hoc cooperative network (SAHN)
Dr. Ronald Pose
Faculty of Information Technology, Monash University, Melbourne, AUSTRALIA

September 14, 2006
4.00pm - 5.00pm

GR - an efficient algorithm for feature selection in large scale typed unification grammars
Dr Liviu Ciortuz
University of Iasi, Romania

September 14, 2006
2.00pm - 3.00pm

Increasing Confidence of Protein Interactomes Using Network Topological Metrics
Chen Jin
School of Computing NUS

September 14, 2006
10.30am - 11.30am

Sensor Networks: A Digital Bridge to the Physical World (3 lectures)
Professor Leonidas Guibas
Computer Science Stanford University

September 12, 2006
10.30am - 11.30am

Sensor Networks: A Digital Bridge to the Physical World (3 lectures)
Professor Leonidas Guibas
Computer Science Stanford University

September 8, 2006
2.00pm - 3.00pm

Code clone analysis and application
Professor Katsuro Inoue
Dept. of Computer Science Osaka University

September 8, 2006
10.45am - 11.45am

Digital Human Project
Professor Takeo Kanade
U. A. Helen Whitaker University Professor of Computer Science and Robotics at Carnegie Mellon University in Pittsburgh

September 7, 2006
2.00pm - 3.30pm

The Future of the Embedded Systems
Edward A. Lee
Professor, Chair of EECS University of California at Berkeley eal@eecs.Berkeley.EDU, http://ptolemy.eecs.berkeley.edu/~eal

September 7, 2006
10.30am - 11.30am

Sensor Networks: A Digital Bridge to the Physical World (3 lectures)
Professor Leonidas Guibas
Computer Science Stanford University

September 6, 2006
3.00pm - 4.45pm

Lightweight Lexical Closures for Legitimate Execution Stack Access with Applications to Garbage Collection and Load Balancing
Masahiro Yasugi
Associate Professor Graduate School of Informatics Kyoto University Japan

September 5, 2006
10.30am - 11.30am

Point-Based Methods in Shape Modeling and Physical Simulation
Prof. Leonidas J. Guibas
Computer Science Department Stanford University

August 31, 2006
3.00pm - 4.00pm

Mining Protein-Protein Interaction Networks
Associate Professor Srinivasan Parthasarathy Srinivasan Parthasarathy
Computer Science and Engineering Department Ohio State University (OSU)

August 29, 2006
2.00pm - 3.00pm

DEP: Detailed Execution Profile
Zhao Qin
PhD Student Singapore-MIT Alliance

August 24, 2006
4.00pm - 6.00pm

The eSourcing Capabiliity Model for Service Providers
Dr. Mark C Paulk
Carnegie Mellon University

August 14, 2006
3.00pm - 4.30pm

An introduction to synchronous grammars
Dr. David Chiang
University of Southern California, Information Sciences Institute

August 14, 2006
1.00pm - 2.00pm

DB2 9 -- The pure XML data server from IBM
Rav Ahuja & Akmal B. Chaudhri

August 10, 2006
2.00pm - 3.00pm

An Architectural Framework for Interactive Software Systems
Alexandre R.J. Fran?ois
Assistant Professor Computer Science Department Viterbi School of Engineering University of Southern California

August 4, 2006
3.00pm - 4.00pm

Analysis of Stream Processing Systems
Ms Phan Thi Xuan Linh
School of Computing NUS

August 4, 2006
2.00am - 3.00am

Congestion Control in Distributed Media Streaming
Ma Lin
Department of Computer Science National University of Singapore

August 3, 2006
4.00pm - 5.00pm

Biocomputing Startups: Can they survive in Singapore?
Bernard Leong
Research Scientist Genome Institute of Singapore, Adjunct Assistant Professor NUS Entrepreneurship Centre

August 3, 2006
2.00pm - 3.00pm

On Diagnostic Data Mining
Dr Liu Bing
Associate Professor Department of Computer Science University of Illinois at Chicago (UIC)

July 28, 2006
3.30pm - 4.30pm

Jump Flooding in GPU with Applications to Voronoi Diagram and Distance Transform
Rong Guodong
PhD Student School of Computing NUS

July 28, 2006
2.00pm - 3.00pm

New Directions In Internet Congestion Control: Quality-of-Service (QoS), Uncooperative Users, Large Bandwidth-Delay and Lossy Networks
Prof. Shivkumar Kalyanaraman
Department of Electrical,Computer and Systems Engineering (ECSE) Rensselaer Polytechnic Institute

July 18, 2006
2.00pm - 3.00pm

Market-driven Bargaining Strategy and Relaxed-criteria Protocol for Grid Resource Allocation
Professor Ben K.M. SIM
Hong Kong Baptist University

July 17, 2006
2.00pm - 3.30pm

Content-based Dissemination of Fragmented XML Data
Ni Yuan
Department of Computer Science, National University of Singapore

July 17, 2006
10.30am - 11.30am

Recent Trends in Design of Multimillion-Gate Multimedia SoCs
Dr. Santanu Dutta
nVIDIA Corporation San Jose, USA

July 12, 2006
3.00pm - 4.00pm

Flexible Machine Learning for Hard Language Problems Hal Daume III - ISI/USC
Hal Daume III
PhD Candidate Computer Science University of Southern California

July 12, 2006
2.00pm - 3.00pm

Proposing a new term weighting scheme for text categorization
Lan Man
School of Computing National University of Singapore

July 3, 2006
2.00pm - 3.00pm

A Memory Model Sensitive Checker for C#
Mr. Thuan Quang Huynh
Research Assistant Microsoft

June 29, 2006
2.00pm - 3.00pm

Identifying microRNA Precursors with The Combination of Global and Local Structure Characteristics
Zheng Yun
Computational Biology Lab, SOC

June 28, 2006
3.15pm - 4.00pm

Relation Extraction Using Label Propagation Based Semi-supervised Learning
Chen Jinxiu

June 28, 2006
2.30pm - 3.15pm

Paraphrase Recognition via Dissimilarity Significance Classification
Qiu Long

June 28, 2006
10.30am - 11.30am

Evolutionary Computing in Applied Search and Optimization
Prof Kalyanmoy Deb
Indian Institute of Technology Kanpur Kanpur, PIN 208016, India Email: deb@iitk.ac.in http://www.iitk.ac.in/kangal/deb.htm

June 27, 2006
3.00pm - 4.00pm

Effective Compiler Generation by Architecture Description
Prof Andreas Krall
Institut f. Computersprachen, University of Technology Vienna, Austria

June 27, 2006
11.00am - 1.00pm

Integrating Data, Models, and Reasoning in Critical Care
Dr Thomas Heldt
MIT Harvard University

June 21, 2006
2.30pm - 3.30pm

Estimating Class Priors in Domain Adaptation for Word Sense Disambiguation
Chan Yee Seng
PhD student

June 16, 2006
10.30am - 12.00pm

Geographic Routing without Planarization
Mr Leong Wing Lup, Ben
Senior Tutor Department of Computer Science

June 13, 2006
10.30am - 11.30am

Forward Pruning in Game-Tree Search
Lim Yew Jin
PhD candidate Computer Science, School of Computing NUS

May 30, 2006
11.00am - 12.00pm

Model Driven Design and Implementation of Statistical Surveys
Professor John Hosking
Department of Computer Science, University of Auckland

May 29, 2006
2.00pm - 3.00pm

Systems Biotechnology and Bioinformatics for Strain Improvement
Dr Dong-Yup Lee
Assistant Professor, Dept. of Chemical and Biomoleculer Engineering National University of Singapore (NUS)

May 26, 2006
2.00pm - 3.00pm

Effect of Malicious Synchronization
Ms. Lu Liming
National University of Singapore

May 23, 2006
10.30am - 11.30am

Distributed Dynamic Verification
Dr.Blaise Genest
IRISA/CNRS, Rennes, France

May 8, 2006
3.00pm - 4.00pm

Exploiting dataflow to extract Java Instruction Level Parallelism on a Tag-based Multi-Issue Semi In-Order (TMSI) Processor
Wang Haichen
PhD student School of Computing NUS

May 8, 2006
10.30am - 11.30am

Efficient Internet Information Distribution with Security and Privacy Considerations
Mr Chen Weifeng
University of Massachusetts at Amherst

May 5, 2006
10.30am - 11.30am

CBEADS: A Framework for developing evolutionary Web Applications
Professor Athula Ginige
University of Western Sydney, Australia

April 28, 2006
2.00pm - 3.00pm

Hiding and Finding the Secret Points among Chaff
Assistant Professor Chang Ee Chien
Computer Science Dept School of Computing

April 26, 2006
10.30am - 12.00pm

Robust Distributed Systems despite Correlated Failures
Dr Yu Haifeng
Intel Research Pittsburg Carnegie Mellon University, USA

April 24, 2006
10.30am - 11.30am

Surgical Simulation: Technology, Research, and Practice
Dr. Alan Liu
The National Capital Area Medical Simulation Center Uniformed Services University Bethesda, Maryland

April 21, 2006
10.30am - 11.30am

Performance of Business-Case Peer-to-Peer Platforms
Prof. Dr. Phuoc TRAN-GIA
University of Wuerzburg, Germany

April 20, 2006
2.00pm - 4.00pm

On the Minimum Common Integer Partition
Dr CHEN Xin
Nanyang Technology University

April 19, 2006
2.00pm - 3.00pm

Adapting Search Engine Results using Clickthroughs
Prof Dik Lee
Professor Department of Computer Science Hong Kong University of Science and Technology

April 19, 2006
10.30am - 12.00pm

Motion Planning for Closed-Chain Manipulators with Application to Structural Biology
Dr Liu Guanfeng
Department of Computer Science Stanford University

April 17, 2006
10.30am - 12.00pm

Digital Media Streaming for Interactive, Collaborative Environments
Dr Roger Zimmermann
Computer Science Department University of Southern California

April 12, 2006
2.30pm - 3.30pm

Statistical Learning Methods for Information Retrieval
Dr. Hang LI
Microsoft Research Asia, China

April 11, 2006
10.30am - 12.00pm

Protocol Design under Cooperative and Selfish Settings in Wireless Networks
Mr Lee Seungjoon
Department of Computer Science, University of Maryland

April 11, 2006
9.00am - 10.00am

Hiero: Finding Structure in Statistical Machine Translation
Dr. David Chiang
University of Southern California, Information Sciences Institute

April 10, 2006
2.00pm - 3.00pm

A Two-tiered Architecture for Credit Card Fraud Detection
Dr. Shamik Sural
Assistant Professor School of Information Technology Indian Institute of Technology, Kharagpur India

April 6, 2006
3.00pm - 4.00pm

Rearrangements in genomes with unequal content
Melvin Zhang
Honours year student, SOC

March 31, 2006
4.30pm - 5.30pm

Interactive Schedulability Analysis
Mr Unmesh Dutta Bordoloi

March 31, 2006
3.00pm - 4.00pm

A Matrix Framework For Discrete Event Control of Wireless Sensor Networks
Prof. F. Lewis
Fellow IEEE, Fellow Royal Inst. Measurement & Control Professional Engineer Texas Head, Advanced Controls & Sensors Group, Automation and Robotics Research Institute (ARRI) University of Texas at Arlington Riverbend

March 29, 2006
3.00pm - 4.00pm

A constituency-based approach to phrase-based statistical machine translation
Mr Hendra Setiawan

March 28, 2006
2.00pm - 3.00pm

Aspect Oriented Software Development with Use Cases
Pan-Wei Ng

March 28, 2006
10.30am - 11.30am

"Generic Fault Tolerant Software Architecture Reasoning and Customization"?
Miss Yuan Ling

March 23, 2006
4.00pm - 5.00pm

SAX: A Tool for Studying Congestion-Induced Surfer Behavior
Tran Dinh Nguyen
(National University of Singapore)

March 23, 2006
3.00pm - 4.00pm

A Probabilistic Model for Mining Labeled Ordered Trees: Capturing Patterns in Carbohydrate Sugar Chains
Prof Hiroshi Mamitsuka
Kyoto University Institute for Chemical Research

March 21, 2006
4.00pm - 5.00pm

Talking Technical: Tricks of the Trade
Dr. Terence Sim
School of Computing

March 20, 2006
2.00pm - 3.00pm

Hypothesis testing with kernels
Dr. Arthur Gretton

March 16, 2006
10.30am - 12.00pm

A Usable Approach to Retargeting Software for Mobile Devices
Mr Rajesh Krishna Balan
Computer Science Department, Carnegie Mellon University Pittsburg, USA

March 15, 2006
4.00pm - 5.00pm

New Challenges for Physical Design
Patrick H. Madden
Computer Science Department State University of New York at Binghamton, U.S.A.

March 15, 2006
2.30pm - 3.30pm

Hardware / Software support for Reliability and Security in Embedded Processors
Associate Professor Sri Parameswaran
School of Computer Science & Engineering, University of New South Wales, Australia

March 7, 2006
3.30pm - 5.00pm

Towards autonomous navigation
Mr Hui Ji
University of Maryland, College Park, USA

March 7, 2006
10.30am - 12.00pm

Online Association Policies in IEEE 802.11 WLANs
Dr Pavan S. Nuggehalli
Centre for Electronics Design and Technology Indian Institute of Science, Bangalore, India

March 1, 2006
3.00pm - 4.00pm

Extracting and Exploiting Contrastive Relations from Biomedical Literature
A/P Ng See-Kiong
Department Manager Knowledge Discovery Department, Institute for Infocomm Research

February 15, 2006
3.00pm - 4.00pm

Relation-based Model for Information Extraction
Mstislav Maslennikov and Goh Hai Kiat

February 10, 2006
2.00pm - 3.30pm

Web Engineering: Successfully Creating Complex Web Applications
Professor Murugesan
Professor of Information Technology, Southern Cross University Australia

January 20, 2006
2.00pm - 3.00pm

IT-education system in Russia
Prof Vladimir A. Sukhomlin
Moscow State University, Visiting Scientist under the Eastern Europe Research Scientist and Student (EERSS)

January 20, 2006
1.00pm - 2.00pm

Synthesis of canonical models aimed at semantic interoperability of heterogeneous information sources
Professor Leonid Kalinichenko
Russian Academy of Science, Moscow, Visiting Scientist under the Eastern Europe Research Scientist and Student (EERSS)

January 20, 2006
10.30am - 11.30am

Access control for XML data
Dr Barbara Carminati
University of Insubria at Como, Italy

January 13, 2006
2.00pm - 3.00pm

Subject Information Mediation for Integrated Access to Heterogeneous Sources
Professor Leonid Kalinichenko
Russian Academy of Science, Moscow, Visiting Scientist under the Eastern Europe Research Scientist and Student (EERSS)

January 13, 2006
1.00pm - 2.00pm

Application of sensor networks technologies for digital biotelemetry in multi-center pre-clinical studies
Prof Vladimir A. Sukhomlin
Moscow State University, Visiting Scientist under the Eastern Europe Research Scientist and Student (EERSS)

January 9, 2006
3.00pm - 4.00pm

A bioinformatics group embedded in an experimental biological institute - Experience at the IMP/Vienna 1999-2006
Dr. Frank Eisenhaber
Group Leader Department of Bioinformatics and the Department of Computers & Networking, Research Institute of Molecular Pathology in Vienna, Austria

January 6, 2006
10.00am - 11.00am

Program Transformation by Solving Recurrences
Ms Beatrice Luca
School of Computing

January 3, 2006
2.00pm - 3.00pm

Improving Performance, Reliability, and Security through Helper Threading
Asst. Prof Yan Solihin
Assistant Professor Department of Electrical and Computer Engineering North Carolina State University

December 27, 2005
2.00pm - 3.00pm

Approximate VCCs: A New Characterization of Multimedia Workloads for System-level MpSoC Design
Mr Liu Yanhong
PhD Student, School of Computing

December 19, 2005
3.00pm - 4.00pm

Skyline Queries Against Mobile Lightweight Devices in MANETs
Mr Lu Hua
PhD Student School of Computing

December 19, 2005
10.00am - 11.00am

Performance Analysis of the Mobility-based Multi-Hop Clustering Algorithm for Mobile Ad Hoc Networks
Miss Er Inn Inn
PhD Candidate

December 16, 2005
11.00am - 12.00pm

Scheduling Periodic Real-Time Tasks on FPGAs
Dr Marco Platzner
University of Paderborn, Germany

December 15, 2005
11.00am - 12.00pm

Recent Custom Computing Research at Imperial College London
Professor Wayne Luk
Imperial College London

December 12, 2005
3.00pm - 4.00pm

Efficient Processing of Updates in Dynamic XML Data
Mr Li Changqing
PhD student

December 12, 2005
11.00am - 12.00pm

Computational Aspects of Game Theory and Microeconomics
Dr Evangelos Markakis
Dept of Computer Science University of Toronto, Canada

December 8, 2005
3.00pm - 4.00pm

Flexible Number Representations for Computing with FPGAs Oskar Mencer  http://www.doc.ic.ac.uk/~oskar http://www.maxeler.com/
Dr. Oskar Mencer
Imperial College U.K.

December 7, 2005
10.00am - 11.00am

Dynamic neuro-fuzzy system for diagnosis assistance
Dr. Daniel Racoceanu
Visiting Scientise, IPAL-CNRS Singapore

December 2, 2005
2.00pm - 4.00pm

CXHist: An On-line Classification-based Histogram for XML String Selectivity Estimation
Mr LIM Lip Yeow
IBM T. J. Watson Research Center

November 30, 2005
10.00am - 11.00am

Combining Abstract Interpreters
Dr. Ashish Tiwari
SRI International, Menlo Park, California, USA.

November 28, 2005
10.30am - 12.00pm

Deducing Function From Mammalian Genome And Transcriptome Data
Dr Christian Sch?nbach
Immunoinformatics Research Team, Advanced Genome Information Technology Group,, RIKEN Genomic Sciences Center, Yokohama 230-0045, Japan

November 25, 2005
2.00pm - 3.00pm

Coronary tree extraction from X-ray angiograms using object processes
Dr. Caroline Lacoste

November 23, 2005
4.00pm - 5.00pm

Understanding Text: Semantic Roles and Relations
Mr Qiu Long
Doctoral Student, School of Computing, NUS

November 23, 2005
2.30pm - 3.30pm

Relating Two Models of Mobile Computing
Prof. Fu Yuxi
Shanghai Jiaotong University

November 16, 2005
2.00pm - 3.00pm

Computation in Membrane Systems
Gabriel Ciobanu
Institute of Computer Science Romanian Academy

November 9, 2005
2.00pm - 3.00pm

SIP/SIMPLE : Impact, Architecture and Challenges
Dr Arup Acharya
Research Staff Member IBM T.J

November 8, 2005
3.00pm - 4.00pm

Managing Data Streams in Advertising Networks
Prof Amr El Abbadi
Department of Computer Science University of California at Santa Barbara (In collaboration with Ahmed Metwally and Divyakant Agrawal)

November 8, 2005
2.00pm - 3.00pm

Analyzing Inconsistency Toward Enhancing Integration of Biological Molecular Databases
Dr Phoebe Chen
Director of Research Deakin University

November 8, 2005
10.00am - 11.00am

Identification of Post-translational Modifications via  Blind Search of Mass-Spectra
Professor Pavel Pevzner
Department of Computer Science and Engineering University of California, San Diego

November 7, 2005
6.30pm - 8.30pm

Towards a Unified Framework for Composite Audio Analysis
Mr. Lu Lie
Microsoft Research Asia

November 7, 2005
3.00pm - 4.00pm

Finding Exact Optimal Motif in Matrix Representationby Partitioning
Professor Francis Chin
Department of Computer Science University of Hong Kong

November 7, 2005
10.00am - 11.00am

Accio!: A Localized Content Based Image Retrieval System.
Rouhollah Rahmani
Doctoral Student, Washington University St Louis, USA

October 28, 2005
2.00pm - 3.30pm

Processor Architecture for Trustworthy Computers
Ruby B. Lee
Princeton University, USA

October 26, 2005
4.00pm - 5.00pm

A Bayesian Interpretation of Interpolated Kneser-Ney
Dr Teh Yeh Whye
Lee Kuan Yew Postdoctoral Fellow Department of Computer Science NUS

October 26, 2005
10.00am - 11.30am

View Planning for Range Acquisition of Indoor Environments
Dr Low Kok Lim
Senior Tutor, Department of Computer Science NUS

October 21, 2005
2.00pm - 3.00pm

Detection and Tracking of Region-Based Evolving Targets in Sensor Networks
Prof Guozhu Dong
Wright State University

October 14, 2005
2.00pm - 3.00pm

Metaprogramming In Databases
Dr. Gottfried Vossen
Professor of Computer Science Department of Information Systems, University of Muenster Germany

October 14, 2005
10.00am - 11.00am

Roman Domination --- a case study on parameterized complexity
Henning Fernau
University of Tuebingen and University of Hertsfordshire

October 13, 2005
10.30am - 11.30am

Multi-Auction Approach For Solving Task Allocation Problems
Dr. Ho-fung Leung
Chinese University of Hong Kong

October 12, 2005
10.30am - 11.30am

Go! for multi-threaded deliberative agents
Professor Keith Clark
Imperial College,, UK

October 7, 2005
2.00pm - 3.00pm

Text Mining Using Markov Chains of Variable Length
Professor Thomas Zeugmann
Hokkaido University

October 5, 2005
2.00pm - 3.00pm

Simultaneous Information Sharing and Privacy Preservation
Professor Ke Wang
Simon Fraser University

October 4, 2005
5.30pm - 6.30pm

Causing Communication Closure: Safe Program Composition with Non-FIFO Channels
Dr. Kai Engelhardt
University of New South Wales and, National ICT Australia

September 26, 2005
3.30pm - 5.00pm

Designated Verifier Signature Schemes: Attacks, New Security Notions and A New Construction
Dr Helger Lipmaa
Cybernetica AS and University of Tartu (Estonia)

September 26, 2005
3.00pm - 4.00pm

Compact Tries for Efficient Sorting and Searching
Mr Ranjan Sinha

September 22, 2005
11.00am - 12.00pm

Data Mining for Network Security
Dr. Latifur R. Khan
Assistant Professor Computer Science Department, University of Texas, Dallas

September 21, 2005
3.00pm - 4.00pm

WCET Centric Data Allocation to Scratchpad Memory
Vivy SUHENDRA
Research Assistant School of Computing

September 20, 2005
4.00pm - 5.00pm

Self-organization of ad hoc networks - making the algorithms immune to malicious transmission failures
Prof Miroslaw Kutylowski
Wroclaw University of Technology

September 15, 2005
10.30am - 11.30am

Could random inductive models be better than well-thought models?
Dr Wei Fan
IBM T.J.Watson Research

September 14, 2005
4.00pm - 5.00pm

Chinese Document Re-ranking Based on Term Distribution and Maximal Marginal Relevance ... and ... Supervised Categorization of Javascript using Program Analysis Features
Lingpeng Yang & Wei Lu
Senior Software Engineer, I2R and SMA MS student, NUS respectively

September 13, 2005
2.00pm - 3.00pm

Efficient Frequent Closed Sequence Mining and Beyond
Associate Professor Jianyong Wang
Department of Computer Science and Technology Tsinghua University, Beijing 100084, China

September 5, 2005
3.00pm - 4.30pm

Implementing Lustre programs on distributed platforms with real-time constraints.
Adrian Curic
VERIMAG laboratory France

September 5, 2005
2.00pm - 3.00pm

Exploiting Redundancy in Sensor Networks for Energy Efficient Processing of Spatiotemporal Region Queries
Assoc. Prof Mario A. Nascimento
Associate Professor, Dept. of Computing Science, University of Alberta, Canada

September 2, 2005
2.00pm - 3.00pm

Advances in Data Mining (OLAM) in Data Cubes
Prof Guozhu Dong
Wright State University

August 31, 2005
4.00pm - 5.00pm

Ontology-based approach for multilingual information retrieval in CLEF-2005
Said Radhouani
Research and Teaching Assistant University of Geneva (Switzerland)

August 29, 2005
2.00pm - 3.00pm

High-Dimensional Similarity Searches Using A Metric Pseudo-Grid
Assoc. Prof Mario A. Nascimento
Associate Professor Dept. of Computing Science, University of Alberta, Canada

August 26, 2005
2.00pm - 3.00pm

Energy Aware Information Dissemination and Acquisition in Mobile Ad Hoc Wireless Networks
Dr. Biplab
Assistant Professor, Department of Electrical, Computer and Systems Engineering Rensselaer Polytechnic Institute Troy, NY, USA

August 25, 2005
3.00pm - 4.00pm

Detecting Higher-level Similarity Patterns in Programs
Mr Hamid Abdul Basit
PhD student School of Computing

August 23, 2005
4.00pm - 5.00pm

Emerging Technologies Stimulating Mass Market Adoption of Fingerprint Biometrics
Dr. Ganapathi (K. G.)
CEO Fidelica Microsystems

August 23, 2005
11.00am - 12.00pm

Minimizing a box for flat objects
Prof Otfried Cheong
Associate Professor, Korea Advanced Institute of Science and Technology (KAIST)

August 22, 2005
3.30pm - 4.30pm

Model-Driven Software Engineering
Dr. Jim Davies, Reader
University of Oxford, UK

August 22, 2005
2.00pm - 3.00pm

A Study of the Coexistence of Heterogeneous Flows on Data Network
Adrian S-W. Tam
M.Phil. Student, The Chinese University of Hong Kong

August 17, 2005
2.00pm - 3.00pm

DSI: A Fully Distributed Spatial Index for Location-based Wireless Broadcast Services
Assoc Prof Wang-Chien Lee
Penn State University

August 11, 2005
3.00pm - 4.00pm

Industrial Experience with Building a Web Portal Product Line using a Lightweight, Reactive Approach
Mr Ulf Pettersson
Technical Director ST Electronics (Info-Software Systems), A subsidiary of Singapore Technologies Electronics

August 5, 2005
4.00pm - 5.00pm

A NOVEL ARCHITECTURE FOR A MEDICAL DIAGNOSTIC SYSTEM BASED ON MAS TECHNOLOGY AND SWARM INTELLIGENCE
Prof Rainer Unland
Professor, Computer Science Institute for Computer Science and Business Information Systems (ICB) University of Duisburg-Essen

August 5, 2005
2.00pm - 3.00pm

Information Preserving XML Schema Embedding
Dr. Fan Wenfei
LFCS, School of Informatics, University of Edinburgh

August 2, 2005
10.30am - 12.00pm

Part I : On-Demand Media Streaming via COOL Search and Bit-Vampire  Part II: BlueCT: A Mobile Interactive e-Learning System with Bluetooth-Enabled Devices
Prof. Dr. Son Vuong
Computer Science Department University of British Columbia

July 29, 2005
2.00pm - 3.00pm

Approximate VCCs: A New Characterization of Multimedia Workloads for System-level MpSoC Design
Mr Liu Yanhong
PhD Student

July 29, 2005
2.00pm - 3.00pm

Game semantics and software model checking
Professor Luke Ong
University of Oxford

July 28, 2005
3.00pm - 4.00pm

Constrained decision diagrams
Kenil Chi-Kan Cheng
PhD Student

July 28, 2005
2.00pm - 3.00pm

Energy-Aware Instruction Scheduling
Prof Y.N. Srikant
Professor & Chairman, Department of Computer Science and Automation Indian Institute of Science, Bangalore 560021, india

July 28, 2005
10.00am - 11.00am

Coordination of Many Agents
Mr Kenny Qili Zhu
PhD Candidate

July 27, 2005
4.00pm - 5.00pm

BORDER: Efficient Computation of Boundary Points
Ms Xia Chenyi
PhD Student

July 27, 2005
2.00pm - 3.00pm

On Decisive and Non U-Shaped Learning
Mr Frank Stephan
Visiting Senior Fellow, Departments of Computer Science and Mathematics National University of Singapore

July 26, 2005
3.00pm - 4.00pm

Lazy XML Updates: Laziness as a Virtue of Update and Structural Join Efficiency.
Wang Wen Qiang

July 25, 2005
3.00pm - 4.00pm

Indexing DNA Sequences Using q-grams
Cao Xia

July 21, 2005
3.00pm - 4.00pm

On boosting holism in XML twig pattern matching using two data streaming techniques
Mr. Lu Jiaheng
PhD Student

July 19, 2005
3.30pm - 4.30pm

Question Answering Passage Retrieval Using Depedency Relations
Sun Ren Xu

July 15, 2005
3.00pm - 4.00pm

Object-Oriented analysis and specification for HW/SW co-design with UML diagrams
Prof Masahiro Fujita
VLSI Design and Education Center The University of Tokyo

July 11, 2005
3.00pm - 4.00pm

BATON: A Balanced Tree Structure for Peer-to-Peer Networks
Mr Vu Quang Hieu
SMA Student

July 8, 2005
11.00am - 12.00pm

Synthesis of Distributed Processes from Scenario-based Specifications
Sun Jun
PhD candidate, Computer Science Dept School of Computing, NUS

July 6, 2005
3.30pm - 4.30pm

Generic Soft Pattern Models for Definitional Question Answering
Mr Cui Hang
PhD candidate, Department of Computer Science School of Computing

July 5, 2005
2.00pm - 3.00pm

Scaling Up Word Sense Disambiguation via Parallel Texts
Mr Chan Yee Seng
PhD student Computer Science Dept

June 29, 2005
4.00pm - 5.00pm

Hierarchical Retargeting of Fine Facial Motions
Dr. Moon-Ryul Jung
Professor Dept of Media Technology, Sogang?University, Korea?

June 28, 2005
2.00pm - 3.00pm

Secure Content Management in Third-party Architectures Elena Ferrari, University of Insubria at Como (Italy)
Prof Elena Ferrari
Computer Science Dept, University of Insubria Como (Italy)

June 24, 2005
3.00pm - 4.30pm

Audio for Interactive Media
Dr. Lonce Wyse
Senior Scientist Institute for Infocomm Research

June 24, 2005
10.30am - 11.30am

HOME 2015 - A Vision of a Future Home
Dr. A . Rahim Leyman
Institute for Infocomm Research Singapore

June 22, 2005
4.00pm - 5.00pm

Painless Problem Decomposition
Mark Wallace
Research Professor, Faculty of Information Technology Monash University

June 22, 2005
3.30pm - 4.30pm

Semantic Argument Classification Exploiting Argument Interdependence
Jiang Zheng Ping

June 6, 2005
3.00pm - 4.00pm

Consistency in Service Oriented Systems
Dr. Dean Kuo
CSIRO/Manchester University

June 6, 2005
10.30am - 11.30am

Policy Management for Autonomic Data Management
Dr Mukesh Mohania
I.B.M. India Research Lab

June 1, 2005
10.30am - 11.30am

Adaptive Fanouts for Gossip Protocol
Mr Satish Verma

May 31, 2005
2.00pm - 3.00pm

Keyword and natural language queries against databases.
Prof H.V. Jagadish
Professor, University of Michigan Shaw Professor, NUS

May 31, 2005
10.30am - 11.30am

Cognitive Ubiquitous Computing
Dr. Sethuraman (Panch) Panchanathan
Professor and Chair Computer Science and Engineering Department, Director Institute for Computing & Information Sciences & Engineering, and Research Center on Ubiquitous Computing (CUbiC) at Arizona State University, Tempe, Arizona

May 27, 2005
10.30am - 11.30am

An Adaptive Strategy for Trust/Honesty Model in Multi-agent Semi-competitive Environments
Dr. Ho-fung Leung
Chinese University of Hong Kong

May 25, 2005
2.30pm - 3.30pm

Exponential Families in Feature Space
Dr. Vishwanathan

May 24, 2005
2.00pm - 3.00pm

Algebras for XML Query Processing
Prof H.V. Jagadish
Professor, University of Michigan Shaw Professor, NUS

May 19, 2005
2.00pm - 3.30pm

Mining Patterns from Protein Structures
Dr Wei Wang
Department of Computer Science University of North Carolina at Chapel Hill

May 17, 2005
2.00pm - 3.00pm

The TIMBER XML Database
Prof H.V. Jagadish
Professor, University of Michigan Shaw Professor, NUS

May 16, 2005
3.00pm - 4.00pm

A Game Theoretic Approach to Provide Incentive and Service Differentiation in P2P Networks
Dr John C. S. Lui
Computer Science & Eng Dept, The Chinese University of Hong Kong

May 12, 2005
3.30pm - 5.00pm

Distributed logic-memory architecture and computation-unit integrated memory based high-level synthesis
Mr Huang Chao
Princeton University

May 12, 2005
2.00pm - 3.00pm

Computing Schedules for Multithreaded Real-Time Programs using Geometry
Dr. Thao Dang
Research Scientist, CNRS (French National Center for Scientific Research)

May 11, 2005
3.30pm - 4.30pm

Word Sense Disambiguation with Distribution Estimation
Chan Yee Seng
PhD Student, Department of Computer Science School of Computing, NUS

May 9, 2005
2.00pm - 3.00pm

Beyond Templates: a Study of Clones in the STL and Some General Implications & Verifying Safety Policies with Size Properties and Alias Controls
Mr Hamid A. Basit & Mr Corneliu Popeea

May 3, 2005
10.30am - 12.00pm

An Open Architecture for Transport-level Protocol Coordination in Distributed Multimedia Applications
Mr David OTT
University of North Carolina,, USA

April 29, 2005
2.00pm - 3.00pm

Similarity-based Search over Time Series and Trajectory Data
Dr Lei Chen
Dept of Computer Science, University of Waterloo, Canada

April 27, 2005
3.30pm - 4.30pm

Automatic Sentiment Classification
Dr. Christopher Khoo
Nanyang Technological University

April 26, 2005
2.00pm - 3.00pm

Update-Pattern-Aware Modeling and Processing of Continuous Queries
Professor M. Tamer Ozsu
Professor & Univ. Res. Chair, University of Waterloo

April 22, 2005
10.30am - 12.00pm

Advances in Large-Scale Tiled Displays
Dr Michael Brown
California State University Monterey Bay,, USA

April 15, 2005
3.00pm - 4.00pm

On Logical Foundation of the Semantic Web: An Institution-based Approach
Dr Dorel Lucanu
Faculty of Computer Science, ``A.I.Cuza'" University of Iasi, Romania

April 14, 2005
3.30pm - 5.00pm

Multimodal User Interfaces for Immersive Environments
Dr Andrea Corradini
University of Southern Denmark

April 13, 2005
3.30pm - 4.30pm

Text Classification: from Euclidean to Riemannian
Mr Dell Zhang

April 13, 2005
10.30am - 12.00pm

Randomized algorithms for path problems and graph Spanners
Surender Baswana
Max-Planck Institute for Computer Science,, Saarbrucken, Germany

April 12, 2005
3.00pm - 4.00pm

Better Safe Than Sorry: Design and Validation of a Distributed File Replication System
Dr. Nikolaj S. Bjorner
Microsoft, Redmond WA, USA

April 11, 2005
2.00pm - 3.00pm

Convexity in Itemset Spaces
Dr Wong Lim Soon
Deputy Executive Director (Research), Institute for Infocomm Research, Singapore

April 7, 2005
10.30am - 11.30am

GuarSP@CE-Ref or Guaranteeing Security and Privacy in Cyberspace as applied to the Future Refereeing Process for DKE
Prof Reinder Pieter Van De Riet
Computer Science Department Vrije Universiteit

April 5, 2005
10.30am - 12.00pm

How to Improve the Blocking Performance of Wavelength-Routed WDM Networks?
Dr Xiaowen Chu
Department of Computer Science, Hong Kong Baptist University, Hong Kong

March 29, 2005
3.00pm - 4.00pm

Electronic Tools and Adequately Explicit Protocols in Human Clinical Trial Experiments
Prof Alan H. Morris
Director of Research, Pulmonary Div, LDS Hospital Salt Lake City, Utah

March 23, 2005
3.30pm - 4.30pm

Portal Digital Project - An Overview (CAIS, Nanyang Technological University)
Dr Ee Peng Lim
School of Engineering, Nanyang Technological University

March 22, 2005
10.30am - 12.00pm

Verification and debugging of real-time systems using counting SAT
Dr Stefan Andrei
Department of Computer Science, National University of Singapore

March 4, 2005
2.00pm - 3.00pm

Mars or Bust: Lessons Learned from commanding Spirit and Opportunity for NASA's Mars Exploration Rover (MER) mission
Kanna Rajan,
NASA Ames Research Center

March 1, 2005
3.30pm - 4.30pm

Business Processes and Temporal Logics
Prof. Dr. Cristian Dumitru Masalagiu
Department of Computer Science Fundaments and Distributed Computing,, Faculty of Computer Science,

February 25, 2005
10.30am - 11.30am

Reliability Growth in Software Products
Professor Pankaj Jalote
Professor, Department of Computer Science and Engineering Indian Institute of Technology Kanpur

February 17, 2005
11.00am - 12.00pm

Ubiquitous Computing in the Home: An Introduction
Prof. Keung Hae Lee
chairman Smart Home Services Committee, Smart Home Standards Forum in Korea

February 16, 2005
2.00pm - 3.00pm

Quest for QoS with the IEEE 802.11e
Dr. Nuggehalli
Assistant Professor, Centre for Electronics Design and Technology, Indian Institute of Science

February 11, 2005
10.30am - 12.00pm

Convex Recolorings of Strings and Trees
Prof Shlomo Moran
Computer Science Department Technion, Haifa,Israel

February 2, 2005
3.30pm - 4.30pm

Addressing the Knowledge Acquisition Bottleneck in Large Scale WSD
Mr Upali Sathyajith Kohomban
Ph.D. candidate, School of Computing National University of Singapore

January 19, 2005
3.00pm - 5.00pm

Formal Methods with CafeOBJ
Professor Kokichi FUTATSUGI
Graduate School of Information Science, Japan Advanced Institute of Science and Technology

January 17, 2005
3.00pm - 4.30pm

Location-based Web Search
Dr Xiaofang Zhou
Professor, University of Queensland, Australia

January 5, 2005
4.00pm - 5.00pm

Privacy and Ownership Preserving of Outsourced Medical Data
Mr Yang Yan Jiang
PhD Candidate, School of Computing, National University of Singapore

January 5, 2005
3.00pm - 4.00pm

Generalized Multi-dimensional Data Mapping and Query Processing
Mr Rui Zhang
PhD Candidate, School of Computing, National University of Singapore

January 4, 2005
3.00pm - 4.00pm

Verifying Safety Policies with Size Properties and Alias Controls
Mr. Corneliu Popeea
Department of Computer Science, NUS

December 29, 2004
3.00pm - 4.00pm

Improving Pronoun Resolution by Incorporating Coreferential Information of Candidates
Mr Yang Xiaofeng
PhD Candidate, Computer Science Department, School of Computing, NUS

December 27, 2004
10.00am - 12.00pm

Fudan-NUS Competency Centre for Peer-to-Peer Computing:  Two Systems Developed in the Project
Professor ZHOU Aoying
Department of Computer Science and Engineering, Fudan University, Director, Fudan-NUS Competency Centre for Peer-to-Peer Computing

December 23, 2004
2.30pm - 5.00pm

Bloom Filter-based XML Packets Filtering for Millions of Path Queries
Asst Prof Gong Xueqing
Department of Computer Science and Engineering, Fudan University

December 23, 2004
10.00am - 12.00pm

Research Progress of Streaming Data Processing in Fudan University
Asst Prof Qian Weining
Department of Computer Science and Engineering, Fudan University

December 21, 2004
3.00pm - 4.00pm

Processor Frequency Selection for SoC Platforms for Multimedia Applications
Mr Liu Yanhong
School of Computing, NUS

December 20, 2004
3.00pm - 5.00pm

Beyond Templates: a Study of Clones in the STL and Some General Implications
Mr Damith Chatura Rajapakse and Mr Hamid Abdul Basit

December 17, 2004
3.00pm - 4.00pm

Preferences
Prof. Francesca Rossi
University of Padova,, Italy

December 17, 2004
3.00pm - 4.00pm

Using Fixed Point Theorems to Model the Binding in Protein--Protein Interactions
Mr Haiquan LI
Knowledge Discovery Department, Institute for Infocomm Research National University

December 14, 2004
2.00pm - 3.00pm

Effectiveness of DDoS Attacks on Statistical Filtering
Mr Li Qiming
Department of Computer Science,, School of Computing, National University of Singapore

December 13, 2004
10.30am - 11.30am

Bridging pervasive computing with mobile agents through context awareness
Dr Arkady Zaslavsky
School of Computer Science & Software Engineering, Monash University

December 10, 2004
11.00am - 12.00pm

Translation Initiation Sites Prediction with Mixture Gaussian Models in Human CDNA Sequences
Mr Li Guoliang
PhD Candidate, Medical Computing Lab School of Computing, NUS

December 9, 2004
2.00pm - 3.00pm

What should Computer Science students learn from Mathematics?
Prof. Tay Yong Chiang
Computer Science Department,, School of Computing

December 8, 2004
3.30pm - 4.30pm

Database Challenges in Eastronomy
Dave Abel
CSIRO Chief Research Scientist, CSIRO Mathematical and Information Sciences

December 8, 2004
1.00pm - 2.30pm

Optimal Perfectly Secure Message Transmission
Prof. C.Pandu Rangan
Department of Computer science and Engg,, Indian Institute of Technology, Madras, India.

December 6, 2004
2.00pm - 3.00pm

Non-photorealistic Camera: Depth Edge Detection and Stylized Rendering using Multi-Flash Imaging
Dr. Tan Kar Han
Epson Palo Alto Lab.

December 3, 2004
11.00am - 12.00pm

Optimal and Information Theoretic Syntactic Pattern Recognition
Dr. B. John Oommen
Professor and Fellow of the IEEE, School of Computer Science, Carleton University, Ottawa

December 3, 2004
10.30am - 11.30am

An NP-complete fragment of LTL
Dr. Igor Walukiewicz
(LaBRI, CNRS, Bordeaux, France)

December 3, 2004
10.30am - 12.00pm

Building Scalable, Self-organizing Distributed Systems with DKS Middleware
Professor Seif Haridi and Ali Ghodsi
KTH/Royal Institute of Technology and Swedish Institute of Computer Science (SICS)

November 30, 2004
3.00pm - 4.00pm

A Learning Algorithm Capable Of Learning From Stochastic Teachers and Stochastic Compulsive Liars
Dr. B. John Oommen
Professor and Fellow of the IEEE, School of Computer Science, Carleton University, Ottawa

November 30, 2004
9.00am - 6.00pm

Computational Biology Workshop Programme
See below

November 29, 2004
2.00pm - 3.00pm

Automatic Generation of Protocol Converters from Scenario-based Specifications
Mr. Tran Tuan-Anh
School of Computing, National Univerisity of Singapore

November 29, 2004
1.00pm - 2.00pm

New MPEG-4 Audio Extensions ? Bandwidth Extension, Parametric Coding and Lossless Coding
Mr Rongshan Yu
Institute for Infocomm Research (I2R), A*STAR, Singapore.

November 25, 2004
11.00am - 12.00pm

Formal Methods for Embedded Controllers
Dr. Ralf HUUCK
National ICT Australia and UNSW

November 25, 2004
11.00am - 12.00pm

Mining Web Structure for Advanced Search
Dr Wei-Ying Ma, Research Manager
Web Search and Mining Group, Microsoft Research Asia

November 17, 2004
3.00pm - 4.00pm

Query Based Event Extraction along a Timeline
Mr. Chieu Hai Leong and Mr. Yoong Keok Lee
DSO National Labs

November 10, 2004
2.00pm - 3.00pm

Automatic Disjunctive Partitioning for Symbolic Reachability Analysis
Dr. Supratik Chakraborty
Dept. of Computer Science and Engineering, Indian Institute of Technology, Bombay

November 3, 2004
3.00pm - 4.00pm

A Comprehensive Comparative Study on Term Weighting Schemes for Text Categorization with Support Vector Machines
Ms. Lan Man
School of Computing, National University of Singapore

November 3, 2004
2.00pm - 3.00pm

Configuration Bitstream Compression for Dynamically Reconfigurable FPGAs
Dr. Tulika Mitra
Assistant Professor Dept. of Computer Science,, School of Computing, National University of Singapore

November 3, 2004
2.00pm - 3.00pm

Representing ecological niches in a conceptual model
Sonia Berman
Associate Professor Dept. of Computer Science, University of Cape Town

October 29, 2004
10.00am - 11.00am

Continuous Media Web
Andre Pang
CSIRO ICT Centre, Sydney

October 28, 2004
3.30pm - 4.30pm

Video Summarization
Dr Ajay Divakaran
Senior Principal Member of Technical Staff Mitsubishi Electric Research Laboratories

October 28, 2004
2.00pm - 3.00pm

Authentication Watermarking: Security, Localization and a new Lossless Framework
Gaurav Sharma
ECE Dept, University of Rochester

October 28, 2004
10.00am - 11.00am

X-layer design for mobile multimedia communication
Dr Eckehard Steinbach
Technische Universitaet Muenchen, Germany

October 27, 2004
4.00pm - 5.00pm

Unsupervised pattern discovery for multimedia sequences
Lexing Xie
Dept. of Electrical Engineering, Columbia University

October 27, 2004
1.30pm - 3.00pm

Modelling and Refinement of State-based Software Systems: A Coalgebraic Perspective
Mr. Sun Meng
Beijing University, China

October 26, 2004
10.00am - 11.00am

Remote customization of systems code
Sapan Bhatia
INRIA, Bordeaux, France

October 20, 2004
3.00pm - 4.00pm

Learning Object Models from Product Web Pages
Ye Shiren

October 20, 2004
2.00pm - 3.00pm

Compiler-Orchestrated Prefetching via Speculation and  Predication
Wong Weng Fai
Associate Professor, Department of Computer Science School of Computing, NUS

October 19, 2004
4.00pm - 5.00pm

A Page Fault Equation for Modeling the Effect of Memory Size
Prof Tay Yong Chiang
Department of Computer Science, School of Computing, NUS

October 19, 2004
4.00pm - 5.00pm

Robot Motion Planning: Is Probabilistic Completeness Enough?
Prof. Jean-Claude Latombe
Kumagai Professor of Computer Science, Stanford University

October 15, 2004
2.30pm - 3.30pm

Courier Routing Problem in Greater Vancouver
Binay Bhattacharya
Professor of Computing Science, Simon Fraser University

October 11, 2004
4.00pm - 5.00pm

"SRIJAN: Synthesis of Application Specific Multiprocessors"
M. Balakrishnan
Department of Computer Science, Indian Institute of Technology Delhi

October 7, 2004
2.00pm - 3.00pm

Impact of Java Memory Model on Out-of-Order Multiprocessors
TULIKA MITRA
Assistant Professor, School of Computing National University of Singapore

October 6, 2004
3.00pm - 4.00pm

Two brief talks on Web page block classification: Understanding the Functions of Web Elements, and Stylistic and Lexical Co-training for Element Classification.
Mr Yin Xinyi and Dr Kan Min-Yen
School of Computing, National University of Singapore

October 5, 2004
3.00pm - 4.00pm

A Type System for Resource Protocol Verification and its Correctness Proof
Corneliu Popeea
PhD Student, School of Computing, Dept. of Computer Science National University of Singapore

October 1, 2004
3.00pm - 4.00pm

LyricAlly: Automatic Synchronization of Acoustic Musical Signals and Textual Lyrics
Mr Arun SHENOY Kota
Research Assistant School of Computing, NUS

October 1, 2004
2.00pm - 3.00pm

A Framework for Robust and Scalable Audio Streaming
Dr WANG Ye
Assistant Professor, School of Computing, NUS

September 22, 2004
3.00pm - 4.00pm

A study of several initialization methods for text clustering
He Ji

September 21, 2004
10.30am - 12.00pm

Care, Feeding and Growth of Software Systems
Prof. Mathai Joseph
Tata Research, Development and Design Center, Pune, India

September 20, 2004
2.00pm - 3.00pm

Incremental Maintenance of Quotient Cube for Median
Dr. Tung Kum Hoe
Assistant Professor, School of Computing National University

September 13, 2004
10.30am - 11.30am

On the Effectiveness of Address Space Randomization
Eu-Jin Goh

September 6, 2004
4.00pm - 5.00pm

Pushdown hierarchies and the safety constraint
Professor Luke Ong
Computing Laboratory, University of Oxford

August 27, 2004
2.00pm - 3.00pm

Multi-objective Optimization Part II: Why Do Evolutionary Methods Work?
Prof. Lothar Thiele
Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

August 26, 2004
2.00pm - 3.00pm

Multi-objective Optimization Part I: Randomized Search Using Multiple Criteria
Prof. Lothar Thiele
Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

August 25, 2004
2.00pm - 3.00pm

Embedded Systems Design Part II:  The FunState Model of Computation
Prof. Lothar Thiele
Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

August 20, 2004
2.00pm - 3.00pm

Interesting Problems for Cardinal Direction Relations: Composition and Consistency
Dr. Spiros Skiadopoulos
Department of Computer Science and Technology, University of Peloponnese (Greece)

August 13, 2004
3.00pm - 4.00pm

Self-annotating filesystems for e-Science
Mr. Nick Falkner
Distributed and High Performance Computing Group, University of Adelaide

August 11, 2004
2.00pm - 3.00pm

Embedded Systems Design Part I:  Design Space Exploration of Embedded Systems
Lothar Thiele
Professor Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

August 6, 2004
10.00am - 11.00am

Persistent and oblivious data structures with an application to presentation recording
Prof. Thomas Ottmann
Institute of Computer Science, Faculty of Applied Sciences, University of Freiburg.

July 29, 2004
2.30pm - 3.30pm

Solving sequential decision tasks with neuroevolution
Prof. Risto Miikkulainen
Dept. of Computer Sciences, The University of Texas at Austin

July 26, 2004
2.30pm - 3.30pm

Secure XML Publishing without Information Leakage in the Presence of Data Inference
Dr. Chen Li
Department of Information and Computer Science, University of California, Irvine

July 21, 2004
2.00pm - 3.00pm

Audiovisual text-to-cued speech synthesis
Mr. Gibert Guillaume
Institut de la Communication Parl?e, France

July 21, 2004
10.30am - 11.30am

An Annotation Management System for Relational Databases: Semantics and Implementation
Dr. Tan Wang-Chiew
Department of Computer Science, University of California, Santa Cruz

July 12, 2004
2.00pm - 3.00pm

Google from the Inside
Dr. Krishna Bharat
Principal Scientist, Google Inc.

July 6, 2004
10.30am - 12.00pm

RNA pseudoknot prediction in stacking based models
Dr. Rune Lyngsoe
Oxford University, UK

July 5, 2004
10.00am - 11.00am

Content Adaptation for Mobile Multimedia
Dr. Hari Kalva
Department of Computer Science and Engineering, Florida Atlantic University

June 30, 2004
2.30pm - 3.30pm

Custom Instruction Identification for Instruction-set Extensible Processors
Mr. Pan Yu
School of Computing, National University of Singapore

June 25, 2004
2.00pm - 3.00pm

Our presentation title is ``FARMER: Finding Interesting Rule Groups in Microarray Datasets``.
Ms. Xu Xin
School of Computing, National University of Singapore

June 24, 2004
10.30am - 12.00pm

A Path-based Approach to Managing Failures and Evolution
Mr. Michael Chen Yen-Yang

June 18, 2004
3.00pm - 4.00pm

Research into Software Product Lines: Multiple View Meta-modeling and Dynamic Software Reconfiguration
Prof. Hassan Gomaa
Dept. of Information and Software Engineering, George Mason University, Fairfax, Virginia

June 15, 2004
3.00pm - 4.00pm

Research and Applications of Virtual Medicine
Prof. Pheng Ann Heng
The Chinese University of Hong Kong, Department of Computer Science & Engineering Email: pheng@cse.cuhk.edu.hk

June 9, 2004
2.30pm - 3.30pm

Automated Generation of Test Programs From Closed Specifications of Classes and Test Cases
Dr. Leow Wee Kheng
Associate Professor, School of Computing, NUS

June 1, 2004
2.00pm - 3.30pm

Pointer Analysis: Practice and Theory
Dr. Satish Chandra
IBM Research Lab, India

May 27, 2004
10.30am - 12.00pm

Understanding and Designing for Physically Large Displays
Mr Desney Tan

May 19, 2004
10.30am - 12.00pm

Discovering and Debugging Algebraic Specifications for Java Classes
Mr. Johannes Henkel
University of Colorado at Boulder, http://www-plan.cs.colorado.edu/henkel/

May 17, 2004
10.30am - 12.00pm

Design of Efficient Fault Tolerance in Embedded Systems
Dr. Arshad Jhumka
Dept of Computer Science, Chalmers University of Technology, Sweden

May 12, 2004
2.30pm - 3.30pm

WYSIWIM: Can machine learning improve visualization?
Prof. Randy Goebel
Computing Science, University of Alberta

May 11, 2004
4.00pm - 5.00pm

Interval Constraints for Optimization Problems
Prof. Maarten van Emden
University of Victoria, Canada

May 11, 2004
2.00pm - 3.00pm

Using Compressed Bytecode Traces for Slicing Java Programs
Wang Tao
School of Computing, National University of Singapore

May 10, 2004
2.30pm - 3.30pm

New technologies for Internet access
Dr. Dan Sahlin
Macab AB, Sweden

May 4, 2004
3.00pm - 4.00pm

Light Field Duality, Uncertainty and Free Viewpoint Video
Dr. George Chen
STMicroelectronics San Diego Laboratory

May 3, 2004
2.00pm - 3.30pm

On Open-set Lattices and some of their Applications in Semantics
Dr. Mouw-ching Tjiok
IBM, Germany

April 27, 2004
2.00pm - 3.00pm

Verification of SoC Designs: Survey and Proposed Solutions
Dr. Sofiene Tahar
Associate Professor, Electrical and Computer Engineering, Concordia University, Montreal, Canada

April 26, 2004
2.00pm - 3.00pm

A Survey on System-on-a-Chip Design Languages
Dr. Sofiene Tahar
Associate Professor, Electrical and Computer Engineering, Concordia University, Montreal, Canada.

April 16, 2004
3.00pm - 4.00pm

LDC: Enabling Search By Partial Distance In A Hyper-Dimensional Space
Dr. Shen Heng Tao
School of Computing, National University of Singapore

April 13, 2004
2.00pm - 3.00pm

Connectivity, Performance, and Resiliency of IP-Based CDMA Radio Access Networks
Dr. CHAN Mun Choon

April 12, 2004
2.00pm - 3.00pm

Complete Subdivision Algorithm for Intersecting Bezier Curves
Prof. Chee Yap
Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, and School of Computer Science and Engineering, Seoul National University

April 6, 2004
3.00pm - 4.30pm

Exact Geometric Computation: Theory and Practice
Prof. Chee Yap
Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, and School of Computer Science and Engineering, Seoul National University

March 29, 2004
2.00pm - 3.00pm

An overview of ongoing projects at IBM India Research Lab
Dr. Atul Kumar
IBM, India

March 22, 2004
4.00pm - 5.00pm

Cooperative constraint solving
Prof. Eric Monfroy
University of Nantes, France

March 22, 2004
9.00am - 10.00am

ItCompress: An Iterative Semantic Compression Algorithm
Dr. Tung Kum Hoe, Anthony
School of Computing, National University of Singapore

March 18, 2004
2.00pm - 3.00pm

HiPE: A High-Performance Concurrent Language Implementation
Dr. Kostis Sagonas
Director ASTEC (Advanced Software Technology)

March 8, 2004
2.30pm - 3.30pm

Netcharts: Bridging the gap between HMSCs and executable specifications
Prof. Madhavan Mukund
Chennai Mathematical Institute, Chennai, India

March 4, 2004
2.00pm - 3.00pm

Automaton Models for Testing Software and Hardware
Prof. Helmut Jurgensen
University of Western Ontario, London, Canada

March 3, 2004
2.30pm - 4.00pm

Research Advances in Cellular Location Management and Distributed On-Demand Computing
Dr. Archan Misra
IBM TJ Watson Research Center, Hawthorne, NY

February 23, 2004
4.00pm - 5.30pm

A Grand Challenge: Full Reactive Modeling of a Multi-Cellular Animal
Prof. David Harel
Dean of the Faculty of Mathematics and Computer Science, Weizmann Insitute of Science

February 20, 2004
4.00pm - 5.30pm

Towards an Odor Communication and Synthesis System
Prof.David Harel
Dean of the Faculty of Mathematics and Computer Science, Weizmann Institute of Science, Israel

January 27, 2004
2.30pm - 3.30pm

Image Analysis Applications of Orthogonal Moment Functions
Dr. R. Mukundan
University of Canterbury, New Zealand

January 16, 2004
3.00pm - 4.30pm

Low-power Networks
Dr Peh Li Shiuan
Assistant Professor, Dept Electrical Engg, Princeton University

January 16, 2004
2.00pm - 3.00pm

Content-based UEP: A new Scheme for Packet Loss Recovery in Music Streaming
Dr. WANG Ye
Dept. of Computer Science, National University of Singapore

January 14, 2004
3.30pm - 4.30pm

''VideoQA: Question Answering on Video''
Ms YANG Hui
School of Computing, National University of Singapore

January 14, 2004
2.00pm - 3.00pm

Interconnect Delay Driven High-level Synthesis
Prof. Jinian Bian
Tsinghua University, Beijing, China

January 9, 2004
2.30pm - 3.30pm

On Automatic Structures
Dr. Frank Stephan
National ICT Australia

January 8, 2004
2.00pm - 3.00pm

Hierarchical Dirichlet Processes
Dr. Teh Yee Whye
University of California, Berkeley

January 5, 2004
10.30am - 11.30am

Compiler-Directed Cache Coherence and Data Prefetching in Multiprocessors
Dr. H. B. Lim
Stanford University

December 19, 2003
2.00pm - 3.00pm

Gene Expression Data Analysis
Prof. B. Chandra
Computer Applications, Indian Institute of Technology, Delhi

December 17, 2003
2.00pm - 3.00pm

Multiple Ant Colony Optimization for Routing and Load Balancing
Prof. Ben K.M. SIM,
Department of Information Engineering, Chinese University of Hong Kong

December 15, 2003
2.30pm - 3.30pm

Statistical Learning under Extreme Constraints
Prof. Edward Chang
Electrical Engineering and Computer Engineering, University of California, Santa Barbara

December 12, 2003
3.00pm - 4.00pm

Efficient Processing of Joins on Set-valued Attributes
Dr. Nikos Mamoulis
Department of Computer Science and Information Systems, University of Hong Kong

December 12, 2003
2.00pm - 3.00pm

Dynamic Message Sequence Charts
Dr. Supratik Mukhopadhyay
NASA IV& V Research Center, Fairmont, WV USA

December 10, 2003
2.00pm - 3.00pm

Two Short Talks in Robotics and Computational Biology
Prof. Jean-Claude Latombe
Computer Science Department, Stanford University

December 1, 2003
2.30pm - 3.30pm

Digital Image Inpainting
Prof. Timothy K. Shih
Department of Computer Science and Information Engineering, Tamkang University, Taiwan

November 28, 2003
4.00pm - 5.00pm

When does the Sun rise in Singapore and what's "wrong"  with the Singapore flag?
Prof. Helmer Aslaksen
Department of Mathematics, National University of Singapore

November 28, 2003
11.00am - 12.00pm

Information Visualization for Knowledge Discovery
Mr Teoh Soon Tee
University of California, Davis

November 24, 2003
2.30pm - 4.00pm

The Long and Winding Road To Industrial Strength Semantic Web Services
Dr. Michael L. Brodie
Chief Scientist, Verizon Communications,Information Technology

November 19, 2003
2.00pm - 3.00pm

(Part II) A Formal Model of a Sequential Java-like Program
Dr. Alexandre Zamulin
A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Russia

November 18, 2003
11.00am - 12.00pm

Routing signal nets in VLSI design
Prof. Sarnath Ramnath
Computer Science, Minnesota State University St. Cloud

November 17, 2003
2.00pm - 3.00pm

A Formal Model of a Sequential Java-like Program
Dr. Alexandre Zamulin
A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Russia

November 14, 2003
2.00pm - 3.00pm

Scalable Self-organizing Peer-to-Peer Systems
Prof Seif Haridi
Visiting Professor, School of Computing National University of Singapore

November 13, 2003
1.00pm - 5.00pm

Graduate student projects from Motion Planning, Digital Libraries, Systems Support for Continuous Media and Content-Based Audio Processing
Drs David Hsu, Kan Min-Yen, Ooi Wei Tsang and Wang Ye

November 12, 2003
3.00pm - 4.00pm

Referring Expressions: Some Implications of One-Anaphora
Prof. Robert Dale
Department of Computing, Macquarie University, Australia

November 10, 2003
10.00am - 11.30am

Net Modeling: Fit for Science?
Prof. Carl Adam Petri
St. Augustin, Germany

November 4, 2003
10.00am - 11.00am

Determining the specification of a control system from that of its environment
Prof. Ian J. Hayes
The University of Queensland

November 3, 2003
4.00pm - 5.00pm

Deriving synchronisation protocols in Circus
Prof. Jim Woodcock
Software Engineering, University of Kent

November 3, 2003
3.00pm - 4.00pm

Ariane 5 - 7 years on
Prof. Colin O'Halloran
QinetiQ and U of York, UK

October 29, 2003
3.00pm - 4.00pm

Design Oriented Verification and Evaluation (DOVE)
Dr. Brendan Mahony,
Defence Science Technology Organization, Australia

October 28, 2003
4.00pm - 5.00pm

TBD
Prof. Sajal K. Das
Computer Science and Engineering, Center for Research in Wireless Mobility and Networking (CReWMaN) University of Texas at Arlington (UTA)

October 22, 2003
4.00pm - 5.00pm

Eliminating Redundancies with a ?Composition with adaptation? Meta-programming Technique
Dr. Stan Jarzabek
School of Computing, National University of Singapore

October 13, 2003
4.00pm - 5.00pm

Seminar 2: Object-Oriented Information Systems ? Modeling and Implementation with Executable UML
Dr Dragan MILICEV
Department of Computer Science, University of Belgrade

October 8, 2003
4.00pm - 5.00pm

Seminar 1: Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
Dr Dragan MILICEV
Department of Computer Science, University of Belgrade

October 3, 2003
3.30pm - 5.00pm

Performance of adaptive modulation schemes in the IEEE 802.11a/g standard
Dr. S. Srikanth,
AU-KBC Research Centre, MIT, Anna University, Chrompet, Chennai, India

September 24, 2003
2.30pm - 3.30pm

Fault Tolerance in Distributed Middleware
Prof Wang Yun
Department of Computer Science & Engineering, Southeast University, PR China

September 22, 2003
10.00am - 11.00am

Active Error Compensation in Handheld Instrument for Microsurgery
Mr. Ang Wei Tech
Carnegie Mellon University, Pittsburgh, USA.

September 18, 2003
3.00pm - 4.30pm

Genetic Algorithms: Adaptation Revisited
Prof. Henri Luchian
Faculty of Computer Science

September 11, 2003
3.00pm - 4.30pm

PacketScore -- A Statistical-based Overload Control against Distributed Denial-of-Service Attacks
Dr. Wing Cheong, LAU
Performanace Analysis Department, Bell Labs, Lucent Technologies

August 22, 2003
3.00pm - 4.30pm

Mobile Ad Hoc Networks: Survey and Discussion
Professor Konstantin Avrachenkov
INRIA Sophia Antipolis, MISTRAL Project

August 19, 2003
3.00pm - 4.30pm

Mathematical Models for TCP/IP
Professor Konstantin Avrachenkov
INRIA Sophia Antipolis, MISTRAL Project

August 15, 2003
1.30pm - 2.30pm

On Combining Replica Placement and Caching Techniques in Content Distribution Networks
Dr. Spiros Bakiras
University of Hong Kong

August 14, 2003
10.30am - 11.30am

Applications of Projection Method of Fourier Transform Inversion in Multimedia Data Treatment
Dr. Andrey Krylov
Faculty of Computational Mathematics & Cybernetics, Moscow State University

August 6, 2003
2.30pm - 3.30pm

A model for analyzing the roles of network and user behavior in Internet congestion
Dr. Y.C. Tay
National University of Singapore, School of Computing

August 5, 2003
10.00am - 11.30am

Improving TCP/IP Performance over 3G Wireless Links with Rate and Delay Variation
Dr. CHAN Mun Choon

August 4, 2003
3.00pm - 4.30pm

Lecture Series on DNA sequencing-by-hybridization revisited
Professor Franco Preparata
An Wang Professor of Computer Science, Brown University, Kwam Im Thong Hood Cho Temple Professor, School of Computing, National University of Singapore

August 4, 2003
3.00pm - 4.30pm

Iterative-free Program Analysis
Associate Professor Zhenjiang Hu
University of Tokyo

August 1, 2003
2.30pm - 3.30pm

Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking
Mr Wang Yang
School Of Computing, National University of Singapore

August 1, 2003
2.30pm - 3.30pm

Algorithmic Game Semantics and the Verification of Higher-order Procedural Languages - A Survey
Prof. Luke Ong
University of Oxford

July 31, 2003
3.00pm - 4.00pm

Constraint-based facial animation
Dr. Zsofia Ruttkay
CWI Amsterdam,, The Netherlands

July 4, 2003
2.30pm - 3.30pm

Abstraction-Based Verification of Parameterized Networks
Dr Kai Baukus
University of Kiel

June 19, 2003
2.00pm - 3.00pm

Structural complexity over the reals
Dr. Herve Fournier
University of Versailles

June 9, 2003
2.00pm - 3.30pm

Software Engineering using Algebraic Specification
Dr Dorel Lucanu
Faculty of Computer Science,, ``A.I.Cuza'" University of Iasi, Romania

May 16, 2003
2.30pm - 4.00pm

Efficient Physical Validity Constraints and its Applications to Articulated Motion Systems.
Mr. FANG Chee Hung, Anthony

May 6, 2003
10.30am - 12.00pm

Audio Separation and Music Synthesis for Multimedia
Dr. S H Srinivasan

April 1, 2003
11.00am - 12.00pm

Derandomizing Polynomial Identities
Prof. Manindra Agrawal
Indian Institute of Technology Kanpur

March 24, 2003
10.30am - 12.00pm

Compositional reasoning about shared-variable concurrency
Prof. Willem-Paul de Roever
Christain-Albrechts University of Kiel, Germany

March 17, 2003
2.00pm - 3.30pm

Project Aura: Towards Distraction Free Computing
Mr Rajesh Krishna Balan
Carnegie Mellon University

March 14, 2003
2.00pm - 5.00pm

Chinese Grammar and Parsing (Analysis)
Dr Wang Houfeng
nstitute of Computational Linguistics, Peking University, China

March 12, 2003
10.30am - 12.00pm

Programming with Logical Links
Dr. Kazunori Ueda
Waseda University

March 4, 2003
2.30pm - 4.00pm

On Approximability of NP-hard Optimization Problems
Dr. Venkatesh SRINIVASAN

February 21, 2003
2.00pm - 3.30pm

Program obfuscation - mythical and real.
Dr Vladimir Zakharov
Department of Computational Mathematics and Cybernetics, Moscow State University

February 17, 2003
11.00am - 12.00pm

SiRiUS: Securing Remote Untrusted Storage
Mr. Eu-Jin Goh
Stanford University

February 15, 2003
11.00am - 12.30pm

The equivalence problem for sequential programs.
Dr Vladimir Zakharov
Department of Computational Mathematics and Cybernetics, Moscow State University.

February 15, 2003
9.00am - 10.30am

Automating a Course in Database Systems    [View webcast]
Prof. Jeffrey D. Ullman
Department of Computer Science, Stanford University

February 14, 2003
2.00pm - 3.30pm

A Network Infrastructure that Hides IP Addresses    [View webcast]
Prof. H.T. Kung

February 11, 2003
6.00pm - 8.00pm

Classical Physics and the Church-Turing Thesis    [View webcast]
Prof. Andrew Chi-Chih Yao
Princeton University, Academia Sinica

February 11, 2003
2.00pm - 3.00pm

Pitfalls in comparative machine learning methodology for natural language processing
Prof. Walter Daelemans
University of Antwerp

February 11, 2003
10.30am - 12.00pm

New Directions in Quantum Cryptography    [View webcast]
Prof. Andrew Chi-Chih Yao
Princeton University, Academia Sinica

February 5, 2003
10.30am - 11.30am

A new reactive processor with architectural support for control dominated embedded systems.
Dr. Partha Roop
University of Auckland

January 29, 2003
4.00pm - 5.30pm

Inferring Information Leakage in Mobile Ambients
Prof. Agostino Cortesi
Professor, Computer Science Department, Ca' Foscari University, Italy

January 22, 2003
2.00pm - 3.00pm

Computability-Theoretic Learning Theory: Philosophy of Science, Cognitive Science, Artificial Intelligence, ...
Prof. John Case
Department of Computer and Information Sciences, University of Delaware, Newark, Delaware 19716 (USA)

January 20, 2003
2.30pm - 4.00pm

Investigations in Multi-Hop Wireless Ad Hoc Networks: Energy Efficiency, Capacity with TCP Regulated Traffic and Routing Energy Overheads of Ad-Hoc Routing Protocols.
Dr Rajeev Shorey

December 23, 2002
3.00pm - 4.00pm

Online Strategies for Power/Performance Management in Embedded Systems
Prof. Rajesh Gupta
Department of Computer Science & Engineering, UC San Diego, California

December 18, 2002
2.00pm - 3.00pm

New Directions in Compiler Technology for Embedded Systems
Prof. Nikil Dutt
Center for Embedded Computer Systems University of California at Irvine

December 18, 2002
11.00am - 12.00pm

On-line Scheduler of Network Transmission
Prof. Francis Chin
Chair of Computer Science, University of Hong Kong

December 14, 2002
11.00am - 12.00pm

Intension Mining
Prof. S. K. Gupta
Dept of Computer Science and Engineering., IIT Delhi

December 14, 2002
9.30am - 10.30am

ART Model for knowledge Acquisition
Prof. B. Chandra
Computer Applications, Indian Institute of Technology, Delhi

December 13, 2002
3.00pm - 4.00pm

Temporal GIS: a process-oriented approach
Prof. Christophe Claramunt
Naval Academy Research Institute, France

December 11, 2002
10.30am - 12.00pm

Scalable Content-Based Dissemination of XML Data
Dr. Chan Chee Yong
Department of Computer Science, Information Sciences Research Center of Bell Labs Lucent Technologies

December 10, 2002
10.30am - 12.00pm

Improved Automatic Vectorization of DSP Codes for AltiVec
Dr. Jonas Skeppstedt
Department of Computer Science, Lund University, Sweden

December 9, 2002
3.00pm - 4.00pm

Formal Verification using Multiway Decision Graphs: Introduction and Case Study
Dr. Sofiene Tahar
Dept. of Electrical & Computer Engineering, Concordia University Montreal, Quebec, Canada

December 9, 2002
11.00am - 12.00pm

Cryptographic Hardware on FPGA Devices Implementations of IDEA, Elliptic Curve Cryptography and RC4
Dr. Philip Leong
Department of Computer Science and Engineering, Chinese University of Hong Kong

December 5, 2002
2.30pm - 3.30pm

Biometrics for Personal Indentification
Prof. B. N. Chatterji

November 27, 2002
3.00pm - 4.00pm

Design of High-Dimensional, Efficient, Long-Cycle and Portable Uniform Random Variate Generator
Prof. Lih-Yuan Deng
Deparment of Computer Science, University of Memphis, Tennessee, USA

November 25, 2002
2.00pm - 3.00pm

The One-Round Voronoi Game
Dr. Otfried Cheong
Associate Professor, University of Eindhoven, Netherlands

November 22, 2002
3.00pm - 4.00pm

Modeling,analysis and control of Internet to provide Quality of Service
Prof. Vinod Sharma
Dept. of Electrical and Communication Engineering, Indian Institute of Science, Bangalore

November 22, 2002
3.00pm - 5.00pm

Event scheduling using constraint programming
Dr Martin Henz J
Assistant Professor Dept. of Computer Science, School of Computing, NUS

November 22, 2002
10.00am - 11.00am

PRIMES is in P
Prof. Manindra Agrawal
Indian Institute of Technology Kanpur

November 20, 2002
2.00pm - 4.00pm

Program Generation via Partial Evaluation
Prof. Neil Jones
University of Copenhagen

November 20, 2002
2.00pm - 3.00pm

Architectural support for Dynamic Profile Collection and Reuse
Dr. Ranjani Parthasarathi
School of Computer Science and Engrg.,, College of Engg., Guindy, Anna University, Chennai, India

November 13, 2002
2.00pm - 3.00pm

Traffic flows induced air pollution in city tunnels
Prof. Nickolay N. Smirnov
Moscow M.V. Lomonosov State University

November 13, 2002
10.00am - 12.00pm

An Introduction to Self-Reference in Computer Science
Prof. Neil Jones
University of Copenhagen

November 12, 2002
2.00pm - 3.00pm

TRAFFIC FLOWS MODELLING AND SIMULATIONS
Prof. Nickolay N. Smirnov
Moscow M.V. Lomonosov State University

November 8, 2002
2.00pm - 3.00pm

Modeling with piecewise algebraic surfaces
Prof. Falai Chen
Department of Mathematics, University of Science and Technology of China (USTC)

November 7, 2002
3.30pm - 4.30pm

Semantic Web and Formal Specification
Dr Dong Jin Song
School of Computing, National University of Singapore

November 7, 2002
2.00pm - 3.00pm

SCIMA: Software Controllable Integrated Memory Architecture for High Performance and Low Power Computing
Assc. Prof. Hiroshi NAKAMURA
Research Center for Advanced Science and Technology, The University of Tokyo Tokyo, Japan

November 1, 2002
4.00pm - 5.15pm

Experiential Environments: Data Engineering for this Century
Prof. Ramesh Jain
Georgia Institute of Technology

October 25, 2002
3.30pm - 5.00pm

Integration of Decision Procedures
Professor Zohar Manna
Computer Science, Stanford University

October 14, 2002
2.30pm - 4.00pm

Analysing System Properties in Core-Based Embedded-System Designs
Mr Samarjit Chakraborty

September 5, 2002
2.30pm - 4.00pm

Design and Implementation of Programmable and Distributed Media Gateways
Dr Ooi Wei Tsang
School of Computing

September 4, 2002
2.30pm - 4.00pm

Animat Vision: Modeling Computer Vision Systems in Artificial Animals
Dr Tamer Farouk Rabie
Assistant Professor, College of Information Technology UAE University

August 30, 2002
11.00am - 12.00pm

An XML based clinical decision support system based on Arden Syntax
Mr. Farhan Gul (farhan@comp.nus.edu.sg)
Centre for Internet Research, School of Computing, NUS

August 28, 2002
3.00pm - 4.00pm

Extremal and asymptotic properties of irreducible coverings of graphs by cliques
Dr Ioan Tomescu
Head of Computer Science Department, University of Bucharest, Romania

August 23, 2002
3.00pm - 4.00pm

Realtime e-Learning system based on Cyberspace technology
Hideto Ikeda
Visiting Scholar, NUS &, Professor, Department of Computer Science, Ritsumeikan University, Japan

August 19, 2002
11.00am - 12.00pm

Distributed algorithms on the asynchronous shared memory model
Prof. Yoshihide Igarashi
Department of Computer Science, Gunma University

August 15, 2002
3.00pm - 4.00pm

A Hardware/Software Real-Time Operating System  Framework for System-on-a-Chip
Professor Vincent John Mooney III
Center for Research in Embedded Systems and Technology (CREST), Georgia Institute of Technology

August 15, 2002
2.00pm - 3.00pm

Parallel Integer Optimization
Professor Martin Savelsbergh
School of Industrial System & System Engineering, Georgia Institute of Technology

August 5, 2002
3.00pm - 4.00pm

An Analytical Information System of Sales Analysis and Delivery Control in Newspaper Industry
Prof Nikolai Krivulin
St.Petersburg State University, St.Petersburg, Russia

August 5, 2002
11.30am - 12.30pm

Software Process Reengineering: Case-Study Annotation
Dr.Dmitrij Koznov
St.Petersburg State University St.Petersburg, Russia

July 31, 2002
3.00pm - 4.00pm

Information technology as part of general education: A challenge to society
Prof. Jurg Nievergelt
ETH Zurich

July 31, 2002
2.00pm - 4.00pm

Intelligent Database Systems (From the book 'Intelligent Database Systems' by Elisa Bertino and Barbara Catania and Gian Piero Zarri published by Addison Wesley)
Dr. Barbara Catania
University of Genova, Italy

July 30, 2002
3.00pm - 4.00pm

Idempotent Algebra Based Approach to Modeling and Simulation of Queueing Networks
Prof Nikolai Krivulin
St.Petersburg State University, St.Petersburg, Russia

July 29, 2002
2.00pm - 3.00pm

Enumerating the k best plane spanning trees
Professor Jurg Nievergelt
School Of Computing

July 29, 2002
11.00am - 12.00pm

An advanced Role Model for workflow management systems
Nouman Khalil
Center for Internet Research (CIR) School of Computing, NUS

July 25, 2002
11.00am - 12.00pm

XML based Virtual Patient Record system
Tauqir Amin
Center for Internet Research (CIR) School of Computing, NUS

July 25, 2002
11.00am - 12.00pm

Computing Patterns in Strings
Dr. Bill Smyth
McMaster University

July 23, 2002
11.00am - 12.00pm

A Co-simulation Study of Adaptive EPIC Computing
Mr Valentin Stefan Gheorghita
Politehnica University, Bucharest, Romania

July 22, 2002
1.30pm - 2.30pm

Computational Methods for Problems in Transcriptional Regulation of Genes
Prof Narayanan Perumal
School of Informatics, Indiana University

July 19, 2002
2.30pm - 4.00pm

Statistics-based Face Rendering and its Application to Face Recognition
Dr Terence Sim Mong Cheng
Carnegie Mellon University

July 18, 2002
11.00am - 12.00pm

A fast space-efficient implementation of Crochemore repetitions Algorithm
Dr Franya Franek
McMaster University

July 15, 2002
2.00pm - 3.00pm

Data Modeling and Nearest-Neighbor Querying for Network-Constrained Moving Objects
Professor Christian Jensen
Computer Science Dept Aalborg University, Denmark

July 12, 2002
4.00pm - 5.00pm

MACROARCHITECTURE DESCRIPTION - A STEP TOWARDS CODESIGN TECHNOLOGY
Dr Dmitry Boulytchev
St. Petersburg State University The Russian Federation

July 12, 2002
2.00pm - 5.00pm

Tutorial on Temporal Data Models and Query Languages (Session 2)
Prof Christian Jensen
Computer Science Dept, Aalborg University, Denmark

July 11, 2002
2.30pm - 4.00pm

Randomized Motion Planning: Robots, Digital Actors, and  Molecules
Dr David Hsu
Department of Computer Science University of North Carolina at Chapel Hill

July 11, 2002
2.00pm - 5.00pm

Tutorial on Temporal Data Models and Query Languages (Session 1)
Prof Christian Jensen
Computer Science Dept Aalborg University, Denmark

July 8, 2002
2.00pm - 3.00pm

Indexing the Current and Anticipated Future Positions of Moving Objects
Professor Christian Jensen
Computer Science Dept Aalborg University, Denmark

July 5, 2002
3.00pm - 4.00pm

Advanced Topics in Control Flow Analysis
Dr Dmitry Boulytchev
St. Petersburg State University The Russian Federation

July 5, 2002
2.00pm - 3.00pm

Privacy-oriented Data Mining
Prof Stan Matwin
University of Ottawa, Canada

July 1, 2002
2.00pm - 3.00pm

Data Management for Location-Based Services
Professor Christian Jensen
Computer Science Dept Aalborg University, Denmark

June 24, 2002
10.30am - 11.30am

Modeling Software Product Lines with UML
Professor Hassan Gomaa
Department of Information and Software Engineering George Mason University

June 21, 2002
11.00am - 12.00pm

Power-efficient Interconnection Networks
Dr Peh Li-Shiuan
Department of Electrical Engineering, Princeton University

June 18, 2002
11.30am - 12.30pm

Production of TV Programs on a Single Desktop PC
DOKE Mamoru
Multimedia Services Research Division Science & Technical Research Laboratories JAPAN BROADCASTING CORPORATION (NHK)

June 17, 2002
3.00pm - 4.00pm

Inter-organizational Workflow Management system for Virtual Healthcare Enterprise
Mr Tauqir Amin
Centre for internet Research (CIR) School of Computing, NUS

June 17, 2002
10.00am - 11.30am

DNA computing in vivo - gene assembly in ciliates
Prof. G. Rozenberg
Leiden Center for Natural Computing (LCNC), Leiden University, The Netherlands

June 8, 2002
10.00am - 11.00am

Enterprise Role Model
Mr Mathew Yap
School of Computing, NUS

June 3, 2002
2.30pm - 3.30pm

Normal Forms for Digital Sequential Functions
Professor Jean Vuillemin
Ecole Normale Sup?rieure, Paris, France

May 31, 2002
10.00am - 11.00am

Implementing Assertions in Distributed Object Systems
Dr Rushikesh Joshi
Department of Computer Science and Engineering, I.I.T. Bombay

May 29, 2002
11.00am - 12.00pm

Data mining for protein structure prediction
Dr Mohammed J. Zaki
Rensselaer Polytechnic Institute

May 28, 2002
11.00am - 12.00pm

Video Content Representation Schemes
Dr. Zhang Hong Jiang
Assistant Managing Director Microsoft, Research Asia (http://www.research.microsoft.com/users/hjzhang)

May 22, 2002
2.00pm - 3.00pm

A Fuzzy Logic Based Bidding Strategy for  Autonomous Agents in Continuous Double Auctions
Professor Leung Ho Fung
The Chinese University of Hong Kong

May 22, 2002
10.00am - 11.00am

Reducing Search Space in Local Search for Constraint Satisfaction
Professor Lee Ho Man, Jimmy
Chinese University of Hong Kong

May 21, 2002
10.00am - 11.00am

Formal Methods within a Totally Functional Approach to Programming
Professor Paul Bailes
School of Information Technology and Electrical Engineering The University of Queensland AUSTRALIA

May 9, 2002
3.00pm - 4.00pm

GUI Programming in a Purely Functional Language
Dr Manuel M T Chakravarty
University of New South Wales, Sydney

May 8, 2002
2.30pm - 4.00pm

Program Synthesis: Some Problems and Possibilities
Dr. Ewen DENNEY
Division of Informatics, University of Edinburgh

May 2, 2002
3.00pm - 4.00pm

A data transfer model for the file transfer protocol
Dr Pattarasinee Bhattarakosol
Department of Mathematics, Faculty of Science, Chulalongkorn University, Bangkok, Thailand

April 29, 2002
11.00am - 12.00pm

Fast Linear Equation Solvers in High Performance Electromagnetic Field Analysis
Professor Masaaki Shimasak
Dept. of Electrical Engineering, Kyoto University

April 26, 2002
3.00pm - 4.00pm

Formal concepts in Dedekind categories
Professor Yasuo Kawahara
Department of Informatics Kyushu University, Japan

April 26, 2002
2.30pm - 4.00pm

Static and Dynamic View Selection in Distributed Data Warehouse Systems
Mr. Panagiotis KALNIS
Computer Science Dept, HKUST

April 24, 2002
3.00pm - 4.00pm

Extensibility: Modular HLA RTI Services for Real-time Distributed Simulation
Dr Rajeev Sudra
Centre for Applied Simulation Modelling Department of Information Systems and Computing Brunel University

April 16, 2002
2.30pm - 4.00pm

Collective Intelligence: From Local Sensing to Global Action
Prof. Hong ZHANG
Department of Computing Science University of Alberta, Edmonton, Canada

April 10, 2002
3.00pm - 4.00pm

Developing An Object Exchange Model Template for GRIDS Distributed Supply Chain Simulations
Dr Simon Taylor
Brunel University

April 8, 2002
2.30pm - 3.30pm

From multimedia databases to multimedia information systems
Dr Herve Martin
University of Grenoble

April 1, 2002
3.00pm - 4.00pm

Refuting Learning Revisited
Dr Frank Stephan
University of Heidelberg

March 28, 2002
3.30pm - 4.30pm

Next Generation Applications, Grids, iGRIDs, and the Global Lambda Grid
Dr Joel J. Mambretti
Director, International Centre for Advanced Internet Research (iCAIR) Northwestrn University

March 26, 2002
2.30pm - 4.00pm

Automatic Text Summarization In Information Retrieval
Mr. Kan Min-Yen
Department of Computer Science, Columbia University

March 22, 2002
4.10pm - 5.10pm

On Automatic Summarization
Dr Wang Yong Cheng
Shanghai Jiao Tong University, Shanghai

March 20, 2002
4.30pm - 5.30pm

A Machine Learning Approach to Generalized Information Retrieval
Professor Lee Chin Hui
School of Computing, NUS

March 14, 2002
3.00pm - 4.00pm

Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction
Professor Makoto Tatsuta
National Institute of Informatics, Japan

March 12, 2002
2.30pm - 4.00pm

Caching for Web-Based Database Applications
Ms. Luo Qiong
University of Wisconsin-Madison

March 8, 2002
4.00pm - 5.00pm

Natural Language Understanding in Chinese
Professor Wang Yong Cheng
Shanghai Jiao Tong University, Shanghai

March 8, 2002
2.00pm - 3.00pm

Trading Agent Competition - Game or Research?
Professor I. A Letia
Technical University of Cluj-Napoca (http://cs-gw.utcluj.ro/~letia)

March 8, 2002
11.00am - 12.00pm

Motorcycle Graphs and Straight Skeletons
Mr Antoine Vigneron
Department of Computer Science, Hong Kong University of Science and Technology

March 7, 2002
2.00pm - 3.00pm

Intelligent Agent Technology and Software Design
Prof P S Grover
University of Delhi, India

February 27, 2002
3.00pm - 4.00pm

Divide And Conquer Machine Learning For A Genomics Analogy Problem
Professor John Case
Department of Computer and Information Sciences, University of Delaware Newark, Delaware 19716, USA

February 26, 2002
3.00pm - 4.00pm

Mozart a platform for distributed computing
Dr Seif Haridi
Swedish Institute of Computer Science & KTH

February 25, 2002
2.00pm - 3.00pm

Research at The Swedish Institute of Computer Science (SICS)
Dr Seif Haridi
Swedish Institute of Computer Science & KTH

February 19, 2002
5.00pm - 6.00pm

LECTURE SERIES on Computational Biology:- On the Algorithmics of Sequence Processing
Professor Franco Preparata
Department of Computer Science, Brown University

February 19, 2002
3.00pm - 4.00pm

Human-centric, Pervasive Computing -- One view of MIT's Project Oxygen
Professor Larry Rudolph
Lab for Computer Science, MIT

February 8, 2002
4.00pm - 5.00pm

The Speech Processing Research in Fudan University
Professor Li Zongge
Computer Science Department, Fudan University (FDU)

February 6, 2002
10.00am - 11.00am

Artificial Chemistries
Dr Martin Henz
School of Computing, National University of Singapore

February 1, 2002
4.00pm - 5.00pm

Natural Language Processing and Video Retrieval
Professor Wu Lide
Department of Computer Science, Fudan University, Shanghai, China

January 28, 2002
10.00am - 11.00am

Minimal Acyclic Deterministic Finite Automata
Dr Bruce Watson
Head of the Software Construction Research Group TU/e - Technological University of Eindhoven UP - University of Pretoria watson@win.tue.nl

January 21, 2002
2.00pm - 3.00pm

Stability and Capacity in Kernel-based Learning Algorithms like SVM
Dr Sayan Mukherjee
Whitehead Institute and MIT

January 15, 2002
2.30pm - 4.00pm

The GroupLens Research Project: Collaborative Filtering Recommender Systems
Dr Joseph A. Konstan
Computer Science and Engineering, University of Minnesota

December 13, 2001
2.30pm - 3.30pm

Capturing and Running Behavioral Requirements:  The Play-In/Play-Out Approach
Dr David Harel
Dean, The Faculty of Applied mathematics and Computer Science Weizmann Institute of Science, Israel

November 30, 2001
11.00am - 12.00pm

Why Information Security is Hard - An Economic Perspective
Dr Ross Anderson
Computer Laboratory, Cambridge University, UK

November 20, 2001
2.30pm - 3.30pm

A Formal Description of Hybrid Systems
Professor Zhou Chaochen
Director, United Nation University, International Institute of Software Technology

November 19, 2001
2.30pm - 3.30pm

Neighbourhood Logic and Real-time Liveness and Fairness
Professor Zhou Chaochen
Director, United Nation University, International Institute of Software Technology

November 16, 2001
2.00pm - 3.00pm

Temporally Consistent Delivery of Time-Sensitive Information
Dr Krithi Ramamritham
Indian Institute of Technology Bombay

November 13, 2001
10.00am - 11.00am

The inverse Spielberg Problem: Extracting Elements of  Visual grammar
Dr Svetha Venkatesh
School of Computing Curtin University of Technology, Perth, Australia

October 31, 2001
10.00am - 11.00am

Recovery of Camera Motion and Mobile Objects in Video Documents
Dr Georges Qu?not
CLIPS-IMAG laboratory of Grenoble

October 24, 2001
11.00am - 12.00pm

Feature Suppression and Feature Volume Creation
Dr Milind Sohoni
Department of Computer Science and Engineering The Indian Institute of Technology (IIT), Mumbai, India

October 15, 2001
2.00pm - 3.00pm

Multiple Threshold CMOS Circuits: A new approach for Low Power High Performance Circuits Realization
Dr Ajit Pal
Computer Science and Engineering Department, Indian Insitute of Technology, Kharagpur

October 11, 2001
11.00am - 12.00pm

Building a Reliable Wide-Area System from a Myriad of Servers
Charles E. Leiserson
Director of System Architecture, Akamai Technologies Professor, MIT Laboratory for Computer Science, Adjunct Professor, National University of Singapore

October 10, 2001
2.00pm - 3.00pm

A Machine Learning Approach to Coreference Resolution of Noun Phrases
Dr Ng Hwee Tou
DSO National Laboratories

October 9, 2001
2.00pm - 3.00pm

Formal Specification of a Communication Protocol for a Mobile Environment
Prof. Hrushikesha Mohanty
Department of Computer & Information Sciences, University of Hyderabad, India

September 27, 2001
2.30pm - 3.30pm

When Do Bounds and Domain Propagation Lead to the Same Search Space
Dr Christian Schulte
Programming Systems Lab, Universitaet des Saarlandes, Germany

September 18, 2001
10.30am - 11.30am

Hardware Compilation for Graphics and Imaging
Dr Wayne Luk
Department of Computing, Imperial College

September 13, 2001
4.00pm - 5.00pm

Extending the performance of interconnection networks
Dr Peh Li Shiuan
Department of Computer Science, Stanford University

August 23, 2001
11.00am - 12.00pm

Adventures in Sports Scheduling
Dr Michael Trick
Graduate School of Industrial Administration, Carnegie Mellon University

August 16, 2001
2.00pm - 3.00pm

GRIDS: Research into Distributed Simulation
Dr Simon Taylor
Department of Information Systems and Computing, Brunel University

August 15, 2001
11.00am - 12.00pm

Towards a Software Component MarketPlace: The Missing Link
Dr John Morris
University of Western Australia

August 8, 2001
3.30pm - 4.30pm

Generation of Efficient Programs for Solving the Maximum Marking Problems
Dr Hu Zhenjiang
Graduate School of Information Science and Technology, University of Tokyo

August 3, 2001
11.00am - 12.30pm

The role of presence in virtual learning environments
Dr Denise Whitelock
Institute of Educational Technology, The Open University

August 3, 2001
10.00am - 11.00am

Computation of Resultants in a Floating Point Environment
Dr Joab Winkler
Department of Computer Science, The University of Sheffield, England

August 1, 2001
2.30pm - 3.30pm

Modeling Real-time Systems
Prof J. Sifakis
Verimag Laboratory, Grenoble, France

August 1, 2001
10.00am - 5.00pm

7th PRIS SEMINAR: COMPUTER GRAPHICS & COMPUTER VISION
Invited Speakers

July 31, 2001
1.30pm - 2.30pm

An Overview of the Sanctuary Agent System
Matthew Hohlfeld
University of California, San Diego

July 27, 2001
11.00am - 12.00pm

Quasi-physical and Quasi-Sociological Algorithm for Solving CNF-SAT Problem
Prof Huang Wen Qi
College of Computer Science & Engineering, Huazhong University of Science and Technology, China

July 26, 2001
1.30pm - 2.30pm

Non-Systematic Backtracking and Local Search
Dr Steven Prestwich
Lecturer, Department of Computer Science

July 25, 2001
3.00pm - 4.30pm

Synthesis of High Performance Clock Trees
Dr Cheng-Kok Koh
Department of Electrical and Computer Engineering, Purdue University, West Lafayette, Indiana

July 12, 2001
3.00pm - 4.00pm

New Upper and Lower Bounds on the Channel Capacity of Read/Write Isolated Memory
Dr Mordecai Golin
Department of Computer Science, Hong Kong University of Science and Technology

July 11, 2001
3.00pm - 4.00pm

Prefix-Free Codes for Unequal Letter Costs Dynamic Programming with the Monge Property
Dr Mordecai J Golin
Department of Computer Science, Hong Kong University of Science and Technology



Enquiries Page Maintained by: tkoh@comp.nus.edu.sg
Last Modified on: 25 November 2009

Department of Computer Science: School Home | Department Home | Search | Site Map | Contact Us | Intranet

© Copyright 2007 National University of Singapore. All Rights Reserved.
Terms of Use | Privacy | Non-discrimination
Last modified on 9 July, 2004 by Department of Computer Science