Sciweavers

    9359 search results - page 6 / 1872
    » Generalization Algorithms for Second-Order Terms
    Sort
    View
    CAV
    2000
    Springer
    197views Hardware» more  CAV 2000»
    Bounded Model Construction for Monadic Second-Order Logics
    14 years 2 days ago
    Bounded Model Construction for Monadic Second-Order Logics
    Download  www.springer.com
    Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
    Abdelwaheb Ayari, David A. Basin
    claim paper
    Read More »
    KDD
    1997
    ACM
    78views Data Mining» more  KDD 1997»
    Mining Generalized Term Associations: Count Propagation Algorithm
    13 years 12 months ago
    Mining Generalized Term Associations: Count Propagation Algorithm
    Download  www.aaai.org
    We presenthere an approachand algorithm for mining generalizedterm associations.The problem is to find co-occurrencefrequenciesof terms, given a collection of documents eachwith r...
    Jonghyun Kahng, Wen-Hsiang Kevin Liao, Dennis McLe...
    claim paper
    Read More »
    MST
    2008
    141views more  MST 2008»
    From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials
    13 years 7 months ago
    From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials
    Download  www.cs.technion.ac.il
    Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
    Johann A. Makowsky
    claim paper
    Read More »
    KDD
    2006
    ACM
    201views Data Mining» more  KDD 2006»
    Clustering based large margin classification: a scalable approach using SOCP formulation
    14 years 8 months ago
    Clustering based large margin classification: a scalable approach using SOCP formulation
    Download  drona.csa.iisc.ernet.in
    This paper presents a novel Second Order Cone Programming (SOCP) formulation for large scale binary classification tasks. Assuming that the class conditional densities are mixture...
    J. Saketha Nath, Chiranjib Bhattacharyya, M. Naras...
    claim paper
    Read More »
    SAC
    2010
    ACM
    267views Applied Computing» more  SAC 2010»
    Of mice and terms: clustering algorithms on ambiguous terms in folksonomies
    14 years 1 months ago
    Of mice and terms: clustering algorithms on ambiguous terms in folksonomies
    Download  corpora.dslo.unibo.it
    Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
    Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Ta...
    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-2024, USA.