the proceedings contain 21 papers. the special focus in this conference is on Mechanisation of Relational Reasoning and Relational Scaling and Preferences. the topics include: A Relation-algebraic approach to graph st...
ISBN:
(纸本)3540003150
the proceedings contain 21 papers. the special focus in this conference is on Mechanisation of Relational Reasoning and Relational Scaling and Preferences. the topics include: A Relation-algebraic approach to graph structure transformation;emptiness relations in property systems;pregroups;dynamic view;interpretability of first-order dynamic logic in a relational calculus;relations in GUHA style data mining;groups in allegories;distributed conceptual structures;fuzzy relational images in computer science;a completeness theorem for extended order dependencies on relational attribute models in dedekind categories;double residuated lattices and their applications;interval bilattices and some other simple bilattices;interactive systems;relational constructions in goguen categories;a subintuitionistic logic and some of its methods;implementation of relational algebra using binary decision diagrams;calculating a relational program for transitive reductions of strongly connected graphs;calculating church-rosser proofs in kleene algebra;on the definition and representation of a ranking and tangent circle algebras.
Heuristic methods for the rejection of noisy training examples in the support vector machine (SVM) are introduced. Rejection of training errors, either offline or online, results in a sparser model that is less affect...
详细信息
this contribution addresses the application of Bayesian changepoint detectors (BCD) for the estimation of boundary location between speech units. A novel segmentation approach based on the family of Bayesian detectors...
详细信息
this topic provides a forum for the presentation of the latest research results and practical experience in parallel programming. Advances in algorithmic and programming models, design methods, languages, and interfac...
ISBN:
(纸本)9783540679561
this topic provides a forum for the presentation of the latest research results and practical experience in parallel programming. Advances in algorithmic and programming models, design methods, languages, and interfaces are needed fo construction of correct, portable parallel software with predictable performance on different parallel and distributed architectures.
this paper describes an algorithm for spoken language acquisition through natural interface based on the perception of speech and other information conveyed in continuous signal spaces. In this algorithm the grounded ...
详细信息
the proceedings contain 20 papers. the special focus in this conference is on theoretical and Practical Aspects of SPIN Model Checking. the topics include: Using model checking with automated abstraction, invariant ge...
ISBN:
(纸本)3540664998
the proceedings contain 20 papers. the special focus in this conference is on theoretical and Practical Aspects of SPIN Model Checking. the topics include: Using model checking with automated abstraction, invariant generation, and theorem proving;runtime efficient state compaction in spin;distributed-memory model checking with SPIN;partial order reduction in presence of rendez-vous communications with unless constructs and weak fairness;divide, abstract, and model-check;formal methods adoption;model checking for managers;integrated validation management for xspin;analyzing mode confusion via model checking;detecting feature interactions in the terrestrial trunked radio tetra network using promela and xspin;JAVA pathfinder, a translator from java to promela;a visual interface for promela;events in property patterns;assume-guarantee model checking of software;a framework for automatic construction of abstract promela models;model checking operator procedures;applying model checking in java verification;embedding a dialect of SDL in PROMELA and a dynamic extension of SPIN.
In the last few years increasing use has been made of structural operational semantics to study aspects of programming languages which traditionally have been analysed via denotational semantics. (the articles in the ...
详细信息
Finding the optimal conformation for fluorescent labeled nucleosides is difficult for standard GAs. We investigated the structure of molecule and of the resulting search space itself and concluded that the problem is ...
详细信息
A direct method for estimating the rotational motion between two image frames is developed. the algorithm does not require knowledge of image correspondences, optical flow or scene structure and only assumes approxima...
详细信息
the proceedings contain 31 papers. the special focus in this conference is on Advanced Information Systems Engineering. the topics include: Information systems modernization;planning support for cooperating transactio...
ISBN:
(纸本)9783540581130
the proceedings contain 31 papers. the special focus in this conference is on Advanced Information Systems Engineering. the topics include: Information systems modernization;planning support for cooperating transactions in EPOS;towards flexible process support with a CASE shell;a collaborative process-centered environment kernel;modelling cooperative work for workflow management;a groupware development support system with visual environment;results of a first empirical study on the relation between project scenario and success;goal decomposition and scenario analysis in business process reengineering;considering security requirements in the design of information systems;capturing semantics by object relativity;automated support for the development of formal object-oriented;capturing information systems requirements through enterprise and speech act modelling;representation and communication in information systems - a speech act based approach;a knowledge-based program transformation system;formalisation of data and process model reuse using hierarchic data types;modelling multiple views of common features in software reengineering for reuse;a hypertext-based tool for large scale software reuse;deriving transaction from deductive conceptual models of information systems;utilizing behavioral abstractions to facilitate maintenance during class evolution;a process view of methodologies;specifying software specification and design methods;a generic approach to support a way-of-working definition;designing a user-oriented query modification facility in object-oriented database systems;using visual ER query systems in real world applications and flexible classification and evolution in object-oriented databases.
暂无评论