AI Center Seminars the Artificial Intelligence Center at SRI International http://www.ai.sri.com/seminars/ Bob Gleichauf, Director of Lab41: Presenting Lab41 Thu, 02 Oct 2014 http://www.ai.sri.com/seminars/detail.php?id=471 Thu, 02 Oct 2014 11:00 Francesco Maria Delle Fave: Intelligent Systems in the Field: Algorithms and Experiments to bring AI-based Systems to the Real World Mon, 15 Sep 2014 http://www.ai.sri.com/seminars/detail.php?id=472 Mon, 15 Sep 2014 10:00 Kyle Richardson: Towards Semantic Parsing in Technical Documentation Tue, 17 Jun 2014 http://www.ai.sri.com/seminars/detail.php?id=470 Tue, 17 Jun 2014 16:00 Keith Clark: Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach Tue, 08 Apr 2014 http://www.ai.sri.com/seminars/detail.php?id=468 Tue, 08 Apr 2014 16:00 Esra Erdem: A Formal Hybrid Planning Framework for Robotic Manipulation Thu, 20 Mar 2014 http://www.ai.sri.com/seminars/detail.php?id=469 Thu, 20 Mar 2014 16:00 Ted Selker: Activities in Considerate Systems Thu, 06 Mar 2014 http://www.ai.sri.com/seminars/detail.php?id=467 Thu, 06 Mar 2014 16:00 Andreas Stuhlmüller: Probabilistic programming: ideas and algorithms Thu, 20 Feb 2014 http://www.ai.sri.com/seminars/detail.php?id=466 Thu, 20 Feb 2014 16:00 Sunita de Tourreil: The complexities of making craft chocolate Tue, 11 Feb 2014 http://www.ai.sri.com/seminars/detail.php?id=463 Tue, 11 Feb 2014 15:00 Molham Aref: Declarative Programming for the Cloud Fri, 31 Jan 2014 http://www.ai.sri.com/seminars/detail.php?id=461 Fri, 31 Jan 2014 11:00 Kfir Bar: Deriving Paraphrases for Highly Inflected Languages, with a Focus on Machine Translation Mon, 20 Jan 2014 http://www.ai.sri.com/seminars/detail.php?id=465 Mon, 20 Jan 2014 16:00 Gérard Huet: From lexical trees to effective Eilenberg machines: the Zen toolkit for computational linguistics Wed, 15 Jan 2014 http://www.ai.sri.com/seminars/detail.php?id=464 Wed, 15 Jan 2014 16:00 Lingfeng Yang: Functional Symmetries in Probabilistic Programs Thu, 12 Dec 2013 http://www.ai.sri.com/seminars/detail.php?id=462 Thu, 12 Dec 2013 16:00 Vivek Srikumar: Amortized inference for structured output prediction Thu, 07 Nov 2013 http://www.ai.sri.com/seminars/detail.php?id=460 Thu, 07 Nov 2013 16:30 Ron Provine: Do What I Meant, Not What I Said! The Case for Dialog Tue, 20 Aug 2013 http://www.ai.sri.com/seminars/detail.php?id=459 Tue, 20 Aug 2013 11:00 Tyler Baldwin: Result-targeted Social Media Normalization Mon, 19 Aug 2013 http://www.ai.sri.com/seminars/detail.php?id=458 Mon, 19 Aug 2013 11:00 Johan Rhodin: Wolfram System Modeler Wed, 14 Aug 2013 http://www.ai.sri.com/seminars/detail.php?id=457 Wed, 14 Aug 2013 16:00 Roger Corman: Medical Rules in Action: Clinical Decision Support at Patient Point-of-Care Tue, 02 Jul 2013 http://www.ai.sri.com/seminars/detail.php?id=456 Tue, 02 Jul 2013 16:00 Harald Steck: On Learning from Data using (un-)informative Priors Thu, 27 Jun 2013 http://www.ai.sri.com/seminars/detail.php?id=455 Thu, 27 Jun 2013 16:00 Edward N. Zalta: Reflections on "A Computationally-Discovered Simplification of the Ontological Argument" Tue, 18 Jun 2013 http://www.ai.sri.com/seminars/detail.php?id=452 Tue, 18 Jun 2013 16:00 Gunn High School Robotics Team: Special Robot Presentation by Gunn High School Robotics Team Wed, 22 May 2013 http://www.ai.sri.com/seminars/detail.php?id=451 Wed, 22 May 2013 16:00 Prof. Robin Wright: Beyond the MOOC: Leveraging the Biology of Learning in Higher Education Fri, 10 May 2013 http://www.ai.sri.com/seminars/detail.php?id=436 Fri, 10 May 2013 12:00 Alok Aggarwal: Evalueserve Services and Solutions for Various Banks Thu, 02 May 2013 http://www.ai.sri.com/seminars/detail.php?id=426 Thu, 02 May 2013 16:00 Renata Guizzardi: Constructivist Knowledge Management Tue, 30 Apr 2013 http://www.ai.sri.com/seminars/detail.php?id=449 Tue, 30 Apr 2013 16:00 Giancarlo Guizzardi : Theoretical Foundations and Engineering Tools for Building Ontologies as Reference Conceptual Models Mon, 29 Apr 2013 http://www.ai.sri.com/seminars/detail.php?id=416 Mon, 29 Apr 2013 11:00 Stan Rosenschein: Open Coordination Technology: Concepts and Issues Thu, 18 Apr 2013 http://www.ai.sri.com/seminars/detail.php?id=410 Thu, 18 Apr 2013 16:00 Frank McCabe: A Modern Programming language for today Thu, 28 Mar 2013 http://www.ai.sri.com/seminars/detail.php?id=409 Thu, 28 Mar 2013 16:00 Haytham ElFadeel: Overview of the technology behind Kngine Thu, 21 Mar 2013 http://www.ai.sri.com/seminars/detail.php?id=408 Thu, 21 Mar 2013 16:00 Enn Tyugu: CoCoViLa – a tool for structural synthesis of programs Mon, 04 Mar 2013 http://www.ai.sri.com/seminars/detail.php?id=404 Mon, 04 Mar 2013 11:00 Daniel Lowd: Convex Adversarial Collective Classification Thu, 17 Jan 2013 http://www.ai.sri.com/seminars/detail.php?id=401 Thu, 17 Jan 2013 16:00 Jeff Shrager: Cancer: A Computational Disease That AI Can Cure Wed, 16 Jan 2013 http://www.ai.sri.com/seminars/detail.php?id=402 Wed, 16 Jan 2013 16:00 Stephane Magnenat: A Path Towards more Autonomous Robots Tue, 04 Dec 2012 http://www.ai.sri.com/seminars/detail.php?id=400 Tue, 04 Dec 2012 11:00 Daniela Inclezan: Modular Action Language ALM for Dynamic Domain Representation Thu, 11 Oct 2012 http://www.ai.sri.com/seminars/detail.php?id=399 Thu, 11 Oct 2012 16:00 Padhraic Smyth: Modeling Social Network Event Data over Time Thu, 06 Sep 2012 http://www.ai.sri.com/seminars/detail.php?id=398 Thu, 06 Sep 2012 12:00 Rosa Gil: Emotions in the web Thu, 16 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=394 Thu, 16 Aug 2012 16:00 Sonia Chernova: Crowds and Robots: Enabling Robots to Learn from People Wed, 15 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=397 Wed, 15 Aug 2012 14:00 Roberto Garcia: Exploring Semantic Web Data Tue, 14 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=395 Tue, 14 Aug 2012 16:00 Frank Loebe: Formal Semantics and Ontologies Fri, 10 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=396 Fri, 10 Aug 2012 11:00 Jonathan Huang: Algebraic approaches for reasoning in very noisy multi target tracking problems Thu, 09 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=391 Thu, 09 Aug 2012 16:00 Alexandre Rademaker: The OpenWordNet-PT and its connection to SUMO Ontology Tue, 07 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=392 Tue, 07 Aug 2012 16:00 David Osumi-Sutherland: Building scalable, query-able anatomy ontologies in OWL – a question of balance Mon, 06 Aug 2012 http://www.ai.sri.com/seminars/detail.php?id=393 Mon, 06 Aug 2012 14:00 Mihai Lintean: Measuring Semantic Similarity between Short Texts Thu, 12 Jul 2012 http://www.ai.sri.com/seminars/detail.php?id=381 Thu, 12 Jul 2012 16:00 Margaret-Anne Storey: Collaborative Visualization of Ontologies and Ontology Mappings Wed, 11 Jul 2012 http://www.ai.sri.com/seminars/detail.php?id=385 Wed, 11 Jul 2012 14:00 Son Cao Tran: Two Possible Solutions for the Compliance Checking Problem Tue, 10 Jul 2012 http://www.ai.sri.com/seminars/detail.php?id=390 Tue, 10 Jul 2012 16:00 Lenore Zuck: Rambling on Ethics in Computer Science Mon, 09 Jul 2012 http://www.ai.sri.com/seminars/detail.php?id=386 Mon, 09 Jul 2012 14:00 Nam Tran: Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge Mon, 02 Jul 2012 http://www.ai.sri.com/seminars/detail.php?id=389 Mon, 02 Jul 2012 16:00 Mihai Surdeanu: Learning from the World Wed, 20 Jun 2012 http://www.ai.sri.com/seminars/detail.php?id=387 Wed, 20 Jun 2012 16:00 Daniel Schober: Ontology engineering: From the naive to the overly-complicated in 20 min. or: Towards the grand unification of cutlery Thu, 31 May 2012 http://www.ai.sri.com/seminars/detail.php?id=384 Thu, 31 May 2012 11:00 Carla Schroer and Mark Mudge: Advances in computational photography techniques for cultural, historic, and natural history materials Tue, 29 May 2012 http://www.ai.sri.com/seminars/detail.php?id=383 Tue, 29 May 2012 16:00 Arash Shaban-Nejad: Empowering Knowledge-based Public Health Intelligence through Bio-Ontologies Tue, 15 May 2012 http://www.ai.sri.com/seminars/detail.php?id=382 Tue, 15 May 2012 16:00 Swaroop Vattam: Encoding knowledge of biological systems to facilitate its use in engineering design Thu, 10 May 2012 http://www.ai.sri.com/seminars/detail.php?id=380 Thu, 10 May 2012 16:00 Will Bridewell: Socially Aware Inference: A Landmark on the Path to Human-Level Dialog Thu, 26 Apr 2012 http://www.ai.sri.com/seminars/detail.php?id=377 Thu, 26 Apr 2012 16:00 Carl Hewitt: Mathematics self-proves its own Consistency (contra Gödel et. al.) Tue, 24 Apr 2012 http://www.ai.sri.com/seminars/detail.php?id=379 Tue, 24 Apr 2012 16:00 Ron Bekkerman: Scaling Up Machine Learning Thu, 12 Apr 2012 http://www.ai.sri.com/seminars/detail.php?id=378 Thu, 12 Apr 2012 11:00 Harold Boley: The Semantic Integration of Object-Oriented and Relational Knowledge in PSOA RuleML Thu, 05 Apr 2012 http://www.ai.sri.com/seminars/detail.php?id=376 Thu, 05 Apr 2012 16:00 Michel Dumontier: Formalization of models and simulation results in systems biology Fri, 02 Mar 2012 http://www.ai.sri.com/seminars/detail.php?id=374 Fri, 02 Mar 2012 16:00 Sriraam Natarajan: Can Statistical Relational Learning help in Sustainable Health? Tue, 21 Feb 2012 http://www.ai.sri.com/seminars/detail.php?id=375 Tue, 21 Feb 2012 16:00 Bert Bredeweg: DynaLearn: The Artificial Intelligence perspective Tue, 14 Feb 2012 http://www.ai.sri.com/seminars/detail.php?id=373 Tue, 14 Feb 2012 16:00 Alon Halevy: A Database Guy Approaches the World of Coffee Thu, 08 Dec 2011 http://www.ai.sri.com/seminars/detail.php?id=372 Thu, 08 Dec 2011 16:00 Russ Greiner: WebIC: An Effective "Complete-Web" Recommender System Thu, 01 Dec 2011 http://www.ai.sri.com/seminars/detail.php?id=371 Thu, 01 Dec 2011 16:00 Quoc V. Le: Learning hierarchical invariant spatio-temporal features for action recognition Thu, 17 Nov 2011 http://www.ai.sri.com/seminars/detail.php?id=370 Thu, 17 Nov 2011 16:00 Stavros Vassos: The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs Fri, 14 Oct 2011 http://www.ai.sri.com/seminars/detail.php?id=369 Fri, 14 Oct 2011 16:00 Feiyu Xu: Domain Adaptive Relation Extraction Thu, 06 Oct 2011 http://www.ai.sri.com/seminars/detail.php?id=368 Thu, 06 Oct 2011 16:00 Esra Erdem: Finding Answers and Generating Explanations for Complex Biomedical Queries Fri, 23 Sep 2011 http://www.ai.sri.com/seminars/detail.php?id=366 Fri, 23 Sep 2011 10:00 Janna Hastings: A chemical view into biological systems Tue, 20 Sep 2011 http://www.ai.sri.com/seminars/detail.php?id=367 Tue, 20 Sep 2011 10:00 Mehul Bhatt: Space, Actions and Change – Paradigm, Theory and Practice Tue, 20 Sep 2011 http://www.ai.sri.com/seminars/detail.php?id=365 Tue, 20 Sep 2011 16:00 Srinivas Nedunuri: Fast, Good, and (Reasonably) Cheap: Synthesizing Planners from Specifications Tue, 30 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=364 Tue, 30 Aug 2011 16:00 Douglas R. Smith: Synthesis of Concurrent Garbage Collectors Thu, 25 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=361 Thu, 25 Aug 2011 16:00 Stijn Heymans: Combining Ontologies and Rules: 2 Example Approaches Mon, 22 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=362 Mon, 22 Aug 2011 10:00 Tran Cao Son: Specifying and Inheritance Reasoning with Underspecified Knowledge Bases using Answer Set Programming Wed, 17 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=363 Wed, 17 Aug 2011 10:00 Elena Simperl: Leveraging knowledge diversity on the Web Tue, 16 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=359 Tue, 16 Aug 2011 16:00 Jos Lehmann: Evolution of Inconsistent Ontologies in Physics by means of GALILEO Fri, 12 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=358 Fri, 12 Aug 2011 14:00 Judy Goldsmith: Academic Advising: Automatically Generating Convincing Explanations of Recommendations from Complex Models Fri, 12 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=349 Fri, 12 Aug 2011 11:00 Ellen Fasman: Animations and Simulations: The Good, the Bad, and the Ugly Wed, 10 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=360 Wed, 10 Aug 2011 16:00 Eneko Agirre: Knowledge-based WSD and similarity using random walks Tue, 09 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=357 Tue, 09 Aug 2011 16:00 Siddharth Srivastava: Verification and Synthesis of Plans With Cyclic Flow of Control Thu, 04 Aug 2011 http://www.ai.sri.com/seminars/detail.php?id=336 Thu, 04 Aug 2011 16:00 Rutu Mulkar-Mehta: Granular Causality Fri, 15 Jul 2011 http://www.ai.sri.com/seminars/detail.php?id=356 Fri, 15 Jul 2011 14:00 Gayathri Namasivaym : On Simple but Hard Random Instances of Propositional Theories and Logic Programs Wed, 06 Jul 2011 http://www.ai.sri.com/seminars/detail.php?id=355 Wed, 06 Jul 2011 10:00 Robert Hoehndorf: Ontologies for representing, integrating and analyzing phenotypes Tue, 21 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=354 Tue, 21 Jun 2011 16:00 m.c. schraefel: From meta data to brain waves: Exploring Information Design for In Context, Actionable Knowledge Mon, 20 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=353 Mon, 20 Jun 2011 11:00 Pavel Klinov: Theory and Practice of Probabilistic Description Logic Fri, 17 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=351 Fri, 17 Jun 2011 10:00 Adam Pease: Formal Ontology and the Suggested Upper Merged Ontology (SUMO) Thu, 16 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=347 Thu, 16 Jun 2011 16:00 Ruth Wylie: Examining the Generality of Self-Explanation on Second Language Learning Tue, 14 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=352 Tue, 14 Jun 2011 16:00 Chitta Baral: Translating English to KR languages using inverse lambda and parameter learning Thu, 09 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=341 Thu, 09 Jun 2011 11:00 Aditya Kalyanpur: Building Watson: An Overview of the DeepQA Project for the Jeopardy! Challenge Mon, 06 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=350 Mon, 06 Jun 2011 16:00 Davide Grossi: Dependence in Games and Dependence Games Thu, 02 Jun 2011 http://www.ai.sri.com/seminars/detail.php?id=346 Thu, 02 Jun 2011 16:00 Jans Aasman: Why Prolog is important for the Semantic Web. And how we try to make it a little bit easier to use. Thu, 26 May 2011 http://www.ai.sri.com/seminars/detail.php?id=337 Thu, 26 May 2011 16:00 Camilo Thorne: Data-scalable controlled languages Mon, 23 May 2011 http://www.ai.sri.com/seminars/detail.php?id=348 Mon, 23 May 2011 10:00 Patrice Caire: Measuring Conviviality Thu, 19 May 2011 http://www.ai.sri.com/seminars/detail.php?id=343 Thu, 19 May 2011 16:00 Jie Bao: Representing and Reasoning with Modular Ontologies Thu, 12 May 2011 http://www.ai.sri.com/seminars/detail.php?id=345 Thu, 12 May 2011 16:00 Mario Latendresse and Peter Karp: Multiple Gap-Filling to Speed Generation of Flux-Balance Models Wed, 11 May 2011 http://www.ai.sri.com/seminars/detail.php?id=333 Wed, 11 May 2011 11:00 Ramesh Nallapati: TopicFlow Model: Unsupervised Learning of Topic-specific Influences of Hyperlinked Documents Tue, 03 May 2011 http://www.ai.sri.com/seminars/detail.php?id=342 Tue, 03 May 2011 11:00 Dinh Phung: Modeling Sensor Data with Infinite Latent Subspace Mon, 02 May 2011 http://www.ai.sri.com/seminars/detail.php?id=340 Mon, 02 May 2011 16:00 Li Ding: Linked Open Government Data: Opportunities and Challenges Tue, 12 Apr 2011 http://www.ai.sri.com/seminars/detail.php?id=339 Tue, 12 Apr 2011 16:00 Scott Davidoff: Learning Routines to Support Busy Families Tue, 29 Mar 2011 http://www.ai.sri.com/seminars/detail.php?id=338 Tue, 29 Mar 2011 16:00 Abhishek Sharma: Structural and Network-based Methods for Knowledge-based Systems Thu, 24 Mar 2011 http://www.ai.sri.com/seminars/detail.php?id=334 Thu, 24 Mar 2011 16:00 Tran Cao Sun: Answer Set Programming: Theory and Applications Wed, 23 Mar 2011 http://www.ai.sri.com/seminars/detail.php?id=335 Wed, 23 Mar 2011 16:00 Eva Banik: A minimalist architecture to generate coherent texts Tue, 22 Feb 2011 http://www.ai.sri.com/seminars/detail.php?id=332 Tue, 22 Feb 2011 11:00 Susanne Riehemann: Ontological Analysis of Terrain Data Thu, 13 Jan 2011 http://www.ai.sri.com/seminars/detail.php?id=331 Thu, 13 Jan 2011 16:00 Eirini Kaldeli: Domain-independent planning for composing services Fri, 10 Dec 2010 http://www.ai.sri.com/seminars/detail.php?id=330 Fri, 10 Dec 2010 15:00 Ian Horrocks: Representing Structured Objects Using Description Graphs Tue, 07 Dec 2010 http://www.ai.sri.com/seminars/detail.php?id=327 Tue, 07 Dec 2010 16:00 Dmitry Berenson: Task Space Regions: A Framework for Pose-Constrained Manipulation Planning Tue, 16 Nov 2010 http://www.ai.sri.com/seminars/detail.php?id=329 Tue, 16 Nov 2010 10:45 Noah Goodman: Probability, programs, and the mind Thu, 11 Nov 2010 http://www.ai.sri.com/seminars/detail.php?id=328 Thu, 11 Nov 2010 16:00 Rashmi Prasad: Generating Complex Discourse-level Questions with Knowledge of Discourse Relations Mon, 08 Nov 2010 http://www.ai.sri.com/seminars/detail.php?id=323 Mon, 08 Nov 2010 16:00 Satish Kumar Thittamaranahalli: A Tour Through Some Implications of Four Novel Ideas in Constraint Satisfaction and Temporal Reasoning Fri, 05 Nov 2010 http://www.ai.sri.com/seminars/detail.php?id=326 Fri, 05 Nov 2010 10:00 Jens Otten: High Performance Lean Theorem Proving Tue, 21 Sep 2010 http://www.ai.sri.com/seminars/detail.php?id=322 Tue, 21 Sep 2010 16:00 John Niekrasz: Summarizing Spoken Conversations: The Importance of Modeling Joint Activity Fri, 10 Sep 2010 http://www.ai.sri.com/seminars/detail.php?id=321 Fri, 10 Sep 2010 14:00 Neil Yorke-Smith: Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents Thu, 26 Aug 2010 http://www.ai.sri.com/seminars/detail.php?id=319 Thu, 26 Aug 2010 16:00 Mihai Lintean: Textual Analysis of Student Inputs in Intelligent Tutoring Systems Thu, 12 Aug 2010 http://www.ai.sri.com/seminars/detail.php?id=318 Thu, 12 Aug 2010 16:00 Neda Saeedloei: Logic Programming Foundations of Cyber-Physical Systems Thu, 05 Aug 2010 http://www.ai.sri.com/seminars/detail.php?id=320 Thu, 05 Aug 2010 16:00 Christoph Benzmueller: Combining Logics in Simple Type Theory (and an Application in Ontology Reasoning) Thu, 01 Jul 2010 http://www.ai.sri.com/seminars/detail.php?id=310 Thu, 01 Jul 2010 16:00 Ahna R Girshick: Expecting to see horizontals and verticals: Human prior expectations of line orientation match the statistics of the environment Tue, 29 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=313 Tue, 29 Jun 2010 16:00 Alessandro Oltramari: Hybrid Semantic Resources Mon, 28 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=309 Mon, 28 Jun 2010 16:00 Denny Vrandecic: Ontology evaluation on the Web Thu, 24 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=317 Thu, 24 Jun 2010 12:00 Jaesik Choi: Lifted Inference for Relational Continuous Models Thu, 24 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=314 Thu, 24 Jun 2010 16:00 Scott Snibbe: Social Immersive Media Tue, 22 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=315 Tue, 22 Jun 2010 16:00 Tuyen Ngoc Huynh: Max-Margin Weight Learning for Markov Logic Networks. Thu, 17 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=316 Thu, 17 Jun 2010 16:00 Nikhil Dinesh: Regulatory Conformance Checking – Logic and Logical Form Thu, 03 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=312 Thu, 03 Jun 2010 16:00 Milind Tambe: Game Theory for Security: Lessons learned from deployed applications Tue, 01 Jun 2010 http://www.ai.sri.com/seminars/detail.php?id=308 Tue, 01 Jun 2010 10:30 Omid Madani: Report on our Participation in the European PASCAL Challenge on Large-Scale Hierarchical Text Classification Thu, 20 May 2010 http://www.ai.sri.com/seminars/detail.php?id=303 Thu, 20 May 2010 16:00 Rob Ennals: Is there another side to this? Identifying Disputed Information on the Web Thu, 06 May 2010 http://www.ai.sri.com/seminars/detail.php?id=304 Thu, 06 May 2010 15:00 Amit Sheth: Computing for Human Experience: Semantics empowered Sensors, Services, and Social Computing on ubiquitous Web Mon, 03 May 2010 http://www.ai.sri.com/seminars/detail.php?id=307 Mon, 03 May 2010 16:00 Hui Wan: Reasoning about uncertainty and correlated beliefs Wed, 28 Apr 2010 http://www.ai.sri.com/seminars/detail.php?id=305 Wed, 28 Apr 2010 16:00 Christopher Thomas: What Goes Around Comes Around – Improving the State of Knowledge on the Web Fri, 23 Apr 2010 http://www.ai.sri.com/seminars/detail.php?id=306 Fri, 23 Apr 2010 16:00 Lihong Li: A Contextual-Bandit Approach to Personalized News Article Recommendation Thu, 22 Apr 2010 http://www.ai.sri.com/seminars/detail.php?id=301 Thu, 22 Apr 2010 16:00 Olya Gurevich: Mapping Verbal Argument Preferences to Deverbal Nouns Thu, 01 Apr 2010 http://www.ai.sri.com/seminars/detail.php?id=297 Thu, 01 Apr 2010 16:00 Harry Halpin: Can Linked Data Help Hypertext Search? Fri, 26 Mar 2010 http://www.ai.sri.com/seminars/detail.php?id=302 Fri, 26 Mar 2010 15:00 Lalana Kagal: The Decentralized Information Group (DIG) at the MIT Thu, 25 Mar 2010 http://www.ai.sri.com/seminars/detail.php?id=300 Thu, 25 Mar 2010 16:00 Ted Selker: Creating a considerate context Thu, 11 Mar 2010 http://www.ai.sri.com/seminars/detail.php?id=298 Thu, 11 Mar 2010 16:00 S. Joy Mountford: Visualizations of Our Collective Lives Tue, 02 Mar 2010 http://www.ai.sri.com/seminars/detail.php?id=299 Tue, 02 Mar 2010 16:00 Russell Greiner: Proteome Analyst: A web-based tool for Predicting Properties of Proteins Tue, 23 Feb 2010 http://www.ai.sri.com/seminars/detail.php?id=295 Tue, 23 Feb 2010 16:00 Jeremy Frank: What I Learned Riding PHALCON’s Wing: Automation of Human Spaceflight Mission Operations Thu, 04 Feb 2010 http://www.ai.sri.com/seminars/detail.php?id=283 Thu, 04 Feb 2010 16:00 Valeria de Paiva: A "Bridge" not too far Thu, 21 Jan 2010 http://www.ai.sri.com/seminars/detail.php?id=294 Thu, 21 Jan 2010 16:00 Carl Hewitt: Direct Inference in Direct Logic(TM) Thu, 07 Jan 2010 http://www.ai.sri.com/seminars/detail.php?id=291 Thu, 07 Jan 2010 16:00 Quang-Tuan Luong: The 58 US National Parks photographed in large format Thu, 17 Dec 2009 http://www.ai.sri.com/seminars/detail.php?id=290 Thu, 17 Dec 2009 16:00 Peter Yeh: Towards Corporate Radar Applications that can Systematically Turn the Web into a Source of Business Insight Thu, 05 Nov 2009 http://www.ai.sri.com/seminars/detail.php?id=288 Thu, 05 Nov 2009 16:00 Susanne Riehemann: What does it take to specify a location precisely? Tue, 27 Oct 2009 http://www.ai.sri.com/seminars/detail.php?id=289 Tue, 27 Oct 2009 16:00 Yasmina Chitti: Building a web site for a project. Where to start? Thu, 24 Sep 2009 http://www.ai.sri.com/seminars/detail.php?id=282 Thu, 24 Sep 2009 16:00 Michael Beeson: MathXpert: symbolic computation that is useful for education and logically correct Tue, 22 Sep 2009 http://www.ai.sri.com/seminars/detail.php?id=286 Tue, 22 Sep 2009 16:00 Laura Kovács: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover Wed, 09 Sep 2009 http://www.ai.sri.com/seminars/detail.php?id=287 Wed, 09 Sep 2009 15:00 Mahesh Ramachandran: Video processing using additional information Fri, 04 Sep 2009 http://www.ai.sri.com/seminars/detail.php?id=285 Fri, 04 Sep 2009 11:00 Pat Hayes: Setting First-Order Logic Free Thu, 03 Sep 2009 http://www.ai.sri.com/seminars/detail.php?id=284 Thu, 03 Sep 2009 16:00 Regis Vincent: CMake, a build tool Thu, 13 Aug 2009 http://www.ai.sri.com/seminars/detail.php?id=281 Thu, 13 Aug 2009 16:00 Dan Clancy: Google Book Search Developments and Research Opportunities Tue, 11 Aug 2009 http://www.ai.sri.com/seminars/detail.php?id=275 Tue, 11 Aug 2009 16:00 Aldo Gangemi: Ontology and the Lexicon: A Roundtrip Tue, 04 Aug 2009 http://www.ai.sri.com/seminars/detail.php?id=280 Tue, 04 Aug 2009 14:00 Christian Bizer: The Emerging Web of Linked Data Fri, 24 Jul 2009 http://www.ai.sri.com/seminars/detail.php?id=279 Fri, 24 Jul 2009 14:00 Liangrong Yi: Harmony Generation by Decision-Theoretic Planning Thu, 23 Jul 2009 http://www.ai.sri.com/seminars/detail.php?id=274 Thu, 23 Jul 2009 16:00 Joao Marcos: Logics of Formal Inconsistency Thu, 09 Jul 2009 http://www.ai.sri.com/seminars/detail.php?id=278 Thu, 09 Jul 2009 16:00 Helen Kwong: Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations Thu, 09 Jul 2009 http://www.ai.sri.com/seminars/detail.php?id=276 Thu, 09 Jul 2009 11:00 Stephen Racunas: Hypothesis Evaluation as an Optimization Process Tue, 07 Jul 2009 http://www.ai.sri.com/seminars/detail.php?id=277 Tue, 07 Jul 2009 16:00 Frederic Kaplan: The Wizkid Robot Mon, 27 Apr 2009 http://www.ai.sri.com/seminars/detail.php?id=273 Mon, 27 Apr 2009 16:30 Chris Miller: Etiquette and Politeness in Social Interactions: Culture, Behavior and Compliance Mon, 27 Apr 2009 http://www.ai.sri.com/seminars/detail.php?id=272 Mon, 27 Apr 2009 15:00 James Lin: End-User Creation of Mashups and Cross-Device UI Prototypes Thu, 02 Apr 2009 http://www.ai.sri.com/seminars/detail.php?id=271 Thu, 02 Apr 2009 16:00 Alon Halevy: Structured Data on the Web Tue, 31 Mar 2009 http://www.ai.sri.com/seminars/detail.php?id=269 Tue, 31 Mar 2009 16:00 Trung Bui: A Tractable Hybrid DDN-POMDP Approach to Affective Dialogue Modeling for Probabilistic Frame-Based Dialogue Systems Thu, 19 Mar 2009 http://www.ai.sri.com/seminars/detail.php?id=268 Thu, 19 Mar 2009 16:00 Pieter Abbeel: Apprenticeship Learning for Robotic Control with Application to Quadruped Locomotion and Autonomous Helicopter Flight Fri, 13 Mar 2009 http://www.ai.sri.com/seminars/detail.php?id=270 Fri, 13 Mar 2009 14:00 Anne-Marie Bourcier: Nao and Romeo Mon, 09 Mar 2009 http://www.ai.sri.com/seminars/detail.php?id=267 Mon, 09 Mar 2009 14:00 Edward Zalta: A System of the World Thu, 05 Mar 2009 http://www.ai.sri.com/seminars/detail.php?id=266 Thu, 05 Mar 2009 16:00 The Advanced Analytics group: Introduction to the Advanced Analytics Group Thu, 05 Feb 2009 http://www.ai.sri.com/seminars/detail.php?id=265 Thu, 05 Feb 2009 14:00 Rion Snow: The Stanford Wordnet Project: Automatically Learning Semantic Hierarchies Thu, 29 Jan 2009 http://www.ai.sri.com/seminars/detail.php?id=264 Thu, 29 Jan 2009 11:00 Aravind Sundaresan: Leaving Flatland Thu, 22 Jan 2009 http://www.ai.sri.com/seminars/detail.php?id=256 Thu, 22 Jan 2009 16:00 Ioannis Refanidis: Managing Personal Tasks with Time Constraints and Preferences Thu, 30 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=262 Thu, 30 Oct 2008 16:00 William Tunstall-Pedoe: True Knowledge: Open-Domain Question Answering Using Structured Knowledge and Inference Thu, 23 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=263 Thu, 23 Oct 2008 16:00 Shirin Sohrabi: On Planning with Preferences in Hierarchical Task Networks Tue, 21 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=261 Tue, 21 Oct 2008 16:00 Derik Schroeter: The Role of Appearance in Mapping and Navigation Fri, 10 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=259 Fri, 10 Oct 2008 10:00 Aaron J Heller: 3-D Audio Capture and Reproduction Thu, 09 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=257 Thu, 09 Oct 2008 16:00 Branden Fitelson: The Wason Task(s) and The Paradox of Confirmation Tue, 07 Oct 2008 http://www.ai.sri.com/seminars/detail.php?id=260 Tue, 07 Oct 2008 16:00 Michael Beetz: Acquisition and Use of Environment Models for Household Robots Mon, 25 Aug 2008 http://www.ai.sri.com/seminars/detail.php?id=258 Mon, 25 Aug 2008 15:00 Rudi Studer: State of Semantic MediaWiki Thu, 07 Aug 2008 http://www.ai.sri.com/seminars/detail.php?id=254 Thu, 07 Aug 2008 16:00 Rodrigo de Salvo Braz: First-Order Probabilistic Inference Tue, 29 Jul 2008 http://www.ai.sri.com/seminars/detail.php?id=255 Tue, 29 Jul 2008 16:00 Hans Steiner: Measuring Mind: Event-Specific Knowledge, Narration, Metaphor and Referential Activity Thu, 10 Jul 2008 http://www.ai.sri.com/seminars/detail.php?id=250 Thu, 10 Jul 2008 16:00 Ramon Felciano: Ingenuity Pathways Analysis: Research Applications of Systems Thu, 19 Jun 2008 http://www.ai.sri.com/seminars/detail.php?id=253 Thu, 19 Jun 2008 16:00 Pauline M Berry: Emma: Your Event Management Assistant Thu, 12 Jun 2008 http://www.ai.sri.com/seminars/detail.php?id=252 Thu, 12 Jun 2008 16:00 David J Israel: There Aren’t Any Real BDI Theories/Models Out There Thu, 29 May 2008 http://www.ai.sri.com/seminars/detail.php?id=249 Thu, 29 May 2008 15:30 Jean-François Noubel: An Update on the Evolution of Money and the Open Money Project Tue, 27 May 2008 http://www.ai.sri.com/seminars/detail.php?id=251 Tue, 27 May 2008 12:00 Nate Chambers: Unsupervised Discovery of Narratives from Text Thu, 22 May 2008 http://www.ai.sri.com/seminars/detail.php?id=245 Thu, 22 May 2008 16:00 Daniel Ramage: Lexical Semantic Relatedness with Random Graph Walks Tue, 13 May 2008 http://www.ai.sri.com/seminars/detail.php?id=246 Tue, 13 May 2008 16:00 Bhaskara Marthi: Hierarchical Lookahead for Automated Planning Tue, 29 Apr 2008 http://www.ai.sri.com/seminars/detail.php?id=248 Tue, 29 Apr 2008 11:00 Victoria Bellotti and Bo Begole: The Magitti Activity-Aware Leisure Guide: Opportunity Discovery, Innovation and New Technology Platform Development at PARC Thu, 24 Apr 2008 http://www.ai.sri.com/seminars/detail.php?id=243 Thu, 24 Apr 2008 16:00 Daniel Stronger: Autonomous Sensor and Action Model Learning for Mobile Robots Tue, 22 Apr 2008 http://www.ai.sri.com/seminars/detail.php?id=247 Tue, 22 Apr 2008 16:00 Peter D Karp: What Do Biofuels and Anti-Bacterial Drug Discovery Have in Common? Bioinformatics Analysis of Metabolic Networks Thu, 10 Apr 2008 http://www.ai.sri.com/seminars/detail.php?id=235 Thu, 10 Apr 2008 16:00 Francois Mairesse: Learning to Adapt in Dialogue Systems: Data-driven Models for Personality Recognition and Generation Thu, 03 Apr 2008 http://www.ai.sri.com/seminars/detail.php?id=242 Thu, 03 Apr 2008 16:00 Debasis Mitra: Computational Creativity: Three Generations and Beyond Tue, 25 Mar 2008 http://www.ai.sri.com/seminars/detail.php?id=239 Tue, 25 Mar 2008 16:00 Frank McCabe: Building a Reference Architecture for Service Oriented Architecture Thu, 20 Mar 2008 http://www.ai.sri.com/seminars/detail.php?id=244 Thu, 20 Mar 2008 16:00 Kari Pulli: Mobile Visual I/O Tue, 11 Mar 2008 http://www.ai.sri.com/seminars/detail.php?id=236 Tue, 11 Mar 2008 16:00 Marie desJardins: Approaches to Modeling and Learning User Preferences Mon, 10 Mar 2008 http://www.ai.sri.com/seminars/detail.php?id=241 Mon, 10 Mar 2008 11:00 V.S. Subrahmanian: CARA: A Cultural Reasoning Architecture Wed, 05 Mar 2008 http://www.ai.sri.com/seminars/detail.php?id=240 Wed, 05 Mar 2008 10:30 Michael Bowling: Subjective Mapping Tue, 26 Feb 2008 http://www.ai.sri.com/seminars/detail.php?id=238 Tue, 26 Feb 2008 16:00 Sandy Klausner: The Future Is Now: Architecture for a Semantic Net Thu, 21 Feb 2008 http://www.ai.sri.com/seminars/detail.php?id=237 Thu, 21 Feb 2008 16:00 Ramesh Nallapati: Pattern and Trend Discovery in Large Document Collections using Topic Models Fri, 01 Feb 2008 http://www.ai.sri.com/seminars/detail.php?id=234 Fri, 01 Feb 2008 11:00 Andy Ko: Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior Thu, 31 Jan 2008 http://www.ai.sri.com/seminars/detail.php?id=227 Thu, 31 Jan 2008 16:00 Lawrence Hunter: Automated Aides for Generating Scientific Insights Thu, 10 Jan 2008 http://www.ai.sri.com/seminars/detail.php?id=230 Thu, 10 Jan 2008 11:00 Paulo Pinheiro da Silva: A Quest to Understand and Accept Scientific Results Thu, 13 Dec 2007 http://www.ai.sri.com/seminars/detail.php?id=231 Thu, 13 Dec 2007 16:00 Radu B. Rusu: Towards Useful 3D Semantic Maps Tue, 11 Dec 2007 http://www.ai.sri.com/seminars/detail.php?id=233 Tue, 11 Dec 2007 16:00 Mark Bernstein: NeoVictorian Computing Tue, 04 Dec 2007 http://www.ai.sri.com/seminars/detail.php?id=226 Tue, 04 Dec 2007 16:00 Brad Templeton: The Time-Traveler Threat to Privacy Tue, 13 Nov 2007 http://www.ai.sri.com/seminars/detail.php?id=229 Tue, 13 Nov 2007 16:00 Jean-François Noubel: Collective Intelligence and the Next Evolution of Money Thu, 08 Nov 2007 http://www.ai.sri.com/seminars/detail.php?id=228 Thu, 08 Nov 2007 16:00 Bill Smart: Learning to Swim, Walk, and Grasp using Shaped Manifold Control Thu, 11 Oct 2007 http://www.ai.sri.com/seminars/detail.php?id=224 Thu, 11 Oct 2007 16:00 Mark Silberstein: Superlink-online: A Large-Scale Distributed System for Genetic Linkage Analysis Thu, 04 Oct 2007 http://www.ai.sri.com/seminars/detail.php?id=216 Thu, 04 Oct 2007 16:00 Wolfgang Wahlster: SmartWeb: Multimodal Web Services on the Road Wed, 03 Oct 2007 http://www.ai.sri.com/seminars/detail.php?id=219 Wed, 03 Oct 2007 16:00 Mohamed Aly: Load Balancing Hotspots in Sensor Storage Systems Tue, 25 Sep 2007 http://www.ai.sri.com/seminars/detail.php?id=225 Tue, 25 Sep 2007 13:00 Paul D Thomas: Using Pathway Ontologies to Help Uncover Genetic Factors in Human Disease Thu, 20 Sep 2007 http://www.ai.sri.com/seminars/detail.php?id=222 Thu, 20 Sep 2007 11:00 Omid Madani: Learning when Concepts Abound Wed, 12 Sep 2007 http://www.ai.sri.com/seminars/detail.php?id=223 Wed, 12 Sep 2007 11:00 Tim Hinrichs: Extensional Reasoning: Datalog-based Deduction Thu, 06 Sep 2007 http://www.ai.sri.com/seminars/detail.php?id=217 Thu, 06 Sep 2007 16:00 Jiaying Shen: Communication Management in Distributed Sensor Interpretation Thu, 30 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=218 Thu, 30 Aug 2007 11:00 Paul D Thomas: Using Evolutionary Modeling to Help Uncover Genetic Factors in Human Disease Thu, 30 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=212 Thu, 30 Aug 2007 16:00 Blazej Bulka: Navigating in Planning Search Spaces: why it is useful to have a backbone Thu, 23 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=213 Thu, 23 Aug 2007 16:00 Chen Li: VGRAM: Improving Performance of Approximate Queries on String Collections Using Variable-Length Grams Thu, 23 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=214 Thu, 23 Aug 2007 10:00 David Thau: CleanTAX: An Infrastructure for Reasoning about Biological Taxonomies Thu, 16 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=210 Thu, 16 Aug 2007 16:00 Daniel Kudenko: Knowledge-Based Reinforcement Learning Wed, 15 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=215 Wed, 15 Aug 2007 13:30 Paolo Viappiani: Preference-based Search with Suggestions Thu, 09 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=207 Thu, 09 Aug 2007 16:00 Ron Bekkerman: Multi-Modal Clustering: a Formal Framework and Practical Applications Mon, 06 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=211 Mon, 06 Aug 2007 10:00 Hans-Christoph Steiner: Enabling the Spirit of Play in Musical Instrument Building Thu, 02 Aug 2007 http://www.ai.sri.com/seminars/detail.php?id=209 Thu, 02 Aug 2007 16:00 Christopher Ian Connolly: Expectation Engines: Biological Substrates for Choices and Habits Thu, 19 Jul 2007 http://www.ai.sri.com/seminars/detail.php?id=208 Thu, 19 Jul 2007 16:00 Sriraam Natarajan: Intelligent Assistants: A Decision-Theoretic Model Thu, 28 Jun 2007 http://www.ai.sri.com/seminars/detail.php?id=206 Thu, 28 Jun 2007 16:00 Kamal Ali: Exploring Cost-Effective Approaches to Human Evaluation of Search Engine Relevance Thu, 21 Jun 2007 http://www.ai.sri.com/seminars/detail.php?id=204 Thu, 21 Jun 2007 10:00 Kamal Ali: TiVo Suggestions: Predicting Viewer Affinity Using Collaborative Filtering Thu, 21 Jun 2007 http://www.ai.sri.com/seminars/detail.php?id=205 Thu, 21 Jun 2007 10:30 Jeff Pierce: An Interface-Proactivity Continuum for Adaptive Interface Design Thu, 14 Jun 2007 http://www.ai.sri.com/seminars/detail.php?id=183 Thu, 14 Jun 2007 16:00 Marc Pauly: Social Software: Logic and Social Interaction Thu, 07 Jun 2007 http://www.ai.sri.com/seminars/detail.php?id=203 Thu, 07 Jun 2007 16:00 Matt MacMahon: Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions Wed, 16 May 2007 http://www.ai.sri.com/seminars/detail.php?id=200 Wed, 16 May 2007 16:00 Nina Mishra: Overlapping Clusters Wed, 16 May 2007 http://www.ai.sri.com/seminars/detail.php?id=202 Wed, 16 May 2007 10:00 Denny Vrandecic: Semantic Wikipedia: The missing links Fri, 04 May 2007 http://www.ai.sri.com/seminars/detail.php?id=201 Fri, 04 May 2007 16:00 Simon Buckingham Shum: Hypermedia Discourse: Theory and Technology for the Pragmatic Web? Fri, 04 May 2007 http://www.ai.sri.com/seminars/detail.php?id=194 Fri, 04 May 2007 11:00 Daniel Bryce: Scalable Planning Under Uncertainty Tue, 01 May 2007 http://www.ai.sri.com/seminars/detail.php?id=199 Tue, 01 May 2007 10:30 Aneil Mallavarapu: little b: A Language for Building Mathematical Models of Biological Systems Thu, 19 Apr 2007 http://www.ai.sri.com/seminars/detail.php?id=196 Thu, 19 Apr 2007 16:00 Mausam: Beyond Markov Decision Processes for Stochastic Planning Wed, 04 Apr 2007 http://www.ai.sri.com/seminars/detail.php?id=197 Wed, 04 Apr 2007 11:00 Nadine Richard: From an Adaptive Reminding System to a Virtual Coach Thu, 29 Mar 2007 http://www.ai.sri.com/seminars/detail.php?id=187 Thu, 29 Mar 2007 16:00 Stephen Pulman: Bridging the Gap Between Formal and Computational Semantics Wed, 28 Mar 2007 http://www.ai.sri.com/seminars/detail.php?id=195 Wed, 28 Mar 2007 16:00 Wayne Wobcke: The Smart Personal Assistant: An Overview Thu, 22 Mar 2007 http://www.ai.sri.com/seminars/detail.php?id=188 Thu, 22 Mar 2007 16:00 Mark Greaves: Knowledge Representation in Practice: Project Halo and the Semantic Web Tue, 06 Mar 2007 http://www.ai.sri.com/seminars/detail.php?id=193 Tue, 06 Mar 2007 15:00 Reg Ford: ONISTT Demo: Ontologies/Knowledge Bases, Analyzer, GUI Fri, 23 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=191 Fri, 23 Feb 2007 15:30 Rodrigo de Salvo Braz: Lifted First-Order Probabilistic Inference Tue, 20 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=192 Tue, 20 Feb 2007 16:00 Dave Hanz: ONISTT Introduction: How the Open Netcentric Standards for Training and Testing (ONISTT) program arrived at PROM Fri, 16 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=190 Fri, 16 Feb 2007 15:30 Tessa Lau: Koala: a Wikipedia for Business Process Thu, 15 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=184 Thu, 15 Feb 2007 16:00 Bonnie John: Usability and Software Architecture: The forgotten quality attribute and the forgotten design problem Wed, 14 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=186 Wed, 14 Feb 2007 16:00 Dan Oblinger: Overcoming a Lack of Intrinsic Trust Wed, 14 Feb 2007 http://www.ai.sri.com/seminars/detail.php?id=189 Wed, 14 Feb 2007 10:00 Julie Weber: Entropy-Driven Online Active Learning for Interactive Calendar Management Thu, 18 Jan 2007 http://www.ai.sri.com/seminars/detail.php?id=185 Thu, 18 Jan 2007 16:00 Arindam Banerjee: Unsupervised Learning with Bregman Divergences: Clustering, Co-clustering, and Beyond Thu, 14 Dec 2006 http://www.ai.sri.com/seminars/detail.php?id=182 Thu, 14 Dec 2006 16:00 XuanLong Nguyen: In-network PCA and anomaly detection Fri, 01 Dec 2006 http://www.ai.sri.com/seminars/detail.php?id=180 Fri, 01 Dec 2006 15:00 Sugato Basu: Machine Learning in Web 2.0: Analyzing Dynamic Content-driven Social Networks Thu, 30 Nov 2006 http://www.ai.sri.com/seminars/detail.php?id=177 Thu, 30 Nov 2006 11:00 Michael Carey: Data Delivery in a Service-Oriented World: The BEA AquaLogic Data Services Platform Tue, 28 Nov 2006 http://www.ai.sri.com/seminars/detail.php?id=179 Tue, 28 Nov 2006 16:00 Cory Ondrejka: Classrooms in the Bazaar Fun, Innovation, and Learning in Second Life Mon, 20 Nov 2006 http://www.ai.sri.com/seminars/detail.php?id=181 Mon, 20 Nov 2006 15:00 Tina Eliassi-Rad: Metrics for Dynamic Semantic Graphs Tue, 14 Nov 2006 http://www.ai.sri.com/seminars/detail.php?id=178 Tue, 14 Nov 2006 16:00 Branden Fitelson: Comparative Probability, Comparative Confirmation, and the `Conjunction Fallacy’ Tue, 07 Nov 2006 http://www.ai.sri.com/seminars/detail.php?id=173 Tue, 07 Nov 2006 16:00 Armand Prieditis: Personal Eyes: a Search Add-on That Learns to Find What You Need Tue, 31 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=168 Tue, 31 Oct 2006 16:00 Brian C. Williams: Model-based Programming of Robust Agile Systems Thu, 26 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=174 Thu, 26 Oct 2006 16:00 Adam Souzis: Semantics Wikis and Microformats: Bringing the Semantic Web to Today’s Web Fri, 20 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=176 Fri, 20 Oct 2006 14:00 Jude Shavlik: Machine Learning via Advice Taking Thu, 19 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=175 Thu, 19 Oct 2006 11:00 David L Martin: Semantic Web Services: Where Are We Headed? Thu, 19 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=169 Thu, 19 Oct 2006 16:00 Chris DiGiano: Computer Science Education 2.0 Thu, 12 Oct 2006 http://www.ai.sri.com/seminars/detail.php?id=172 Thu, 12 Oct 2006 16:00 Guizhen Yang: Efficiently Ordering Subgoals with Access Constraints Thu, 28 Sep 2006 http://www.ai.sri.com/seminars/detail.php?id=170 Thu, 28 Sep 2006 16:00 Thomas Griffiths: Bayesian Topic Models Thu, 21 Sep 2006 http://www.ai.sri.com/seminars/detail.php?id=166 Thu, 21 Sep 2006 16:00 Natasha Noy: Ontologies Growing Up: Tools for Ontology Management Tue, 19 Sep 2006 http://www.ai.sri.com/seminars/detail.php?id=171 Tue, 19 Sep 2006 16:00 Leo Sauermann: The Nepomuk Project: About the Upcoming Social Semantic Desktop Platform Thu, 07 Sep 2006 http://www.ai.sri.com/seminars/detail.php?id=159 Thu, 07 Sep 2006 16:00 Yi Zhang: Bayesian Graphical Models for Adaptive Personal Information Filtering Tue, 15 Aug 2006 http://www.ai.sri.com/seminars/detail.php?id=162 Tue, 15 Aug 2006 16:00 Rudi Studer: Semantic Methods for Electronic Markets Thu, 10 Aug 2006 http://www.ai.sri.com/seminars/detail.php?id=165 Thu, 10 Aug 2006 14:00 Vinay K Chaudhri: Design and Implementation of the CALO Query Manager Wed, 09 Aug 2006 http://www.ai.sri.com/seminars/detail.php?id=164 Wed, 09 Aug 2006 16:00 Chen Li: Answering Approximate Queries Efficiently Thu, 03 Aug 2006 http://www.ai.sri.com/seminars/detail.php?id=160 Thu, 03 Aug 2006 16:00 Mike Kassoff: Logical Spreadsheets Tue, 01 Aug 2006 http://www.ai.sri.com/seminars/detail.php?id=161 Tue, 01 Aug 2006 16:00 Raymond J. Mooney: Learning to Extract Proteins and their Interactions from Biomedical Text Fri, 28 Jul 2006 http://www.ai.sri.com/seminars/detail.php?id=163 Fri, 28 Jul 2006 14:30 Frank McCabe: The OASIS Service Oriented Architecture Reference Model: An ontology in disguise? Tue, 25 Jul 2006 http://www.ai.sri.com/seminars/detail.php?id=158 Tue, 25 Jul 2006 16:00 Carl Hewitt: Direct Logic for Increased Safety in Reasoning about Large Software Systems Tue, 18 Jul 2006 http://www.ai.sri.com/seminars/detail.php?id=157 Tue, 18 Jul 2006 14:30 Marie desJardins: Strategy Learning and Network Adaptation in Multi-Agent Systems Thu, 06 Jul 2006 http://www.ai.sri.com/seminars/detail.php?id=156 Thu, 06 Jul 2006 11:00 Marco Aiello: Encoding Web Service Choreographies as Constraints Fri, 23 Jun 2006 http://www.ai.sri.com/seminars/detail.php?id=155 Fri, 23 Jun 2006 14:30 Wei Fan: Could Random Inductive Models be Better than Well-Thought Models? Thu, 22 Jun 2006 http://www.ai.sri.com/seminars/detail.php?id=145 Thu, 22 Jun 2006 16:00 David Draper: Bayesian Model Specification Wed, 14 Jun 2006 http://www.ai.sri.com/seminars/detail.php?id=153 Wed, 14 Jun 2006 10:30 Ronen Brafman: Working with Preferences Thu, 01 Jun 2006 http://www.ai.sri.com/seminars/detail.php?id=150 Thu, 01 Jun 2006 16:00 Michael Freed: Intelligent Autonomy for UAS-based Surveillance Wed, 31 May 2006 http://www.ai.sri.com/seminars/detail.php?id=149 Wed, 31 May 2006 16:00 Steve Newcomb: Cross-ontology Data Integration Implies Equal Privileges for Meta Subjects Tue, 23 May 2006 http://www.ai.sri.com/seminars/detail.php?id=146 Tue, 23 May 2006 10:30 Patrick Durusau: Reasoning in an Inflationary Infoverse Tue, 23 May 2006 http://www.ai.sri.com/seminars/detail.php?id=147 Tue, 23 May 2006 09:00 Doug Bowden: BrainInfo as an Ontology-Based Information Management System Tue, 23 May 2006 http://www.ai.sri.com/seminars/detail.php?id=148 Tue, 23 May 2006 11:30 Jiaying Shen: Communication Management in Distributed Sensor Interpretation Thu, 20 Apr 2006 http://www.ai.sri.com/seminars/detail.php?id=144 Thu, 20 Apr 2006 16:00 Tim Hinrichs: Map Coloring with Logic Thu, 13 Apr 2006 http://www.ai.sri.com/seminars/detail.php?id=143 Thu, 13 Apr 2006 16:00 Karun Bakshi: End-User Application Development for the Semantic Web Thu, 30 Mar 2006 http://www.ai.sri.com/seminars/detail.php?id=138 Thu, 30 Mar 2006 16:00 Michael Stollberg: Efficient Service Discovery in Goal-driven Architectures Thu, 23 Mar 2006 http://www.ai.sri.com/seminars/detail.php?id=139 Thu, 23 Mar 2006 16:00 Misha Bilenko: Learnable Similarity Functions and Their Applications in Information Integration and Clustering Thu, 23 Mar 2006 http://www.ai.sri.com/seminars/detail.php?id=141 Thu, 23 Mar 2006 10:30 Debojyoti Dutta: Scalable Partitioning and exploration of Chemical Spaces Wed, 15 Mar 2006 http://www.ai.sri.com/seminars/detail.php?id=140 Wed, 15 Mar 2006 13:00 Mark Paskin: Distributed Inference in Sensor Networks Thu, 09 Feb 2006 http://www.ai.sri.com/seminars/detail.php?id=137 Thu, 09 Feb 2006 16:00 Kee-Eung Kim: Reinforcement Learning Approach to Stochastic Planning Problems Mon, 30 Jan 2006 http://www.ai.sri.com/seminars/detail.php?id=136 Mon, 30 Jan 2006 10:00 Jesse Hoey: Partially Observable Markov Decision Processes for Human-Interactive Tasks Tue, 10 Jan 2006 http://www.ai.sri.com/seminars/detail.php?id=135 Tue, 10 Jan 2006 10:00 Mehran Sahami: Improving Web Information Finding via Machine Learning Thu, 15 Dec 2005 http://www.ai.sri.com/seminars/detail.php?id=130 Thu, 15 Dec 2005 16:00 Lotfi A. Zadeh: Computation with Information Described in Natural Language-The Concept of Generalized-Constraint-Based Computation Thu, 08 Dec 2005 http://www.ai.sri.com/seminars/detail.php?id=129 Thu, 08 Dec 2005 16:00 Jeff Z. Pan: Description Logics and Semantic Web Language Extensions Wed, 07 Dec 2005 http://www.ai.sri.com/seminars/detail.php?id=133 Wed, 07 Dec 2005 10:30 Benjamin Grosof: Representing Ontologies and Integrating them with Rules, for Tue, 06 Dec 2005 http://www.ai.sri.com/seminars/detail.php?id=134 Tue, 06 Dec 2005 11:00 Pat Langley: Learning Hierarchical Task Networks from Problem Solving Thu, 01 Dec 2005 http://www.ai.sri.com/seminars/detail.php?id=127 Thu, 01 Dec 2005 16:00 Jorge Moraleda: Machine Learning of Large Datasets and applications to Biological Systems Fri, 18 Nov 2005 http://www.ai.sri.com/seminars/detail.php?id=132 Fri, 18 Nov 2005 10:30 Teed Rockwell: Neither Brain Nor Ghost: A Nondualist Alternative to the Mind-Brain Identity Theory Thu, 17 Nov 2005 http://www.ai.sri.com/seminars/detail.php?id=126 Thu, 17 Nov 2005 14:30 Chris Jones: iRobot Corporation: A Research and Development Overview Wed, 16 Nov 2005 http://www.ai.sri.com/seminars/detail.php?id=131 Wed, 16 Nov 2005 15:30 Carl Hewitt: Semantics for Autonomy and Interdependence in Agents Thu, 03 Nov 2005 http://www.ai.sri.com/seminars/detail.php?id=128 Thu, 03 Nov 2005 14:30 Raffi Kamalian: Evolutionary Synthesis of Micromachines Fri, 14 Oct 2005 http://www.ai.sri.com/seminars/detail.php?id=125 Fri, 14 Oct 2005 11:00 Neil Yorke-Smith: Exploiting the Structure of Hierarchical Plans in Temporal Reasoning Thu, 22 Sep 2005 http://www.ai.sri.com/seminars/detail.php?id=124 Thu, 22 Sep 2005 16:00 James Z. Wang: Automatic Linguistic Indexing of Pictures Tue, 13 Sep 2005 http://www.ai.sri.com/seminars/detail.php?id=123 Tue, 13 Sep 2005 16:00 Axel Polleres: Why We Need Another Rule Language for the Web Fri, 12 Aug 2005 http://www.ai.sri.com/seminars/detail.php?id=122 Fri, 12 Aug 2005 11:00 Kenneth Baclawski: Applications of the Semantic Web for the Life Sciences Tue, 09 Aug 2005 http://www.ai.sri.com/seminars/detail.php?id=121 Tue, 09 Aug 2005 14:30 Stephen W. Smoliar: THE POETICS OF KNOWLEDGE SHARING: Putting Aristotle to Work in the Enterprise Mon, 18 Jul 2005 http://www.ai.sri.com/seminars/detail.php?id=120 Mon, 18 Jul 2005 16:00 Sheila McIlraith: Preference-Based Planning Mon, 20 Jun 2005 http://www.ai.sri.com/seminars/detail.php?id=117 Mon, 20 Jun 2005 16:00 Bart Peintner: Efficient Solutions to Temporal Constraint Satisfaction Problems with Preferences Mon, 13 Jun 2005 http://www.ai.sri.com/seminars/detail.php?id=116 Mon, 13 Jun 2005 10:00 Georges Gonthier: Verifying the Four Colour Theorem Fri, 27 May 2005 http://www.ai.sri.com/seminars/detail.php?id=118 Fri, 27 May 2005 13:00 Steven Weinstein: Beyond the Turing Model Tue, 17 May 2005 http://www.ai.sri.com/seminars/detail.php?id=115 Tue, 17 May 2005 14:30 Joseph Stetter: Sensor Arrays, Artificial Senses, Awareness, Intelligence Thu, 12 May 2005 http://www.ai.sri.com/seminars/detail.php?id=112 Thu, 12 May 2005 16:00 Kanna Rajan: Mars or Bust: Lessons Learned from commanding Spirit and Opportunity for NASA’s Mars Exploration Rover (MER) mission Mon, 09 May 2005 http://www.ai.sri.com/seminars/detail.php?id=114 Mon, 09 May 2005 14:00 Carl Hewitt: Program Control Structure Integrity Archetypes Tue, 03 May 2005 http://www.ai.sri.com/seminars/detail.php?id=113 Tue, 03 May 2005 14:30 Talbot Michael Katz: Working Title: Finding combinatorial-optimization formulations of problems that are usually attacked with clever heuristics Thu, 21 Apr 2005 http://www.ai.sri.com/seminars/detail.php?id=106 Thu, 21 Apr 2005 16:00 Jill Nickerson: Reference Specification in Multilingual Document Production Thu, 14 Apr 2005 http://www.ai.sri.com/seminars/detail.php?id=111 Thu, 14 Apr 2005 16:00 Roger Mailler: Distributed Problems Using Cooperative Mediation Fri, 01 Apr 2005 http://www.ai.sri.com/seminars/detail.php?id=108 Fri, 01 Apr 2005 11:00 Bryan Horling: Modeling and Designing Multi-Agent Systems Through Explicit Organizational Design Thu, 31 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=110 Thu, 31 Mar 2005 11:00 Carla P. Gomes: Backdoors in Combinatorial Problems Mon, 21 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=109 Mon, 21 Mar 2005 16:00 Li Ding: Swoogle: Search and Metadata for the Semantic Web Thu, 17 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=107 Thu, 17 Mar 2005 16:00 Benjamin Grosof : Semantic Web Rules for E-Services Knowledge Management Mon, 14 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=104 Mon, 14 Mar 2005 16:00 Robert A. Morris: Temporal Reasoning with Preferences and Probabilities Thu, 10 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=102 Thu, 10 Mar 2005 16:00 Nicola Muscettola: Adventures in Autonomy Wed, 09 Mar 2005 http://www.ai.sri.com/seminars/detail.php?id=105 Wed, 09 Mar 2005 14:30 Jeffrey Conklin: Swamp Charting: An Approach to ’Wicked Problems’ Thu, 24 Feb 2005 http://www.ai.sri.com/seminars/detail.php?id=101 Thu, 24 Feb 2005 11:00 John Laird: Toward Human-level AI: Adding Episodic Memory and Emotions to Soar Thu, 27 Jan 2005 http://www.ai.sri.com/seminars/detail.php?id=99 Thu, 27 Jan 2005 10:00 Barbara Grosz: Beyond Mice and Men Mon, 24 Jan 2005 http://www.ai.sri.com/seminars/detail.php?id=100 Mon, 24 Jan 2005 15:00 Dileep George: How to solve the Invariance Problem using Memory and Prediction Thu, 20 Jan 2005 http://www.ai.sri.com/seminars/detail.php?id=98 Thu, 20 Jan 2005 16:00 Jeff Hawkins: A New Theory of Neocortex and its Implications for Machine Intelligence Thu, 13 Jan 2005 http://www.ai.sri.com/seminars/detail.php?id=95 Thu, 13 Jan 2005 16:00 Adam Cheyer: The Transformation of Information Wed, 22 Dec 2004 http://www.ai.sri.com/seminars/detail.php?id=97 Wed, 22 Dec 2004 16:00 Sanjeev Kumar: TBD Mon, 06 Dec 2004 http://www.ai.sri.com/seminars/detail.php?id=96 Mon, 06 Dec 2004 10:30 Branden Fitelson: A User-Friendly Probability Machine, with Applications Wed, 10 Nov 2004 http://www.ai.sri.com/seminars/detail.php?id=94 Wed, 10 Nov 2004 16:00 Charles Petrie: Dynamic Web Service Integration Thu, 04 Nov 2004 http://www.ai.sri.com/seminars/detail.php?id=93 Thu, 04 Nov 2004 16:00 Tina Eliassi-Rad: Using Schematic Information to Accelerate Search in Large Relational Data Graphs. Wed, 27 Oct 2004 http://www.ai.sri.com/seminars/detail.php?id=87 Wed, 27 Oct 2004 16:00 Dr. Olivier Michel: Webots: fast prototyping and simulation of mobile robots Wed, 20 Oct 2004 http://www.ai.sri.com/seminars/detail.php?id=88 Wed, 20 Oct 2004 16:00 Hung H Bui: Stochastic Models for Learning and Recognizing Human Activities Thu, 14 Oct 2004 http://www.ai.sri.com/seminars/detail.php?id=92 Thu, 14 Oct 2004 16:00 Nikunj C. Oza: AveBoost2: Boosting for Noisy Data Tue, 05 Oct 2004 http://www.ai.sri.com/seminars/detail.php?id=86 Tue, 05 Oct 2004 16:00 Pieter Abbeel: Apprenticeship Learning via Inverse Reinforcement Learning Thu, 23 Sep 2004 http://www.ai.sri.com/seminars/detail.php?id=91 Thu, 23 Sep 2004 16:00 John S Fry: Limited-Domain Speech-to-Speech Translation between English and Pashto Wed, 15 Sep 2004 http://www.ai.sri.com/seminars/detail.php?id=90 Wed, 15 Sep 2004 16:00 Didier Guzzoni: Active: A Unified Framework for Activity Recognition and Execution Wed, 08 Sep 2004 http://www.ai.sri.com/seminars/detail.php?id=89 Wed, 08 Sep 2004 16:00 Neil Yorke-Smith: A Framework for Constraint Reasoning with Uncertain Data Mon, 19 Jul 2004 http://www.ai.sri.com/seminars/detail.php?id=85 Mon, 19 Jul 2004 10:00 Frank McCabe: Go! agents go to the dance:a multi-paradigm symbolic language for multi-agent systems Thu, 08 Jul 2004 http://www.ai.sri.com/seminars/detail.php?id=84 Thu, 08 Jul 2004 15:00 Timothy W. Rauenbusch: Measuring Information Transmission for Team Decision Making Thu, 24 Jun 2004 http://www.ai.sri.com/seminars/detail.php?id=83 Thu, 24 Jun 2004 16:00 Krittaya Leelawong: USing the Learning-by-Teaching Paradigm to design Intelligent Learning Environments Fri, 18 Jun 2004 http://www.ai.sri.com/seminars/detail.php?id=81 Fri, 18 Jun 2004 10:00 Guizhen Yang: Semantic Web Information Processing Thu, 17 Jun 2004 http://www.ai.sri.com/seminars/detail.php?id=82 Thu, 17 Jun 2004 10:00 Jeffrey Bradshaw: Dimensions of Adjustable Autonomy and Mixed-Initiative Interaction Tue, 08 Jun 2004 http://www.ai.sri.com/seminars/detail.php?id=76 Tue, 08 Jun 2004 16:00 Bart Peintner: Probabilistic Activity Monitoring using Quantitative Temporal Relationships Thu, 27 May 2004 http://www.ai.sri.com/seminars/detail.php?id=80 Thu, 27 May 2004 16:00 Lalana Kagal: Using OWL Policies for Security in Dynamic, Distributed Environments Fri, 21 May 2004 http://www.ai.sri.com/seminars/detail.php?id=78 Fri, 21 May 2004 10:30 Ranjit Nair: Analysis of Multiagent Teams using Distributed POMDPs Tue, 18 May 2004 http://www.ai.sri.com/seminars/detail.php?id=79 Tue, 18 May 2004 10:30 Elin Ronby Pedersen: AROMA revisited - providing activity information without attention overload and privacy violation. Thu, 06 May 2004 http://www.ai.sri.com/seminars/detail.php?id=73 Thu, 06 May 2004 16:00 Eugene Eric Kim: Towards an Interoperability Framework for Collaborative Tools Thu, 29 Apr 2004 http://www.ai.sri.com/seminars/detail.php?id=71 Thu, 29 Apr 2004 16:00 Regis Vincent: Centibots: The last experiment Thu, 22 Apr 2004 http://www.ai.sri.com/seminars/detail.php?id=70 Thu, 22 Apr 2004 16:00 Ha Vu: Similar Preferences Thu, 15 Apr 2004 http://www.ai.sri.com/seminars/detail.php?id=72 Thu, 15 Apr 2004 16:00 Leon Peshkin: Reinforcement Learning by Policy Search Mon, 05 Apr 2004 http://www.ai.sri.com/seminars/detail.php?id=74 Mon, 05 Apr 2004 10:00 Igor Tatarinov: Semantic Data Sharing with a Peer Data Management System Thu, 25 Mar 2004 http://www.ai.sri.com/seminars/detail.php?id=68 Thu, 25 Mar 2004 10:00 Christopher W. Geib: A New Plan Recognition Algorithm For Real World Applications Thu, 25 Mar 2004 http://www.ai.sri.com/seminars/detail.php?id=69 Thu, 25 Mar 2004 16:00 Peter A Jarvis: Applying Plan Recognition to Cyber Attacks Thu, 04 Mar 2004 http://www.ai.sri.com/seminars/detail.php?id=67 Thu, 04 Mar 2004 16:00 Bernard Catalinotto and Stanley Dallal: A Review of Recent Advances in GIS Data Enhancement Technology - Conflation Software and Feature Extraction Tools Tue, 13 Jan 2004 http://www.ai.sri.com/seminars/detail.php?id=66 Tue, 13 Jan 2004 11:00 Sunil Mishra: Open Source at the AIC: Issues in releasing and using open source software Thu, 04 Dec 2003 http://www.ai.sri.com/seminars/detail.php?id=65 Thu, 04 Dec 2003 16:00 Avi Pfeffer : Turning Probabilistic Reasoning into Programming Fri, 07 Nov 2003 http://www.ai.sri.com/seminars/detail.php?id=62 Fri, 07 Nov 2003 10:00 Alison Lee: A Socio-Technical Perspective on Creating Web-based Collaborative Applications Thu, 06 Nov 2003 http://www.ai.sri.com/seminars/detail.php?id=64 Thu, 06 Nov 2003 11:00 Ramesh Raskar: Graphics, Vision and HCI Research at MERL Wed, 29 Oct 2003 http://www.ai.sri.com/seminars/detail.php?id=63 Wed, 29 Oct 2003 16:00 Janet Murdock: A Garbage Collection Algorithm and Handling Imperfect Data in a Monitoring and Optimization System for Coal-Fired Power Plants Wed, 15 Oct 2003 http://www.ai.sri.com/seminars/detail.php?id=61 Wed, 15 Oct 2003 10:00 Prof. Nils Nilsson: Adventures in Artificial Intelligence Thu, 02 Oct 2003 http://www.ai.sri.com/seminars/detail.php?id=59 Thu, 02 Oct 2003 16:00 Rob Raskin: Semantic Web for Earth and Environmental Terminology (SWEET) Fri, 26 Sep 2003 http://www.ai.sri.com/seminars/detail.php?id=58 Fri, 26 Sep 2003 11:00 Matthew Stone: Planning descriptive utterances with declarative methods Mon, 22 Sep 2003 http://www.ai.sri.com/seminars/detail.php?id=57 Mon, 22 Sep 2003 11:00 Dennis Quan: Designing End User Information Environments Built On Semistructured Data Models Fri, 19 Sep 2003 http://www.ai.sri.com/seminars/detail.php?id=60 Fri, 19 Sep 2003 15:00 Tomas E Uribe: A Knowledge Acquisition Tool for Course of Action Analysis Thu, 07 Aug 2003 http://www.ai.sri.com/seminars/detail.php?id=56 Thu, 07 Aug 2003 16:00 Victoria Bellotti : Knowledge Pad: Status and Findings from Work So Far Thu, 24 Jul 2003 http://www.ai.sri.com/seminars/detail.php?id=55 Thu, 24 Jul 2003 13:30 Francis Quek: Mental Imagery, Language, and Gesture: Video Access to Human Communication Wed, 23 Jul 2003 http://www.ai.sri.com/seminars/detail.php?id=54 Wed, 23 Jul 2003 16:00 David Morley: The SRI Procedural Agent Realization Kit (SPARK) Wed, 02 Jul 2003 http://www.ai.sri.com/seminars/detail.php?id=50 Wed, 02 Jul 2003 16:00 Eric I Hsu: Exponential Auction: Automated Mechanism Design for Agent Coalitions Thu, 26 Jun 2003 http://www.ai.sri.com/seminars/detail.php?id=51 Thu, 26 Jun 2003 16:00 Charles L Ortiz: ANTS Thu, 29 May 2003 http://www.ai.sri.com/seminars/detail.php?id=48 Thu, 29 May 2003 16:00 Kurt G Konolige: The Centibots Project: Large scale robot teams Thu, 15 May 2003 http://www.ai.sri.com/seminars/detail.php?id=49 Thu, 15 May 2003 16:00 David J Israel: A Knowledge Base System for Advanced Placement Test in Chemistry" Tue, 22 Apr 2003 http://www.ai.sri.com/seminars/detail.php?id=46 Tue, 22 Apr 2003 16:00 Alyssa Glass: Socially Conscious Decision-Making Thu, 03 Apr 2003 http://www.ai.sri.com/seminars/detail.php?id=44 Thu, 03 Apr 2003 16:00 Dr. Deb K. Roy: Grounding Natural Language Semantics in Perception Thu, 27 Mar 2003 http://www.ai.sri.com/seminars/detail.php?id=21 Thu, 27 Mar 2003 16:00 Hyuckchul Jung: Conflict Resolution Strategies and Their Performance Models for Large-Scale Multiagent Systems Thu, 13 Mar 2003 http://www.ai.sri.com/seminars/detail.php?id=40 Thu, 13 Mar 2003 16:00 Timothy Chklovski: Using Analogy to Acquire Knowledge from Human Contributors Wed, 12 Mar 2003 http://www.ai.sri.com/seminars/detail.php?id=43 Wed, 12 Mar 2003 16:15 Robert Belvin: On the utility of conceptual semantics in translating event descriptions across languages Mon, 10 Mar 2003 http://www.ai.sri.com/seminars/detail.php?id=42 Mon, 10 Mar 2003 11:00 Pragnesh Jay Modi: Constraint Optimization in Multiagent Systems Thu, 27 Feb 2003 http://www.ai.sri.com/seminars/detail.php?id=39 Thu, 27 Feb 2003 16:00 Omid Shakernia: Vision-Based Control and Coordination of Unmanned Vehicles Tue, 25 Feb 2003 http://www.ai.sri.com/seminars/detail.php?id=41 Tue, 25 Feb 2003 16:00 James F. Allen: Scalable Spoken Dialog Systems Wed, 01 Jan 2003 http://www.ai.sri.com/seminars/detail.php?id=26 Wed, 01 Jan 2003 16:00 N. Hari Narayanan: Cognitive Principles for the Design of Interactive and Reactive Information Displays Wed, 01 Jan 2003 http://www.ai.sri.com/seminars/detail.php?id=30 Wed, 01 Jan 2003 16:00 Motilal Agrawal: Stereo using multiple views Fri, 22 Nov 2002 http://www.ai.sri.com/seminars/detail.php?id=38 Fri, 22 Nov 2002 11:00 Wei-Min Shen: Self-Reconfigurable Robots/Systems and Digital Hormones Thu, 14 Nov 2002 http://www.ai.sri.com/seminars/detail.php?id=34 Thu, 14 Nov 2002 16:00 Tucker Balch: From Ants and Bees to Robots and Back Thu, 07 Nov 2002 http://www.ai.sri.com/seminars/detail.php?id=25 Thu, 07 Nov 2002 16:00 Thomas S. Huang: Vision-Based Hand Gesture Tracking and Recognition Thu, 24 Oct 2002 http://www.ai.sri.com/seminars/detail.php?id=29 Thu, 24 Oct 2002 16:00 Stan Birchfield: Visual and Auditory Spatial Sensing Thu, 17 Oct 2002 http://www.ai.sri.com/seminars/detail.php?id=37 Thu, 17 Oct 2002 15:00 Hank Jones: An Object-Based Interaction for the Operation of Multiple Field Robots Thu, 10 Oct 2002 http://www.ai.sri.com/seminars/detail.php?id=33 Thu, 10 Oct 2002 16:00 Frank McCabe: Web Services in a Global Marketplace Thu, 03 Oct 2002 http://www.ai.sri.com/seminars/detail.php?id=35 Thu, 03 Oct 2002 16:00 Bil Lewis: Omniscient Debugging Tue, 01 Oct 2002 http://www.ai.sri.com/seminars/detail.php?id=36 Tue, 01 Oct 2002 16:00 Dr. Milind Tambe: Teamwork: Practice and New Theory Thu, 26 Sep 2002 http://www.ai.sri.com/seminars/detail.php?id=23 Thu, 26 Sep 2002 16:00 R.V.Guha: TAP: Towards the Data Web Wed, 28 Aug 2002 http://www.ai.sri.com/seminars/detail.php?id=32 Wed, 28 Aug 2002 14:30 Pascal Fua: Recovering Human Shape and Motion from Video Sequences Thu, 15 Aug 2002 http://www.ai.sri.com/seminars/detail.php?id=31 Thu, 15 Aug 2002 14:30 Eric Feron: Coordinated UAV Operations: Perspectives and New Results Tue, 06 Aug 2002 http://www.ai.sri.com/seminars/detail.php?id=28 Tue, 06 Aug 2002 14:00 Richard Waldinger: Geo-Logica: Deductive Response to Geographical Queries Thu, 01 Aug 2002 http://www.ai.sri.com/seminars/detail.php?id=27 Thu, 01 Aug 2002 16:15 Gary Borchardt: The START Information Access System Tue, 23 Jul 2002 http://www.ai.sri.com/seminars/detail.php?id=20 Tue, 23 Jul 2002 16:00 Vinay K Chaudhri: TBD Wed, 24 Apr 2002 http://www.ai.sri.com/seminars/detail.php?id=45 Wed, 24 Apr 2002 16:00 Peter A Jarvis: Profitable Directions for AI-Planning Research: A Personal View. Wed, 17 Apr 2002 http://www.ai.sri.com/seminars/detail.php?id=19 Wed, 17 Apr 2002 16:30 Peter A Jarvis: Active Coordination of Distruibuted Human Planners. Wed, 17 Apr 2002 http://www.ai.sri.com/seminars/detail.php?id=18 Wed, 17 Apr 2002 16:00 Marie desJardins: Using Feature Hierarchies in Bayesian Network Learning Wed, 27 Mar 2002 http://www.ai.sri.com/seminars/detail.php?id=16 Wed, 27 Mar 2002 14:00 Tony Cohn: Formalising Bio-Spatial Knowledge Wed, 27 Mar 2002 http://www.ai.sri.com/seminars/detail.php?id=17 Wed, 27 Mar 2002 16:15 Steve Weinstein: Objectivity, Information, and Maxwell’s Demon Tue, 29 Jan 2002 http://www.ai.sri.com/seminars/detail.php?id=15 Tue, 29 Jan 2002 16:00 Naveen Ashish: Information Mediation: Integrating Information from Multiple Online Information Sources. Thu, 24 Jan 2002 http://www.ai.sri.com/seminars/detail.php?id=14 Thu, 24 Jan 2002 16:00 Srinivas Narayanan: Bayesian Models of Human Sentence Processing Mon, 10 Dec 2001 http://www.ai.sri.com/seminars/detail.php?id=13 Mon, 10 Dec 2001 16:00 Michael Georgeff: BDI Agents: From Research to Commercialization Thu, 29 Nov 2001 http://www.ai.sri.com/seminars/detail.php?id=8 Thu, 29 Nov 2001 16:00 Douglas Moran: From AIC to startup: less difference than you might think Thu, 15 Nov 2001 http://www.ai.sri.com/seminars/detail.php?id=7 Thu, 15 Nov 2001 16:00 Richard J Waldinger: JANUS: A Ubiquitous Personal Assistant for the Post-Wired World Thu, 25 Oct 2001 http://www.ai.sri.com/seminars/detail.php?id=9 Thu, 25 Oct 2001 16:00 Peter D Karp: Pathway/Genome Databases and Software Tools Thu, 18 Oct 2001 http://www.ai.sri.com/seminars/detail.php?id=10 Thu, 18 Oct 2001 16:00 Ken Murray: Learning as Knowledge Integration Thu, 04 Oct 2001 http://www.ai.sri.com/seminars/detail.php?id=11 Thu, 04 Oct 2001 16:00 Richard Vaughan: To be announced Wed, 18 Dec 1957 http://www.ai.sri.com/seminars/detail.php?id=232 Wed, 18 Dec 1957 16:00 Patrick Fu: Systems Biology and Synthetic Biology of Cyanobacteria for Biofuel Production Thu, 05 Sep 1957 http://www.ai.sri.com/seminars/detail.php?id=221 Thu, 05 Sep 1957 11:00 Paul Scerri: Towards Practical Heterogeneous Teams Sat, 11 May 1957 http://www.ai.sri.com/seminars/detail.php?id=198 Sat, 11 May 1957 11:00 Bill Swartout: Virtual Humans: Bringing the Pieces Together Thu, 24 Jan 1957 http://www.ai.sri.com/seminars/detail.php?id=220 Thu, 24 Jan 1957 16:00 Lotfi A. Zadeh: The Concept of Cointensive Precisiation—A Key to Mechanization of Natural Language Understanding Sat, 01 Jan 0001 http://www.ai.sri.com/seminars/detail.php?id=119 Sat, 01 Jan 0001 16:00 Jie Bao: Representing and Reasoning with Modular Ontologies Sat, 01 Jan 0001 http://www.ai.sri.com/seminars/detail.php?id=344 Sat, 01 Jan 0001 16:00