Page 19
Page 19
Business process management Workshops ; Vol. 3812 : BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers
Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from fundamental process modeling primitives to the recently emerged field of Web service choreography and orchestration, rep- sented in the “Workshop on Business Processes and Services” and the “Workshop on Web Service Choreography and Orchestration;” a topic which intersects the research fields of business process management and Web services.
Business process management Workshops ; BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007.
Business process management ; 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings
This book includes business process maturity and performance, business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM.
Biological and medical data analysis ; Vol. 4345 : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceeding
This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ISBMDA 2006, held in Thessaloniki, Greece, December 2006. Coverage in this volume includes functional genomics, sequence analysis, biomedical models, information modeling, biomedical signal processing, biomedical image analysis, biomedical data analysis, as well as decision support systems and diagnostic tools.
Bioactives and pharmacology of lamiaceae
Provides a wealth of information on plants in the Lamiaceae family, noted for their essential oils and bioactives and pharmacological properties. The chapters investigate a wide variety of species, providing for each an introduction, characteristics, properties, distribution, traditional uses, and current and potential pharmacological applications. Aiming to be a resource for the development of new drugs based on species within the Lamiaceae family, the volume discusses 26 species, including bungleweed (Ajuga), Malabar catmint (Anisomeles malabarica), beechwood (Gmelina arborea), Brazilian mint (Hyptis crenata), rosemary (Rosmarinus officinalis L.), holy basil (Ocimum tenuiflorum), and many more.
Autonomous intelligent systems : Multi-agents and data mining ; 2nd International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically focused on the design and implementation of lar- scale open distributed intelligent systems. KDD also provides intelligent inf- mation technology with powerful ideas, algorithms, and software means to help cope with the main problem of artificial intelligence, formulated in the we- known question “Where does the knowledge come from?”, thus actually making modern applications intelligent and adaptive. The evident recent trend in both science and industry is to integrate and take advantage of both technologies. The existing experience with combined application of multi-agent technology to design architectures of distributed (- erarchical and peer-to-peer) data mining and KDD systems, as well as the u- lization of data mining and KDD achievements to provide enhanced intelligence of MAS, confirms the fact that both technologies are capable of mutual enri- ment and their integrateduse may result in intelligent information systems with new emergent properties.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Automated reasoning with analytic tableaux and related methods ; International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Attitudes and changing contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics.
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in 2002 whose purpose was to foment active cross-disciplinary communication. A number of the papers examine the syntactic representation of lexical or situation aspect, while others focus on the syntactic interaction of lexical aspect with grammatical aspect, and of grammatical aspect and tense. Other papers examine the role of aspect in discourse representations, while a third group of papers reports on results of empirical studies on the acquisition of aspect in both first and second language acquisition, and patterns of loss of morphosyntactic reflexes of aspect in language attrition.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial neural networks : Formal Models and Their Applications – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network models, supervised learning algorithms, ensemble-based learning, unsupervised learning, recurent neural networks, reinforcement learning, bayesian approaches to learning, learning theory, artificial neural networks for system modeling, decision making, optimalization and control, knowledge extraction from neural networks, temporal data analysis, prediction and forecasting, support vector machines and kernel-based methods, soft computing methods for data representation, analysis and processing, data fusion for industrial, medical and environmental applications, non-linear predictive models for speech processing, intelligent multimedia and semantics, applications to natural language processing, various applications, computational intelligence in games, and issues in hardware implementation.
Artificial neural networks : Biological Inspirations – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis.
Artificial neural networks - ICANN 2006 ; Vol.4132 : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September 10-14, 2006 in Athens, Greece, with tutorials being presented on September 10, the main conference taking place during September 11-13 and accompanying workshops on perception, cognition and interaction held on September 14, 2006. The ICANN conference is organized annually by the European Neural Network Society in cooperation with the International Neural Network Society, the Japanese Neural Network Society and the IEEE Computational Intelligence Society. It is the premier European event covering all topics concerned with neural networks and related areas.
Artificial neural networks - ICANN 2006 ; Vol.4131 : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September 10-14, 2006 in Athens, Greece, with tutorials being presented on September 10, the main conference taking place during September 11-13 and accompanying workshops on perception, cognition and interaction held on September 14, 2006. The ICANN conference is organized annually by the European Neural Network Society in cooperation with the International Neural Network Society, the Japanese Neural Network Society and the IEEE Computational Intelligence Society. It is the premier European event covering all topics concerned with neural networks and related areas.
Artificial Intelligence. IJCAI 2019 International Workshops ; Macao, China, August 10–12, 2019, Revised Selected Best Papers
This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, in Macao, China, in August 2019.
Artificial intelligence in theory and practice ; IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
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.
