الصفحة 1
الصفحة 1
New Frontiers in Artificial Intelligence ; JSAI 2006 Conference andWorkshops
The objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers from the three co-located international workshops and to promote the study exchange among researchers worldwide.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Information Visualization : Beyond the Horizon
Information visualization is not only about creating graphical displays of complex and latent information structures; it contributes to a broader range of cognitive, social, and collaborative activities. This is the first book to examine information visualization from this perspective. This 2nd edition continues the unique and ambitious quest for setting information visualization and virtual environments in a unifying framework. Information Visualization: Beyond the Horizon pays special attention to the advances made over the last 5 years and potentially fruitful directions to pursue. It is particularly updated to meet the need for practitioners. The book is a valuable source for researchers and graduate students. This new edition is forwarded by Ben Shneiderman, University of Maryland.
