Annotation
"176" Result
Sort By:
Annotation
Annotation This book constitutes the refereed proceedings of the twelfth International Conference, on Discovery Science, DS 2009, held in Porto, Portugal, in October 2009. The 35 revised full papers presented were carefully selected from 92 papers. The scope of the conference in…
Annotation This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissi…
Annotation
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Data Analysis, IDA 2010, held in Tucson, AZ, USA in May 2010. The 21 revised papers presented together with 2 invited papers were carefully reviewed and selected from more than 40 s…
Annotation
This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a …
Annotation
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewe…
Annotation
This book constitutes the refereed proceedings of the Fourth International Computer Science Symposium in Russia, CSR 2009, held in Novosibirsk, Russia, August 18-23, 2009. The 29 revised papers presented together with 4 invited papers were carefully reviewed and selected from 66…
Annotation
Annotation
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…
Annotation
Annotation. A large international conference on Advances in Intelligent Control and Innovative Computing was held in Hong Kong, March March 16-18, 2011, under the auspices of the International MultiConference of Engineers and Computer Scientists (IMECS 2010). The IMECS is organi…
Annotation
This book constitutes the thoroughly refereed post-workshop proceedings of the Workshop on Controlled Natural Language, CNL 2009, held in Marettimo Island, Italy, in June 2009. The 16 revised full papers presented together with 1 invited lecture were carefully reviewed and selec…