Search Results - interactive normalization programming programming concepts 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 concepts » programming congresses
https » http

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
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: “... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

Pro Python

by Alchin, Marty., Alchin, Marty., Browning, J. Burton.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Pro Python

by Alchin, Marty., Alchin, Marty.
Published 2010

Subjects: “...Python (Computer program language)....”
View full text

Electronic eBook

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

by Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Published 2015

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
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

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: “...: Finding the Right Level of Generality -- Combining Normal Communication with Ontology Alignment -- Towards...”
View full text

Electronic eBook

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Published 2006

Table of Contents: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
View full text

Electronic eBook

Frontiers in Computational and Systems Biology

Published 2010

Table of Contents: “... Domain–Domain Interactions -- Irreversible Stochastic Processes, Coupled Diffusions and Systems...”
View full text

Electronic eBook

Advances in Multimedia Information Processing -- PCM 2010, Part I 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings /

Published 2010

Table of Contents: “... Location of a Webcam -- Improving Video Concept Detection Using Spatio-Temporal Correlation -- Novel...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Approach to Video Concept Detection -- Poster I -- An Implicit Active Contour Model for Feature Regions...”
View full text

Electronic eBook

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “... for the Conversion of MARC Records to a Normalized FRBR Implementation -- Digital Libraries and Archives Architecture...”
View full text

Electronic eBook

Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... Application Usage -- Context Based Trust Normalization in Service-Oriented Environments -- A Framework...”
View full text

Electronic eBook

Basic Radiotherapy Physics and Biology

by Chang, David S., Chang, David S., Lasley, Foster D., Das, Indra J., Mendonca, Marc S., Dynlacht, Joseph R.
Published 2014

Table of Contents: “... -- Interactions of Electromagnetic Radiation with Matter -- Interactions of Particulate Radiation with Matter...”
View full text

Electronic eBook

Expressive Order Confirming Sentiments in Social Actions /

by Heise, David R., Heise, David R.
Published 2007

Table of Contents: “... -- Other Capabilities -- Errors -- Different Versions of Interact -- Further Readings -- Basic Concepts...”
View full text

Electronic eBook

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Published 2007

Table of Contents: “... of Transport Barriers in Chaotic Mixing -- On the Treatment of Long-range Electrostatic Interactions...”
View full text

Electronic eBook

Research and the Quality of Science Education

Published 2005

Table of Contents: “...From Normal to Revolutionary Science Education -- Reflections on a Problem Posing Approach -- How...”
View full text

Electronic eBook

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...”
View full text

Electronic eBook

Narrow Search