الصفحة 15
الصفحة 15
Advances in information retrieval ; 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital libraries, efficiency, and information retrieval theory. Also included are 3 tutorial and 4 workshop presentations.
Advances in grid and pervasive computing ; 3rd International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC 2008, held in Kunming, China, in May 2008.
Advances in databases and information systems ; 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS 2021, held in Tartu, Estonia, in August 2021. The 18 full papers presented together with 3 keynotes were carefully reviewed and selected from 70 submissions. The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. They are organized in 5 sessions: patterns and events, social media and text mining, indexes, queries and constraints, high-dimensional data and data streams, and data integration.
Advances in conceptual modeling : Theory and practice ; ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings
Constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International Conference on Conceptual Modeling, ER 2006, in Tucson, AZ, USA in November 2006. The 39 revised full papers presented together with the outlines of three tutorials were carefully reviewed and selected from 95 submissions.
Advances in conceptual modeling : Foundations and applications ; ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
Covering data warehouses, security, model transformation, state diagrams development and model quality.
Advances in computer science - ASIAN 2006. Secure software and related issues ; 11th Asian computing science conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Cover theory, practice, applications, and experiences related to secure software.
Advances in computer science – ASIAN 2007. Computer and network security ; 12th Asian computing science conference, Doha, Qatar, December 9-11, 2007, Proceedings
Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, access control, protocols, intrusion detection, network security, and safe execution.
Adaptive Multimedial Retrieval : Retrieval, User, and Semantics ; 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia Retrieval, AMR 2007, held in Paris, France, in July 2007.
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on November 8, 2006 during the 25th International Conference on Conceptual Modeling, ER 2006, held November 6–9,2006, in Tucson, Arizona, plus several invited papers.These papers plus the invited papers represent the current thinking in conceptual modeling research, The active model can only be realized through technology integration (e.g., AI, software engineering, information technology,cognitive science, art and sciences, philosophy, etc.)
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
