You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the papers selected for presentation at the 15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005, held in Saratoga Springs, New York, 25–28 May, 2005.
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.
The proliferation of massive data sets brings with it a series of special computational challenges. This "data avalanche" arises in a wide range of scientific and commercial applications. With advances in computer and information technologies, many of these challenges are beginning to be addressed by diverse inter-disciplinary groups, that indude computer scientists, mathematicians, statisticians and engineers, working in dose cooperation with application domain experts. High profile applications indude astrophysics, bio-technology, demographics, finance, geographi cal information systems, government, medicine, telecommunications, the environment and the internet. John R. Tucker of the Board...
This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science.
This book constitutes the refereed proceedings of the 7th Asia-Pacific Web Conference, APWeb 2005, held in Shanghai, China in March/April 2005. The 71 revised full papers and 22 revised short papers presented together with 6 keynote papers and 22 invited demo papers were carefully reviewed and selected from 420 submissions. The papers are organized in topical sections on classification and clustering, topic and concept discovery, text search and document generation, Web search, mobile computing and P2P, XML, integration and collaboration, data mining and analysis, Web browsing and navigation, spatial data, stream data processing, Web services, ontologies, change management, personalization, performance and optimization, Web caching, data grid, multimedia, object recognition and information extraction, visualization and user interfaces, and delivery and networks.
This book constitutes the refereed proceedings of the 6th International Conference on Web-Age Information Management, WAIM 2005, held in Hangzhou, China, in October 2005. The 48 revised full papers, 50 revised short papers and 4 industrial papers presented together with 3 invited contributions were carefully reviewed and selected from 486 submissions. The papers are organized in topical sections on XML, performance and query evaluation, data mining, semantic Web and Web ontology, data management, information systems, Web services and workflow, data grid and database languages, agent and mobile data, database application and transaction management, and 3 sections with industrial, short, and demonstration papers.
"This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers:Jon Barwise, John Reynolds, and Mitchell Wand."--PUBLISHER'S WEBSITE.