Books

Computer Vision/Computer Graphics CollaborationTechniques: 4th International Conference, MIRAGE 2009, Rocque…

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Philips, Wilfried, Gagalowicz, André

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 4th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2009, held in Rocquencourt, France, in May 2009. The 41 revised full papers presented were carefully reviewed and selected fro…

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam…

by SpringerLink (Online service), Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Boer, Frank S., Graf, Susanne, Bonsangue, Marcello M., Roever, Willem-Paul

fromLecture Notes in Computer Science

0 Type: Book

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …

Combinatorial Pattern Matching: 20th Annual Symposium, CPM 2009 Lille, France, Ju…

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Kucherov, Gregory, Ukkonen, Esko

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching, CPM 2009, held in Lille, France in June 2009. The 27 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 63 submission…

Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, It…

by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wahlster, Wolfgang, Petrosino, Alfredo, Pal, Sankar Kumar, Gesù, Vito

fromLecture Notes in Computer Science

0 Type: Book

This volume constitutes the refereed proceedings of the 8th International Workshop on Fuzzy Logic and Applications held in Palermo, Italy in June 2009. The papers are organized in topical sections on fuzzy set theory, intuitionistic fuzzy sets, fuzzy classification and clusterin…

Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-A…

by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Shi, Zhongzhi, Goebel, Randy, Wahlster, Wolfgang, Lukose, Dickson

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005. The 29 revised full papers and 2 keynote papers presented were carefully review…

Active and Programmable Networks: IFIP TC6 7th International Working Conference, IW…

by Hutchison, David, Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Minden, Gary J., Denazis, Spyros, Lefevre, Laurent

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the thoroughly refereed post-conference proceedings of the IFIP-TC6 7th Annual International Working Conference on Active Networks, IWAN 2005, held in Sophia Antipolis, France, in November 2005. The 13 revised full papers and 13 revised short papers present…

Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisb…

by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wanderley, Marcelo M., Wahlster, Wolfgang, Sales Dias, Miguel, Gibet, Sylvie, Bastos, Rafael

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Gesture-Based Human-Computer Interaction and Simulation, GW 2007, held in Lisbon, Portugal, in May 2007. The 31 revised papers presented were carefully selected from 53 submission…

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, …

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Kordon, Fabrice, Kermarrec, Yvon

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of …

Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede,…

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Paige, Richard F., Rensink, Arend, Hartman, Alan

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry pap…