1
Publicerad 2007
Innehållsförteckning: ... -- Spatial and Motion Context -- Mapping by Seeing – Wearable Vision-Based Dead-Reckoning, and Closing...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... Method for Ubiquitous Robots Based on Wireless Sensor Networks -- Context Awareness and Architectures...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2013
Innehållsförteckning: ... Abilities: A Comparison with Physical Navigation -- Data Visualisation, User Experience and Context: A Case...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2014
Innehållsförteckning: ... Induction -- Using Decision Tree Induction for Theory Development -- A Hybrid Decision Tree-based Method...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2011
Ämnen: ...Computer communication systems....
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2011
Ämnen: ...Computer communication systems....
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2013
Innehållsförteckning: ... Information for Usability Evaluation -- Linking Context to Evaluation in the Design of Safety Critical...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2014
Innehållsförteckning: ... Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Visualization on a Bulletin Board System -- Design of BBS with Visual Representation for Online Data Analysis...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2014
Innehållsförteckning: ....- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2014
Innehållsförteckning: ...Design Theories, Methods and Tools.-Psychological Personas for Universal User Modeling in Human...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2012
Innehållsförteckning: ...From the content: M3 – motivations and formal model -- M3 data structures -- Communication models...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ... with Problem-Based Learning -- Encouraging the Uptake of Formal Methods Training in an Industrial Context...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2007
Innehållsförteckning: ... -- User Profiles for Personalized Information Access -- Data Mining for Web Personalization -- Generic...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2011
Innehållsförteckning: ... Manifold Learning Methods and Discriminative Sequence Classifiers in View-Invariant Action Recognition...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2010
Innehållsförteckning: ...The Physical Visualization of Information: Designing Data Sculptures in an Educational Context...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2005
Innehållsförteckning: ... for Unexpected Exception Handling -- A Workflow Mining Method Through Model Rewriting -- Design of an Object...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2012
Innehållsförteckning: ... -- Patterns for Agility -- An Agile Way of Working -- Stakeholder Communication -- Adopting Agile Service...
Hämta fulltext
Elektronisk E-bok