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