Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming formal » programming farm, programming facial, programming norm
formal concepts » formal concept
concepts a » concepts _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming formal » programming farm, programming facial, programming norm
formal concepts » formal concept
concepts a » concepts _
1
Published 2005
Table of Contents:
“... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”View full text
Electronic
eBook
3
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...Scalable Timing Analysis with Refinement -- A Formally Verified Hybrid System for the Next...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Models and Software Model Checking of a Distributed File Replication System -- From “Formal Methods...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...-10 -- Research Papers -- A Model to Study Phase Transition and Plateaus in Relational Learning -- Top...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
12
Table of Contents:
“...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”View full text
Electronic
eBook
14
Table of Contents:
“... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
View full text
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...”View full text
Electronic
eBook
19
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
20
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook