الصفحة 32
الصفحة 32
Hypercomputation : Computing Beyond the Church-Turing Barrier
Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation, covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine.Readers will reach a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what actually can be computed. Hypercomputing is quite a novel idea, and therefore the book is interesting to the reader in its own right.
Hybrid Systems: Computation and Control ; 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.
Hybrid Systems : Computation and Control ; Vol.3927 ; 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.
Hybrid Systems : Computation and Control ; 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Hybrid Systems : Computation and Control ; Vol. # 3414 ; 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Hybrid metaheuristics ; Vol. 4030 ; 3rd International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
The selection of papers for HM 2006 consolidated some of the mainstream issues that have emerged from the past editions. Firstly, there are prominent examples of e?ective hybrid techniques whose design and implementation were motivated by challenging real-world applications. We believe this is particularly important for two reasons: on the one hand, researchers are conscious that the primary goal of developing algorithms is to solve relevant real-life problems; on the other hand, the path towarde?cient solving methods for practical problems is a source of new outstanding ideas and theories. A second important issue is that the research community on metaheur- tics has become increasingly interested in and open to techniques and methods known from arti?cial intelligence (AI) and operations research (OR). So far, the most representative examples of such integration have been the use of AI/OR techniques as subordinates of metaheuristic methods. As a historical and - ymological note, this is in perfect accordance with the original meaning of a metaheuristic as a “general strategy controlling a subordinate heuristic. ” The awareness of the need for a sound experimental methodology is a third keypoint.
Hybrid metaheuristics ; Vol. 3636 ; 2nd International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
Constitutes the refereed proceedings of the Second International Workshop on Hybrid Metaheuristics, HM 2005, held in Barcelona, Spain, in August 2005. In this book, the papers addresses topics such as: low-level hybridization, high-level hybridization, portfolio techniques, expert systems, co-operative search, taxonomy, terminology, and more.
Hybrid metaheuristics ; 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Malaga, Spain, in October 2008.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers discuss specific aspects of combinations of metaheuristics and other solving techniques for tackling particular relevant constrained optimization problems, such as fiber optic networks, time tabling and freight train scheduling problems.
Hybrid metaheuristics ; 4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held in Dortmund, Germany. The 14 revised full papers discuss specific aspects of hybridization of metaheuristics, hybrid metaheuristics design, development and testing.
Hybrid Learning and Education ; 1st International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings
This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008.The 38 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on hybrid education, model and pedagogies for hybrid learning, trends, pervasive learning, mobile and ubiquitous learning, hybrid learning experiences, hybrid learning systems, technologies, as well as contextual attitude and cultural effects.
Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing : An Evolutionary Approach for Neural Networks and Fuzzy Systems
This monograph describes new methods for intelligent pattern recognition using soft computing techniques including neural networks, fuzzy logic, and genetic algorithms. Hybrid intelligent systems that combine several soft computing techniques are needed due to the complexity of pattern recognition problems.
Hybrid Estimation of Complex Systems
This monograph provides a tool-set for hybrid estimation that can successfully monitor the behavior of complex artifacts with a large number of possible operational and failure modes such as production plants, automotive or aeronautic systems, and autonomous robots.
Hybrid Artificial Intelligent Systems ; 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020. The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and optimization; learning algorithms; data mining, knowledge discovery and big data; and hybrid artificial intelligence applications.
Human-computer interaction Symposium ; IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS 2008), September 7-10, 2008, Milano, Italy
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 refereed international conferences in computer science and interdisciplinary fields are featured.
Human–computer interaction ; International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
Constitutes the refereed proceedings of the International Workshop on Human Computer Interaction, HCI 2007, held in Rio de Janeiro, Brazil, October 20, 2007. This book covers such topics as: Affective detection and recognition, Smart interfaces, Human motion tracking, Gesture recognition, and Multimedia data modeling and visualization.
Human-computer interaction : Interaction platforms and techniques ; 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, edited by Julie A. Jacko, contains papers in the thematic area of Human-Computer Interaction, addressing the following major topics: • Graphical User Interfaces and Visualization • Mobile Devices and Mobile Interaction • Virtual Environments and 3D Interaction • Ubiquitous Interaction • Emerging Interactive Technologies.
Human-Computer Interaction : Interaction design and usability ; 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, edited by Julie A. Jacko, contains papers in the thematic area of Human-Computer Interaction, addressing the following major topics: • Interaction Design: Theoretical Issues, Methods, Techniques and Practice • Usability and Evaluation Methods and Tools • Understanding Users and Contexts of Use • Models and Patterns in HCI
Human-computer interaction – INTERACT 2007 ; 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil in September 2007. It covers tangible user interfaces and interaction; as well as software engineering and HCI.
Human-computer interaction – INTERACT 2007 ; 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
The two volume set LNCS 4662 and LNCS 4663 constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil, in September 2007.
Human-computer interaction – INTERACT 2005 ; IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
We will be, sooner or later, not only handling personal computers but also mul- purpose cellular phones, complex personal digital assistants, devices that will be context-aware, and even wearable computers stitched to our clothes…we would like these personal systems to become transparent to the tasks they will be performing. In fact the best interface is an invisible one, one giving the user natural and fast access to the application he (or she) intends to be executed. The working group that organized this conference (the last of a long row!) tried to combine a powerful scientific program (with drastic refereeing) with an entertaining cultural program, so as to make your stay in Rome the most pleasant one all round: I do hope that this expectation becomes true. July 2005 Stefano Levialdi, IEEE Life Fellow INTERACT 2005 General Chairman [1] Peter J. Denning, ACM Communications, April 2005, vol. 48, N° 4, pp. 27-31. Editors’ Preface INTERACT is one of the most important conferences in the area of Human-Computer Interaction at the world-wide level. We believe that this edition, which for the first time takes place in a Southern European country, will strengthen this role, and that Rome, with its history and beautiful setting provides a very congenial atmosphere for this conference. The theme of INTERACT 2005 is Communicating Naturally with Computers.
