Sebanyak 461 item atau buku ditemukan

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology.

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003.

Logic Programming '87

Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

CHASSIS, FUJITSU LIMITED 140, Miyamoto, Numazu, Shizuoka 410-03, Japan
ABSTRACT This paper is concerned with an algorithm for identifying an unknown
regular language from examples of its members and non-members. The
algorithm is based on the model inference algorithm given by Shapiro. In our
setting, however, a given first order language for describing a target logic
program has countably many unary predicate symbols: qo, qi, q%, . . .. On the
other hand, the oracle ...

Logic Versus Approximation

Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday

Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself. However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.

Problem-specific algorithms vs. heuristics, exact optimization vs. approximation
vs. heuristic solutions, guaranteed run time vs. expected run time vs.
experimental run time analysis. Here, a framework for a theory of randomized
search heuristics is presented. After a brief history of discrete optimization,
scenarios are discussed where randomized search heuristics are appropriate.
Different randomized se- arch heuristics are presented and it is argued why the
expected optimization time ...

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.

This paper studies one of the best-known quantum algorithms — Shor's
factorisation algorithm — via categorical distributivity. A key aim of the paper is to
provide a minimal set of categorical requirements for key parts of the algorithm, in
order to establish the most general setting in which the required operations may
be performed efficiently. We demonstrate that Laplaza's theory of coherence for
distributivity [13,14] provides a purely categorical proof of the operational
equivalence of ...

The 2015 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2015 Postgraduate Colloquium : Conference Date, 15-16 April 2015 : Location, Selangor, Malaysia

Persidangan Bersama Geosains UKM - ITB 2006

Geosains Dalam Pembangunan Eknolomi Dan Kesejahteraan Serantau, Hotel Bayview Langkawi, Kedah Darul Aman, Malaysia, 19-20 Disember 2006 : Buku Abstrak