Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, held in Artiminio, Tuscany, Italy, June 12- 15, 2012. The 25 revised full papers presented together with 22 short papers were carefully reviewed and selected from 74 submissions. The papers are categorized into a number of sessions that include, user engagement for improved adoption of assistive technologies, self-management and tele-rehabilitation, advances in remote monitoring and activity recognition, sensor networks for unobstrusive monitoring solutions, and real world “aware” systems."

"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Broadband Communications, Networks and Systems (BROADNETS 2010) held in October 2010 in Athens, Greece. The 39 revised full papers were carefully selected from numerous submissions. The conference was divided in 3 tracks: Optical, Wireless and Internet. The optical track covers topics such as optical switch architectures, reliable optical networking, routing, wavelength assignment, and traffic grooming, network control and management. The wireless track highlights MIMO and OFDM techniques, mobility management, routing protocols, hybrid networks and the internet track covers routing, scheduling, security, trust, semantic technologies and social networks."

"This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings."

"This book constitutes the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. The 17 papers presented were carefully reviewed and selected from 31 submissions during two rounds of reviewing and improvement. The papers present novel technical concepts, clinical needs and applications as well as hardware, software and systems and their validation. The main technological focus is on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging."

"This book constitutes the proceedings of the 7th International Conference on Persuasive Technology, PERSUASIVE 2012, held in Linköping, Sweden, in June 2012. The 21 full papers presented together with 5 short papers were carefully reviewed and selected from numerous submissions. In addition three keynote papers are included in this volume. The papers cover the typical fields of persuasive technology, such as health, safety and education."

"This book constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012. The 20 revised full papers presented together with 42 revised poster papers, 1 keynote lecture, and 2 overview papers for the regular, as well as for the special session were carefully reviewed and selected from numerous submissions. Topics addressed are ranging from theoretical issues such as causality analysis and measures, through novel methods for employing the well-established concepts of sparsity and non-negativity for matrix and tensor factorization, down to a variety of related applications ranging from audio and biomedical signals to precipitation analysis."

"The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107 revised full papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on clustering and classification, image processing, image analysis, motion analysis and tracking, shape representation, 3D imaging, applications, biometrics and face recognition, human activity recognition, biomedical image analysis, retinal image analysis, and call detection and modeling."

"The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107 revised full papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on clustering and classification, image processing, image analysis, motion analysis and tracking, shape representation, 3D imaging, applications, biometrics and face recognition, human activity recognition, biomedical image analysis, retinal image analysis, and call detection and modeling."

"This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastián, Spain, November 2012. The 14 revised full papers presented together with 6 short papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on theory and aesthetics, authoring tools and applications, evaluation and user experience reports, virtual characters and agents, new storytelling modes, and workshops."