default search action
AAAI Spring Symposia 2014: Palo Alto, CA, USA
- 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press 2014
1 - Big Data Becomes Personal: Knowledge into Meaning
- Takashi Kido:
Committees. - Yuuto Fukushima, Fumito Masui, Michal Ptaszynski, Yoko Nakajima, Keisuke Watanabe, Ryotaro Kawaishi, Taisei Nitta, Ryoya Sato:
Macroanalysis of Microblogs: An Empirical Study of Communication Strategies on Twitter During Disasters and Elections. - Kôiti Hasida:
Personal Life Repository as a Distributed PDS and Its Dissemination Strategy for Healthcare Services. - Michael Hopmere, Jim Karkanias:
Big Data Made Personal. - Ken Iwasaki, Carson Reynolds, Masatoshi Ishikawa:
Toward Emotional Well-Being: Staying Calm with ECG Feedback. - Takashi Kido, Melanie Swan:
Know Thyself: Data Driven Self-Awareness for Understanding Our Unconsciousness Behaviors. - Tetsuya Maeshiro, Saki Hayashi:
Gaze Pattern Analysis to Detect Manga Similarity. - Yoko Nakajima, Michal Ptaszynski, Hirotoshi Honma, Fumito Masui:
Investigation of Future Reference Expressions in Trend Information. - Tetsuaki Nakamura, Kay Kubo, Yasuyuki Usuda, Eiji Aramaki:
Defining Patients with Depressive Disorder by Using Textual Information. - Yukio Ohsawa, Chang Liu, Yoshitaka Suda, Hiroyuki Kido:
Innovators Marketplace on Data Jackets for Externalizing the Value of Data via Stakeholders' Requirement Communication. - K. Thomas Pickard, Melanie Swan:
Big Desire to Share Big Health Data: A Shift in Consumer Attitudes toward Personal Health Information. - Akane Sano, Rosalind W. Picard:
Understanding Ambulatory and Wearable Data for Health and Wellness. - Chikataka Sato, Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Hiroshi Yajima, Manabu Kurosawa:
A Proposal of a Care Worker Support System Using Structured Human Functioning Data. - Yusuke Tajima, Masaya Nakata, Tomohiro Harada, Keiji Sato, Keiki Takadama:
Sleep Stage Estimation Using Synthesized Data of Heart Rate and Body Movement. - Keiki Takadama:
Concierge-Based Care Support System for Designing Your Own Lifestyle. - J. T. Turner, Adam Page, Tinoosh Mohsenin, Tim Oates:
Deep Belief Networks Used on High Resolution Multichannel Electroencephalography Data for Seizure Detection. - Ilia Vovsha, Ashwath Rajan, Ansaf Salleb-Aouissi, Anita Raja, Axinia Radeva, Hatim Diab, Ashish Tomar, Ronald J. Wapner:
Predicting Preterm Birth Is Not Elusive: Machine Learning Paves the Way to Individual Wellness. - Yoshimi Watanabe:
Design of a Digital Esperanto and Care of the Weak by the Interface - The Use of Standard Theory, Information Extraction from Big Data. - Rahadian Yusuf, Shuyao Wang, Ivan Tanev, Katsunori Shimohara:
Designing Evolving Computer Agent Capable of Emotion Recognition and Expression. - Mizuki Morita, Masanori Shiro, Shotaro Akaho, Hideki Asoh, Toshihiro Kamishima, Eiji Aramaki, Kôiti Hasida, Takahide Kohro:
Arresting Treatment Patterns for Individual Patients in Clinical Big Data: An Exploratory Procedure. - Satoshi Taniguchi, Daisuke Hachimura, Kenichi Ishinazaka, Toshihiro Tamaki, Shojiro Ishigaki, Noriko Matsuura, Naomi Adachi:
The Effect of Health Data Visualization to Promote Healthy Behavior. - Katarzyna Wac:
Beat-by-Beat Getting Fit: Leveraging Pervasive Self-Tracking of Heart Rate in Self-Management of Health.
2 - Formal Verification and Modeling in Human-Machine Systems
- Eric G. Mercer:
Committees. - Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass:
Preface. - Nisar Razzi Ahmed, Ewart de Visser, Tyler H. Shaw, Raja Parasuraman, Amira Mohammed-Amin, Mark Campbell:
A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance. - Daniel Bryce:
Explaining Verifier Traces with Explanation Based Learning. - Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou:
State Event Models for the Formal Analysis of Human-Machine Interactions. - Joseph Krall, Tim Menzies, Misty D. Davies:
Learning the Task Management Space of an Aircraft Approach Model. - Célia Martinie, Philippe A. Palanque:
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. - Christopher Allen Miller, Jeffrey M. Rye, Peggy Wu, Eric Engstrom:
An Interaction Fit Analysis Technique and its Applications. - Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer:
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. - J. J. Moore, R. Ivie, T. J. Gledhill, Eric G. Mercer, Michael A. Goodrich:
Modeling Human Workload in Unmanned Aerial Systems. - Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus:
Modeling Non-Functional Properties for Human-Machine Systems. - Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. - Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of Safety-Critical User Interfaces: a space system case study. - Seyed Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia P. Sycara, Stefano Bennati, Meeko Oishi:
Towards a Cognitively-Based Analytic Model of Human Control of Swarms. - Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. - Dorrit Billman:
Work Representations for Evaluating and Modeling Human-Machine Systems. - Matthew L. Bolton, Samaneh Ebrahimi:
An Approach to Generating Human-Computer Interfaces from Task Models. - William J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta:
Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model. - Matthew A. Clark, Kuldip S. Rattan:
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller. - Mitchell K. Colby, Matt Knudson, Kagan Tumer:
Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms. - Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu:
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. - Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein:
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. - Carrie Rebhuhn, Matt Knudson, Kagan Tumer:
Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National Airspace.
3 - Implementing Selves with Safe Motivational Systems and Self-Improvement
- Mark Waser:
Symposium Chair. - Justin Brody, Michael T. Cox, Donald Perlis:
Incorporating Elements of a Processual Self into Active Logic. - Francesco Albert Bosco Cortese:
The Maximally Distributed Intelligence Explosion. - Daniel Dewey:
Reinforcement Learning and the Reward Engineering Principle. - Boris A. Galitsky, Igor Spitsberg:
Finding Faults in Autistic and Software Active Inductive Learning. - András Kornai:
Euclidean Automata. - Richard Patrick William Loosemore:
The Maverick Nanny with a Dopamine Drip: Debunking Fallacies in the Theory of AI Motivation. - Deepak Justin Nath:
Evaluation Schemes for Safe AGIs. - Rafal Rzepka, Kenji Araki:
Experience of Crowds as a Guarantee for Safe Artificial Self. - Mark R. Waser:
Implementing a Safe "Seed" Self. - Morgan J. Waser:
Evaluating Human Drives and Needs for a Safe Motivational System.
4 - The Intersection of Robust Intelligence and Trust in Autonomous Systems
- Jennifer L. Burke:
Organizers. - Jennifer L. Burke, Alan Wagner, Donald A. Sofge, William F. Lawless:
Preface. - Nisar Razzi Ahmed, Rina Tse, Mark E. Campbell:
Enabling Robust Human-Robot Cooperation through Flexible Fully Bayesian Shared Sensing. - Sean Augenstein:
Optimal Scheduling of Earth-Imaging Satellites with Human Collaboration via Directed Acyclic Graphs. - Andrew Benjamin Bolster, Alan Marshall:
A Multi-Vector Trust Framework for Autonomous Systems. - Michelle S. Carlson, Jill L. Drury, Munjal Desai, Hyangshim Kwak, Holly A. Yanco:
Identifying Factors that Influence Trust in Automated Cars and Medical Diagnosis Systems. - Boris A. Galitsky, Dmitri I. Ilvovsky, Nina Lebedeva, Daniel Usikov:
Improving Trust in Automation of Social Promotion. - Fei Gao, Mary L. Cummings:
Barriers to Robust and Effective Human-Agent Teamwork. - Andrew Lacher, Robert Grabowski, Stephen Cook:
Autonomy, Trust, and Transportation. - William Frere Lawless, Donald A. Sofge:
The Intersection of Robust Intelligence and Trust: Hybrid Teams, Firms, and Systems. - Christopher Miller:
Trust and Delegation: Achieving Robust Interactions with Subordinates. - Paul Robinette, Alan R. Wagner, Ayanna M. Howard:
Modeling Human-Robot Trust in Emergencies. - Behzad Sadrfaridpour, Hamed Saeidi, Yue Wang, Jenny Burke:
Modeling and Control of Trust in Human and Robot Collaborative Manufacturing. - Jason B. Scholz, Ian William Dall, Don Gossink, Glen A. Smith, Darryn Reid:
Robust, Scalable Hybrid Decision Networks. - Weiqing Gu, Ranjeev Mittu, Julie L. Marble, Gavin Taylor, Ciara Sibley, Joseph T. Coyne, William F. Lawless:
Towards Modeling the Behavior of Autonomous Systems and Humans for Trusted Operations. - Barnabas K. Tannahill, Mo M. Jamshidi:
Big Data Analytic Paradigms - From PCA to Deep Learning.
5 - Knowledge Representation and Reasoning in Robotics
- Mohan Sridharan:
Committees. - Mohan Sridharan:
Preface. - Vaishak Belle, Hector J. Levesque:
A Logical Theory of Robot Localization. - Justin Lane Blount, Michael Gelfond
, Marcello Balduccini:
Towards a Theory of Intentional Agents. - Zachary Dodds, Kristina Ming, Christopher Eriksen, Shih-Chieh Hsiung, Xin Huang, Zakkai Davidson:
A Computational Focus For Robotics Education. - Zeynep Dogmus, Esra Erdem, Volkan Patoglu:
REACT! An Interactive Tool for Hybrid Planning in Robotics. - Joshua Eckroth, John R. Josephson:
Commonsense Abductive Reasoning and Metareasoning Using Knowledge from Bayesian Networks. - Fangzhen Lin:
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. - Alessandro Oltramari, Yury Vinokurov, Christian Lebiere, Jean Oh, Anthony Stentz:
Ontology-Based Cognitive System for Contextual Reasoning in Robot Architectures. - Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu:
Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan. - Gerald Steinbauer, Clemens Mühlbacher:
Using Common Sense Invariants in Belief Management for Autonomous Agents. - Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Stone:
Planning in Answer Set Programming while Learning Action Costs for Mobile Robots. - Benjamin Zarrieß, Jens Claßen:
On the Decidability of Verifying LTL Properties of Golog Programs. - Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. - Zoe Falomir:
An Approach for Scene Interpretation Using Qualitative Descriptors, Semantics and Domain Knowledge.
6 - Qualitative Representations for Robots
- Nick Hawes:
Committees. - Marina Alberti, John Folkesson, Patric Jensfelt:
Relational Approaches for Joint Object Classification and Scene Similarity Measurement in Indoor Environments. - Maurizio Di Rocco, Federico Pecora, Subhash Sathyakeerthy, Jasmin Grosinger, Alessandro Saffiotti, Manuele Bonaccorsi, Raffaele Limosani, Alessandro Manzi, Filippo Cavallo, Paolo Dario, Giancarlo Teti:
A Planner for Ambient Assisted Living: From High-Level Reasoning to Low-Level Robot Execution and Back. - Christian Dondrup, Nicola Bellotto, Marc Hanheide:
A Probabilistic Model of Human-Robot Spatial Interaction Using a Qualitative Trajectory Calculus. - Krishna Sandeep Reddy Dubba, Miguel Oliveira, Gi Hyun Lim, S. Hamidreza Kasaei, Luís Seabra Lopes, Ana Maria Tomé, Anthony G. Cohn:
Grounding Language in Perception for Scene Conceptualization in Autonomous Robots. - Frank Dylla, Arne Kreutzmann, Diedrich Wolter:
A Qualitative Representation of Social Conventions for Application in Robotics. - Zoe Falomir, Lledó Museros Cabedo, Luis González Abril:
Towards a Similarity between Qualitative Image Descriptions for Comparing Real Scenes. - José Angelo Gurzoni Jr., Paulo Eduardo Santos, Murilo Fernandes Martins, Fábio Gagliardi Cozman:
Probabilistic Logic for Multi-Robot Event Recognition. - Konstantinos Iliopoulos, Nicola Bellotto, Nikolaos Mavridis:
From Sequence to Trajectory and Vice Versa: Solving the Inverse QTC Problem and Coping with Real-World Trajectories. - Piyush Khandelwal, Peter Stone:
Multi-Robot Human Guidance Using Topological Graphs. - Stefan Konecny, Sebastian Stock, Federico Pecora, Alessandro Saffiotti:
Planning Domain + Execution Semantics: A Way Towards Robust Execution? - Lars Kunze, Chris Burbridge, Nick Hawes:
Bootstrapping Probabilistic Models of Qualitative Spatial Relations for Active Visual Object Search. - Melodi Deniz Ozturk, Mustafa Ersen, Melis Kapotoglu, Cagatay Koc, Sanem Sariel Talay, Hulya Yalcin:
Scene Interpretation for Self-Aware Cognitive Robots. - Jay Young, Nick Hawes:
Effects of Training Data Variation and Temporal Representation in a QSR-Based Action Prediction System.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-04 01:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: