[Date Prev][Date Next][Date Index]
CSLI Calendar, Wednesday, 29 January 2003, vol. 18:18
CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________
29 January 2003 Stanford Vol. 18, No. 18
______________________________________________________________________
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 29 JANUARY 2003 TO 7 FEBRUARY 2003
WEDNESDAY, 29 JANUARY 2003
3:00pm Reuters Foundation Digital Vision Program Seminar
email for location mailto:digitalvision@csli.stanford.edu
Larry Lessig
Law, Stanford University
http://reuters.stanford.edu/seminar_speakers.html
Information below
3:45pm Psychology Department Colloquium
Jordan Hall 420:041
Title to be announced
Stanka Fitneva,
Cornell
(Developmental Job Candidate)
http://www-psych.stanford.edu/news.html
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
Chandler: An (Inter)personal Information Manager
Mitch Kapor
Open Source Applications Foundation
http://ee380.stanford.edu/contents.html
Abstract below
7:00pm SCIL Futures of Learning Lecture Series
Wallenberg Hall (Bldg. 160)
Beyond Accountability: Assessment That Supports Adventuresome
Teaching Can assessment fortify innovative teaching and learning?
John D. Bransford
Psychology and Education, Vanderbilt University
http://scil.stanford.edu/
Abstract below
THURSDAY, 30 JANUARY 2003
11:00am Music 319: CCRMA Hearing Seminar
CCRMA Library, The Knoll
Audio Clustering and Semantic Models
Malcolm Slaney
IBM Almaden Research Center & CCRMA
http://mambo.ucsc.edu/psl/ccrmas/ccrmas.html
Abstract below
12 noon CSLI CogLunch
Ventura 17 (note room change)
Task-Oriented Semantic Interpretation
John F. Sowa and Arun K. Majumdar
VivoMind LLC
http://www-csli.stanford.edu/events/Coglunch/
Abstract below
12:15pm Stanford Networking Seminar
Gates 104
Title to be announced
Sundar Iyer
Stanford University
http://netseminar.stanford.edu/
4:00pm Personality Seminar
Jordan Hall 420:100
Title to be announced
Kelly McGonigal
Stanford
http://www-psych.stanford.edu/news.html#person_lab
4:00pm PARC Forum
George Pake Auditorium at PARC
"Supporting Women's Human Rights Worldwide"
Special update about women in the Middle East
Kavita Ramdas
President, The Global Fund for Women
http://www.globalfundforwomen.org/
http://www.parc.com/forum/
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
A stability based method for discovering structure in
clustered data
Asa Ben-Hur
Biochemistry, Stanford University
http://cll.stanford.edu/scla.html
Abstract below
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
Why don't we have a theory of higher level brain function and
what can we do about it
Jeff Hawkins
Redwood Neuroscience Institute
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
4:15pm Neurobiology of Disease Seminar Series
Munzer Auditorium, Beckman B060
Nogo Receptor and Axonal Regeneration
Stephen Strittmatter
Yale University
http://www-med.stanford.edu/sbrc/calendar/
FRIDAY, 31 JANUARY 2003
9:45am Special University Oral Examination
Packard Bldg., Room 101
Color correction and illuminant estimation for digital cameras
Jeffrey M. DiCarlo
Electrical Engineering, Stanford University
http://white.stanford.edu/~dicarlo/
Abstract below
11:00am Berkeley Institute of Cognitive and Brain Seminar
Tolman 5101 (Berkeley)
Gary Marcus
Psychology, New York University
http://socrates.berkeley.edu:4247/seminar.html
12:30pm CS547: Human-Computer Interaction Seminar
Gates B03
Using Words to Search a Thousand Images:
Hierarchical Faceted Metadata in Search Interfaces
Marti Hearst
UC Berkeley SIMS
http://www.sims.berkeley.edu/~hearst/
http://www-pcd.stanford.edu/cs547/
Abstract below
1:00pm Berkeley Intel Research Seminar
Intel Research Berkeley, 2150 Shattuck, Ste. 1300
Active Environments
Joe McCarthy
Intel Research - Seattle Lab
http://buffy.eecs.berkeley.edu/Seminars/
Abstract below
2:15pm NLP Reading Group
Math Corner, 380:383P
Scalability of Redundancy Detection in Focused Document Collections
Presented by: Cleo Condoravdi and Dick Crouch
http://www.parc.com/istl/members/crouch/scanalu.pdf
http://www-nlp.stanford.edu/nlp/nlpgroup.html
Abstract below
3:15pm Friday Cognitive Seminar
Jordan Hall 420:100
Everything You've Ever Wanted to Know About Discounting of
Perceptual Fluency in Heuristic Judgment but Were Afraid to Ask
Danny Oppenheimer
http://www-psych.stanford.edu/news.html#frisem
3:30pm Semantics and Pragmatics Workshop
Margaret Jacks Hall 460:126
The Semantics of Incorporation
Donka Farkas, University of California, Santa Cruz
(work done with Henriette de Swart)
http://www-linguistics.stanford.edu/semgroup/
4:15pm CS545: Database Seminar
Gates B12
Data Routing Rather than Databases: The Meaning of the Next Wave
of the Web Revolution to Data Management
Adam Bosworth
BEA
http://www-db.stanford.edu/dbseminar/
MONDAY, 3 FEBRUARY 2003
3:30pm Social Lab
Jordan Hall 420:050
Social Class and Intelligence:
Is Intellectual Ability A Social Privilege?
Jean-Claude Croizet
Universite Blaise Pascal, Clermont-Ferrand
http://www-psych.stanford.edu/news.html#social_lab
4:15pm Broad Area Colloquium in AI,
Geometry, Graphics, Robotics, and Vision
TCSeq 201
Next Frontier in Graphics: Unleashing the Computer's
Potential for Communication
David Salesin
University of Washington and Microsoft Research
http://robotics.stanford.edu/ba-colloquium/
Abstract below
TUESDAY, 4 FEBRUARY 2003
4:15pm Logic Seminar
Bldg. 380:381T (math corner)
Decidability of integer multiplication and ordinal addition
Two applications of the Feferman-Vaught Theory
Ting Zhang
Computer Science, Stanford
http://www-logic.stanford.edu/seminars.html
Abstract below
4:15pm History of Science Colloquium
Bldg. 200:307
Accounting for the Self:
Leibniz, Squaring the Circle, and Perspective in Paris
Matt Jones
Columbia University
http://www.stanford.edu/dept/HPS/colloquia.html
WEDNESDAY, 5 FEBRUARY 2003
3:00pm Reuters Foundation Digital Vision Program Seminar
email for location mailto:digitalvision@csli.stanford.edu
Dan'l Lewin
Corporate Vice President, Microsoft .NET Business Development
http://reuters.stanford.edu/seminar_speakers.html
Information below
3:45pm Psychology Department Colloquium
Jordan Hall 420:041
Embodiment, Metaphor, Imagination
Ray Gibbs
UC Santa Cruz
http://www-psych.stanford.edu/news.html
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
A Next-Generation Consumer Photo Application Challenges in
Creating a Simple Yet Powerful User Experience
Michael Slater
Adobe Systems
http://ee380.stanford.edu/contents.html
Abstract below
THURSDAY, 6 FEBRUARY 2003
12:15pm Stanford Networking Seminar
Gates 104
Title to be announced
Bernardo Huberman
Stanford University
http://netseminar.stanford.edu/
4:00pm Personality Seminar
Jordan Hall 420:100
Title to be announced
Kevin Ochsner
Stanford
http://www-psych.stanford.edu/news.html#person_lab
4:00pm UC Berkeley CIS Seminar
Soda Hall 310 (UC Berkeley)
Richard Szeliski
Microsoft
http://www.cs.berkeley.edu/~eyal/cis-seminar
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
What Are the Ingredients of Language?
Michael Ramscar
Psychology, Stanford
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
4:15pm Neurobiology of Disease Seminar Series
Munzer Auditorium, Beckman B060
Plasticity of hippocampal Interneurons
Ivan Soltesz
UC Irvine
http://www-med.stanford.edu/sbrc/calendar/
5:00pm Modes of Knowledge
Wallenberg Hall 160:124
Listening to Wagner's politics
Mitchell Cohen
Political Science, Baruch College and CUNY
7:00pm SCIL Futures of Learning Lecture Series
Wallenberg Hall Learning theater (Bldg. 160)
Secrets of the Infant Mind
Rochel Gelman
Cognitive Science and Psychology, Rutgers University
http://scil.stanford.edu/
Information below
FRIDAY, 7 FEBRUARY 2003
11:00am Berkeley Institute of Cognitive and Brain Seminar
Tolman 5101 (Berkeley)
Gary Marcus
Psychology, New York University
http://socrates.berkeley.edu:4247/seminar.html
12 noon Logical Methods in the Humanities
Bldg. 380:383N (math corner)
'One is a lonely number': some recent trends in the logic of
communication
Johan van Benthem
Stanford and Amsterdam
http://www-logic.stanford.edu/seminars.html
Abstract below
12:30pm CS547: Human-Computer Interaction Seminar
Gates B03
To be announced
http://www-pcd.stanford.edu/cs547/
3:15pm Philosophy Department Colloquium
Bldg. 90:92Q
Nancy Cartwright
London School of Economics and UC San Diego
http://philosophy.ucsd.edu/Faculty/n-c.html
http://www-philosophy.stanford.edu/ce.html
3:15pm Friday Cognitive Seminar
Jordan Hall 420:100
The Early Development of Speech Processing:
How toddlers listen through pre-nominal adjectives
Kirstin Thorpe
Psychology, Stanford
http://www-psych.stanford.edu/news.html#frisem
4:15pm CS545: Database Seminar
Gates B12
Principles of Redo Recovery
David Lomet
Microsoft Research (Redmond)
http://www-db.stanford.edu/dbseminar/
____________
Stanford Blood Center status: Critical shortage of O- and a
shortage of everything else. For an appointment:
http://bloodcenter.stanford.edu/ or call 650-723-7831. It only takes
an hour of your time.
____________
MEDIA X REQUEST FOR PROPOSALS
(Please note that the following Media X RFP is NOT the one sent out
just before Christmas and again in the New Year. This is the SECOND
Media X RFP in 2003. Its research focus is different from the previous
one.)
The Media X Program at Stanford University announces availability of
funding for research about interactive technologies related to video
processing, cataloging, retrieval, and reuse, with a view to the
development of automated systems to support video libraries. Examples
of relevant research topics include but are not limited to:
computational semantics research relevant to the video reuse; content
understanding by integrating analyses of audio/video information; use
interface for video libraries. Proposals may be for funding of up to
$100K for one year. Multi-year projects will be considered, but
funding will be allocated only one year at a time.
Proposals of no more than five pages should be submitted
electronically in PDF format by February 14, 2003 and sent to Keith
Devlin at:
devlin@csli.stanford.edu
Proposal should include a description of the proposed project, vita
for faculty and/or senior research staff who will work on the project,
and a detailed budget. Expenses may include (but are not limited to)
research assistants and/or post docs, travel, equipment, data
collection expenses, and faculty and research staff salaries.
Media X has adopted a standard format ("Quadchart") for describing
funded projects on its website. See
http://mediax.stanford.edu/projects/fidget.html for an example. Your
proposal cover page should provide four short paragraphs that could
form the basis of a quadchart for your proposal, if funded. (Quadchart
formatting is not required.)
Selection will be based on the scientific merit of the proposed
project and on any current or possible applications of the research
that may be of interest to industrial sponsors of Media X research, so
proposers should address both issues in their proposals. Project PIs
must be full-time Stanford employees.
Awards will be announced by February 28. Funding will be available
soon thereafter.
For information about Media X see: http://mediax.stanford.edu/
Address inquiries about budget arrangements by electronic mail to
Najwa Salame at salame@csli.stanford.edu. Address all other inquiries
by electronic mail to Keith Devlin at devlin@csli.stanford.edu.
Please note: In order to process applications within our tight time
frame, only proposals submitted electronically in PDF format can be
accepted. The five page limit includes the budget and any vita
information. The Stanford overhead for Media X projects is 6.5%.
____________
CALL FOR PAPERS
Barwise and Situation Semantics
Stanford, California, 26 June 2003 (co-located with CONTEXT '03)
Deadline: 15 February 2003
http://www.cs.tcd.ie/Tim.Fernando/sa-b.html
The late Jon Barwise was, among many other things, the first director
of the Center for the Study of Language and Information at Stanford.
His book with John Perry, _Situations and Attitudes_, appeared some
twenty years ago (in 1983), launching situation semantics, a semantic
framework where context is analyzed in terms of situations.
This workshop provides a forum for works addressing the following
question: What problems, issues and/or insights connected with
situation semantics and Barwise motivate your research today? And
how?
Please e-mail abstracts of up to 3 pages (11pt, PDF, PostScript or
ASCII) to Tim.Fernando@cs.tcd.ie on or before February 15, 2003.
Notification can be expected by March 15. A special issue of
_Language and Computation_ and/or _Journal of Applied Logic_ is
projected, based on the workshop.
PROGRAM COMMITTEE
Varol Akman, Bilkent
Keith Devlin, Stanford
Tim Fernando (organizer), Dublin
Jonathan Ginzburg, London
Alice ter Meulen, Groningen
Jerry Seligman, Auckland
____________
REUTERS FOUNDATION DIGITAL VISION PROGRAM SEMINAR
on Wednesday, 29 January 2003, 3:00pm-4:30pm
email for location mailto:digitalvision@csli.stanford.edu
http://reuters.stanford.edu/seminar_speakers.html
Larry Lessig
Law Professor, Stanford University
Professor Lessig is one of the nation's top experts on constitutional
law and cyberspace. He received his B.A. in economics and B.S. in
management from the University of Pennsylvania, his M.A. in philosophy
from Trinity College, Cambridge, and his J.D. from Yale Law School.
After law school he clerked for Judge Richard Posner of the Seventh
Circuit Court of Appeals and Justice Antonin Scalia on the U.S.
Supreme Court.
Before joining the Stanford law faculty, he was a Professor of Law at
the University of Chicago from 1991 to 1997. From 1997 to 2000, he was
at the Harvard Law School, where he was the Jack N. and Lillian R.
Berkman Professor for Entrepreneurial Legal Studies. In 1999-2000,
Professor Lessig was a fellow at the Wissenschaftskolleg zu Berlin.
His "Law of Cyberspace" class, taught while he was a visiting
professor at Yale in 1995, was one of the first of its kind offered at
a law school. Professor Lessig teaches and writes in the areas of
constitutional law, contracts, comparative constitutional law, and
cyberspace, with a particular emphasis on such fundamentals as the
First Amendment and free speech, and copyright law. Professor Lessig
has consulted extensively with policy makers about the regulation of
cyberspace. He has also been active in a number of high-profile
Internet-related lawsuits, including Napster, the Microsoft antitrust
case, and the merger of AT&T and MediaOne. At the time he served as
Special Master to Judge Thomas Penfield Jackson in the Microsoft
antitrust case, Time magazine called Lawrence Lessig a "leading
thinker on how to adapt ancient principles to the new digital age."
His book, Code, and Other Laws of Cyberspace, is a thoughtful
exploration of intellectual property rights, free speech, and privacy
on the Web. Many of his published articles are in the field of
Internet regulation, exploring the nexus of regulation and cyberspace.
He has given dozens of lectures on the same topic. Formerly a regular
columnist for the Industry Standard, he has also contributed essays to
The Wall Street Journal, the Washington Post, the Los Angeles Times,
and The Boston Globe. In 2001, Random House published his latest book,
The Future of Ideas. Lawrence Lessig gave his oral argument before the
Supreme Court in the Eldred v. Ashcroft case in October of 2002.
____________
EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
on Wednesday, 29 January 2003, 4:15pm to 5:30pm
NEC Auditorium (B03), Gates Computer Science Building
http://ee380.stanford.edu/contents.html
Chandler: An (Inter)personal Information Manager
Mitch Kapor
Chair, Open Source Applications Foundation
http://www.osafoundation.org/
Mitchell Kapor will speak about the Chandler project, an open source
Personal Information Manager now under development. In addition to
innovations in the handling of email, calendar, and contact
management, Chandler will emphasize sharing and collaboration and is
targeted to information-centric users.
About the speaker: Mitchell Kapor is the founder and Chair and of the
Open Source Applications Foundation. In 1982 he founded Lotus
Development Corporation and designed Lotus 1-2-3, the "killer app"
which made the PC ubiquitous in business. He co-founded of the
Electronic Frontier Foundation in 1990, an organization working in the
public interest to protect privacy and free expression on the
Internet.
____________
SCIL FUTURES OF LEARNING LECTURE SERIES
on Wednesday, 29 January 2003, 7:00pm
Wallenberg Hall (Bldg. 160)
http://scil.stanford.edu/
Beyond Accountability:
Assessment That Supports Adventuresome Teaching
Can assessment fortify innovative teaching and learning?
John D. Bransford
Vanderbilt University
Accountability is becoming increasingly important in education--it
forces educators to think carefully about goals and how to measure
them. But it can be detrimental if assessment inadvertently inhibits
educational experiences that enable students to lead successful
lives. Dr. Bransford discusses technology-enabled assessment
environments that have the potential to support development skills,
knowledge, and attitudes that people need for successful lifelong
learning.
About the speaker: John D. Bransford is Centennial Professor of
Psychology and Education and co-director of the Learning Technology
Center at Vanderbilt University. Author of seven books and hundreds of
articles and presentations, Dr. Bransford is an internationally
renowned scholar in cognition and technology.
____________
MUSIC 319: CCRMA HEARING SEMINAR
on Thursday, 30 January 2003, 11:00am
CCRMA Library, The Knoll
http://mambo.ucsc.edu/psl/ccrmas/ccrmas.html
Audio Clustering and Semantic Models
Malcolm Slaney
IBM Almaden Research Center & CCRMA
A paper describing related work is online at
http://www.almaden.ibm.com/cs/people/malcolm/pubs/MPESAR-ICME2002.pdf
This paper describes a system for connecting non-speech sounds and
words using linked multi-dimensional vector spaces. An approach based
on mixture of experts learns the mapping between one space and the
other. This paper describes the conversion of audio and semantic data
into their respective vector spaces. Two different
mixture-of-probability-expert models are trained to learn the
association between acoustic queries and the corresponding semantic
explanation, and visa versa. Quantitative performance numbers are
presented based on commercial sound effects CDs.
____________
CSLI COGLUNCH
on Thursday, 30 January 2003, 12 noon-1:30pm
Ventura 17 (note room change for this week)
http://www-csli.stanford.edu/events/Coglunch/
Task-Oriented Semantic Interpretation
John F. Sowa and Arun K. Majumdar
VivoMind LLC
Text understanding requires knowledge of the language and knowledge of
the subject matter. During the past 40 years, many ways of using both
kinds of knowledge have been implemented for natural language
processing. This talk describes a method called task-oriented semantic
interpretation (TOSI), which combines a broad, but shallow lexical
semantics with a narrow, but deep axiomatized semantics specialized
for a particular task. To enable the system to process all information
with common mechanisms, both kinds of knowledge are represented in
conceptual graphs (CGs), and both are used in the same way to
interpret input text. The primary difference is that the CGs
associated with a specialized task may trigger additional processes to
perform further reasoning or to execute application programs. TOSI was
successfully used for legacy re-engineering, and it can also derive
CGs customized for molecular biology from published papers or
abstracts.
____________
CSLI SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
on Thursday, 30 January 2003, 4:15pm to 5:30pm
Cordura 100
http://cll.stanford.edu/scla.html
A stability based method for discovering structure in clustered data
Asa Ben-Hur
Biochemistry, Stanford
http://tx.technion.ac.il/~asa/
Most clustering algorithms provide a clustering of a dataset
regardless of whether the data actually has cluster structure or not.
To address this issue, we present a method for assessing the presence
of structure in clustered data. The method is based on the idea that a
"good" clustering should be stable under perturbations of the data. We
characterize stability using the a similarity measure between a
reference clustering and clusterings obtained from sub-samples of the
data. High similarities indicate a stable clustering pattern. We argue
that stability is a desirable feature of a clustering solution that
implies the existence of cluster structure. The proposed method can be
used with any clustering algorithm; it provides a means of rationally
defining an optimum number of clusters, choosing various aspects of
the clustering algorithm, including feature selection. We show results
on several datasets using a hierarchical clustering algorithm, and
demonstrate with the method that using a few leading principal
components enhances cluster structure.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 30 January 2003, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Why don't we have a theory of higher level brain function and
what can we do about it
Jeff Hawkins
Redwood Neuroscience Institute
In this talk I will give an overview of the difficulties we face in
developing a theory of cognition and provide a perspective on why we
have made so little progress to date. I will discuss the problem from
both the biological and computational perspective suggesting specific
mistakes we have made, such as misunderstanding the role of feedback and
ignoring the role of time. There is reason to hope we can make major
progress in this field in the near term. I will lay out the research
agenda that can make this happen and what a theory of cognition will
look like.
____________
SPECIAL UNIVERSITY ORAL EXAMINATION
on Friday, 31 January 2003, 9:45am
Packard Building, Room 101
Refreshments served at 9:30 AM
Color correction and illuminant estimation for digital cameras
Jeffrey M. DiCarlo
Electrical Engineering, Stanford University
Several important problems in color imaging can be traced to
differences in how cameras and humans sample the spectral properties
of light. Color processing within the imaging pipeline, loosely
referred to as color correction, transforms the sampled camera
responses to a form that matches the human responses. The accuracy of
the color correction transformation is limited for two reasons.
First, the human visual system and most color acquisition devices
critically undersample the spectral information, making the
differences in their sampling functions quite significant. Second, the
human visual system derives a relatively constant surface color
appearance despite variations in the illuminant, complicating color
correction with the need to estimate the illuminant.
In the first part of the talk, we assume complete knowledge of the
illuminant and formulate color correction as an input-referred
estimation problem. In particular, we analyze how a small number of
camera measurements can be used to estimate a complete spectral
surface reflectance function. We introduce conventional linear color
transformations, and then extend these transformations using forms of
local linear regression that we refer to as submanifold estimation
methods. These methods are based on the observation that for many
data sets the deviations between the signal and the linear estimate is
systematic; submanifold methods incorporate knowledge of these
systematic deviations to improve upon linear estimation methods. We
describe the geometric intuition of these methods and evaluate the
submanifold method on printed material data and hyperspectral image
data.
In the second part of the talk, we analyze the illuminant estimation
problem. Conventional algorithms rely on statistical assumptions
about the scene properties (surface reflectance functions and
geometry) to estimate the ambient illuminant. We introduce a new
illuminant estimation paradigm that uses an active imaging method to
measure scene properties, ending the need to make significant
assumptions about these properties. The method actively emits light
into the scene and estimates the surface reflectances from a
conventional image and an auxiliary image acquired with a flash; the
ambient illuminant spectral composition is classified, in turn, using
these estimated reflectance functions. We evaluate the method's
stability with respect to changes in the scene statistics.
____________
CS547: HUMAN-COMPUTER INTERACTION SEMINAR
on Friday, 31 January 2003, 12:30-2:00pm
Gates B03
http://www-pcd.stanford.edu/cs547/
Using Words to Search a Thousand Images:
Hierarchical Faceted Metadata in Search Interfaces
Marti Hearst
UC Berkeley SIMS
http://www.sims.berkeley.edu/~hearst/
Large image collections are rapidly coming online. The most popular
image search interfaces are quite simple: users enter keywords, and
matching images are shown in a table, ordered by some measure of
relevance. These systems can be effective for very specific queries,
but do not support browsing and exploratory tasks well. This is true
despite the fact that ethnographic studies find that journalists,
designers, art directors, and other professionals who use images
heavily want to browse images in a flexible manner.
In this talk I will present an interface paradigm called Flamenco
which allows users to navigate explicitly along conceptual dimensions
that describe the collections' items. The interface makes use of
hierarchical faceted metadata and dynamically generated query previews
to seamlessly integrate category browsing with keyword searching. I
will also present the results of a new usability study, conducted with
art history students and fine arts images, that found strong
preference results for the faceted category interface over that of the
standard approach, suggesting this is a promising approach for image
search interfaces.
About the speaker: Dr. Marti Hearst is an associate professor in SIMS,
the School of Information Management and Systems at UC Berkeley, with
an affiliate appointment in the Computer Science Division. Her primary
research interests are user interfaces and visualization for
information retrieval, empirical computational linguistics, and text
data mining. She received BA, MS, and PhD degrees in Computer Science
from the University of California at Berkeley, and she was a Member of
the Research Staff at Xerox PARC from 1994 to 1997. Prof. Hearst is on
the editorial boards of ACM Transactions on Information Systems and
ACM Transactions on Computer-Human Interaction and was formerly on the
boards of Computational Linguistics and IEEE Intelligent Systems. She
is the program co-chair of HLT-NAACL '03 and SIGIR '99. She has
received an NSF CAREER award, an IBM Faculty Award, an Okawa
FoundationFellowship, and two student-initiated Excellence in Teaching
awards.
____________
BERKELEY INTEL RESEARCH SEMINAR
on Friday, 31 January 2003, 1:00pm-2:00pm
Intel Research Berkeley, 2150 Shattuck, Ste. 1300
http://buffy.eecs.berkeley.edu/Seminars/
Active Environments
Joe McCarthy
Intel Research - Seattle Lab
Most environments are passive -- deaf, dumb & blind -- unaware of
their inhabitants and unable to assist them in a meaningful way.
However, with the advent of ubiquitous computing -- ever smaller and
cheaper computational devices embedded in a growing variety of "smart"
objects -- it is becoming increasingly possible to create active
environments: physical spaces that can sense and respond appropriately
to the people and activities taking place within them. Over the past
several years, we have been building applications that illustrate how
environments will sense and respond to groups of inhabitants. This
presentation will briefly highlight MusicFX, our first deployed
application, enabling a fitness center environment to adapt the music
playing to best suit the people working out at any given time. More
recent applications of active environments in the workplace --
ActiveMap, EventManager and Ubiquitous Peripheral Displays (UniCast,
OutCast & GroupCast) -- will also be presented; these applications
provide a peripheral awareness of the locations, interests and/or
activities of people throughout a workplace, creating new
opportunities for the informal interactions that are increasingly
important to the success of project- and team-oriented work. The
presentation will conclude with some very recent ideas about using
ubiquitous computing technologies to create more [inter]active
conference environments and experiences.
About the speaker: Joe McCarthy is a Senior Researcher with Intel
Research, Seattle, where he is exploring the area of Active
Environments: physical spaces that can sense their inhabitants and
respond in appropriate ways. In addition to his research, he recently
served as conference co-chair of CSCW 2002 and is general chair of
UbiComp 2003. Joe holds a Ph.D. in Computer Science from the
University of Massachusetts, an M.S. in Computer Science from
Rensselaer at Hartford, and a B.A. in Philosophy from Ripon
College. Prior to joining Intel this fall, he spent six years at
Accenture Technology Labs; in earlier lives, he was also a faculty
member at the University of Hartford and spent a number of years as an
independent consultant.
____________
NLP READING GROUP
on Friday, 31 January 2003, 2:15pm
Math Corner, 380:383P
http://www-nlp.stanford.edu/nlp/nlpgroup.html
Scalability of Redundancy Detection in Focused Document Collections
Paper available at: http://www.parc.com/istl/members/crouch/scanalu.pdf
Presented by: Cleo Condoravdi and Dick Crouch
We describe the application of primarily symbolic methods to the task
of detecting logical redundancies and inconsistencies between
documents in a medium sized, domain focused collection (1000-40,000
documents). Initial investigations indicate good scalability
prospects, especially for syntactic and semantic processing. The
difficult and largely neglected task of mapping from
linguistic/semantic representations to domain tailored knowledge
representations is potentially more of a bottleneck.
____________
BROAD AREA COLLOQUIUM FOR
AI-GEOMETRY-GRAPHICS-VISION-ROBOTICS
on Monday, 3 February 2003, 4:15pm
TCSeq 201
http://robotics.stanford.edu/ba-colloquium/
Next Frontier in Graphics: Unleashing the Computer's
Potential for Communication
David Salesin
University of Washington and Microsoft Research
In this talk, David Salesin claims that the real market for computers
lies in their vast potential as a communications medium. Already,
millions of PowerPoint presentations are made each day, hundreds of
thousands of documents are archived online, and billions of Web pages
are searched. Yet, so far, computers are used largely just to emulate
the appearance of existing, physical media, such as slide
transparencies or 8½"x11" sheets of paper. Drawing upon examples that
range from computer-generated illustration and virtual cinematography
to adaptive document layout and animated presentations, Salesin
discusses some of the research challenges he sees in harnessing the
power of the computer to create more powerful communications media
than exist today.
About the speaker: David Salesin is a Professor in the Department of
Computer Science & Engineering at the University of Washington, where
he has been on the faculty since 1992, and a Senior Researcher at
Microsoft Research, where he has also worked since 1999. He received
his ScB from Brown University in 1983, and his PhD from Stanford
University in 1991. From 1983-87, he worked at Lucasfilm and Pixar,
where he contributed computer animation for the Academy Award-winning
short film, Tin Toy, and the feature-length film, Young Sherlock
Holmes. During his years at Stanford, he also worked as an intern at
the DEC Systems Research Center and Paris Research Lab. He spent the
1991-92 year as a Visiting Assistant Professor in the Program of
Computer Graphics at Cornell University. In 1996, he co-founded two
companies, where he served as Chief Scientist: Inklination and
Numinous Technologies (acquired by Microsoft in 1999).
Salesin received an NSF Young Investigator award in 1993; an ONR Young
Investigator Award, Alfred P. Sloan Research Fellowship, and an NSF
Presidential Faculty Fellow Award in 1995; the University of
Washington Award for Outstanding Faculty Achievement in the College of
Engineering in 1996; the University of Washington Distinguished
Teaching Award in 1997; The Carnegie Foundation for the Advancement of
Teaching and the Council for the Advancement and Support of Education
Washington Professor of the Year Award in 1998; the ACM SIGGRAPH
Computer Graphics Achievement Award in 2000; and he became an ACM
Fellow in 2002.
Salesin's research interests are in computer graphics, and include, in
particular, non-photorealistic rendering, image-based rendering, and
various topics in 2D graphics like color reproduction, digital
typography, and compositing. His outside interests include Aikido,
photography, printmaking, piano, saxophone, flying, traveling,
cooking, old films, backpacking, skiing, mountain biking, and
chocolate.
____________
LOGIC SEMINAR
on Tuesday, 4 February 2003, 4:15pm-5:30pm
Math Corner 380:381T
http://www-logic.stanford.edu/seminars.html
Decidability of integer multiplication and ordinal addition
Two applications of the Feferman-Vaught Theory
Ting Zhang
Computer Science, Stanford
The Feferman-Vaught composition theorem reduces the decidability of a
product of given systems to the decidability of the components.
Usually one has to consider a relativized generalized direct product,
whose carrier is a slight modification of a generalized product
obtained by leaving out some components under some conditions. These
conditions are described by simple set-theoretic formulas that take
part in the decision procedure.
We describe in detail decision procedures for integer multiplication
and ordinal addition. Soundness and completeness of these procedures
rely on the following results.
1) The theory of integer multiplication is isomorphic to a generalized
weak direct product of \omega copies of Presburger arithmetic with
respect to the basic subset algebra containing only Boolean
operations.
2) The theory of ordinal addition is isomorphic to a generalized weak
direct product of \omega copies of Presburger arithmetic with respect
to a monadic second order system with one successor.
Since Presburger arithmetic is decidable, so are both systems.
Time permitting, decidability of the theory of cardinal addition will
be discussed.
____________
REUTERS FOUNDATION DIGITAL VISION PROGRAM SEMINAR
on Wednesday, 5 February 2003, 3:00pm-4:30pm
email for location mailto:digitalvision@csli.stanford.edu
http://reuters.stanford.edu/seminar_speakers.html
Dan'l Lewin
Corporate Vice President, Microsoft .NET Business Development
Dan'l Lewin is responsible for managing and expanding strategic
business relationships in Silicon Valley and with emerging venture
capital-backed businesses worldwide around Microsoft's Microsoft .NET
initiative. Lewin is based at Microsoft's Mountain View, California,
campus. A 25-year Silicon Valley veteran, Lewin was most recently CEO
of Aurigin Systems Inc., an enterprise software company focused on
intellectual property asset management. He also spent 18 years as an
executive leading sales and marketing divisions for companies
including Apple Computer Corp., NeXT Software Inc., and Go
Corporation. In addition, Lewin has served as a consultant for
emerging companies and joint start-up enterprises, such as Kaleida and
Taligent, and has worked with venture capital firms such as Kleiner
Perkins Caufield & Byers and SOFTBANK Venture Capital.
During Lewin's tenure at Apple, he developed and executed the
company's strategy and programs to enter the higher-education market
from the Macintosh division, eventually serving as director of all
education sales and marketing for the company. He then became a
founding vice president at NeXT, leading worldwide sales and
marketing. At Aurigin, he expanded the company from a concept to a
system implemented at more than 60 Fortune 500 companies. Lewin holds
an A.B. in politics from Princeton University.
____________
EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
on Wednesday, 5 February 2003, 4:15pm to 5:30pm
NEC Auditorium (B03), Gates Computer Science Building
http://ee380.stanford.edu/contents.html
A Next-Generation Consumer Photo Application
Challenges in Creating a Simple Yet Powerful User Experience
Michael Slater
Adobe Systems
http://www.adobe.com/products/photoshopalbum/main.html
Adobe has developed Photoshop Album, a next-generation photo
application that enables consumers to organize, fix, share, and
preserve their digital photos. Previous solutions have been too
complex for many consumers to accept, and a radical change in approach
was needed to both simplify the user's experience and deliver more
capability. This talk will describe the new paradigms used in this
program and explore several of the challenging design issues,
especially with regard to achieving consumer ease-of-use.
About the speaker: Michael Slater is a senior manager in Adobe's
Digital Imaging and Video business unit, responsible for technology
strategy. He was formerly the chairman and cofounder of PhotoTablet,
later renamed Fotiva, which developed a photo management application
before being acquired by Adobe in December, 2001. Prior to founding
PhotoTablet, he was the founder and editorial director of the
Microprocessor Report newsletter, and organizer of the Microprocessor
Forum conference.
____________
SCIL FUTURES OF LEARNING LECTURE SERIES
on Thursday, 6 February 2003, 7:00pm
Wallenberg Hall Learning theater (Bldg. 160)
http://scil.stanford.edu/
Secrets of the Infant Mind: Mental Structures and Early Learning
Rochel Gelman
Rutgers University
http://www.psych.ucla.edu/Faculty/Gelman/
Dr. Gelman will discuss basic and applied research on the thought
processes of infants and young children, particularly studies showing
that young children possess an understanding of addition and
subtraction with the positive natural numbers, causality, and the
animate-inanimate distinction.
About the speaker: Rochel Gelman is Co-Director of the Center for
Cognitive Science and Professor of Cognitive Science and Psychology at
Rutgers University. She is also Professor Emerita of Developmental
Psychology at University of California Los Angeles. Professor Gelman
specialized in cognitive and language development and learning theory;
she was named the 1998 recipient of the William James Fellow Award of
the American Psychological Society.
____________
LOGICAL METHODS IN THE HUMANITIES
on Friday, 7 February 2003, 12 noon
Math Corner 380:383N
http://www-logic.stanford.edu/seminars.html
'One is a lonely number':
some recent trends in the logic of communication
Johan van Benthem
Stanford and Amsterdam
http://staff.science.uva.nl/~johan/
Logic is not just about single agents describing fixed situations by
monologues. Every speech act changes information states of interacting
groups of people. This calls for dynamic-epistemic logics keeping
track of such changes, due to Plaza, Gerbrandy, Baltag, van Ditmarsch,
and others, such as Fagin-Halpern-Moses- Vardi, or Parikh. We explain
how update logics work, and what broader issues arise. In particular,
how do statements produce common knowledge (if/when they do), and how
can we plan discourse in public settings without informing everyone
about everything (since ignorance is the basis of civilised social
life)? Such issues have clear analogies with analysis/synthesis of
programs in computer science, and I conclude with new examples of what
Parikh has called 'social software'.
References:
J. van Benthem, 2001, 'Logics for Information Update', Proceedings
TARK VIII, Morgan Kaufmann, Los Altos, 51-88.
J. van Benthem, 2002, 'One is a lonely number: the logic of
communication', to appear in P. Koepke et al., eds., "Logic Colloquium
& Colloquium Logicum, Muenster 2002".
____________
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
____________