1
Publicado 2007
Tabla de Contenidos: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...
Enlace del recurso
Electrónico eBook
3
Publicado 2014
Tabla de Contenidos: ... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...
Enlace del recurso
Electrónico eBook
4
Publicado 2006
Tabla de Contenidos: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
Enlace del recurso
Electrónico eBook
6
Tabla de Contenidos: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Enlace del recurso
Electrónico eBook
8
Publicado 2012
Tabla de Contenidos: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
Enlace del recurso
Electrónico eBook
10
Publicado 2006
Tabla de Contenidos: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
Enlace del recurso
Electrónico eBook
13
Publicado 2005
Tabla de Contenidos: ... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...
Enlace del recurso
Electrónico eBook
14
Publicado 2006
Tabla de Contenidos: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
Enlace del recurso
Electrónico eBook
15
Tabla de Contenidos: ...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...
Enlace del recurso
Electrónico eBook
16
Tabla de Contenidos: ... -- Conclusion -- A Comparison of Modeling Methods -- Summary....
Enlace del recurso
Electrónico eBook
17
Publicado 2010
Tabla de Contenidos: ... for Surface Correction -- A Local-Frame Based Method for Vector Field Construction on Raw Point Cloud...
Enlace del recurso
Electrónico eBook
18
Publicado 2008
Tabla de Contenidos: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... Discernable Source of Emergent Game Play and the Process-Oriented Method -- Re-envisioning the Museum...
Enlace del recurso
Electrónico eBook
20
Publicado 2006
Tabla de Contenidos: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
Enlace del recurso
Electrónico eBook