Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Information in July 2010/2011. The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers papers deal with the following topics: formal and computational phonology, morphology, syntax, semantics and pragmatics, model-theoretic and proof-theoretic methods in linguistics, logical aspects of linguistic structure, constraint-based and resource-sensitive approaches to grammar, learnability of formal grammar, integration of stochastic and symbolic models of grammar, foundational, methodological and architectural issues in grammar, and mathematical foundations of statistical approaches to linguistic analysis."

"The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest, language and computation, language and logic, and logic and computation. The papers are organized in topical sections on computational complexity, multi-agant systems, natural language processing, strategies in games and formal semantics."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Security and Trust Management, STM 2011, held in Copenhagen, Denmark, in June 2011 - co-located with IFIPTM 2011, the 5th IFIP International Conference on Trust Management. The 12 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. Focusing on high-quality original unpublished research, case studies, and implementation experiences, STM 2011 features submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in information and communication technologies."

"This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods."

"This book constitutes the refereed proceedings of the first Workshop on Applications of Discrete Geometry and Mathematical Morphology, WADGMM 2010, held at the International Conference on Pattern Recognition in Istanbul, Turkey, in August 2010. The 11 revised full papers presented were carefully reviewed and selected from 25 submissions. The book was specifically designed to promote interchange and collaboration between experts in discrete geometry/mathematical morphology and potential users of these methods from other fields of image analysis and pattern recognition."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Global Security, Safety, and Sustainability (ICDS3), and of the 4th e-Democracy Joint Conferences (e-Democracy 2011) which were held in Thessaloniki in August 2011. The 37 revised full papers presented were carefully selected from numerous submissions. Conference papers promote research and development activities of innovative applications and methodologies and applied technologies."

"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2011, held in Copenhagen, Denmark, in December 2011. The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. They cover a wide range of topics ranging from localization and tracking, search and discovery, classification and profiling, context awareness and architecture, location and activity recognition as well as a best paper session, an industry track, and poster and demo papers."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers presented were carefully reviewed and selected from 832 submissions. The papers are organized in topical sections on neural networks, machine learning theory and methods, fuzzy theory and models, fuzzy systems and soft computing, evolutionary learning & genetic algorithms, swarm intelligence and optimization, intelligent computing in computer vision, intelligent computing in image processing, biometrics with applications to individual security/forensic sciences, intelligent image/document retrievals, natural language processing and computational linguistics, intelligent data fusion and information security, intelligent computing in pattern recognition, intelligent agent and web applications, intelligent computing in scheduling, intelligent control and automation."

"This book constitutes the thoroughly refereed post-conference proceedings of the First International ICST Conference on Wireless Communications and Applications, ICWCA 2011, held in Sanya, China, in August 2011. The 43 revised full papers presented were carefully reviewed and selected from around 90 submissions and cover a wide range of topics as mobile ad hoc networks, sensor networks, network architectural design, network protocol design, local area networks, MAC, routing, and transport protocols, quality of service provisioning, reliability and fault tolerance issues, resource allocation and management, signal processing, medical imaging, data aggregation techniques, security and privacy issues, wireless computing and applications for wireless network as smart grid, agriculture, health care, smart home, conditional monitoring, etc."

"This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues."