Page 11
Page 11
Fun and Games ; 2nd International conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, The Netherlands, in October 2008.The 17 revised full papers, presented together with 2 invited talks were carefully reviewed and selected from a total of 36 submissions. The papers encompass the study of computer games, game development and experiences by researchers from social sciences, computing, electrical engineering, design, etc. Main focus is given to topics such as tightly-coupled embodied control of movement-sensitive mobile devices, hypercomputation and cultural computing, emerging gaming paradigms.
Frontiers of high performance computing and networking – ISPA 2006 workshops ; ISPA 2006 International workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006 (see LNCS 4330). Topics addressed are frontiers of high performance computing and networking (FHPCN 2006), XEN in HPC cluster and grid computing environments (XHPC 2006), semantic grid applications in computing and engineering (S-GRACE 2006), fertilization of grid computing and geographic information system (GridGIS 2006), high performance computing in genomic proteomic and transcriptomic (HPC-GTP 2006), parallel and distributed computing in engineering (PDCE 2006), parallel and distributed multimedia computing (ParDMCom 2006), middleware performance (WOMP 2006), information security and digital forensics (ISDF 2006), and ubiquitous processing for wireless networks (UPWN 2006).
Frontiers of Geographic Information Technology
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ to other ‘allied’ technologies. This coupling or integration has occurred for some time due to the limitations in commercially available systems. It has occurred in several areas including visualisation (virtual reality), simulation (pedestrian, urban modelling), data storage and management (distributed or Internet GIS) and decision support. The chapters of the book, written by an international group of experts examine several of these discrete areas, focussing on the use of GIS and the technology it has been allied to.
Frontiers of Computational Science ; Proceedings of the International Symposium on Frontiers of Computational Science 2005
With the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance in various fields of science and engineering. Computational science is the interdisciplinary science, which promotes systematic development of methodologies and framework of computational approaches, basic studies of algorithms and soft-computation technologies and vast areas of applications. This volume is the proceedings of International Symposium on Frontiers of Computational Science 2005, containing papers from 7 plenary and keynote lecturers, 17 invited lecturers and 33 contributed papers. This book discusses the high-level use of computers in a wide variety of areas such as fluid mechanics, material and genome sciences.
Frontiers in Computing Technologies for Manufacturing Applications
Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent computing in manufacturing. Modeling, data processing, algorithms and computational analysis of difficult problems found in advanced manufacturing are discussed. It is the first book to bring together combinatorial optimization, information systems and fault diagnosis and monitoring in a consistent manner. Techniques are presented in order to aid decision makers needing to consider multiple, conflicting objectives in their decision processes. In particular, the use of metaheuristic optimization techniques for multi-objective problems is discussed. Readers will learn about computational technologies that can improve the performance of manufacturing systems ranging from manufacturing equipment to supply chains.
From integrated publication and information systems to information and knowledge environments : Essays dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited reviewed papers presented are written by students and colleagues of Erich Neuhold throughout all periods of his scientific career. The papers are organized in the following topical sections: Database management enabling information systems Semantic Web drivers for advanced information management Securing dynamic media content integration From digital libraries to intelligent knowledge environments Visualization – key to external cognition in virtual information environments From human-computer interaction to human-artefact interaction Domains for virtual information and knowledge environments.
From Enterprise Architecture to IT Governance : Elements of Effective IT Management
This book shows its readers how to achieve the goal of genuine IT governance. The key here is the successful development of enterprise architecture as the necessary foundation. With its capacity to span and integrate business procedures, IT applications and IT infrastructure, enterprise architecture opens these areas up to analysis and makes them rich sources of critical data.
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 ; IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Foundations of Intelligent Systems ; Vol. 4203 ; 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ISMIS 2006. The book presents 81 revised papers together with 3 invited papers. Topical sections include active media human-computer interaction, computational intelligence, intelligent agent technology, intelligent information retrieval, intelligent information systems, knowledge representation and integration, knowledge discovery and data mining, logic for AI and logic programming, machine learning, text mining, and Web intelligence.
Foundations of Intelligent Systems ; Vol. 3488 ; 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ISMIS2005, heldinSaratogaSprings, NewYork,25-28May,2005. ThesymposiumwasorganizedbySUNYatAlbany. Itwas sponsored by the Army Research Of?ce and by several units of the University at Albany including its Division for Research, College of Arts and Sciences, Department of C- puter Science, and Institute for Informatics, Logics, and Security Studies (formerly the Institute for Programming and Logics). The Program Committee selected the following major areas for ISMIS 2005: intelligent information systems, knowledge discovery and data mining, knowledge - formation and integration, knowledge representation, logic for arti?cial intelligence, soft computing, Web intelligence, Web services, and papers dealing with applications of intelligent systems in complex/novel domains. The contributed papers were selected from almost 200 full draft papers by the Program Committee members.
Foundations of Intelligent Systems ; 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ISMIS 2008, held in Toronto, Canada, in May 2008.The 68 revised papers presented together with 3 plenary talks were carefully reviewed and selected from over 100 submissions. The papers are organized in topical sections on knowledge discovery and data mining: foundations, advances, mining changes and actional patterns; logic for artificial intelligence, autonomic and evolutionary computation, soft computing, databases and data warehouses, digital library, intelligent information retrieval.
Foundations of Intelligent Systems ; 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings
This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent Systems ISMIS 2002, held in Lyon, France, 27-29 June, 2002. The symposium was organized by the UniversitØ ClaudThe program committee selected the following major areas for ISMIS 2002: Intelligent Multimedia, Intelligent Information Retrieval, Intelligent Information Systems, Knowledge Representation and Integration, Learning and Knowledge Discovery, Logic for Artificial Intelligence, Methodologies (modeling, design, validation, performance evaluation), and Soft Computing.
Foundations of information and knowledge systems ; 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.
Foundations and applications of MIS : A model theory approach
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Formal aspects in security and trust ; Vol. 173 ; IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Focused Access to XML Documents ; 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, held at Dagstuhl Castle, Germany, in December 2007.The 37 revised full papers presented were carefully reviewed and selected for presentation at the workshop from 50 initial submissions. The papers are organized in an ad hoc track and 6 topical sections on book search, XML-mining, entity ranking, interactive, link-the-wiki, and multimedia.
Flood Warning, Forecasting and Emergency Response
This book provides a comprehensive account of flood warning, forecasting and emergency response processes, including techniques for predicting the development of flood events and for issuing appropriate warnings. Topics such as telemetry and information systems, flood warning economics, and river and coastal monitoring are also discussed. This book brings together many aspects of this interesting multidisciplinary topic and will serve as a valuable reference for researchers, policy makers and engineers.
Flexible Databases Supporting Imprecision and Uncertainty
This volume collects selected contributions on the application of heterogeneous methods for managing uncertainty and imprecision in databases. It contains both survey chapters on classic topics such as "flexible querying in databases", and up to date ontributions on "database models to represent imperfect data". Further, it includes specific contributions on uncertainty management in database integration, and in representing and querying semistructured and spatial data. These topics are of particular relevance nowadays with the diffusion of the internet since, most of the time, applications require information spread across several information sources and their integration may result in inconsistent information.
Fleet Telematics : Real-time management and planning of commercial vehicle operations
FLEET TELEMATICS: Real-Time Management and Planning of Commercial Vehicle Operations combines wireless telematics systems with dynamic vehicle routing algorithms and vehicle-positioning systems to produce a telematics-enabled information system that can be employed by commercial fleet operators for real-time monitoring, control, and planning. The book presents a Messaging & Fleet Monitoring System that automatically identifies deviations between the planned and the current state of the transportation system and a Dynamic Planning System (DPS) that provides real-time decision support considering the current state of the transportation system. The DPS uses newly developed dynamic vehicle routing algorithms to find high-quality solutions and adjust schedules and routes immediately.
