Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.
Flexible Query Answering Systems
ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24–26, 2004. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several research areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. With FQAS 2004, the FQAS conference series celebrated its tenth anniversary as it has been held every two years since 1994. The overall theme of the FQAS conferences is innovative query systems aimed at providing easy, ?exible, and intuitive access to information. Such systems are intended to facilitate retrieval from information repositories such as databases, libraries, and the Web. These repositories are typically equipped with standard query systems that are often inadequate for users. The focus of FQAS is the development of query systems that are more expressive, informative, cooperative, productive, and intuitive to use.
Advanced Information Systems Engineering
This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996. The 30 revised full papers included in the book were selected from a total of some 100 submissions. The book is organised in sections on CASE environments, temporal and active database technologies, experience reports, interoperability in information systems, formal methods in system development, novel architectures, workflow management and distributed information systems, information modelling, object-oriented database design, and semantic links and abstraction.
Flexible Query Answering Systems
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Conference on Flexible Query Answering Systems, FQAS'98, held in Roskilde, Denmark, in May 1998. The 32 revised papers presented were carefully reviewed and went through two rounds of selection for inclusion in the proceedings. This book is the first one focused on flexible query answering systems; this emerging area of research and development builts on results from mathematical logic, fuzzy logic, various database paradigms, information retrieval, linguistics, and human computer-interaction. The papers deal with issues occuring in querying databases and the Internet.
KI 2004: Advances in Artificial Intelligence
KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were?nally selected for presentation at the conference. The papers cover quite a broad spectrum of "classical" subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year's contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI tech...
Computational Science and Its Applications -- ICCSA 2012
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Ge...
Adequate Modeling of Systems
This book is based on the proceedings of the "International Working Conference on Model Realism" which was held in Bad Honnef near Bonn, April 20 - 23, 1982. ·Both its theme and format of discussion were unconventional. Their main motivation can be de scribed as follows: In the last several years there has been a growing interest in determining the ex tent to which different methodologies are able to adequately deal with real-world problems of contemporary interest, especially when people from different disciplines are involved in a large-scale project. The conference was to deal with the modeling aspects of different systems theories and approaches. It was intended to be a first step for a...
Advances in Knowledge-based and Intelligent Information and Engineering Systems
In this 2012 edition of Advances in Knowledge-Based and Intelligent Information and Engineering Systems the latest innovations and advances in Intelligent Systems and related areas are presented by leading experts from all over the world. The 228 papers that are included cover a wide range of topics. One emphasis is on Information Processing, which has become a pervasive phenomenon in our civilization. While the majority of Information Processing is becoming intelligent in a very broad sense, major research in Semantics, Artificial Intelligence and Knowledge Engineering supports the domain specific applications that are becoming more and more present in our everyday living. Ontologies play a...
