Search Results - interactive normalization programming problems constraints https

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
problems constraints » problem constraints , problems constrained , problem constraint
constraints https » constraints haptic , constraints data , constraints chap

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
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: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
View full text

Electronic eBook

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: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Published 2007

Table of Contents: “... for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”
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

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Published 2014

Table of Contents: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
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: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
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

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

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...”
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: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
View full text

Electronic eBook

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... in Infinite-Domain Quantified Constraint Satisfaction -- Towards an Implicit Characterization of NC k...”
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

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

Published 2006

Table of Contents: “...Invited Presentation -- The Semijoin Algebra -- Regular Papers -- Equational Constraint Solving Via...”
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 Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... for Possibilistic Normal Programs -- Knowledge-Based Systems and Multi-Agent Systems Estimating the Number of Test...”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... Management Using Multi-objective Evolutionary Algorithm -- Normalized Normal Constraint Algorithm Based Multi...”
View full text

Electronic eBook

Fuzzy Optimization Recent Advances and Applications /

Published 2010

Table of Contents: “... Programming Problems with Interactive Fuzzy Numbers -- Possibilistic Optimization Tasks with Mutually...”
View full text

Electronic eBook

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... of multi-field flow problems -- Stochastic control of econometric models for Slovenia -- The optimal...”
View full text

Electronic eBook

Narrow Search