Sciweavers

    6800 search results - page 1330 / 1360
    » Testing with Functions as Specifications
    Sort
    View
    AAAI
    2007
    139views Intelligent Agents» more  AAAI 2007»
    AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks
    13 years 10 months ago
    AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks
    Download  www.aaai.org
    The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
    Ken Barker, Vinay K. Chaudhri, Shaw Yi Chaw, Peter...
    claim paper
    Read More »
    CASCON
    2007
    1035views Education» more  CASCON 2007»
    An IDE for software development using tabular expressions
    13 years 9 months ago
    An IDE for software development using tabular expressions
    Download  www.cas.mcmaster.ca
    We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
    Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
    claim paper
    Read More »
    CIMAGING
    2008
    165views Hardware» more  CIMAGING 2008»
    Multimodal unbiased image matching via mutual information
    13 years 9 months ago
    Multimodal unbiased image matching via mutual information
    Download  www.math.ucla.edu
    In the past decade, information theory has been studied extensively in computational imaging. In particular, image matching by maximizing mutual information has been shown to yiel...
    Igor Yanovsky, Paul M. Thompson, Stanley Osher, Al...
    claim paper
    Read More »
    ACE
    2004
    186views Education» more  ACE 2004»
    TinkerNet: A Low-Cost Networking Laboratory
    13 years 9 months ago
    TinkerNet: A Low-Cost Networking Laboratory
    Download  www.cs.ucr.edu
    The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...
    Michael Erlinger, Mart Molle, Titus Winters, Chris...
    claim paper
    Read More »
    CNIS
    2006
    154views Security Privacy» more  CNIS 2006»
    Dynamically blocking access to web pages for spammers' harvesters
    13 years 9 months ago
    Dynamically blocking access to web pages for spammers' harvesters
    Download  pv.fernuni-hagen.de
    Almost all current anti spam measures are reactive, filtering being the most common. But to react means always to be one step behind. Reaction requires to predict the next action ...
    Tobias Eggendorfer, Jörg Keller
    claim paper
    Read More »
    « Prev « First page 1330 / 1360 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.