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