Sciweavers

    789 search results - page 92 / 158
    » A Formal Model for Epistemic Interactions
    Sort
    View
    ECAI
    2008
    Springer
    126views Artificial Intelligence» more  ECAI 2008»
    Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)
    13 years 9 months ago
    Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)
    Download  www.cs.vu.nl
    acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
    Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...
    claim paper
    Read More »
    WSC
    1997
    104views Modeling And Simulation» more  WSC 1997»
    A Simulation Environment for the Coordinated Operation of Multiple Autonomous Underwater Vehicles
    13 years 9 months ago
    A Simulation Environment for the Coordinated Operation of Multiple Autonomous Underwater Vehicles
    Download  www.informs-sim.org
    A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
    João Borges de Sousa, Aleks Göllü
    claim paper
    Read More »
    ICSM
    2007
    IEEE
    119views Software Engineering» more  ICSM 2007»
    On the prediction of the evolution of libre software projects
    14 years 2 months ago
    On the prediction of the evolution of libre software projects
    Download  turingmachine.org
    Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
    Israel Herraiz, Jesús M. González-Ba...
    claim paper
    Read More »
    AMW
    2009
    130views Knowledge Management» more  AMW 2009»
    Semantic Integrity Constraints for Spatial Databases
    13 years 9 months ago
    Semantic Integrity Constraints for Spatial Databases
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
    Loreto Bravo, M. Andrea Rodríguez
    claim paper
    Read More »
    ENTCS
    2008
    83views more  ENTCS 2008»
    Executable Specifications for Real-Time Distributed Systems
    13 years 8 months ago
    Executable Specifications for Real-Time Distributed Systems
    Download  www.cs.umd.edu
    One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
    Arnab Ray, Rance Cleaveland
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.