• 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 48

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    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

    Robust range image registration: using genetic algorithms and the surface interpenetration measure 

    Silva, Luciano (World Scientific Publishing Company, 2004)
    This book addresses the range image registration problem for automatic 3D model construction. The focus is on obtaining highly precise alignments between different view pairs of the same object to avoid 3D model distortions, ...
    Thumbnail

    Advances in Artificial Intelligence: 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings 

    Zhang, Yu; Kobti, Ziad; Wu, Dan (Springer-Verlag Berlin Heidelberg, 2007)
    This book constitutes the refereed proceedings of the 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, held in Montreal, Canada, in May 2007. The 46 revised full papers ...
    Thumbnail

    Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings 

    Nishi, Takako; Shimotsu, Kyoko; Gotow, Tsukasa (Springer-Verlag Berlin Heidelberg, 2007)
    This book constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007, held in Naples, Italy, October 2007. The 50 revised papers presented were carefully ...
    Thumbnail

    Data Mining In Time Series Databases 

    Last, Mark; Kandel, Abraham; Bunke, Horst (World Scientific, 2004)
    Adding the time dimension to real-world databases produces Time Series Databases (TSDB) and introduces new aspects and difficulties to data mining and knowledge discovery. This book covers the state-of-the-art methodology ...
    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

    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

    Advances in Artificial Intelligence: 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings 

    Alaiz-Rodríguez, Rocío (Springer-Verlag Berlin Heidelberg, 2008)
    This book constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, held in Windsor, Canada, in May 2008. The 30 revised full papers ...
    Thumbnail

    Syntactic pattern recognition for seismic oil exploration 

    Huang, Kou-Yuan (World Scientific, 2002)
    Syntactic seismic pattern recognition can be one of the milestones of a geophysical intelligent interpretation system. The syntactic methods in this book can be applied to other areas, such as the medical diagnosis system.
    Thumbnail

    Agent Technologies, Infrastructures, Tools, and Applications for E-Services: NODe 2002 Agent-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers 

    Huhns, Michael N. (Springer-Verlag Berlin Heidelberg, 2003)
    This book constitutes the thoroughly refereed post-proceedings of the three agent-related workshops held during the NetObjectDays international conference, NODe 2002, held in Erfurt, Germany, in October 2002. The 23 revised ...
    • 1
    • 2
    • 3
    • 4
    • . . .
    • 5

    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

    AuthorAbecker, Andreas (1)Abs da Cruz, André V. (1)Alaiz-Rodríguez, Rocío (1)Aloimonos, Yiannis (1)Anderson, Scot (1)Avron, Arnon (1)Aylett, Ruth (1)Bielecka, Marzena (1)Bielecki, Andrzej (1)Bulitko, Vadim (1)... View MoreSubject
    Artificial intelligence (48)
    Technology (46)Computer Communication Networks (11)Data Mining and (7)Mathematical Logic and Formal Languages (7)Computers (5)Data Mining (4)Information Systems Applications (4)Organization and Data Processing (4)Computer Vision (3)... View MoreDate Issued2007 (10)2008 (10)2004 (7)2009 (7)2003 (5)2005 (4)2000 (2)2006 (2)2002 (1)Has File(s)Yes (48)

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