Search Results - constructive computing programming revision concepts

1

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Published 2012

Table of Contents: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
View full text

Electronic eBook

2

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Published 2013

Table of Contents: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
View full text

Electronic eBook

3

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal...

Published 2008

Table of Contents: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
View full text

Electronic eBook

4

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
View full text

Electronic eBook

5

Handbook of Portfolio Construction Contemporary Applications of Markowitz Techniques /

Published 2010

Table of Contents: “...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...”
View full text

Electronic eBook

6

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

7

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS...

Published 2005

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

Electronic eBook

8

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
View full text

Electronic eBook

10

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
View full text

Electronic eBook

11

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
View full text

Electronic eBook

12

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Published 2013

Table of Contents: “... Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination...”
View full text

Electronic eBook

13

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “... and Rescue System -- Computationally Efficient Mutual Entity Authentication in Wireless Sensor Networks...”
View full text

Electronic eBook

14

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Published 2010

Table of Contents: “... International Workshop on Empirical Research in Business Process Management (ER-BPM 2009) -- The Concept...”
View full text

Electronic eBook

15

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised...

Published 2010

Table of Contents: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
View full text

Electronic eBook

16

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

Published 2012

Table of Contents: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
View full text

Electronic eBook

17

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

18

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...”
View full text

Electronic eBook

19

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... in DS-CDMA Systems -- Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic...”
View full text

Electronic eBook

20

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”
View full text

Electronic eBook

Narrow Search