We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.

Search Results

Showing 101-120 of 348 results

  1. Introduction to Maple

    Maple is a symbolic calculation program, capable of dealing with both numeric and symbolic quantities. When properly harnessed, it can be a great...
    Jon H. Davis in Differential Equations with Maple
    Chapter 2001

  2. Implementing Metadata on the Web: A Conceptual, NKRL-based Approach

    We introduce some of the data structures proper to NKRL (Narrative Knowledge Representation Language), a language expressly designed for...
    Gian Piero Zarri in Research and Development in Intelligent Systems XVII
    Conference paper 2001

  4. Basic Definitions and Facts

    Symbol is treated here as a primitive entity as point or line in geometry. Let Con = {f α...
    Janusz Czelakowski in Protoalgebraic Logics
    Chapter 2001

  5. Advanced Modal Logic

    This chapter is a continuation of the preceding one, and we begin it at the place where the authors of Basic Modal Logic left us about fifteen years...
    M. Zakharyaschev, F. Wolter, A. Chagrov in Handbook of Philosophical Logic
    Chapter 2001

  8. Network Traffic Modeling

    The first six chapters of this book have given you, the reader, the basics of queueing theory and performance evaluation for computer networks and...
    Thomas G. Robertazzi in Computer Networks and Systems
    Chapter 2000

  9. User-Defined Functions

    Stored procedures and views give you a lot of power and flexibility in terms of programmatic capabilities, security, and performance....
    Itzik Ben-Gan, Tom Moreau in Advanced Transact-SQL for SQL Server 2000
    Chapter 2000

  11. Architecture of Decision Support Systems

    After explaining model-based decision support and whom it might support, we turn now to the question of what decision support systems are. In order...
    Marek Makowski, Andrzej P. Wierzbicki in Model-Based Decision Support Methodology with Environmental Applications
    Chapter 2000

  12. Techniques of Programming

    This chapter provides answers to a host of everyday questions about programming: How do I access tables, cells, and regions of cells? How do I carry...
    Michael Kofler in Definitive Guide to Excel VBA
    Chapter 2000

  13. A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation

    The paper presents a case study in the development of software modularisation tools. The tools are produced by using a system for develo** code...

    Gerardo Canfora, Andrea De lucia, Giuseppe A. Di Lucca in Automated Software Engineering
    Article 01 July 1999

  14. System Synthesis Methodology

    The design of concurrent real-time embedded systems, and embedded software in particular, is a difficult task, which is hard to perform manually due...
    Filip Thoen, Francky Catthoor in Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
    Chapter 2000

  15. Equivalence of Gaussian Measures and Prediction

    The basic message of the results of 3.8 is that for interpolating a mean 0 weakly stationary random field based on observations on an infinite square...
    Michael L. Stein in Interpolation of Spatial Data
    Chapter 1999

  16. DEFACTO: A design environment for adaptive computing technology

    The lack of high-level design tools hampers the widespread adoption of adaptive computing systems. Application developers have to master a wide range...
    Kiran Bondalapati, Pedro Diniz, ... Heidi Ziegler in Parallel and Distributed Processing
    Conference paper 1999

  17. Stochastic unraveling of relativistic quantum measurements

    A detailed discussion of the physical significance of the relativistic quantum state diffusion model developed by the authors is presented. The...
    Heinz-Peter Breuer, Francesco Petruccione in Open Systems and Measurement in Relativistic Quantum Theory
    Conference paper 1999

  18. The Mobile Agent Paradigm Meets Digital Document Technology: Designing for Autonomous Media Collection

    Mobile agents have emerged as a new paradigm for computing and are proving to be more flexible and dynamic than the average client in the...
    Benjamin Falchuk, Ahmed Karmouch in Multimedia Document Systems in Perspectives
    Chapter 1999

  19. A Fixpoint Semantics for Reasoning about Finite Failure

    Our aim is to define a new fixpoint semantics which correctly models finite failure. In order to achieve this goal a new fixpoint operator is derived...
    Roberta Gori in Logic for Programming and Automated Reasoning
    Conference paper 1999

  20. Portfolio Analysis with Symmetric Stable Paretian Returns

    We analyze a portfolio selection problem in a market where asset returns have jointly symmetric stable Paretian distribution. Univariate stable...
    Andrea Gamba in Current Topics in Quantitative Finance
    Conference paper 1999
Did you find what you were looking for? Share feedback.