Sciweavers

    INTERNET
    2002
    145views more  INTERNET 2002»
    Where is Middleware?
    13 years 4 months ago
    Where is Middleware?
    Download  www.ece.cmu.edu
    stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
    Steve Vinoski
    claim paper
    Read More »
    ENTCS
    2007
    126views more  ENTCS 2007»
    Context Dependent Procedures and Computed Types in -eriFun
    13 years 4 months ago
    Context Dependent Procedures and Computed Types in -eriFun
    Download  www.inferenzsysteme.informatik.tu-darmstadt.de
    We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
    Andreas Schlosser, Christoph Walther, Michael Gond...
    claim paper
    Read More »
    DATAMINE
    2002
    83views more  DATAMINE 2002»
    Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition
    13 years 4 months ago
    Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition
    Download  www.hss.cmu.edu
    Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We de...
    Joseph Ramsey, Paul Gazis, Ted Roush, Peter Spirte...
    claim paper
    Read More »
    CORR
    2004
    Springer
    107views Education» more  CORR 2004»
    Encapsulation for Practical Simplification Procedures
    13 years 4 months ago
    Encapsulation for Practical Simplification Procedures
    Download  www.cs.utexas.edu
    ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
    Olga Shumsky Matlin, William McCune
    claim paper
    Read More »
    JSYML
    2007
    57views more  JSYML 2007»
    Red fields
    13 years 4 months ago
    Red fields
    Download  home.mathematik.uni-freiburg.de
    We apply Hrushovski-Fra¨ıss´e’s amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a
    Andreas Baudisch, A. Martin-Pizarro, M. Ziegler
    claim paper
    Read More »
    AIR
    2004
    91views more  AIR 2004»
    A Personalized Defection Detection and Prevention Procedure based on the Self-Organizing Map and Association Rule Mining: Applie
    13 years 4 months ago
    A Personalized Defection Detection and Prevention Procedure based on the Self-Organizing Map and Association Rule Mining: Applie
    Download  business.kaist.ac.kr
    Abstract. Customer retention is an increasingly pressing issue in today's competitive environment. This paper proposes a personalized defection detection and prevention proced...
    Hee Seok Song, Jae Kyeong Kim, Yeong Bin Cho, Soun...
    claim paper
    Read More »
    IIE
    2007
    56views more  IIE 2007»
    Recursion Versus Iteration with the List as a Data Structure
    13 years 4 months ago
    Recursion Versus Iteration with the List as a Data Structure
    Download  www.mii.lt
    Abstract. A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the ta...
    Izabella Foltynowicz
    claim paper
    Read More »
    ET
    2007
    84views more  ET 2007»
    Built-in Self-test and Defect Tolerance in Molecular Electronics-based Nanofabrics
    13 years 4 months ago
    Built-in Self-test and Defect Tolerance in Molecular Electronics-based Nanofabrics
    Download  people.ee.duke.edu
    We propose a built-in self-test (BIST) procedure for nanofabrics implemented using chemically assembled electronic nanotechnology. Several fault detection configurations are prese...
    Zhanglei Wang, Krishnendu Chakrabarty
    claim paper
    Read More »
    JMLR
    2006
    113views more  JMLR 2006»
    Learning the Structure of Linear Latent Variable Models
    13 years 4 months ago
    Learning the Structure of Linear Latent Variable Models
    Download  www.hss.cmu.edu
    We describe anytime search procedures that (1) find disjoint subsets of recorded variables for which the members of each subset are d-separated by a single common unrecorded cause...
    Ricardo Silva, Richard Scheines, Clark Glymour, Pe...
    claim paper
    Read More »
    JCC
    2006
    42views more  JCC 2006»
    Starting SCF calculations by superposition of atomic densities
    13 years 4 months ago
    Starting SCF calculations by superposition of atomic densities
    Download  www.public.iastate.edu
    : We describe the procedure to start an SCF calculation of the general type from a sum of atomic electron densities, as implemented in GAMESS-UK. Although the procedure is well kno...
    J. H. Van Lenthe, R. Zwaans, Huub J. J. Van Dam, M...
    claim paper
    Read More »
    « first‹ previous1234567next ›last »
    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.