Sciweavers

    12334 search results - page 143 / 2467
    » The Use of C
    Sort
    View
    VMCAI
    2007
    Springer
    89views Software Engineering» more  VMCAI 2007»
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    15 years 10 months ago
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    Download  www.mit.edu
    Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
    claim paper
    Read More »
    ITICSE
    2005
    ACM
    97views Theoretical Computer Science» more  ITICSE 2005»
    Using Octave to introduce programming to technical science students
    15 years 10 months ago
    Using Octave to introduce programming to technical science students
    Download  ssdi.di.fct.unl.pt
    In this paper we describe a five semester experiment on the
    Nuno C. Marques, Francisco Azevedo, Carmen Morgado...
    claim paper
    Read More »
    CVBIA
    2005
    Springer
    124views Computer Vision» more  CVBIA 2005»
    A Novel Multifaceted Virtual Craniofacial Surgery Scheme Using Computer Vision
    15 years 10 months ago
    A Novel Multifaceted Virtual Craniofacial Surgery Scheme Using Computer Vision
    Download  www.cs.uga.edu
    Ananda S. Chowdhury, Suchendra M. Bhandarkar, Erne...
    claim paper
    Read More »
    VRCAI
    2004
    ACM
    81views Virtual Reality» more  VRCAI 2004»
    Registration using projective reconstruction for augmented reality systems
    15 years 9 months ago
    Registration using projective reconstruction for augmented reality systems
    Download  gailcarmichael.com
    Soh-Khim Ong, M. L. Yuan, Andrew Y. C. Nee
    claim paper
    Read More »
    ISCAS
    2002
    IEEE
    84views Hardware» more  ISCAS 2002»
    Buck-boost switched-capacitor DC-DC voltage regulator using delta-sigma control loop
    15 years 9 months ago
    Buck-boost switched-capacitor DC-DC voltage regulator using delta-sigma control loop
    Download  web.engr.oregonstate.edu
    A. Rao, W. McIntyre, J. Parry, Un-Ku Moon, Gabor C...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.