Search Results - constructive approximation programming formal concepts a

1

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Published 2005

Table of Contents: “... and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio...”
View full text

Electronic eBook

2

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Published 2015

Table of Contents: “...Scalable Timing Analysis with Refinement -- A Formally Verified Hybrid System for the Next...”
View full text

Electronic eBook

3

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... in Description Logics -- Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms -- A...”
View full text

Electronic eBook

4

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....”
View full text

Electronic eBook

5

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
View full text

Electronic eBook

6

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”
View full text

Electronic eBook

7

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /

Published 2006

Table of Contents: “... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...”
View full text

Electronic eBook

8

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Published 2012

Table of Contents: “... Flipping Is Hard -- In-place Heap Construction with Optimized Comparisons, Moves, and Cache -- A Dichotomy...”
View full text

Electronic eBook

9

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Published 2008

Table of Contents: “... and Reasoning Interval-Based Temporal Knowledge -- A Formal Semantics-Preserving Translation from Fuzzy...”
View full text

Electronic eBook

10

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
View full text

Electronic eBook

11

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: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
View full text

Electronic eBook

12

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... for Implementing a SLMR Trading Strategy -- A Formalism for Causal Explanations with an Answer Set Programming...”
View full text

Electronic eBook

13

Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings /

Published 2007

Table of Contents: “... Crunchy Stuff -- New Architectures and Experience on Using Systems -- Automatically Constructing a...”
View full text

Electronic eBook

14

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

Published 2005

Table of Contents: “... Disorders -- An Intelligent Knowledge-Based Recommendation System -- A Formal Concept Analysis Approach...”
View full text

Electronic eBook

15

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
View full text

Electronic eBook

16

Computational Methods

Published 2006

Table of Contents: “... -- 3D NUMERICAL SIMULATION OF A LARGE SPAN DOUBLE-ARCH TUNNEL CONSTRUCTION -- AMPLITUDE FREQUENCY—LOAD...”
View full text

Electronic eBook

17

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
View full text

Electronic eBook

18

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Extension of Formal Concept Analysis for Information Retrieval -- Approximation of Feature Vectors...”
View full text

Electronic eBook

19

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... Construction of Virtual Organizations in Grid Computing Systems -- A Graph-Theoretic Network Security Game...”
View full text

Electronic eBook

Narrow Search