Hasil Pencarian  ::  Simpan CSV :: Kembali

"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 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 refereed proceedings of the third International Joint Conference an Ambient Intelligence, AmI 2012, held in Pisa, Italy, in November 2012. The 18 revised full papers and 5 short papers presented were carefully reviewed and selected from 47 (full papers) respectively 14 (short papers) submissions. From a scientific point of view, the papers make a multidisciplinary approach covering fields like computer science, human computer interaction, electrical engineering, industrial design, behavioral sciences, aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support users in their everyday activities. "

"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 refereed proceedings of the Third International Conference on Autonomous and Intelligent Systems, AIS 2012, held in Aveiro, Portugal, in June 2012, collocated with the International Conference on Image Analysis and Recognition, IACIAR 2012. The 31 revised full papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on autonomous sensors and sensor systems, autonomous systems and intelligent control with applications, intelligent fuzzy systems, intelligent robotics, intelligent knowledge management, swarm and evolutionary methods, and applications."

"These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling, computing with words and decision making, soft computing in computer vision, rough sets and complex data analysis, theory and applications, intelligent databases and information system, information fusion systems, philosophical and methodological aspects of soft computing, basic issues in rough sets, 40th anniversary of the measures of fuziness, SPS11 uncertainty in profiling systems and applications, handling uncertainty with copulas, formal methods to deal with uncertainty of many-valued events, linguistic summarization and description of data; fuzzy implications, theory and applications, sensing and data mining for teaching and learning, theory and applications of intuitionistic fuzzy sets, approximate aspects of data mining and database analytics, fuzzy numbers and their applications, information processing and management of uncertainty in knowledge-based systems, aggregation functions, imprecise probabilities, probabilistic graphical models with imprecision, theory and applications, belief function theory, basics and/or applications, fuzzy uncertainty in economics and business, new trends in De Finetti's approach, fuzzy measures and integrals, multicriteria decision making, uncertainty in privacy and security, uncertainty in the spirit of Pietro Benvenuti, coopetition; game theory, probabilistic approach."

"These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling, computing with words and decision making, soft computing in computer vision, rough sets and complex data analysis, theory and applications, intelligent databases and information system, information fusion systems, philosophical and methodological aspects of soft computing, basic issues in rough sets, 40th anniversary of the measures of fuziness, SPS11 uncertainty in profiling systems and applications, handling uncertainty with copulas, formal methods to deal with uncertainty of many-valued events, linguistic summarization and description of data; fuzzy implications, theory and applications, sensing and data mining for teaching and learning, theory and applications of intuitionistic fuzzy sets, approximate aspects of data mining and database analytics, fuzzy numbers and their applications, information processing and management of uncertainty in knowledge-based systems, aggregation functions, imprecise probabilities, probabilistic graphical models with imprecision, theory and applications, belief function theory, basics and/or applications, fuzzy uncertainty in economics and business, new trends in De Finetti's approach, fuzzy measures and integrals, multicriteria decision making, uncertainty in privacy and security, uncertainty in the spirit of Pietro Benvenuti, coopetition; game theory, probabilistic approach."

"These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling, computing with words and decision making, soft computing in computer vision, rough sets and complex data analysis, theory and applications, intelligent databases and information system, information fusion systems, philosophical and methodological aspects of soft computing, basic issues in rough sets, 40th anniversary of the measures of fuziness, SPS11 uncertainty in profiling systems and applications, handling uncertainty with copulas, formal methods to deal with uncertainty of many-valued events, linguistic summarization and description of data; fuzzy implications, theory and applications, sensing and data mining for teaching and learning, theory and applications of intuitionistic fuzzy sets, approximate aspects of data mining and database analytics, fuzzy numbers and their applications, information processing and management of uncertainty in knowledge-based systems, aggregation functions, imprecise probabilities, probabilistic graphical models with imprecision, theory and applications, belief function theory, basics and/or applications, fuzzy uncertainty in economics and business, new trends in De Finetti's approach, fuzzy measures and integrals, multicriteria decision making, uncertainty in privacy and security, uncertainty in the spirit of Pietro Benvenuti, coopetition; game theory, probabilistic approach."

"These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling, computing with words and decision making, soft computing in computer vision, rough sets and complex data analysis: theory and applications, intelligent databases and information system, information fusion systems, philosophical and methodological aspects of soft computing, basic issues in rough sets, 40th anniversary of the measures of fuziness, SPS11 uncertainty in profiling systems and applications, handling uncertainty with copulas, formal methods to deal with uncertainty of many-valued events, linguistic summarization and description of data; fuzzy implications: theory and applications, sensing and data mining for teaching and learning, theory and applications of intuitionistic fuzzy sets, approximate aspects of data mining and database analytics, fuzzy numbers and their applications, information processing and management of uncertainty in knowledge-based systems, aggregation functions, imprecise probabilities, probabilistic graphical models with imprecision: theory and applications, belief function theory: basics and/or applications, fuzzy uncertainty in economics and business, new trends in De Finetti's approach, fuzzy measures and integrals, multi criteria decision making, uncertainty in privacy and security, uncertainty in the spirit of Pietro Benvenuti, coopetition, game theory, and probabilistic approach."