1
Publicado 2013
Tabla de Contenidos: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
Enlace del recurso
Electrónico eBook
2
Publicado 2011
Tabla de Contenidos: ... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Enlace del recurso
Electrónico eBook
4
Publicado 2015
Tabla de Contenidos: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Enlace del recurso
Electrónico eBook
5
Publicado 2006
Tabla de Contenidos: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
Enlace del recurso
Electrónico eBook
6
Publicado 2010
Tabla de Contenidos: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Enlace del recurso
Electrónico eBook
7
Publicado 2007
Tabla de Contenidos: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Enlace del recurso
Electrónico eBook
10
Publicado 2008
Tabla de Contenidos: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Enlace del recurso
Electrónico eBook
11
Publicado 2006
Tabla de Contenidos: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Enlace del recurso
Electrónico eBook
12
Publicado 2014
Tabla de Contenidos: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Enlace del recurso
Electrónico eBook
13
Publicado 2013
Tabla de Contenidos: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Enlace del recurso
Electrónico eBook
14
Publicado 2007
Tabla de Contenidos: ... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...
Enlace del recurso
Electrónico eBook
15
por Malizia, Alessio., Malizia, Alessio.
Publicado 2006
Tabla de Contenidos: ... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...
Enlace del recurso
Electrónico eBook
17
Publicado 2011
Tabla de Contenidos: ... GUI Generation with Optimization for Screens with Limited Resolution -- 3.1.3. Process-Centred Design...
Enlace del recurso
Electrónico eBook
18
Publicado 2014
Tabla de Contenidos: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
Enlace del recurso
Electrónico eBook
19
Publicado 2011
Tabla de Contenidos: ... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...
Enlace del recurso
Electrónico eBook
20
Publicado 2005
Tabla de Contenidos: ...) -- Statistical Tools for Digital Forensics -- Relative Generic Computational Forensic Techniques -- Session 4...
Enlace del recurso
Electrónico eBook