Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 7th International Conference on Geographic Information Science, GIScience 2012, held in Columbus, OH, USA in September 2012. The 26 full papers presented were carefully reviewed and selected from 57 submissions. While the traditional research topics are well reflected in the papers, emerging topics that involve new research hot-spots such as cyber infrastructure, big data, web-based computing also occupy a significant portion of the volume."

"This book constitutes the thoroughly refereed proceedings of the 16th East-European Conference on Advances in Databases and Information Systems (ADBIS 2012), held in Poznan, Poland, in September 2012. The 32 revised full papers presented were carefully selected and reviewed from 122 submissions. The papers cover a wide spectrum of issues concerning the area of database and information systems, including database theory, database architectures, query languages, query processing and optimization, design methods, data integration, view selection, nearest-neighbor searching, analytical query processing, indexing and caching, concurrency control, distributed systems, data mining, data streams, ontology engineering, social networks, multi-agent systems, business process modeling, knowledge management, and application-oriented topics like RFID, XML, and data on the Web."

"This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012. The 17 revised full papers presented together with 31 short papers and 18 poster papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on IVAs on learning environments, emotion and personality, evaluation and empirical studies, multimodal perception and expression, narrative and interactive applications, social interaction, authoring and tools, and conceptual frameworks."

"The scientific articles published in this volume cover a wide diversity of GIScience related themes, including, spatio-temporal data modelling and visualisation, spatial data infrastructures, geo web services and geo semantic web, modelling and management of uncertainty, spatio-temporal data quality and metadata, mobility of persons, objects and systems, transports and flows, spatial analysis, geostatistics, and geo information retrieval, modelling and spatial analysis of urban dynamics, urban GIS, GIS and spatial analysis for global change modelling, impact on space, and geographic information science, links with other disciplines and people."

"The 12 revised long papers and 3 revised short papers presented were carefully reviewed and selected from numerous submissions. The papers address the following topics, medical data mining and information retrieval, metadata models, prediction and mobile applications, systems biology and data mining in bioinformatics. The papers show how broad the spectrum of topics in applications of information technology to biomedical engineering and medical informatics is."

"The 23 revised full papers presented together with one invited paper were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on cryptography and cryptanalysis, mobility, cards and sensors, software security, processing encrypted data, authentication and identification, new directions in access control, GPU for security, and models for risk and revocation."

"This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information technology in teaching and learning, ontology, conceptual modelling and databases, requirements engineering and business rules."

"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 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection, pattern recognition and image processing, biometric applications, algorithms and data management, networking, and system models and risk assessment."

"This book constitutes the proceedings of the Third International Conference of the CLEF Initiative, CLEF 2012, held in Rome, Italy, in September 2012. The 14 papers and 3 poster abstracts presented were carefully reviewed and selected for inclusion in this volume. Furthermore, the books contains 2 keynote papers. The papers are organized in topical sections named, benchmarking and evaluation initiatives, information access, and evaluation methodologies and infrastructure."