الصفحة 8
الصفحة 8
ICCS 2007 ; Proceedings of the 15th International Workshops on Conceptual Structures
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. Some of the world's best minds in information technology, arts, humanities and social science converged to explore novel ways that information and communications technology (ICT) can augment human intelligence.
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.
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 – 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.
Human motion : Understanding, modeling, capture and animation ; 2nd Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings
This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and Animation. The accepted papers re?ect the state of the art in the ?eld and cover various topicsrelatedto humanmotiontrackingandanalysis.Thepapersinthisvolume have been classi?ed into three categories based on the topics they cover: human motion capture and pose estimation, body and limb tracking and segmentation, and activity recognition.
Human motion : Understanding, modeling, capture and animation
Edward Muybridge (1830–1904) is known as the pioneer in motion capt- ing with his famous experiments in 1887 called “Animal Locomotion”. Since then, the feld of animal or human motion analysis has grown in many dir- tions. However, research and results that involve human-like animation and the recovery of motion is still far from being satisfactory. Progress in human motion analysis depends on empirically anchored and grounded research in computer vision, computer graphics, and biomechanics. This book is based on a June 2006 workshop held in Dagstuhl, Germany. This workshop brought together for the frst time researchers from the afo- mentioned disciplines.
Human interactive proofs ; 2nd International workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in Bethlehem, PA, USA in May 2005. This book is devoted to the new class of security protocols called human interactive proofs. It includes sections such as: CAPTCHAs and performance analysis, and HIP architectures.
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
High-Performance Computing ; 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First International Workshop on Advanced Low Power Systems 2006 (ALPS2006). The post-proceedings also contain the papers presented at the Second HPF International Workshop: - periences and Progress (HiWEP2005) and the Workshop on Applications for PetaFLOPS Computing (APC2005), which are workshops of ISHPC-VI. ISHPC-VI, HiWEP2005 and APC2005 were held in Nara, Japan during September 7–9, 2005. Fifty-eight papers from 11 countries were submitted to ISHPC-VI. After the reviews of the submitted papers, the ISHPC-VI Program Committee selected 15 regular (12-page) papers for oral presentation. In ad- tion, several other papers with favorable reviews were recommended for poster presentation, and 14 short (8-page) papers were also selected.
High performance computing ; 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in HPC in a more informal and friendly atmosphere. I am delighted that the symposium is, like past successful ISHPCs, comprised of excellent invited talks, panels, workshops, as well as high-quality technical papers on various aspects of HPC. We hope that the symposium will provide an excellent opportunity for lively exchange and discussion about - rections in HPC technologies and all the participants will enjoy not only the symposium but also their stay in Kansai Science City.
High performance computational science and engineering : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), 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.
High Confidence Software Reuse in Large Systems ; 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in Beijing, China, in May 2008.The 40 revised full papers presented together with 5 workshop summaries and 5 tutorials were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on architecture and reuse approaches, high confidence and reuse, component selection and reuse repository, product line, domain models and analysis, service oriented environment, components and services, reuse approaches and frameworks, as well as reuse approaches and methods.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
