Search Results - interactive normalization programming program context https

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming program » programming programmed , programming problem , programming problems
program context » program concept , programs contents , problem context
context https » context helps , concepts https , control https

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

Published 2015

Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... on Algebras -- An Abstract Algebraic Logic View on Judgment Aggregation -- Context-dependent Utilities: A...”
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: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
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

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: “... Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context...”
View full text

Electronic eBook

Search Computing Trends and Developments /

Published 2011

Table of Contents: “... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”
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

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: “... on Normalized Dictionaries -- Ranking Object under Team Context -- Fact-Based Semantic Modeling...”
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: “... Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data...”
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: “... in the Context of Geocomputation -- A New Method to Model Neighborhood Interaction in Cellular Automata-Based...”
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: “... Modeling of Human Head Conductivity -- Mining Molecular Structure Data for the Patterns of Interactions...”
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: “...-Based Object Recognition -- Color Spectrum Normalization: Saliency Detection Based on Energy Re...”
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

Expressive Order Confirming Sentiments in Social Actions /

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

Table of Contents: “... Traits -- Gay Christians -- Deviance Sub-Cultures -- Non-Normalized Deviants -- Occupations -- Further...”
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: “... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”
View full text

Electronic eBook

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Published 2006

Table of Contents: “... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”
View full text

Electronic eBook

Narrow Search