الصفحة 59
الصفحة 59
Long-Term Preservation of Digital Documents : Principles and Practices
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research challenges and organization efforts. Uwe Borghoff and his coauthors address the problem of storing, reading, and using digital data for periods longer than 50 years. They briefly describe several markup and document description languages like TIFF, PDF, HTML, and XML, explain the most important techniques such as migration and emulation, and present the OAIS (Open Archival Information System) Reference Model. To complement this background information on the technology issues the authors present the most relevant international preservation projects, such as the Dublin Core Metadata Initiative, and experiences from sample projects run by the Cornell University Library and the National Library of the Netherlands. A rated survey list of available systems and tools completes the book.
Logics in Artificial Intelligence ; 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
Logic-Based Program Synthesis and Transformation ; 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Contains a selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, software architectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this feed back in the published papers.
Logical foundations of computer science ; International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical Data Modeling : What it is and How to do it
LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter experts, (2) information technology professionals, (3) advanced students in Computer Science, Management Information Systems, and e-Business. Its purpose is to outline the basics of logical data modeling—specifically, data modeling for relational database management systems—in simple, practical terms and in a business context. The focus on relational data modeling is consciously made because it is superior in modeling real business activities.
Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.
Logical aspects of computational linguistics ; 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks.- Contributed Papers.- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.- An Algebraic Approach to French Sentence Structure.- Deductive Parsing of Visual Languages.- Lambek Grammars Based on Pregroups.- An Algebraic Analysis of Clitic Pronouns in Italian.- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard.- Polarized Non-projective Dependency Grammars.- On Mixing Deduction and Substitution in Lambek Categorial Grammars.- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations.- A Characterization of Minimalist Languages.- of Speech Tagging from a Logical Point of View.- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars.- Recognizing Head Movement.- Combinators for Paraconsistent Attitudes.- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences.- Atomicity of Some Categorially Polyvalent Modifiers.
Logic, Language, and Computation ; 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.
Logic Programming and Nonmonotonic Reasoning ; 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic reasoning, knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practi...
Logic Programming ; Vol. 3668 : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: – CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems – CSLP 2005: Constraint Solving and Language Processing – WCB 2005: Constraint Based Methods for Bioinformatics – WLPE 2005: Logic-Based Methods in Programming Environments – MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools – CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3835 : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3452 : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess.
Logic for Programming, Artificial Intelligence, and Reasoning ; 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Logic and Theory of Algorithms ; 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.
Location- and Context-Awareness ; Vol. 3987 ; 2nd International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings
Contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May of 2006. As computing moves increasingly into the everyday world, the importance of location and context knowledge grows. The range of contexts encountered while sitting at a desk working on a computer is very limited compared to the large variety of situations experienced away from the desktop. For computing to be relevant and useful in these situations, the computers must have knowledge of the user’s activity, resources, state of mind, and goals, i.e., the user’s context, of which location is an important indicator. This workshop was intended to present research aimed at sensing, inferring, and using location and context data in ways that help the user.
Location- and Context-Awareness ; Vol. 3479 ; First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings
The workshop was organized by the Institute of Communications and Navigation of the German Aerospace Center (DLR) in Oberpfa?enhofen, and the Mobile and Distributed Systems Group of the University of Munich. During the workshop, novel positioning algorithms and location sensing techniques were discussed, comprising not only enhancements of singular systems, like positioning in GSM or WLAN, but also hybrid technologies, such as the integration of global satellite systems with inertial positioning. Furthermore, improvements in sensor technology, as well as the integration and fusion of sensors, were addressed both on a theoretical and on an implementation level. Personal and confidential data, such as location data of users, have p- found implications for personal information privacy. Thus privacy protection, privacy-oriented location-aware systems, and how privacy aspects the feasibility and usefulness of systems were also addressed in the workshop.
Location- and context-awareness ; 3rd International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September of 2007. Computing has become mobile, wireless, and portable. The rangeof contexts encountered while sitting at a desk working on a computer is very limited c- pared to the large variety of situations experienced away from the desktop.
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying and unifying data access from any data source. With LINQ, you can write more elegant and flexible code—not just to access databases and files, but to manipulate data structures and XML. This book is a short, yet comprehensive guide to the major features of LINQ and the significant enhancements introduced with .NET 3.5. There is no better source for getting a head–start on the future of these technologies than this book.
Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.
