Search Results - interactive normalization programming problems based https

1

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

Published 2015

Table of Contents: “... Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... Management for Interactive Multi-objective Evolutionary Optimization -- Dominance-Based Rough Set Approach...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
View full text

Electronic eBook

4

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

5

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

Published 2013

Table of Contents: “... -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental...”
View full text

Electronic eBook

6

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

7

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 Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...”
View full text

Electronic eBook

8

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

Published 2007

Table of Contents: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

10

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

11

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

Published 2014

Table of Contents: “... Water Drops Algorithm to Solve Graph Based Travelling Salesman Problem -- Optimization of Complex...”
View full text

Electronic eBook

12

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: “...-Based Rendering -- Development of an Interactive Visual Data Mining System for Atmospheric Science -- A...”
View full text

Electronic eBook

13

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

Published 2008

Table of Contents: “...-Related Haplotyping Problems -- Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control...”
View full text

Electronic eBook

14

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

Published 2010

Table of Contents: “... to the Matrix Bandwidth Minimization Problem -- Machine-Learning Based Co-adaptive Calibration: A Perspective...”
View full text

Electronic eBook

15

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

16

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

Published 2014

Table of Contents: “... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”
View full text

Electronic eBook

17

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