Search Results - intelligence comparing programs program foundation https

Search alternatives:
intelligence comparing » intelligence computing , intelligence combining , intelligence coping
comparing programs » camping programs , combining programs , converting programs
program foundation » prosea foundation , program formulation , programming foundations
programs program » programming program
foundation https » foundations https , foundations http , function https

Foundations of Intelligent Systems 12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings /

Published 2010

Table of Contents: “...Invited Papers -- Information Retrieval Based on Statistical Language Models -- Intelligent Agent...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID...”
View full text

Electronic eBook

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings /

Published 2012

Table of Contents: “...Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models...”
View full text

Electronic eBook

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI...

Published 2007

Table of Contents: “... Factors in Comparative Judgments About Large Numerosities -- Augmented Metacognition Addressing Dynamic...”
View full text

Electronic eBook

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Published 2007

Table of Contents: “... of Proofs (Abstract) -- The Symbolic Approach to Repeated Games (Abstract) -- Proofs, Programs and Abstract...”
View full text

Electronic eBook

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Published 2008

Table of Contents: “... -- Applications 1 -- Intelligent Systems Applied to Optimize Building’s Environments Performance -- A Comparative...”
View full text

Electronic eBook

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors -- Applications -- Comparative Analysis...”
View full text

Electronic eBook

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Published 2006

Table of Contents: “...Regular Sessions: Artificial Immune Systems -- Comparing Energetic and Immunological Selection...”
View full text

Electronic eBook

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy /

Published 2006

Table of Contents: “...Foundations and Rationale of Open Source software -- On the Weickian Model in the Context of Open...”
View full text

Electronic eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings /

Published 2013

Table of Contents: “...: BDDIntKt System Description -- Towards Modularly Comparing Programs Using Automated Theorem Provers...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Published 2015

Table of Contents: “... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”
View full text

Electronic eBook

Perspectives of Neural-Symbolic Integration

Published 2007

Table of Contents: “...Structured Data and Neural Networks -- Kernels for Strings and Graphs -- Comparing Sequence...”
View full text

Electronic eBook

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings /

Published 2013

Table of Contents: “... Consequence: A Comparative Appraisal -- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System -- Public...”
View full text

Electronic eBook

Applied Computational Materials Modeling Theory, Simulation and Experiment /

Published 2007

Table of Contents: “... of computational and experimental techniques in intelligent design of age-hardenable aluminum alloys -- Multiscale...”
View full text

Electronic eBook

Transactions on Computational Science II

Published 2008

Table of Contents: “... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...”
View full text

Electronic eBook

Digital Image Processing An Algorithmic Introduction Using Java /

by Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Published 2008

Table of Contents: “... Cosine Transform (DCT) -- Geometric Operations -- Comparing Images....”
View full text

Electronic eBook

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015,...

Published 2015

Table of Contents: “... -- State Machine Based Architecture to Increase Flexibility of Dual-Arm Robot Programming -- A Cellular...”
View full text

Electronic eBook

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I /

Published 2005

Table of Contents: “... -- Characterizations of Attributes in Generalized Approximation Representation Spaces -- Rough-Algebraic Foundations...”
View full text

Electronic eBook

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Published 2008

Table of Contents: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
View full text

Electronic eBook

Narrow Search