Search Results - interaction https program development reconstructing https

1

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
View full text

Electronic eBook

2

Teacher Professional Development in Changing Conditions

Published 2005

Table of Contents: “... -- Comprehensive Development of Teachers Based on in-Depth Portraits of Teacher Growth -- Reconstructing Teacher...”
View full text

Electronic eBook

3

Recent Developments in Chinese Urban Planning Selected Papers from the 8th International...

Published 2015

Table of Contents: “...Chapter 1: Research of Beijing Automobile Exhaust Treatment Strategies Based on I/M System Program...”
View full text

Electronic eBook

4

ACL Injuries in the Female Athlete Causes, Impacts, and Conditioning Programs /

Published 2012

Table of Contents: “... Ruptures -- ACL Reconstruction: Chondroprotective Effects, Risks of Reinjury. Proposed Risk Factors...”
View full text

Electronic eBook

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings /

Published 2007

Table of Contents: “..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”
View full text

Electronic eBook

6

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Published 2005

Table of Contents: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
View full text

Electronic eBook

7

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Published 2014

Table of Contents: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
View full text

Electronic eBook

8

Plant Growth Signaling

Published 2008

Table of Contents: “... Growth Patterns on the Background of Photosynthetic Energy Gain and Interactions with the Environment...”
View full text

Electronic eBook

9

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Turbulence -- Direct Numerical Simulation of Fully-Developed Turbulent Channel Flow Using...”
View full text

Electronic eBook

10

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Adaptation of Coupled Sensorimotor Mappings: An Investigation towards Developmental Learning of Humanoids...”
View full text

Electronic eBook

11

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Reconstruction -- The Diagnostic Application of Brain Image Processing and Analysis System for Ischemic Stroke...”
View full text

Electronic eBook

12

Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012. Revised Selected Papers, Part II /

Published 2013

Table of Contents: “... Reconstruction with a Hand-held RGB-D Camera -- A Fusion Framework of Stereo Vision and Kinect for High-Quality...”
View full text

Electronic eBook

13

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... PBIL to Solve a Real-World Frequency Assignment Problem in GSM Networks -- Reconstruction of Networks...”
View full text

Electronic eBook

14

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007...

Published 2007

Table of Contents: “... -- Interactive System for Efficient Video Cartooning -- Virtual Reality Technology Used to Develop Didactic...”
View full text

Electronic eBook

15

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III /

Published 2010

Table of Contents: “... in Videos -- Driving Fatigue Detection Using Active Shape Models -- Outlier Removal in Stereo Reconstruction...”
View full text

Electronic eBook

16

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... for Interactive Level Set with Application to MR Image Segmentation -- Motion and Tracking -- Attention-Based...”
View full text

Electronic eBook

17

Entertainment Computing - ICEC 2010 9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings /

Published 2010

Table of Contents: “... Interaction -- DreamThrower: Creating, Throwing and Catching Dreams for Collaborative Dream Sharing...”
View full text

Electronic eBook

18

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... of Image Reconstruction from Projections -- Entrance Detection of Buildings Using Multiple Cues -- Spectrum...”
View full text

Electronic eBook

19

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings /

Published 2008

Table of Contents: “... Interaction and 3D Visualization -- “SketSha” – The Sketch Power to Support Collaborative Design...”
View full text

Electronic eBook

20

Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Tracking in Mediated Environments -- Reconstruct 3D Human Motion from Monocular Video Using Motion Library...”
View full text

Electronic eBook

Narrow Search