Home > Tags: proceedings (Total 57 Records)
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
Security By:Chris Dale, Tom Anderson 2009-12-21 00:00:00
ISBN10:1849960852 ISBN13:9781849960854
Product Description: Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the pap safety-critical systems symposium, eighteenth safety-critical systems, annual safety-critical systems, current safety topics, bristol
Tags: systems symposium proceedings safety-critical bristol safer eighteenth
Smart Graphics: 6th International Symposium, SG 2006, Vancover, Canada, July 23-25, 2006, Proceedings (Lecture Notes in Computer Science)
Computer Science By:Andreas Butz, Brian Fisher, Antonio Kruger, Patrick Olivier 2006-08-18 00:00:00
ISBN10:3540362932 ISBN13:9783540362937
This book constitutes the refereed proceedings of the 6th International Symposium on Smart Graphics, SG 2006, held in Vancouver, Canada in July 2006 - co-located with the 28th Annual meeting of the Cognitive Science Society and the IEEE World Congress on Computational Intelligence. The 19 revised fu international symposium, smart graphics, lecture notes, computer science, smart interaction.smart graphics
Tags: computer graphics international lecture science symposium proceedings vancover sg
Research and Development in Intelligent Systems XXIV: Proceedings of AI-2007, The Twenty-seventh SGAI International Conference on Innovative ... of Artificial Intelligence (v. 24)
Computer Science By:Max Bramer, Frans Coenen, Miltos Petridis 2007-11-29 00:00:00
ISBN10:1848000936 ISBN13:9781848000933
The papers in this volume are the refereed technical papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007. They present new and innovative developments in the field, divi sgai international conference, artificial intelligence, intelligent systems, innovative, data mining
Tags: systems international development intelligence artificial research proceedings intelligent conference innovative sgai
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science)
Computer Science By:Phillips Gardner 2004-10-05 00:00:00
ISBN10:354022940X ISBN13:9783540229407
Product Description: This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 15th international conference, concurrency theory, computer science, lecture notes, concurrency related aspects
Tags: computer theory international lecture science proceedings conference concurrency london concur
Proceedings of the Sixth Workshop on Algorithm Engineering and Experiements and the First Workshop On... (Proceedings in Applied Mathematics)
Algorithms By:Lars Arge 2004-06-00 00:00:00
_10.02.2011_0_00_00.jpg)
ISBN10:0898715644 ISBN13:9780898715644
Product Description: The aim of the annual ALENEX workshop is to provide a forum for the presentation of original research in the implementation and experimental evaluation of algorithms and data structures. This research presents significant studies in experimental analysis or in the implementation algorithm, analysis, data structures, combinatorial structures, applied mathematics
Tags: algorithm engineering mathematics proceedings experiements
Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications
Computer Science By:C. Eschenbach 2008-10-15 00:00:00
_-_Volume_183_Frontiers_in_Artificial_Intelligence_and_Applications_10.02.2011_0_00_00.jpg)
ISBN10:1586039237 ISBN13:9781586039233
Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics information systems, formal ontology, volume 183 frontiers, fifth international conference, artificial intelligence
Tags: application systems information international intelligence artificial proceedings formal conference frontiers ontology fois
Knowledge-Based Software Engineering: Proceedings of the Fifth Joint Conference on Knowledge-Based Software Engineering
Computer Science By:Tatjana Welzer, Shuichiro Yamamoto, Ivan Rozman 2002-08-00 00:00:00
ISBN10:1586032747 ISBN13:9781586032746
Product Description: The book captures the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. The Conference, from which the papers are coming, originated in order t software engineering, knowledge-based software, knowledge-based software engineering, fifth joint conference, knowledge engineering
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms
Algorithms By:SIAM 2005-00-00 00:00:00
ISBN10:0898715857 ISBN13:
Themes and application areas come primarily from Computer Science and Discrete Mathematics, but also include other areas of application areas such as Biology, Physics and Finance. Specific areas include, but are not limited to: discrete mathematics and combinatorics; combinatorial structures; commun sixteenth annual acm-siam, annual acm-siam symposium, application areas, computer, discrete algorithmsthemes
Tags: algorithm symposium proceedings annual discrete sixteenth
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Programming By:Association for Computing Machinery 2007-00-00 00:00:00
ISBN10:0000000000 ISBN13:
I'm happy to have this opportunity to open this Conference on the History of Programming Languages. It's something that I personally have been thinking about for almost seven years although the actual work on this has only been going on for the past one-and-a-half years. Most of you have not had the acm sigplan conference, programming languages, actual work, happy
Tags: language programming proceedings history conference acm sigplan
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Programming By:Shengchao Qin 2010-00-00 00:00:00
ISBN10:364216689X ISBN13:
This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers pr third international symposium, ongoing utp project, unifying theoretical framework, 12th international conference, programming
Tags: programming international symposium proceedings theories unifying utp
