Sciweavers

    1036 search results - page 182 / 208
    » Incompleteness of Behavioral Logics
    Sort
    View
    BMCBI
    2010
    109views more  BMCBI 2010»
    FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
    13 years 8 months ago
    FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
    Download  www.cse.sc.edu
    Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
    Stephanie Zierke, Jason D. Bakos
    claim paper
    Read More »
    IJVR
    2006
    178views more  IJVR 2006»
    Scene Synchronization in Close Coupled World Representations Using SCIVE
    13 years 8 months ago
    Scene Synchronization in Close Coupled World Representations Using SCIVE
    Download  trinity.inf.uni-bayreuth.de
    This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
    Marc Erich Latoschik, Christian Fröhlich, Ale...
    claim paper
    Read More »
    LISP
    2008
    105views more  LISP 2008»
    Proving operational termination of membership equational programs
    13 years 8 months ago
    Proving operational termination of membership equational programs
    Download  www.lri.fr
    Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
    Francisco Durán, Salvador Lucas, Claude Mar...
    claim paper
    Read More »
    FSS
    2007
    102views more  FSS 2007»
    Extraction of fuzzy rules from support vector machines
    13 years 8 months ago
    Extraction of fuzzy rules from support vector machines
    Download  sci2s.ugr.es
    The relationship between support vector machines (SVMs) and Takagi–Sugeno–Kang (TSK) fuzzy systems is shown. An exact representation of SVMs as TSK fuzzy systems is given for ...
    Juan Luis Castro, L. D. Flores-Hidalgo, Carlos Jav...
    claim paper
    Read More »
    PERVASIVE
    2006
    Springer
    115views Applied Computing» more  PERVASIVE 2006»
    Scalability in a Secure Distributed Proof System
    13 years 8 months ago
    Scalability in a Secure Distributed Proof System
    Download  www.cs.dartmouth.edu
    Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
    Kazuhiro Minami, David Kotz
    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.