[Date Prev][Date Next][Date Index]
CSLI Calendar, Wednesday, 12 November 2003, vol. 19:11
CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________
12 November 2003 Stanford Vol. 19, No. 11
______________________________________________________________________
A weekly publication of the
Center for the Study of Language and Information (CSLI)
Stanford University, Ventura Hall, Stanford, CA 94305-4115
http://www-csli.stanford.edu/
____________
ACTIVITIES FROM 12 NOVEMBER 2003 TO 21 NOVEMBER 2003
WEDNESDAY, 12 NOVEMBER 2003
12 noon Psychology Developmental Brownbags
Bldg. 420:286
"Processing action: Discerning structure that actors produce"
Dare Baldwin
University of Oregon
http://www-psych.stanford.edu/news.html#dev_brownbag
12 noon Music 423: Digital Signal Processing Seminar
CCRMA Library, The Knoll
"A Robust Maximum Likelihood F0 Estimation from STFT Peaks:
Exact and Fast Approximate MCMC Approaches"
Harvey Thornburg
Randal Leistikow
http://www-ccrma.stanford.edu/courses/423/
Abstract below
4:00pm GSB Talk
Littlefield 103
"A Contract and Balancing Mechanism for Sharing Capacity in a
Communication Network"
Richard Steinberg
University of Cambridge and Stanford University
http://gobi.stanford.edu/facultybios/bio.asp?ID=380
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
"The Skynet Virus: Why it is Unstoppable, How to Stop It"
Marc Stiegler
Hewlett Packard
http://ee380.stanford.edu/contents.html
Abstract below
THURSDAY, 13 NOVEMBER 2003
12 noon Award Winning Teachers Speaker Series
Bldg 460:426 (English Terrace room)
"Managing the The Dreaded Essay Assignment"
Roger Noll
http://ctl.stanford.edu/Events/
12:15pm CSLI CogLunch
Cordura Hall, Room 100
"On the relation between rhythm perception and production: a
Bayesian model"
Peter Desain
http://www-csli.stanford.edu/events/Coglunch/
Abstract below
12:15pm Stanford Networking Seminar
Packard 202
"Monitoring, Analyzing, and Controlling Internet-scale Systems
with ACME"
David Oppenheimer
UC Berkeley
http://netseminar.stanford.edu/
3:00pm Reuters Foundation Digital Vision Program Seminar
email for location mailto:digitalvision@csli.stanford.edu
Lee Thorn
http://reuters.stanford.edu/seminar_speakers.html
3:15pm Alliance for Innovative Manufacturing (AIM) Talk
Bldg. 530:127
"Battle of the SEGWAY's"
Trevor Blackwell
Anybots
http://www.stanford.edu/group/AIM/
Abstract below
4:00pm PARC Forum
George Pake Auditorium at PARC
"The Battle for Accountability in Election Systems"
David L. Dill
Computer Science, Stanford University
http://www.parc.com/forum/
Abstract below
4:00pm Berkeley Cognition, Brain, and Behavior Seminar
Tolman 3105 (Berkeley)
"Brain, Behavior and Evolution"
George Paxinos
Prince of Wales Medical Research Institute, Australia
http://psychology.berkeley.edu/admin/colloquia.html
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
Dharmednra S. Modha
IBM Almaden Research Center
http://cll.stanford.edu/scla.html
CANCELLED
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
"The Return of Moral Fictionalism
Nadeem Hussain
Philosophy Department
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
4:15pm Information Systems Seminar
Packard 101
"Capacity Of Ultra Wide Band Systems With Spreading Signals"
Dana Porrat
UC Berkeley
http://isl.stanford.edu/groups/seminar/
4:15pm Fundamental Themes in Neuroscience Seminar
Munzer Auditorium, Beckman B060
"Signaling Mechanisms that Control Axon Guidance in Drosophila"
David Van Vactor
Harvard Medical School, DFCI, Harvard Cancer Center, Harvard
Center for Neurodegeneration and Repair
http://www-med.stanford.edu/sbrc/calendar/
FRIDAY, 14 NOVEMBER 2003
11:00am Berkeley Institute of Cognitive and Brain Seminar
Tolman 5101 (Berkeley)
"Deciding What Counts: Children's Individuation of Objects and Events"
Laura Wagner
Psychology, Wellesley College
http://socrates.berkeley.edu:4247/seminar.html
12:30pm CS547: Human-Computer Interaction Seminar
Gates B01
"A Next-Generation Consumer Photo Application:
Challenges in Creating a Simple Yet Powerful User Experience"
Michael Slater
Adobe
http://www-pcd.stanford.edu/cs547/
Abstract below
3:00pm UC Berkeley Brain Imaging Center Talk
5101 Tolman (Berkeley)
"Working Memory: How Is the Information Stored and Manipulated
in the Prefrontal Cortext?"
Shintaro Funahashi
Cognitive and Behavioral Sciences, Kyoto University
http://psychology.berkeley.edu/admin/colloquia.html
3:15pm Philosophy Department Colloquium
Bldg. 90:92Q
"Expressivism, Deflationism, and Correspondence"
Patricia Marino
Stanford University
http://www-philosophy.stanford.edu/ce.html
3:15pm Friday Cognitive Seminar
Jordan Hall 420:100
"Status Quo Bias in Policy Choice"
Maya Bar Hillel
http://www-psych.stanford.edu/news.html#frisem
SATURDAY, 15 NOVEMBER 2003
1:00pm Human Mind: Cognition
Bldg. 320:105
Herb Clark, Psychology
Daniel Schwartz, Education
Barbara Tversky, Psychology
http://continuingstudies.stanford.edu/course/EVT58.asp
MONDAY, 17 NOVEMBER 2003
3:30pm Social Lab
Jordan Hall 420:050
"The Role Of Context In American Indian Adolescent Resilience"
Teresa Lafromboise
Education, Stanford University.
http://www-psych.stanford.edu/news.html#social_lab
4:15pm CS528: Broad Area Colloquium in AI,
Geometry, Graphics, Robotics, and Vision
TCSeq 200
"Shape-From-Silhouette Across Time"
Simon Baker
CMU
http://graphics.stanford.edu/courses/cs528/
Abstract below
TUESDAY, 18 NOVEMBER 2003
3:00pm CSLI/EPGY Tea
Cordura Greenhouse
4:00pm CSLI Talk
Cordura 100
"For Innovation toward a Ubiquitous Solution Company:
Technological Issues in KDDI~
Hitomi Murakami
Abstract below
4:15pm Logic Seminar
Bldg. 380:380F (math corner)
"Strong Normalization Proof with CPS-Translation for Second
Order Classical Natural Deduction"
Makoto Tatsuta
National Institute of Informatics, Japan
http://www-logic.stanford.edu/seminars.html
Abstract below
5:30pm Syntax Workshop
Margaret Jacks 460:126
"Islands, ECP and resumption: experimental evidence from
subject questions in English and German"
Theodora Alexopoulou
University of Cambridge
(joint work with Frank Keller, University of Edinburgh)
http://www-linguistics.stanford.edu/sssg/
WEDNESDAY, 19 NOVEMBER 2003
12 noon Psychology Developmental Brownbags
Bldg. 420:286
"The myth of the final criterion"
Michael Strevens
Stanford University
http://www-psych.stanford.edu/news.html#dev_brownbag
3:45pm Psychology Department Colloquium
Jordan Hall 420:041
"How does evolution build a complex brain?"
Leah Krubitzer
UC Davis
http://www-psych.stanford.edu/news.html
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
Title to be announced
John Manferdelli
Windows Trusted Platform Infrastructure, Microsoft
http://ee380.stanford.edu/contents.html
THURSDAY, 20 NOVEMBER 2003
12 noon Award Winning Teachers Speaker Series
Bldg 460:426 (English Terrace room)
"Is Teaching a Calling or a Profession:
Teaching Literature in an Uncertain Age"
Seth Lerer
http://ctl.stanford.edu/Events/
3:00pm Reuters Foundation Digital Vision Program Seminar
email for location mailto:digitalvision@csli.stanford.edu
Mohammad Al-Ubaydli
http://reuters.stanford.edu/seminar_speakers.html
3:30pm Berkeley Cognition, Brain, and Behavior Seminar
Tolman 3105 (Berkeley)
"Instructive Signals and Motor Memories in the Cerebellum"
Jennifer Raymond
UCSF
http://psychology.berkeley.edu/admin/colloquia.html
4:00pm UC Berkeley CIS Seminar
Soda Hall 310 (UC Berkeley)
"Simplifying Multi-Robot Planning"
Geoff Gordon
Carnegie Mellon
http://www.eecs.berkeley.edu/~wainwrig/cis-seminar
Abstract below
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
"Relational Mining for Temporal Medical Data"
Ryutaro Ichise
http://cll.stanford.edu/scla.html
Abstract below
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
"Unintended social consequences of the Internet: Surfing and
Sociability--where does all the time come from?"
Norman Nie
Political Science Department
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
4:15pm Fundamental Themes in Neuroscience Seminar
Munzer Auditorium, Beckman B060
"A Genetic Analysis of Synaptic Function in C-Elegans"
Erik Jorgensen
University of Utah, Department of Biology
http://www-med.stanford.edu/sbrc/calendar/
5:30pm Stanford Phonology Workshop
Margaret Jacks Hall 460:126
"Indo-European Kinship Terminology: A Critical Interface
Between Phonology and Semantics (An Anthropological
Perspective on Historical Linguistics)"
German V. Dziebel
Cultural and Social Anthropology, Stanford University
http://www-linguistics.stanford.edu/pinterest/
Abstract below
5:30pm DLCL Seminar
Cubberley Auditorium
"One More Time: Tolerance, Free Speech, Difference, Contingency,
Truth, and Interpretative Communities Revisited"
Stanley Fish
English, Criminal Justice and Political Science, U. Illinois at Chicago
FRIDAY, 21 NOVEMBER 2003
12:30pm CS547: Human-Computer Interaction Seminar
Gates B01
"People, Computers, and Design: A View from UCSD"
Jim Hollan
Cognitive Science, UCSD
http://www-pcd.stanford.edu/cs547/
Abstract below
3:15pm Philosophy Department Colloquium
Bldg. 90:92Q
Title To Be Announced
Jennifer Whiting
University of Toronto
http://www-philosophy.stanford.edu/ce.html
3:15pm Friday Cognitive Seminar
Jordan Hall 420:100
"Benefits and Pitfalls of Scaffolding Collaborative Learning
with Teachable Agents"
David Sears
http://www-psych.stanford.edu/news.html#frisem
3:30pm Linguistics Department Colloquium
Margaret Jacks Hall 460:126
Jane Hill
http://www-linguistics.stanford.edu/colloq/
____________
Stanford Blood Center status: Shortage of O+, O-, A-, B-, and AB-.
For an appointment: http://bloodcenter.stanford.edu/ or call
650-723-7831. It only takes an hour of your time.
____________
MUSIC 423: DIGITAL SIGNAL PROCESSING SEMINAR
on Wednesday, 12 November 2003, 12 noon
CCRMA Library, The Knoll
http://www-ccrma.stanford.edu/courses/423/
"A Robust Maximum Likelihood F0 Estimation from STFT Peaks:
Exact and Fast Approximate MCMC Approaches"
Harvey Thornburg
Randal Leistikow
We address one of the most "fundamental" problems in signal processing
for computer music applications: efficient and robust fundamental
frequency estimation. We have developed such a scheme which operates
only on the observed peak frequencies and amplitudes of the short-time
Fourier transform (STFT), avoiding the computational burden of optimal
time-domain methods. We apply maximum likelihood inference to a
suitable probabilistic model, using also Markov chain Monte Carlo
methods with no apparent loss in quality, but a huge decrease in the
number of computations. Our model for the STFT peaks is a purely
statistical model based largely on "maximum entropy" type criteria,
which is designed to assume the least possible in terms of prior
information. Even though this model alone seems to work quite well, in
the future we may be interested in how our probabilistic model can be
informed by psychoacoustic theories concerning pitch perception, as we
believe it is easy to integrate these types of frameworks in our
model. Hopefully we can generate some discussion concerning this
point, and any other points that may be of interest.
____________
EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
on Wednesday, 12 November 2003, 4:15pm to 5:30pm
NEC Auditorium (B03), Gates Computer Science Building
http://ee380.stanford.edu/contents.html
"The Skynet Virus:
Why It Is Unstoppable, How To Stop It"
Marc Stiegler
Hewlett Packard
In Terminator 3, the SkyNet AI distributes itself globally, becoming
invulnerable to destruction, by exploiting the fundamental failure of
computer security. it then destroys the world when it gains control of
America's nuclear missiles. While this is a considerably more serious
disaster than any wrought so far by cyber-crackers, cyber-terrorists,
or cyber-warriors, the flaws that make SkyNet unstoppable are the same
flaws that make crackers, terrorists, and warriors possible. The same
fix that eliminates crackers can terminate the Terminators.
This presentation starts by examining in detail the fundamental flaw
in computer security today--the ludicrously excessive authority
granted to even silly programs like Barbie Fashion Designer. We go on
to see how the Principle of Least Authority (also known as the
Principle of Least Privilege), once ubiquitously applied, can end the
madness while simultaneously making the user interface to security
simpler than it is today.
About the speaker: Mr. Stiegler is currently a Visiting Scholar at
Hewlett-Packard. Previous to this appointment, as COO of Combex Inc.,
Mr. Stiegler led a DARPA research contract to build a working
prototype of a capability secure desktop that is invulnerable to
traditional computer viruses and trojan horses. Mr. Stiegler designed
and implemented the application launch framework for the desktop,
developing new forms of user interface/security integration that allow
people to safely use even virus-ridden applications without having to
work with even the normal litany of foolish security dialog boxes,
passwords, and certificates. This desktop was later demonstrated in
Mr. Stiegler's presentation, "Exploiting Virus-Laden Software", for
the O'Reilly Emerging Technology Conference in 2002.
Highlights of Stiegler's earlier works include serving as VP of
Engineering for Autodesk, and winning the Software Publisher's
Association Best New Business Software Award for DecideRight in
1996. His sf novel Earthweb depicts a future in which a mature Web,
with advanced features such as bidirectional links and idea futures,
becomes the underpinning fabric of global society.
____________
CSLI COGLUNCH
on Thursday, 13 November 2003, 12:15pm-1:30pm
Cordura Hall, Room 100
http://www-csli.stanford.edu/events/Coglunch/
"On the relation between rhythm perception and production:
a Bayesian model"
Peter Desain
Nijmegen University
Ecological psychology posed the relation between perception and action
in the environment. Newer cognitive theories postulate an intimate
link via mental representations used by both processes. In music the
coding of a rhythm into an observable temporal pattern by the
performer and the subsequent decoding by the listener is thus supposed
to be veridical. However, experiments show that rhythms are not always
produced in accordance with their perceived identity, which is
evidence against a direct perception-action coupling. Using Bayes rule
to formalize competition between mental representations and
non-uniform exposure in a meta-analysis, the contrast almost
disappears. This suggests an optimal adaptation of our perceptual
system to the environment, and it removes the apparent empirical
counterevidence against perception-action theories.
About the Speaker: Peter Desain is part of the 'Music, Mind, Machine'
group at Nijmegen University in The Netherlands. He is visiting this
year at CSLI and CCRMA.
____________
ALLIANCE FOR INNOVATIVE MANUFACTURING (AIM) TALK
on Thursday, 13 November 2003, 3:15pm
Bldg. 530:127
http://www.stanford.edu/group/AIM/
"Battle of the Segways!"
Trevor Blackwell
Anybots
The Alliance for Innovative Manufacturing (AIM) invites you to a
talk by Dr Trevor Blackwell, founder and CTO of Anybots Inc., a
Mountain View startup building humanoid robots (robots that resemble
humans) for industrial and domestic use.
Blackwell has built his own version of the Segway Human Transporter
using off the shelf parts in about a week for half the retail price.
He will be there to talk how he did it and at the end of his
presentation I will challenge him to a duel on the AIM Segway. So be
there to witness the 'Battle of the Segways!'
Dr Blackwell will also be talking about his current work in Robotics.
He is working on building Dexter, a robot which can do all common
household tasks. He predicts it will be out in the markets by 2010, a
good deal earlier than most experts think possible. Dr Blackwell is
also the founder of Viaweb a product we know today as the Yahoo Store.
____________
PARC FORUM
on Thursday, 13 November 2003, 4:00pm - 5:00pm
George Pake Auditorium, PARC
http://www.parc.com/forum/
"The Battle for Accountability in Election Systems"
David L. Dill
Computer Science, Stanford University
Touch-screen voting machines store records of cast votes in internal
memory, where the voter cannot check them. Because of our system of
secret ballots, once the voter leaves the polls there is no way anyone
can determine whether the vote captured was what the voter
intended. Why should voters trust these machines?
Last December, I drafted a "Resolution on Electronic Voting" stating
that every voting system should have a "voter verifiable audit trail,"
which is a permanent record of the vote that can be checked for
accuracy by the voter, and which is saved for a recount if it is
required. After many rewrites, I posted the page in January with
endorsements from many prominent computer scientists. At that point, I
became embroiled in a surprisingly fierce (and time consuming) battle
that continues today. (See http://www.verifiedvoting.org/ for the
resolution and much more information on electronic voting.) We still
don't have an answer for why we should trust electronic voting
machines, but a lot of evidence has emerged for why we should NOT.
In this talk, I will discuss the basic technical issues with
electronic voting and describe some of the major events of the last 10
months.
About the speaker: David L. Dill is a Professor of Computer Science
and, by courtesy, Electrical Engineering at Stanford University. He
has been on the faculty at Stanford since 1987, when he received a
Ph.D. in Computer Science from Carnegie-Mellon University. His primary
research interests relate to the theory and application of formal
verification techniques to system designs, including hardware,
protocols, and software. He has also done research in asynchronous
circuit verification and synthesis, and in verification methods for
hard real-time systems. He was named a Fellow of the IEEE in 2001 for
his contributions to verification of circuits and systems. Dr. Dill
served on the Secretary of State of California's Ad Hoc Task Force on
Touch Screen Voting in 2003, which recommended that all new election
equipment be required to have a voter verifiable audit trail after
2006. He is a member of the IEEE P1583 Voting Equipment Standards
Committee, and a member of the DRE Citizen's Oversight Committee of
Santa Clara County. Dr. Dill is the founder of
http://verifiedvoting.org/ , which is dedicated to obtaining a
requirement that all election equipment provide a voter verifiable
audit trail.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 13 November 2003, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
"The Return of Moral Fictionalism"
Nadeem Hussain
Philosophy, Stanford University
Many people get nervous at the suggestion that there are moral facts.
Indeed there is a pretty widespread assumption that facts are one
thing and values quite another. What sometimes lies behind this
nervousness is the view that if there were moral facts, then they
would have to be very strange facts indeed. I know where to look, and
how to look, to figure out whether my car is in the garage, but where,
and how, do I look to figure out whether cannibalism is wrong? Some
respond by adopting versions of relativism and subjectivism in the
hopes of avoiding any commitment to strange facts. I'll be assessing
a different approach that often comes in two parts. First, an "error
theory" that claims that all of us, whether we like it or not, are
committing ourselves to strange facts when we believe that, say,
cannibalism is wrong, but that since there are no such strange facts
our moral beliefs are false. Second, a "fictionalist" replacement for
morality: while it no longer makes sense to really believe that
cannibalism is wrong, it still makes sense to continue pretending that
cannibalism is wrong. What lies behind this approach is the hunch
that an illusion of morality, whether we see through this illusion or
not, plays an essential role in our psychology.
About the Speaker: Nadeem Hussain is an Assistant Professor of
Philosophy at Stanford University. He specializes in metaethics,
philosophy of action and 19th Century German philosophy. His other
areas of interest include political philosophy and medieval Islamic
philosophy. He is currently writing on the role of reasons in
practical reflection, the influences of positivism on Nietzsche's
metaphysics and epistemology, and fictionalism in both contemporary
metaethics and Nietzsche's accounts of valuing.
____________
CS547: HUMAN-COMPUTER INTERACTION SEMINAR
on Friday, 14 November 2003, 12:30-2:00pm
Gates B01
http://www-pcd.stanford.edu/cs547/
"A Next-Generation Consumer Photo Application:
Challenges in Creating a Simple Yet Powerful User Experience"
Michael Slater
Adobe
Making it easy for consumers to manage their digital photos is a
surprisingly challenging problem. People need a way to easily collect
and search thousands of photos, and to then share and print them how
they want. As photo collections become larger and the things people
want to do with their photos more diverse, the challenge becomes even
greater. By providing a single integrated solution, the complexity of
using multiple applications with the file system as their only common
element can be eliminated.
In this talk, I'll describe the design ideas and tradeoffs that went
into Adobe's Photoshop Album 2.0 (
http://www.adobe.com/photoshopalbum/ ), the recently released
successor to the first-generation version of this photo manager. I'll
show how the design has evolved from a tablet appliance design at a
startup, through two generations of PC software, and some of the
things we've learned along the way. I'll explore the challenges of
meeting the needs of diverse classes of users, balancing simplicity
and flexibility, and getting users to adopt new paradigms.
About the Speaker: Michael Slater is director of technology strategy
for the Digital Imaging and Video Business Unit at Adobe Systems,
where he guides new technology evaluations and seeks external
technologies to enhance Adobe's future products. He was previously
chairman of Fotiva, Inc, a company he cofounded (originally called
PhotoTablet) to fulfill his vision for a new software approach that
would support the mass-market adoption of digital photography. He is
the author of the forthcoming book, The Photoshop Album Book:
Enjoying Digital Photography, to be published in December.
Before founding Fotiva, he was founder and President of MicroDesign
Resources, where he created the Microprocessor Report newsletter and
Microprocessor Forum and Embedded Processor Forum conferences. In
addition to his role at MDR, Michael was a columnist and contributor
for many computer industry publications. Before founding MDR, he was
an independent engineering consultant and an R&D engineer at Hewlett
Packard.
____________
CS528: BROAD AREA COLLOQUIUM FOR
AI-GEOMETRY-GRAPHICS-VISION-ROBOTICS
on Monday, 17 November 2003, 4:15pm
TCSeq 200
http://graphics.stanford.edu/courses/cs528/
"Across Time"
Simon Baker
The Robotics Institute, Carnegie Mellon University
Shape-From-Silhouette (SFS) is a well-studied, and commonly used,
method of reconstructing the 3D shape of an object from multiple
cameras. First, the silhouettes of the objects are extracted in the
input images. Then, the shape of the object is approximated by
intersecting the volumes created by projecting the silhouettes into
the scene using the known camera geometry. The result of SFS, known as
the Visual Hull, is an upper bound on the shape of the object.
Although SFS has a number of advantageous properties, the main
limitation of the method is that the estimate of the shape can be very
coarse when only a small number of cameras (10-20) are used.
In this talk I will present Shape-From-Silhouette Across Time(SFS-AT),
a way of combining multiple silhouettes captured from multiple cameras
as the object moves in time to obtain an improved estimate of the
Visual Hull. I will first show that the problem is inherently
ambiguous given only the silhouette information. I will then show how
the geometric silhouette information can be combined in a natural way
with color information to yield two SFS-AT algorithms: (1) the first
for a single rigidly moving object, and (2) the second for an
articulated object, or a collection of rigidly moving objects.
I will proceed to show how these two algorithms can be combined to
build a system to estimate a 3D kinematic model of a human consisting
of: (1) 3D shape, (2) 3D joint locations, (3) a segmentation of the
model into the various body parts. I will also describe an extension
of the articulated SFS-AT algorithm to track the motion of the human
in a novel set of video sequences using the 3D kinematic model,
thereby creating a marker-less motion capture system. Finally, I will
show how these two systems can be combined to perform marker-less
motion transfer.
This research is joint work with German Cheung and Takeo Kanade.
About the Speaker: Simon Baker is a Research Scientist in the Robotics
Institute at Carnegie Mellon University, where he conducts research in
Computer Vision. Before joining the Robotics Institute in September
1998 as a Postdoc, he was a Graduate Research Assistant at Columbia
University, where he obtained his Ph.D. in the Department of Computer
Science. He also spent a summer visiting the Vision Technology Group
at Microsoft Research. He received a B.A. in Mathematics from Trinity
College, Cambridge University in 1991, an M.Sc. in Computer Science
from the University of Edinburgh in 1992, and an M.A. in Mathematics
from Trinity College, Cambridge University in 1995. His current
research interests include, face analysis (recognition, tracking,
model building, and resolution enhancement), 3D reconstruction and
vision for graphics, vision theory, vision for automotive
applications, and projector-camera systems. For more details of his
research, see his webpage:
http://www.ri.cmu.edu/people/baker_simon.html
____________
CSLI TALK
Special CSLI Tea on 18 November 2003
Starting at 4:00pm after the Tea on November 18, Dr. Murakami from
KDDI will be speaking. Please join us.
"For Innovation toward a Ubiquitous Solution Company
- Technological Issues in KDDI"
Dr. Hitomi Murakami
Vice President, General Manager
IT Development Division, KDDI
The telecommunication world is now drastically changing to ubiquitous
access and networking. KDDI aims to become a ubiquitous solution
company by setting "mobile networking technology" as a core competence
of the business and responding to the customer*s further reliance and
satisfaction.
The presentation will begin with an overview of the telecommunications
business environment in Japan and current KDDI approach, followed by
an examination of key technological issues;
1. to improve KDDI's existing services,
2. to develop new killer applications for KDDI's network platform, and
3. to create new business markets.
I will specify requirements for future telecommunications services and
outline KDDI's technical solutions.
____________
LOGIC SEMINAR
on Tuesday, 18 November 2003, 4:15pm-5:30pm
Math Corner 380:380F
http://www-logic.stanford.edu/seminars.html
"Strong Normalization Proof with CPS-Translation for
Second Order Classical Natural Deduction"
Makoto Tatsuta
National Institute of Informatics, Japan
This paper points out an error in Parigot's proof of strong
normalization of second order classical natural deduction by the
CPS-translation, discusses erasing-continuation of the
CPS-translation, and corrects that proof by using the notion of
augmentations.
____________
UC BERKELEY CIS SEMINAR
on Thursday, 20 November 2003, 4:00pm-5:00pm
Soda Hall 310 (UC Berkeley)
http://www.eecs.berkeley.edu/~wainwrig/cis-seminar
"Simplifying Multi-Robot Planning"
Geoff Gordon
Carnegie Mellon University
Robots in the real world can't plan in isolation. Instead, they need
to worry about external forces which can change their environment
while they're not looking. Unfortunately, reasoning exactly about
external agents often results in intractable planning problems.
Fortunately, it is often possible to simplify multi-robot planning
problems by approximately factoring and abstracting them. I will
describe several new general, practical tools for doing so. These
tools include nonlinear dimensionality reduction, no-regret
algorithms, and price-based decompositions. As a running example of
how to apply these techniques, I will describe our work on a dynamic
multi-robot searching problem.
____________
CSLI SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
on Thursday, 20 November 2003, 4:15pm to 5:30pm
Cordura 100
http://cll.stanford.edu/scla.html
"Relational Mining for Temporal Medical Data"
Ryutaro Ichise
National Institute of Informatics, Japan
In managing medical data, handling time-series data, which contain
irregularities, presents the greatest difficulty. In this talk, I will
propose a first-order rule discovery method for handling such data.
The method is an attempt to use graph structure to represent
time-series data and reduce the graph using specified rules for
inducing hypotheses. In order to evaluate the proposed method, I show
results from experiments on real-world medical data.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 20 November 2003, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
"Unintended social consequences of the Internet:
Surfing and Sociability--where does all the time come from?"
Norman Nie
Political Science, Stanford University
Hear about the Internet and Society time and sociability study being
conducted by Stanford's Institute for the Quantitative Study of
Society (SIQSS).
Norman Nie is the director of the SIQSS, a former chair of the
University of Chicago Department of Political Science, and is also
co-founder of SPSS Inc., a producer of statistical software and
analytic solutions. His current research focuses on time spent for
Internet use, and issues of the Internet and society more broadly.
More information:
http://www.stanford.edu/group/siqss/about_us.html
http://www.stanford.edu/group/siqss/Press_Release/internetStudy.html
____________
STANFORD PHONOLOGY WORKSHOP
on Thursday, 20 November 2003, 5:30pm
Margaret Jacks Hall 460:126
http://www-linguistics.stanford.edu/pinterest/
"Indo-European Kinship Terminology:
A Critical Interface Between Phonology and Semantics
(An Anthropological Perspective on Historical Linguistics)"
German V. Dziebel
Cultural and Social Anthropology, Stanford University
The paper examines the current state of reconstruction of the
proto-Indo-European kinship terminology in the light of the historical
typology of kinship systems developed in anthropology. Extant
interpretations of the meanings of proto-Indo-European etymons are
critically examined in the context of recurrent puzzles in
Indo-European historical phonology. It is highlighted that, despite
the gigantic scope of work done in Indo-European historical
linguistics over the past 200 years, the shape of the
proto-Indo-European kinship system continues to elude scholars of
Indo-European language and culture. Both methodological observations
and new etymologies are advanced for the purpose of illustrating the
tight connection between semantic and phonological differentiation and
the value of typological observations for primary phonological
reconstructions.
____________
CS547: HUMAN-COMPUTER INTERACTION SEMINAR
on Friday, 21 November 2003, 12:30-2:00pm
Gates B01
http://www-pcd.stanford.edu/cs547/
"People, Computers, and Design: A View from UCSD"
Jim Hollan
Cognitive Science, UC San Diego
Computers are special in that they provide a new kind of stuff out of
which to fashion virtual worlds to augment our perceptual, conceptual,
and social interactions. They provide the most plastic medium for
representation, communication, and interaction we have ever
known. Ensuring that designs of computationally-based systems
appropriately respect and effectively augment human needs and
abilities is an intellectual challenge of the highest order. To meet
this challenge requires careful continuing examination of the
theoretical and methodological frameworks upon which we base our
research activities. In this talk, I will focus on the theoretical and
methodological choices we have made in our research and demonstrate
how they have been instantiated in example current research projects
on negotiated access, ubiquitous computing, gestures, ethnography of
driving, and spatial multiscale tools for managing personal
information collections.
About the Speaker: Jim Hollan is Professor of Cognitive Science at
UCSD and in collaboration with Ed Hutchins directs the Distributed
Cognition and HCI Laboratory. After receiving a Ph.D. in cognitive
psychology (Florida) and completing a postdoc in artificial
intelligence (Stanford), he moved to San Diego (UCSD and NPRDC) to
design computer-based instructional systems (Steamer), object-based
graphical editors, and investigate direct manipulation interfaces as
part of the User-Centered System Design (UCSD) project. He then
directed the MCC HCI Laboratory in creating an integrated tool suite
for designing multimodal interfaces. Subsequently he started the
Computer Graphics and Interactive Media Research Group at Bellcore to
investigate multiscale interfaces (Pad++) for information
visualization and served as Chair of the Computer Science Department
at the University of New Mexico. He returned to UCSD in 1997.
____________
END MATERIAL
The CSLI Calendar appears weekly on Wednesdays throughout the academic
year. Announcements, abstracts, and other information to appear in
the Calendar should be submitted to the editor, who reserves the right
to decide what does or does not go in the calendar
mailto:incalendar@csli.stanford.edu
Requests to be added to the mailing list should be sent to
majordomo@csli.stanford.edu. With the lines in the body of the text
of either
subscribe csli-calendar
for the long form or
subscribe csli-short-calendar
for the short form (i.e., no abstracts). Problems with subscribing or
unsubscribing should be sent to
owner-csli-calendar@csli.stanford.edu.
The full current issue is at
http://www-csli.stanford.edu/Archive/calendar/current.shtml
and the archives at
http://www-csli.stanford.edu/Archive/calendar/
People on most of the CSLI computers can type 'help csli-calendar' to
see the current issue.
The CSLI Calendar is also posted each week to
news://nntp-csli.stanford.edu/csli.bboard.
and
news://news.stanford.edu/su.events
Information about CSLI's research program is available at
http://www-csli.stanford.edu/
For maps to the Stanford University campus see
http://www.stanford.edu/home/visitors/maps.html
____________