• Login
    Search 
    •   DSpace Home
    • English resources
    • Search
    •   DSpace Home
    • English resources
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-10 of 27

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings 

    Cousot, Patrick; (Springer-Verlag Berlin Heidelberg, 2000)
    This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July ...
    Thumbnail

    Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 

    Meseguer, José; Roşu, Grigore (Springer-Verlag Berlin Heidelberg, 2004)
    This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR ...
    Thumbnail

    Advances in Natural Language Processing: 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings 

    Karlsson, Fred (Springer-Verlag Berlin Heidelberg, 2006)
    This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The 72 revised full papers presented together with 1 ...
    Thumbnail

    Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings 

    Eiter, Thomas (Springer-Verlag Berlin Heidelberg, 2003)
    This book constitutes the refereed proceedings of the 14th International Conference on Algorithmic Learning Theory, ALT 2003, held in Sapporo, Japan in October 2003. The 19 revised full papers presented together with 2 ...
    Thumbnail

    Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday 

    Avron, Arnon; Zamansky, Anna (Springer-Verlag Berlin Heidelberg, 2007)
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in ...
    Thumbnail

    Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings 

    Bulitko, Vadim (Springer-Verlag Berlin Heidelberg, 2007)
    This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That’s why this book, which constitutes the refereed proceedings of the 7th International ...
    Thumbnail

    Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings 

    Xu, Xue-Quan (Springer-Verlag Berlin Heidelberg, 2007)
    The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational ...
    Thumbnail

    Learning Classifier Systems: From Foundations to Applications 

    Holland, John H. (Springer-Verlag Berlin Heidelberg, 2000)
    Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown ...
    Thumbnail

    KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007 

    Albayrak, Sahin (Springer-Verlag Berlin Heidelberg, 2007)
    The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will find papers or abstracts of its six invited talks, 25 full ...
    Thumbnail

    AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings 

    Motoda, Hiroshi (Springer-Verlag Berlin Heidelberg, 2006)
    The Australian Joint Conference on Artificial Intelligence series is steered by the Australian Computer Society's (ACS) National Committee on Artificial Intelligence and Expert Systems. It aims at stimulating research by ...
    • 1
    • 2
    • 3

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsBy Submit DateThis CommunityBy Issue DateAuthorsTitlesSubjectsBy Submit Date

    My Account

    LoginRegister

    Discover

    AuthorAchlioptas, Dimitris (1)Albayrak, Sahin (1)Allen, Jeffrey (1)Avron, Arnon (1)Balcázar, Jose L. (1)Benthem, Johan van (1)Bulitko, Vadim (1)Casanovas, Pompeu (1)Cordeschi, Roberto (1)Cousot, Patrick (1)... View MoreSubject
    Mathematical Logic and Formal Languages (27)
    Artificial Intelligence (20)Technology (9)Artificial intelligence (7)Computer Communication Networks (5)Image Processing and Computer Vision (4)Computation by Abstract Devices (3)Data Mining and Knowledge Discovery (3)Database Management (3)Information Storage and Retrieval (3)... View MoreDate Issued2007 (9)2006 (4)2000 (3)2004 (3)2005 (3)2008 (3)2003 (2)Has File(s)Yes (27)

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV