Sciweavers

    6704 search results - page 1309 / 1341
    » Testing Scenario-Based Models
    Sort
    View
    IJCAI
    2001
    125views Artificial Intelligence» more  IJCAI 2001»
    Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
    13 years 10 months ago
    Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
    Download  www-users.cs.york.ac.uk
    Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
    Alan M. Frisch, Timothy J. Peugniez
    claim paper
    Read More »
    FLAIRS
    2003
    225views Artificial Intelligence» more  FLAIRS 2003»
    Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
    13 years 10 months ago
    Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
    Download  www.agentisolutions.com
    We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
    William J. Clancey, Maarten Sierhuis, Charis Kaski...
    claim paper
    Read More »
    IADIS
    2003
    119views Internet Technology» more  IADIS 2003»
    Improving Quality of Education through the Use of Intranet
    13 years 10 months ago
    Improving Quality of Education through the Use of Intranet
    Download  www.iadis.net
    Higher educational institutions are just like companies forced to adapt to the ever faster changing environment. There are several obstacles in the way of introducing e-learning i...
    Jaka Linic, Jurij Jaklic, Mojca Indihar Stemberger
    claim paper
    Read More »
    WSCG
    2004
    148views more  WSCG 2004»
    Visualization of Dynamic Behaviour of Multi-Agent Systems
    13 years 10 months ago
    Visualization of Dynamic Behaviour of Multi-Agent Systems
    Download  wscg.zcu.cz
    The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
    David Rehor, Pavel Slavík, David Kadlecek, ...
    claim paper
    Read More »
    DAGSTUHL
    1998
    477views Software Engineering» more  DAGSTUHL 1998»
    Markov Localization for Reliable Robot Navigation and People Detection
    13 years 10 months ago
    Markov Localization for Reliable Robot Navigation and People Detection
    Download  www.ri.cmu.edu
    Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
    Dieter Fox, Wolfram Burgard, Sebastian Thrun
    claim paper
    Read More »
    « Prev « First page 1309 / 1341 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.