الصفحة 142
الصفحة 142
Advances in visual computing ; Vol. 4292 ; 2nd International symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II
This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Specifcally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the ?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion.
Advances in Visual Computing ; Vol. 4291 ; 2nd International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I
This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Specifcally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the ?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion. During the discussion period we tried to correct anomalies and errors that might have existed in the initial reviews.
Advances in visual computing ; Vol. 3804 ; 1st International symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the for the 2005 Int- national Symposium on Visual Computing (ISVC). ISVC provides a common umbrella for the four main areas of visual computing: vision, graphics, visu- ization, and virtual reality.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy
There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.
Advances in Telerobotics
The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, experimental results, applications, and developments, highly relevant for scientists, researchers, and students in Teleoperation. This book is structured in three parts: I. Human System Interfaces, II. Control, and III. Applications. Chapters in part I concentrate on human interface technology which allows a human operator to close the control loop of a remote robot. Topics related to control algorithms - in particular for the case with time delay in the communication network - are the focus in part II, concentrating on bilateral control methods. Part III presents a variety of advanced applications in surgery, space, and other fields relevant to everyday life.
Advances in sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Advances in Structural Engineering - Optimization : Emerging Trends in Structural Optimization
An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation of metaheuristic algorithm with different structural applications. As the current interest of researcher, metaheuristic algorithms are a high interest topic area since advance and non-optimized problems via mathematical methods are challenged by the development of advance and modified algorithms. The artificial intelligence (AI) area is also important in predicting optimum results by skipping long iterative optimization processes. The machine learning used in generation of AI models also needs optimum results of metaheuristic-based approaches.
Advances in statistical methods for the health sciences : Applications to cancer and AIDS studies, genome sequence analysis, and survival analysis
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range of topics pertaining to new statistical methods and novel applications in the health sciences.
Advances in spatial and temporal databases ; 9th International symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases – SSTD 2005. This year’s symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatial and temporal database systems, including data models, systems, applications and theory. ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams.
Advances in spatial and temporal databases ; 10th International symposium, SSTD 2007, Boston, MA, USA, July 16.-18, 2007, Proceedings
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; indexing and query processing; and mining.
Advances in Software Engineering ; Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007.
Advances in Smaltalk ; 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Advances in Services Innovations
The book documents the state-of-the-art in Services Science. It combines contributions in Service Engineering, Service Management and Service Marketing and helps to develop a roadmap for future R & D activities in these fields. The book is written for researchers in engineering and management.
Advances in semantic media adaptation and personalization
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advances in Rule Interchange and Applications ; International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG’s PRR or W3C’s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today’s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.
Advances in Robot Kinematics : Mechanisms and Motion
This book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufacturing, automation, surgery, locomotion and biomechanics.
Advances in public economics : Utility, choice and welfare
This Festschrift in honor ofChristian Seidl combines a group of prominent authors who are experts in areas like public economics, welfare economic, decision theory, and experimental economics in a unique volume. He has dedicated most of his research to utility and decision theory, social choice theory, welfare economics, and public economics.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in production management systems ; International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden
It 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.
