Search Results - interactive normalization programming programming control https

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming programming » programming programmed , programming program
programming control » programming contract , programming contest , programming context
https » http

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Recursion -- Arithmetical Proofs of Strong Normalization Results for the Symmetric ??-Calculus -- Subtyping...”
View full text

Electronic eBook

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images...”
View full text

Electronic eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
View full text

Electronic eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... Controlled Power Saving Scheme -- Program Phase Detection Based Dynamic Control Mechanisms for Pipeline Stage...”
View full text

Electronic eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
View full text

Electronic eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...”
View full text

Electronic eBook

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Lectures -- Full Completeness: Interactive and Geometric Characterizations of the Space...”
View full text

Electronic eBook

Progress in Artificial Intelligence 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, a...

Published 2007

Table of Contents: “... -- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems -- Application of Logic...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings /

Published 2010

Table of Contents: “... Design -- Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People...”
View full text

Electronic eBook

Optimized Bayesian Dynamic Advising Theory and Algorithms /

Published 2006

Table of Contents: “...: design part -- Learning with normal factors and components -- Design with normal mixtures -- Learning...”
View full text

Electronic eBook

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... to Resolve Feature Interactions in Control Systems -- Properties Evaluation of an Approach Based...”
View full text

Electronic eBook

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

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings /

Published 2006

Table of Contents: “... Information Systems -- Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Published 2007

Table of Contents: “... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”
View full text

Electronic eBook

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revi...

Published 2006

Table of Contents: “... Hierarchy -- Using Social Commitments to Control the Agents’ Freedom of Speech -- Practical Issues...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Shape and Kinematics Features -- Illumination Normalization for Color Face Images -- Real-Time Detection...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Published 2007

Table of Contents: “... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”
View full text

Electronic eBook

Frontiers in Computational and Systems Biology

Published 2010

Table of Contents: “... Prediction and Gene Regulation by Small RNAs -- Some Critical Data Quality Control Issues of Oligoarrays...”
View full text

Electronic eBook

Narrow Search