|
2/14/2006 |
3:00 pm - 4:00 pm |
Colloquia: Michael R. Lyu/Computer Science & Engineering Department The Chinese University of Hong Kong An Empirical Study on Coverage-Based Software Testing with an N-Version in ACES 2.402 |
|
2/10/2006 |
11:00 am - 12:00 pm |
AI Forum: Lise Getoor/University of Maryland College Park Link Mining in ACES 6.304 |
|
2/10/2006 |
11:00 am - 12:00 pm |
Colloquia: Robert Harper/Carnegie Mellon University Mechanizing the Meta-theory of Programming Languages in ACES 2.302 |
|
2/7/2006 |
10:00 am - 11:00 am |
Architecture: Matthew Arnold/IBM T.J. Watson Research Center The Future of Virtual Machine Performance in ACES 2.302 |
|
2/6/2006 |
11:00 am - 12:00 pm |
Architecture: Jean-Yves Bouguet/Intel PIRO: Benchmarking a Personal Image Retrieval System in ACES 2.402 |
|
2/2/2006 |
11:00 am - 12:30 pm |
Computational Biology/ Algorithms and Complexity Theory: Elchanan Mossel U. of California at Berkeley/ Phylognetic tree estimation: lessons from statistical physics ACES 2.402 |
|
2/2/2006 |
11:00 am - 12:30 pm |
Computational Biology/ Algorithms and Complexity Theory: Elchanan Mossel U. of California at Berkeley/ Phylognetic tree estimation: lessons from statistical physics ACES 2.402 |
|
2/1/2006 |
7:00 pm - 8:00 pm |
ACM General Meeting |
|
1/31/2006 |
7:00 pm - 8:30 pm |
ACM General Meeting |
|
1/30/2006 |
3:30 pm - 4:30 pm |
Architecture: Glenn Henry/Centaur Technology How to make a highly secure x86 processor in ACES 2.402 |
|
1/30/2006 |
12:00 pm - 1:15 pm |
CPS Seminar Series Speaker Martin Banks University of California Berkeley/ Why pictures look right when viewed from the wrong place (and sometimes look wrong when viewed from the right place) in SEA 4.244 |
|
1/27/2006 |
11:00 am - 12:00 pm |
Forum for AI Dr. Satinder Singh University of Michigan Ann Arbor/ Rethinking State Action and Reward in Reinforcement Learning ACES 2.302 |
|
1/26/2006 |
11:00 am - 12:00 pm |
Colloquia: Leslie Lamport/ Microsoft Research The +CAL Algorithm Language ACES 2.302 |
|
1/26/2006 |
11:00 am - 12:00 pm |
Forum for AI: Dr. David Moriarty Apple Computer Inc.: Detecting Online Credit Card Fraud: A Data Driven Approach ACES 2.402 |
|
1/23/2006 |
12:00 pm - 1:15 pm |
CPS Seminar Series Speaker Erhardt Barth Institute for Neuro- and Bioinformatics University of Luebeck/Guiding eye movements for better communication in SEA 4.244 |
|
1/20/2006 |
11:00 am - 12:00 pm |
Forum for AI: Thorsten Joachims Cornell University: Support Vector Machines for Structured Outputs ACES 2.302 |