Sciweavers

    11345 search results - page 2245 / 2269
    » Foundations of Computer Science
    Sort
    View
    AI
    2008
    Springer
    143views Artificial Intelligence» more  AI 2008»
    Modelling and solving temporal reasoning as propositional satisfiability
    13 years 7 months ago
    Modelling and solving temporal reasoning as propositional satisfiability
    Download  www.int.gu.edu.au
    Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
    Duc Nghia Pham, John Thornton, Abdul Sattar
    claim paper
    Read More »
    AROBOTS
    2010
    180views more  AROBOTS 2010»
    Reactive direction control for a mobile robot: a locust-like control of escape direction emerges when a bilateral pair of model
    13 years 7 months ago
    Reactive direction control for a mobile robot: a locust-like control of escape direction emerges when a bilateral pair of model
    Download  eprints.lincoln.ac.uk
    Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
    Shigang Yue, Roger D. Santer, Yoshifumi Yamawaki, ...
    claim paper
    Read More »
    APPML
    2007
    101views more  APPML 2007»
    Extension of a theorem of Whitney
    13 years 7 months ago
    Extension of a theorem of Whitney
    Download  www9.georgetown.edu
    It is shown that every planar graph with no separating triangles is a subgraph of a Hamiltonian planar graph; that is, Whitney’s theorem holds without the assumption of a triang...
    Paul C. Kainen, Shannon Overbay
    claim paper
    Read More »
    BIODATAMINING
    2008
    117views more  BIODATAMINING 2008»
    Search extension transforms Wiki into a relational system: A case for flavonoid metabolite database
    13 years 7 months ago
    Search extension transforms Wiki into a relational system: A case for flavonoid metabolite database
    Download  www.biodatamining.org
    Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
    Masanori Arita, Kazuhiro Suwa
    claim paper
    Read More »
    BMCBI
    2010
    151views more  BMCBI 2010»
    Classification of G-protein coupled receptors based on support vector machine with maximum relevance minimum redundancy and gene
    13 years 7 months ago
    Classification of G-protein coupled receptors based on support vector machine with maximum relevance minimum redundancy and gene
    Download  www.biomedcentral.com
    Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
    Zhanchao Li, Xuan Zhou, Zong Dai, Xiaoyong Zou
    claim paper
    Read More »
    « Prev « First page 2245 / 2269 Last » Next »
    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.