Computer Science and Engineering Seminars
- Dr. Pravin Bhagwat (Apr 13, 2004)
CTO and Co-founder, Wibhu Technologies
Pune, MH, India
Wi-Fi in Enterprise: Key R&D Challenges
- Dr. Jon Whittle (Apr 7, 2004)
QSS Group, NASA Ames Research Center
Moffett Field, CA, USA
Synthesizing State-based Models Automatically from Interaction Scenarios
- Rosen Sharma (Apr 6, 2004)
President and CEO, Solidcore Systems, Inc
Palo Alto, CA, USA
Building Technology Based Companies - Solidcore: A case study
- Tarun Anand (Apr 3, 2004)
Chief Architect Lead, Microsoft India
Hyderabad, AP, India
Develop, Build, Test, Localize, Release 30 million+ lines of code
- Prof. Dilip Banerji (Mar 17, 2004)
Department of Computing and Information Science
University of Guelph
Guelph, Ontario, Canada
A Fast Heuristic for FPGA Placement
- Dr. Chandana Paul (Feb 23, 2004)
Department of Informatics
University of Zurich
Zurich, Switzerland
Learning to Walk: Neural Net Lesions to Test Learning Algorithms
- Prof. Charles Van Loan (Feb 19, 2004)
Department of Computer Science
Cornell University
Ithaca, NY, USA
Computational Multilinear Algebra
- Prof. Charles Van Loan (Feb 17, 2004)
Department of Computer Science
Cornell University
Ithaca, NY, USA
Block Matrix Computations and the Singular Value Decomposition
- Dr. Peter Juel Henrichsen (Jan 15, 2004)
Copenhagen Business School
Copenhagen, Denmark
Artifical Speech: Pitfalls, Prospects and Dangers
- Dr. Sanjeev Khudanpur (Jan 15, 2004)
Department of Electrical and Computer Engineering and
Department of Computer Science
John Hopkins University
Baltimore, MD, USA
Statistical Language Modeling: An Introduction
- Shaz Qadeer (Jan 5, 2004)
Microsoft Research
Seattle, WA, USA
Atomicity analysis for multi-threaded programs
- Professor Sharad Mehrotra (Dec 22, 2003)
Information and Computer Science Department University of California at Irvine
Irvine, CA, USA
Data Management Research at UCI
- Prof. Anil K Jain (Dec 15, 2003)
Department of Computer Science & Engineering
Michigan State University,
East Lansing, MI, USA
Biometric Authentication: How Do I Know Who You Are
- Dr. Rahul Ray (Dec 5, 2003)
Max-Planck-Institut fuer Informatik (MPII) Saarbrucken, Germany
Translating a planar object to maximize point containment and a related problem of finding planarity in terrains
- Prof. Naveen Garg (Nov 13, 2003)
Department of Computer Science and Engineering Indian Institute of Technology Delhi New Delhi, India
A local search algorithm for the k-median problem
- Prof. Aditya P. Mathur (Nov 10, 2003)
Department of Computer Sciences
Purdue University
West Lafayette, USA
Newton's Law of Motion in Software Development Processes?
- Mainak Chaudhuri (Oct 8, 2003)
Computer Systems Laboratory
Cornell University
Ithaca, New York, USA
The Impact of Negative Acknowledgments in Shared Memory Scientific Applications
- Dr. Paritosh Pandya (Oct 7, 2003)
School of Technology and Computer Science
Tata Institute of Fundamental Research
Mumbai, India
The saga of synchronous bus arbiter: On model checking quantitative timing properties of synchronous programs
- Dr. Paritosh Pandya (Oct 6, 2003)
School of Technology and Computer Science
Tata Institute of Fundamental Research
Mumbai, India
Computer Vaadan: Making Music using Computer
- Prof. Amit Kumar (Sept 15, 2003)
Department of Computer Science and Engineering
Indian Institute of Technology Delhi
New Delhi, India
Simple Algorithms for Provisioning a Virtual Private Network
- Mayur Datar (Sept 11, 2003)
Department of Computer Science
Stanford University
California, USA
Algorithms for Data Stream Systems
- Dr. Antony Piriyakumar (Sept 1, 2003)
Faculty of Computer Science
University of Stuttgart
Stuttgart, Germany
On Recognizing Group of Human beings in Images
- Prof. V Arvind (Aug 26 and 27, 2003)
Institute of Mathematical Sciences
Chennai, India
The Graph Isomorphism Problem
- Prof. Suman Banerjee (Aug 21, 2003)
Department of Computer Sciences
University of Wisconsin-Madison
Madison, Wisconsin, USA
A Cooperative Framework to Scale Multi-Party Applications
- Dr. Supratik Chakraborty (Aug 6, 2003)
Department of Computer Science and Engineering
Indian Institute of Technology Bombay
Mumbai, India
Symbolic Model Checking by Implicit Decomposition
- Dr. Mukul Goyal (Aug 4, 2003)
Department of Computer and Information Science
Ohio State University
Columbus, Ohio, USA
Predicting TCP Throughput from Non-invasive Network Sampling
Back to list of Seminars
Research Areas | Books | Seminars| Projects
