September 25, 2005 Organized by IBM Research Lab in Haifa, Israel
|
Seminar's Agenda PDF version for printing (47 KB)
9:00 Invited talk for the "Innovation that Matters" theme: Migrating birds know no boundaries, coexistence between people, birds, and aircrafts,
Dr. Yossi Leshem, Tel-Aviv University
10:00 Coverage directed test generation for functional verification using Bayesian Networks,
Avi ziv
10:30 The ETSI Extended Distributed Speech Recognition DSR Standards,
Alex Sorin
11:00 Break
11:30 AMiT - the situation manager,
Asaf Adi
|
|
|
|
12:00 Searching XML documents via XML fragments,
Yosi Mass
12:30 Lunch
13:00 Poster session
14:00 Multithreaded Java program test generation,
Shmuel Ur
14:30 Optimization opportunities created by global data reordering,
Maxim Gurevich
15:00 Announcing the best paper award
|
|
|
| |
|