Search Results - interactive normalization programming programming context 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 context » programming contest , programming convex , programming concept
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

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

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

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

Mathematical and Statistical Methods for Actuarial Sciences and Finance

Published 2014

Table of Contents: “.... Montealegre) -- Dynamic tracking error with shortfall control using stochastic programming (D. Barro, E...”
View full text

Electronic eBook

Narrow Search