the proceedings contain 25 papers. the special focus in this conference is on Relational and Algebraic Methods in Computer Science. the topics include: Variable Side Conditions and Greatest Relations in Algebraic Sepa...
ISBN:
(纸本)9783642210693
the proceedings contain 25 papers. the special focus in this conference is on Relational and Algebraic Methods in Computer Science. the topics include: Variable Side Conditions and Greatest Relations in Algebraic Separation logic;an Algebraic Approach to Preference Relations;relational and Multirelational Representation theorems for Complete Idempotent Left Semirings;using Bisimulations for Optimality Problems in Model Refinement;pathfinding through Congruences;towards a Typed Omega Algebra;towards an Algebra of Routing Tables;dependently-Typed Formalisation of Relation-Algebraic Abstractions;omega Algebras and Regular Equations;social Networks: Prestige, Centrality, and Influence: (Invited Paper);on Probabilistic Kleene Algebras, Automata and Simulations;ampersand: Applying Relation Algebra in Practice;programming from Galois Connections;constructions around Partialities;splitting Atoms in Relational Algebras;relational Heterogeneity Relaxed by Subtyping;synthesising Terminating Tableau Calculi for Relational logics: (Invited Paper);from Arrow’s Impossibility to Schwartz’s Tournament Equilibrium Set: (Invited Tutorial);Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL: (Invited Tutorial);explaining Voting Paradoxes;Including Arrow’s and Sen’s theorems: (Invited Tutorial);relation Algebraic Approaches to Fuzzy Relations: (Invited Tutorial);a First-Order Calculus for Allegories;relational Modelling and Solution of Chessboard Problems.
In this paper we describe a new approach to the application of evolutionary stochastic search in inductivelogicprogramming (ILP). Unlike traditional approaches that focus on evolving populations of logical clauses, ...
详细信息
ISBN:
(纸本)9781450300728
In this paper we describe a new approach to the application of evolutionary stochastic search in inductivelogicprogramming (ILP). Unlike traditional approaches that focus on evolving populations of logical clauses, our refinement-based approach uses the stochastic optimization process to iteratively adapt initial working clause. Utilization of context-sensitive concept refinements (adaptations) helps the search operations to produce mostly syntactically correct concepts and enables using available background knowledge both for efficiently restricting the search space and for directing the search. thereby, the search is more flexible, less problem-specific and the framework can be easily used with any stochastic search algorithm within ILP domain. Experimental results on several data sets verify the usefulness of this approach.
Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through points-to assertions. However;separation logic's take on assertions does not;match well wit...
详细信息
ISBN:
(纸本)9783642134630
Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through points-to assertions. However;separation logic's take on assertions does not;match well withthe classical view of assertions as boolean, side effect-free;potentially heap-dependent expressions front the host programming language familiar to many developers. In this paper;we propose a variant of separation logic where side effect-free expressions from the host programming language, such as pointer dereferences and invocations of pure methods, can be used in assertions. We modify the symbolic execution-based verification algorithm used in Smallfoot to support mechanized checking of our variant of separation logic. We have implemented this algorithm in a tool and used the tool to verify some interesting programming patterns.
Tsunami is a series of water waves caused by submarine earthquakes leading to the displacement of a large volume of water. the earliest known tsunami was recorded in 1450 B.C. Existing methods to predict the occurrenc...
详细信息
ISBN:
(纸本)9780769540160
Tsunami is a series of water waves caused by submarine earthquakes leading to the displacement of a large volume of water. the earliest known tsunami was recorded in 1450 B.C. Existing methods to predict the occurrence of tsunami depend on humans to make the decisions. In this paper we propose an intelligent system for predicting tsunami on a real time basis which uses the fuzzy type of reasoning. the project was implemented using the LabVIEW programming interface. the advantage of this system is that it can operate autonomously and universally thereby allowing its deployment in uninhabitable and remote places.
the proceedings contain 43 papers. the topics discussed include: applying PVS background theories and proof strategies in invariant based programming;proof obligation generation and discharging for recursive definitio...
ISBN:
(纸本)3642169007
the proceedings contain 43 papers. the topics discussed include: applying PVS background theories and proof strategies in invariant based programming;proof obligation generation and discharging for recursive definitions in VDM;correct-by-construction model transformations from partially ordered specifications in Coq;decision procedures for the temporal verification of concurrent lists;an improved decision procedure for propositional projection temporal logic;a semantic model for service composition with coordination time delays;compensable WorkFlow nets;automatically testing web services choreography with assertions;applying ordinary differential equations to the performance analysis of service composition;verifying heap-manipulating programs with unknown procedure calls;and API conformance verification for Java programs.
the proceedings contain 26 papers. the topics discussed include: logicprogramming for data warehouse conceptual schema validation;a model-driven heuristic approach for detecting multidimensional facts in relational d...
ISBN:
(纸本)3642151043
the proceedings contain 26 papers. the topics discussed include: logicprogramming for data warehouse conceptual schema validation;a model-driven heuristic approach for detecting multidimensional facts in relational data sources;physical design and implementation of spatial data warehouses supporting continuous fields;physical design and implementation of spatial data warehouses supporting continuous fields;a graph-based clustering scheme for identifying related tags in folksonomies;frequent sub-graph mining on edge weighted graphs;yet another algorithms for selecting bitmap join indexes;speeding up queries in column stores: a case for compression;using transitivity to increase the accuracy of sample-based Pearson correlation coefficients;the NOX framework: native language queries for business intelligence applications;and development of a business intelligence environment for e-Gov using open source technologies.
the representation of knowledge by the object-oriented programming technique represents a tool for formulating theories that are as exact as those formulated by traditional ways of mathematics and formal logic. Moreov...
详细信息
ISBN:
(纸本)9789549260014
the representation of knowledge by the object-oriented programming technique represents a tool for formulating theories that are as exact as those formulated by traditional ways of mathematics and formal logic. Moreover, this representation is suited to formalize knowledge systems on many material entities and science on them and automatically to invert the formulations into computer models. Striking is the fact that similar attempts existed already in the Aristotelian ontology and especially in his "hylemorphism". Interesting factor is that the theories can be nested so that elements of one of them are formulated as carriers of (other) knowledge systems. Real applications that led to running computer models will be presented in the paper, together with speciphication of the essential properties of the object-oriented programming.
We study the problem of reasoning from incoherent answer set programs, i.e., from logic programs that do not have an answer set due to cyclic dependencies of an atom from its default negation. As a starting point we c...
详细信息
the current lack of a standard methodology for data warehouse design has led to have many possible lifecycles. In some of them, the validation of the data warehouse conceptual schema is a specific process that precede...
详细信息
the educational approach is a three-step process implying a cognitive, a self-tooling and a customization phase which are based on the investigation of the community's educational needs. the paper details on the a...
详细信息
the educational approach is a three-step process implying a cognitive, a self-tooling and a customization phase which are based on the investigation of the community's educational needs. the paper details on the advantages of new techniques of e-Learning driven by BPMN (Business Process Modeling Notation) services. the implementation is oriented on training needs analysis and instructional design for vocational training of computer networks technicians and engineers. the BPEL approach is done on two platforms - VCP (Virtual Community Platform) and BizAgi (Business Agile programming), with emphasize on portability of the accomplished (educational) service logic based on XPDL (XML for Process Definition Language).
暂无评论