Documentos II: Recent submissions

  • Lecture notes in artificial intelligence 4529 subseries of lecture notes in Computer Science 
    Melin Patricia (2007)
  • Foundations of neural networks, fuzzy dystems, and knowledge engineering 
    Kasabov Nikola K; Book Bradford (2002)
  • Reconciling description logics and rules 
    Motik Boris; Rosati Riccardo (Association for Computing Machinery (ACM), 2010)
    Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic ...
  • Research themes and trends in artificial intelligence 
    Wullianallur Raghupathi null (1999)
  • Automated deduction: Achievements and future directions 
    Loveland D W; Loveland Donald W (2000)
    Automated deduction (AD) is one of the most advanced and technically deep of the many technologies that constitute computer science. AD software performs tasks ranging from the fast simple deductions of a type checker and ...
  • Commercialization of natural language processing technology 
    Dahl Deborah A; Norton Lewis M; Scholz K W; Dahl Deborah A; Norton Lewis M; Scholz K W (2000)
    Successful commercial deployment of natural language understanding (NLU) products requires far more than accurate technology. Although NLU technology is immature even in laboratory systems, we believe the existing technology ...
  • A broader approach to personalization 
    Cingil Ibrahim; Dogac Asuman; Azgin Ayca (2000)
    P ersonalization generally refers to making a Web site more responsive to the unique and individual needs of each user. We propose a broader approach to personalization that provides for interoperability and automation by ...
  • Orthologic and quantum logic: Models and computational elements 
    Rawling J P; Selesnick S A (2000)
    Motivated by a growing need to understand the computational potential of quantum devices we suggest an approach to the relevant issues via quantum logic and its model theory. By isolating such notions as quantum parallelism ...
  • Intelligence in the net 
    Kantor Paul B; Boros Endre; Melamed Benjamin; Meñkov Vladimir; Shapira Bracha; Neu David J (2000)
    As a resource the Web is amazing and bewildering, and, at times, infuriating. All of us have, at one time or another, followed a seemingly endless loop, hopefully clicking one more time in a quest for some specific ...
  • International perspectives computing at the top of the world 
    Goodman Seymour; Kelly Timothy; Minges Michael; Press Larry (2000)
  • Data fusion 
    Bleiholder Jens; Naumann Felix (Association for Computing Machinery (ACM), 2008)
    The development of the Internet in recent years has made it possible and useful to access many different information systems anywhere in the world to obtain information. While there is much research on the integration of ...
  • Realization of natural language interfaces using lazy functional programming 
    Frost Richard A. (Association for Computing Machinery (ACM), 2006)
    The construction of natural language interfaces to computers continues to be a major challenge. The need for such interfaces is growing now that speech recognition technology is becoming more readily available, and people ...
  • Survey of graph database models 
    Angles Renzo; Gutierrez Claudio (Association for Computing Machinery (ACM), 2008)
    Graph database models can be defined as those in which data structures for the schema and instances are modeled as graphs or generalizations of them, and data manipulation is expressed by graph-oriented operations and type ...
  • Image retrieval 
    Datta Ritendra; Joshi Dhiraj; Li Jia; Wang James Z. (Association for Computing Machinery (ACM), 2008)
    We have witnessed great interest and a wealth of promise in content-based image retrieval as an emerging technology. While the last decade laid foundation to such promise, it also paved the way for a large number of new ...
  • Web page classification 
    Qi Xiaoguang; Davison Brian D. (Association for Computing Machinery (ACM), 2009)
    Classification of Web page content is essential to many tasks in Web information retrieval such as maintaining Web directories and focused crawling. The uncontrolled nature of Web content presents additional challenges to ...
  • Ontology visualization methods---a survey 
    Katifori Akrivi; Halatsis Constantin; Lepouras George; Vassilakis Costas; Giannopoulou Eugenia (Association for Computing Machinery (ACM), 2007)
    Ontologies, as sets of concepts and their interrelations in a specific domain, have proven to be a useful tool in the areas of digital libraries, the semantic web, and personalized information management. As a result, there ...
  • Propositional satisfiability and constraint programming: A comparative survey 
    Bordeaux Lucas; Hamadi Youssef; Zhang Lintao (2006)
    Propositional Satisfiability (SAT) and Constraint Programming (CP) have developed as two relatively independent threads of research cross-fertilizing occasionally. These two approaches to problem solving have a lot in ...
  • A survey of linguistic structures for application-level fault tolerance 
    Florio Vincenzo De; Blondia Chris (Association for Computing Machinery (ACM), 2008)
    Structures for the expression of fault-tolerance provisions in application software comprise the central topic of this article. Structuring techniques answer questions as to how to incorporate fault tolerance in the ...
  • 9 Using Formal Specifications to Support Testing 
    Hierons Robert M; Kapoor Kalpesh; Bogdanov Kirill; Krause Paul; Bowen Jonathan P; Uttgen Gerald L ¨; Cleaveland Rance; Simons Anthony J H; Derrick John; Vilkomir Sergiy; Dick Jeremy; Woodward Martin R; Gheorghe Marian; Harman Mark; Zedan Hussein; Bogdanov K; Derrick J; Gheorghe M; Simons A J H; Bowen J P; Harman M; Hierons R M; Bogdanov K; Bowen J P; Cleaveland R; Derrick J; Dick; Gheorghe J; M; Harman; Kapoor M; Krause K; P; Uttgen L ¨; Simons G; H A J; Woodward S; R M; Zedan; H (2009)
    Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed ...
  • A survey of Web clustering engines 
    Carpineto Claudio; Osiński Stanislaw; Romano Giovanni; Weiss Dawid (Association for Computing Machinery (ACM), 2009)
    Web clustering engines organize search results by topic, thus offering a complementary view to the flat-ranked list returned by conventional search engines. In this survey, we discuss the issues that must be addressed in ...

Search DSpace


Browse

My Account