Sciweavers

    1396 search results - page 29 / 280
    » aim 2006
    Sort
    View
    FAC
    2006
    104views more  FAC 2006»
    Angelic nondeterminism in the unifying theories of programming
    14 years 9 months ago
    Angelic nondeterminism in the unifying theories of programming
    Download  www.cs.york.ac.uk
    Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
    Ana Cavalcanti, Jim Woodcock, Steve Dunne
    claim paper
    Read More »
    FUIN
    2006
    81views more  FUIN 2006»
    Indexing Schemes for Similarity Search: an Illustrated Paradigm
    14 years 9 months ago
    Indexing Schemes for Similarity Search: an Illustrated Paradigm
    Download  www.searchlores.org
    We suggest a variation of the Hellerstein-Koutsoupias--Papadimitriou indexability model for datasets equipped with a similarity measure, with the aim of better understanding the s...
    Vladimir Pestov, Aleksandar Stojmirovic
    claim paper
    Read More »
    IJEB
    2006
    73views more  IJEB 2006»
    Broadband diffusion dynamics: a systemic analysis
    14 years 9 months ago
    Broadband diffusion dynamics: a systemic analysis
    Download  www.enricoferro.com
    : The paper analyses broadband diffusion from a multitude of angles. The main objective of the analysis is thus to investigate the reasons behind an adoption delay present in certa...
    Enrico Ferro
    claim paper
    Read More »
    78
    Voted
    JIFS
    2006
    85views more  JIFS 2006»
    Experiments with artificial haptic perception in a robotic hand
    14 years 9 months ago
    Experiments with artificial haptic perception in a robotic hand
    Download  www.lucs.lu.se
    The LUCS Haptic Hand I together with a set of haptic models is the first in a series of projects aimed at studying haptic perception for building several robotic hands together wi...
    Magnus Johnsson, Christian Balkenius
    claim paper
    Read More »
    81
    Voted
    ENGL
    2007
    123views more  ENGL 2007»
    Characterization by Regulated Grammars of Calculations in the Gentzen System G
    14 years 9 months ago
    Characterization by Regulated Grammars of Calculations in the Gentzen System G
    Download  www.engineeringletters.com
    — The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
    Ruben Monjaraz Hernandez-Imbert, Jose de Jesus Lav...
    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-2025, USA.