Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
диалоговая система
Связанные издания:
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
A "Call for Answers" Around the Proposition of an HCI-enriched Model
Advances in Natural Language Processing: Proc./7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 2010
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems
A Metamodel for the Runtime Architecture of an Interactive System
An Interactive Approach for Extending IEEE Arithmetic Auxiliary Processor AP87
APLITDS: An APL Development System
Architecture for Interactive Systems with Highly Graphical User Interfaces
A Repository Meta Model for Interactive Systems
Artificial Intelligence in Education: Proc./17th International Conference, AIED 2015, Madrid, Spain, June 2015
A Semi-Algorithm for Algebraic Implementation Proofs
A Tool Suite for Integrating Task and System Models through Scenarios
Automating the Design of Algorithms
A Visual Constraint-Programming Environment
Cognitive Science and the Development of Next Generation Hypertext Systems
Cognitive Systems: Revised Selected Papers/ Joint Chinese-German Workshop. Shanghai, China, March 2005
Computer Processing of Oriental Languages: Beyond the Orient: The Research Challenges Ahead: Proc./21st International Conference,ICCPOL 2006, Singapore,December 2006
Cooperating to Be Noncooperative: The Dialog System PRACMA
Detecting Multiple Classes of User Errors
Eine Algebraische Spezifikation des Software-Produkts INTAKT
Ein Editor Fuer Unparsing Schemes
Entertainment Computing - ICEC 2007: Proc./6th International Conference. Shanghai, China, September 2007
From a Formal User Model to Design Rules
Handling Interaction in Software Specification
Human-Computer Interaction: Proc./Third Intern.Conf., EWHCI 93, Moskow, Russia, August 1993
Implementation of Makanin s Algorithm
Intelligent Tutoring Systems: Proc./9th International Conference, ITS 2008. Montreal, Canada, June 2008
Intelligent Virtual Agents: Proc./8th International Conference, IVA 2008. Tokyo, Japan, September 2008
Interactive Spoken-Language Processing in a Hybrid Connectionis System
Interactive System Design and Object Models
Interactive System Safety and Usability Enforced with the Development Process
Interactive Systems - Design, Specification, and Verfication: Proc./9th Intern. Workshop, DSV-IS 2002, Rostock, Germany, June 2002
Interactive Systems - Design, Specification, and Verification: Proc./10th Intern. Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003
Interactive Systems: Design, Specification, and Verification: Proc./15th International Workshop, DSV-IS 2008. Kingston, Canada, July 2008
Interactive Systems: Design, Specification, and Verification: Proc./7th Intern. Workshop, DSV-IS 2000, Limerick, Ireland, June 2000
Interactive Systems - Design, Specification, and Verification: Proc./8th Intern. Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001
Interactive Systems. Design, Specification, and Verification: Revised Papers/12th International Workshop, DSVIS 2005. Newcastle upon Tyne, UK, July 2005
Logic and Grammar: Essays Dedicated to Alain Lecome on the Occasion of His 60th Birthday
Machine Learning for Multimodal Interaction: Proc./5th International Workshop, MLMI 2008. Utrecht, The Netherlands, September 2008
Machine Learning for Multimodal Interaction: Revised Selected Papers/Second International Workshop, MLMI 2005. Edunburgh, UK, July 2005
Machine Learning for Multimodal Interaction: Revised Selected Papers/Third International Workshop,MLMI 2006,Bethesda,MD,USA,May 2006
MATLAB и семейство профессиональных приложений для моделирования и анализа
Model-Based User Interface Design using Markup Concepts
Objektorientierte Konstruktion von Software-Werkzeugen und -Materialien
Perception in Multimodal Dialogue Systems: Proc./4th IEEE Tutorial and Research Workshop on Perception and Interactice Technologies for Speech-Based Systems, PIT 2008. Kloster Irsee, Germany, June 2008
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
Propositional Logics on the Computer
Referral Web: Combining Social Networks and Collaborative Filtering
Rollit: An Application Builder
Specifying Interactive Systems in Object-Z and CSP
1
2
3
следующая ›
последняя »